[Common] name = tct_ic processors = 1 database = /home/software/tct/experiments/tpdb/RC ignore = /home/software/tct/experiments/tpdb/RC extension = xml [Tool 1] name = RC1 command = /home/software/tct/.cabal/bin/tct16 arguments = +RTS -N8 -RTS -t 60 -a rc -s "wdg (weightgap :iterations 100 (fastest (comb (fastest (matrix :dim 1 :bits 3) (matrix :dim 3 :bits 1) (matrix :dim 2 :bits 3))) (bounds :initial minimal) (bounds :initial perSymbol)))" $problem timeout = 80 format = proof [Tool 2] name = IRC1 command = /home/software/tct/.cabal/bin/tct16 arguments = +RTS -N8 -RTS -t 60 -a irc -s "wdg (weightgap :iterations 100 (fastest (comb (fastest (matrix :dim 1 :bits 3) (matrix :dim 3 :bits 1) (matrix :dim 2 :bits 3))) (bounds :initial minimal) (bounds :initial perSymbol)))" $problem timeout = 80 format = proof [Tool 3] name = RC2 command = /home/software/tct/.cabal/bin/tct arguments = +RTS -N8 -RTS -t 60 -a rc -s "fastest (matrix :dim 1 :bits 3 :cbits 4) (wdg :dim 1 (matrix :dim 1 :bits 3 :cbits 4)) (wdg :dim 2 (matrix :dim 2 :bits 3 :cbits 4)) (wdg :dim 3 (matrix :dim 3 :bits 3 :cbits 4)) (bounds :initial minimal) (bounds :initial perSymbol)" $problem timeout = 80 format = proof [Tool 4] name = IRC2 command = /home/software/tct/.cabal/bin/tct arguments = +RTS -N8 -RTS -t 60 -a irc -s "fastest (matrix :dim 1 :bits 3 :cbits 4) (wdg :dim 1 (matrix :dim 1 :bits 3 :cbits 4)) (wdg :dim 2 (matrix :dim 2 :bits 3 :cbits 4)) (wdg :dim 3 (matrix :dim 3 :bits 3 :cbits 4)) (bounds :initial minimal) (bounds :initial perSymbol)" $problem timeout = 80 format = proof [Tool 5] name = CaT command = /home/software/tct/experiments/bin/georg_cat/ttt2 arguments = -s "COMPLEXITY" -c /home/software/tct/experiments/bin/georg_cat/compoo.conf -o -cp "RC" $problem 55 -C "" timeout = 80 format = proof