[Common]
name       = icc
processors = 1
database   = /home/software/tct/experiments/TC-testbed
ignore     = /home/software/tct/experiments/TC-testbed
extension  = xml

[Tool 1]
name      = MPO
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "mpo" $problem
timeout   = 15
format    = proof

[Tool 2]
name      = LMPO
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "lmpo" $problem
timeout   = 15
format    = proof

[Tool 3]
name      = POP*
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "popstar :ps Off" $problem
timeout   = 15
format    = proof

[Tool 5]
name      = sPOP*
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "bspopstar" $problem
timeout   = 15
format    = proof


[Tool 6]
name      = sPOP* (PS)
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "bspopstarPS" $problem
timeout   = 15
format    = proof

[Tool 7]
name      = semantic (relative)
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "simpleICC :usePOP Off" $problem
timeout   = 15
format    = proof

[Tool 8]
name      = semantic + sPOP* (relative)
command   = /home/software/tct/.tct/tct
arguments = +RTS -N -RTS -t 10 -a irc -s "simpleICC :usePOP On" $problem
timeout   = 15
format    = proof