[Common]
name       = wdg
processors = 15
database   = /home/software/tct/experiments/tpdb/RC
ignore     = /home/software/tct/experiments/tpdb/RC
extension  = xml

[Tool 1]
name      = Matrix1
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "matrix :dim 1" $problem
timeout   = 80
format    = proof

[Tool 2]
name      = Matrix2
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "matrix :dim 2" $problem
timeout   = 80
format    = proof

[Tool 3]
name      = Matrix3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "matrix :dim 3" $problem
timeout   = 80
format    = proof

[Tool 4]
name      = Matrix1_3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (matrix :dim 1) (matrix :dim 2) (matrix :dim 3)" $problem
timeout   = 80
format    = proof

[Tool 5]
name      = WDP1
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 1 :approximation trivial (matrix :dim 1)" $problem
timeout   = 80
format    = proof

[Tool 6]
name      = WDP2
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 2 :approximation trivial (matrix :dim 2)" $problem
timeout   = 80
format    = proof

[Tool 7]
name      = WDP3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 3 :approximation trivial (matrix :dim 3)" $problem
timeout   = 80
format    = proof

[Tool 8]
name      = WDP1_3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (wdg :dim 1 :approximation trivial (matrix :dim 1)) (wdg :dim 2 :approximation trivial (matrix :dim 2)) (wdg :dim 3 :approximation trivial (matrix :dim 3))" $problem
timeout   = 80
format    = proof

[Tool 9]
name      = WDG1
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 1 (matrix :dim 1)" $problem
timeout   = 80
format    = proof

[Tool 10]
name      = WDG2
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 2 (matrix :dim 2)" $problem
timeout   = 80
format    = proof

[Tool 11]
name      = WDG3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "wdg :dim 3 (matrix :dim 3)" $problem
timeout   = 80
format    = proof

[Tool 12]
name      = WDG1_3
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (wdg :dim 1 (matrix :dim 1)) (wdg :dim 2 (matrix :dim 2)) (wdg :dim 3 (matrix :dim 3))" $problem
timeout   = 80
format    = proof

[Tool 13]
name      = Matrix1_3_Uargs_Off
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (matrix :dim 1 :uargs Off) (matrix :dim 2 :uargs Off) (matrix :dim 3 :uargs Off)" $problem
timeout   = 80
format    = proof

[Tool 14]
name      = WDP1_3_SLI
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (wdg :dim 1 :kind triangular :approximation trivial :uargs Off (matrix :dim 1 :uargs Off)) (wdg :dim 1 :kind triangular :approximation trivial :uargs Off (matrix :dim 2 :uargs Off)) (wdg :dim 1 :kind triangular :approximation trivial :uargs Off (matrix :dim 3 :uargs Off))" $problem
timeout   = 80
format    = proof

[Tool 15]
name      = WDG1_3_SLI
command   = /home/software/tct/.cabal/bin/tct
arguments = +RTS -N1 -RTS -t 60 -a rc -s "fastest (wdg :dim 1 :kind triangular :uargs Off (matrix :dim 1 :uargs Off)) (wdg :dim 1 :kind triangular :uargs Off (matrix :dim 2 :uargs Off)) (wdg :dim 1 :kind triangular :uargs Off (matrix :dim 3 :uargs Off))" $problem
timeout   = 80
format    = proof