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

[Tool 1]
name      = CDI
command   = /home/software/tct/as/cdiprover3.sh
arguments = $problem 60
timeout   = 80
format    = proof

[Tool 2]
name      = TRI2
command   = /home/software/tct/as/tct
arguments = +RTS -N8 -RTS -a dc -s cdimatrices -t 60 $problem
timeout   = 80
format    = proof

[Tool 3]
name      = TRI
command   = /home/software/tct/as/tct
arguments = +RTS -N8 -RTS -a dc -s algmatrices -t 60 $problem
timeout   = 80
format    = proof

[Tool 4]
name      = EDA
command   = /home/software/tct/as/tct
arguments = +RTS -N8 -RTS -a dc -s edamatrices -t 60 $problem
timeout   = 80
format    = proof

[Tool 5]
name      = IDA
command   = /home/software/tct/as/tct
arguments = +RTS -N8 -RTS -a dc -s idamatrices -t 60 $problem
timeout   = 80
format    = proof

[Tool 6]
name      = Bounds
command   = /home/software/tct/as/tct
arguments = +RTS -N8 -RTS -a dc -s bothbounds -t 60 $problem
timeout   = 80
format    = proof