[Common] name = EPOstar processors = 1 database = /home/zini/tct/experiments/tpdb/RCconstructors ignore = /home/zini/tct/experiments/tpdb/RCconstructors extension = xml [Tool 1] name = EPOstar command = /home/zini/bin/tct.sh arguments = +RTS -N3 -RTS -t 60 -a irc -s "epo*" $problem timeout = 60 format = proof [Tool 2] name = POPstar command = /home/zini/bin/tct.sh arguments = +RTS -N3 -RTS -t 60 -a irc -s "pop* :ps Off" $problem timeout = 60 format = proof [Tool 3] name = POPstar_PS command = /home/zini/bin/tct.sh arguments = +RTS -N3 -RTS -t 60 -a irc -s "pop* :ps On" $problem timeout = 60 format = proof