[Common]
name       = runtime
processors = 1
database   = /home/software/tct/experiments/rc-testbed
ignore     = /home/software/tct/experiments/rc-testbed
extension  = trs



[Tool 1]
name      = Semantical Methods (RC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a rc -s "semantics" -t 300 $problem
timeout   = 320
format    = proof

[Tool 2]
name      = DP + Decompose (RC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a rc -s "simple :dp On" -t 300 $problem
timeout   = 320
format    = proof


[Tool 3]
name      = DP + DG Decompose (RC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a rc -s "raml :inner-timeout 20 :greedy Off :smallbits On :bigbits On :semdegree 2" -t 300 $problem
timeout   = 320
format    = proof



[Tool 4]
name      = Semantical Methods (IRC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a irc -s "semantics" -t 300 $problem
timeout   = 320
format    = proof


[Tool 5]
name      = DP + Decompose (IRC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a irc -s "simple :dp On" -t 300 $problem
timeout   = 320
format    = proof


[Tool 6]
name      = DP + DG Decompose (IRC)
command   = /home/software/tct/.tct/tct
arguments  = +RTS -N -RTS -a irc -s "raml :inner-timeout 20 :greedy Off :smallbits On :bigbits On :semdegree 2" -t 300 $problem
timeout   = 320
format    = proof