[Common] name = RaML processors = 1 database = /home/georg/software/tct/tct/examples/RaML ignore = /home/georg/software/tct/tct/examples/RaML extension = trs [Tool 1] name = semantic methods command = /home/georg/.tct/tct arguments = +RTS -N -RTS -a irc -s "semantics" -t 300 $problem timeout = 320 format = proof [Tool 2] name = decompose command = /home/georg/.tct/tct arguments = +RTS -N -RTS -a irc -s "simple :dp Off" -t 300 $problem timeout = 320 format = proof [Tool 3] name = DP + decompose command = /home/georg/.tct/tct arguments = +RTS -N -RTS -a irc -s "simple :dp On" -t 300 $problem timeout = 320 format = proof [Tool 4] name = DP + DG decompose command = /home/georg/.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 [Tool 5] name = DP + DG decompose (greedy) command = /home/georg/.tct/tct arguments = +RTS -N -RTS -a irc -s "raml :inner-timeout 20 :greedy On :smallbits On :bigbits On :semdegree 2" -t 300 $problem timeout = 320 format = proof