[Common]
name       = lics
processors = 1
database   = /home/zini/tct/experiments/RCi-constructor
ignore     = /home/zini/tct/experiments/RCi-constructor
extension  = xml

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

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

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

[Tool 4]
name      = Small POP*
command   = /home/zini/.tct/tct
arguments = +RTS -N -RTS -t 60 -a irc -s "bsearch-popstar" $problem
timeout   = 80
format    = proof

[Tool 5]
name      = POP* (PS)
command   = /home/zini/.tct/tct
arguments = +RTS -N -RTS -t 60 -a irc -s "popstar :ps On" $problem
timeout   = 80
format    = proof

[Tool 6]
name      = Small POP* (PS)
command   = /home/zini/.tct/tct
arguments = +RTS -N -RTS -t 60 -a irc -s "bsearch-popstarps" $problem
timeout   = 80
format    = proof