[Common] name = properties-irc processors = 4 database = /home/zini/tct/experiments/tpdb/RCi ignore = /home/zini/tct/experiments/tpdb/RCi extension = xml [Tool 1] name = wellformed command = /home/zini/.tct/tct arguments = -s "wellformed" $problem timeout = 25 format = proof [Tool 2] name = leftlinear command = /home/zini/.tct/tct arguments = -s "leftlinear" $problem timeout = 25 format = proof [Tool 3] name = rightlinear command = /home/zini/.tct/tct arguments = -s "rightlinear" $problem timeout = 25 format = proof [Tool 4] name = duplicating command = /home/zini/.tct/tct arguments = -s "duplicating" $problem timeout = 25 format = proof [Tool 5] name = constructor command = /home/zini/.tct/tct arguments = -s "constructor" $problem timeout = 25 format = proof [Tool 6] name = collapsing command = /home/zini/.tct/tct arguments = -s "collapsing" $problem timeout = 25 format = proof [Tool 7] name = orthogonal command = /home/zini/.tct/tct arguments = -s "orthogonal" $problem timeout = 25 format = proof [Tool 8] name = overlay command = /home/zini/.tct/tct arguments = -s "overlay" $problem timeout = 25 format = proof