[Common] name = wst13 processors = 1 database = /home/software/tct/experiments/wst13-exp/wst13-testbed ignore = /home/software/tct/experiments/wst13-exp/wst13-testbed extension = xml [Tool 1] name = PopstarSmall command = /home/software/tct/.tct/tct arguments = +RTS -N -RTS -a irc -s "popstarSmall" -t 60 $problem timeout = 80 format = proof [Tool 2] name = DP+PopstarSmall command = /home/software/tct/.tct/tct arguments = +RTS -N -RTS -a irc -s "withDP popstarSmall" -t 60 $problem timeout = 80 format = proof [Tool 3] name = DP+Matrices command = /home/software/tct/.tct/tct arguments = +RTS -N -RTS -a irc -s "withDP best empty matrices" -t 60 $problem timeout = 80 format = proof [Tool 4] name = Mpo command = /home/software/tct/.tct/tct arguments = +RTS -N -RTS -a irc -s "mpo" -t 60 $problem timeout = 80 format = proof