[Common]
name       = asdissch6
processors = 1
database   = /home/software/tct/as/TPDB
ignore     = /home/software/tct/as/TPDB
extension  = trs

[Tool 1]
name      = COMP
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s COMP -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof

[Tool 2]
name      = MREC
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s MRECCOMP -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof

[Tool 3]
name      = DG
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s DGCOMP -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof

[Tool 4]
name      = DP
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s DPCOMP -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof

[Tool 5]
name      = UR
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s URCOMP -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof

[Tool 6]
name      = TOTAL
command   = /home/software/tct/as/ttt2/ttt2
arguments = -s TOTALMREC -c /home/software/tct/as/ttt2/comp.conf $problem 60
timeout   = 80
format    = proof