/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 00001202012211111022x102001010020020211012x100010202120112112211x101202211101021212121x100012022110101201111x101201210101020111102x100020002122110001112x102210102221120000012x100021220110011210221x102011201212102202010x100022112200212011022x102221002121212111202x100100112112211221102x101100200202111110202x100101020012112221021x102101000200120210020x100101222112121020120x102011222100210000202x100102021110002212112x102002202112121022020x100102122220120112202x100211002220122012202x100102212001122211211x102022001202001100211x100102222102102201121x100100002222000100211x100110221111120210221x102011012220022202000x100111102222112221121x101001122022020002211x100120120111022102112x101220222101221001112x100122011200221021210x102202021020022100020x100122101110012122202x101122002022001000000x100122110222011110121x101220111202001202120x100200021222111021100x102012012010122121000x100201120210221101201x101202010121002210101x100201220012200221101x100120011020200000201x100202112111110111221x102002112202012221112x100210100201102022220x102200021000112011000x100211022111122002100x102211121012121121000x100220010221122102201x102022100221211002021x100220102121122211202x100121212120121000120x100221110101012221200x101020221010212101112x100221201220100022000x100002000222020101000x100222010111010001120x102022220221000000200x101001021221221111221x100111010002211200212x101001110112111221221x100111210200012200111x101002201221210122210x100220222102120220022x101002202212121100222x102012101000000201021x101010110001021120101x100211002021011022012x101011112022222210201x100022100121022100221x101011210002221212102x101002212101000200212x101011220002221101111x100222222110122012021x101011221012110120202x102010110010200022020x101012111001122202012x102112102011020102202x101012111220211212021x102120021221212020021x101020012221222000122x101011210010022210200x101020211101220201120x100120000001102021210x101021110221111202100x102102001220001111022x101022110102210201011x101200220000212101202x101022212111210211101x100122210011211200120x101100202111212100111x101002200220200121012x101101021122020202201x102021001221221221220x101101111202022200021x101012220221122200010x101101212022100201011x100012022201012111020x101102021212202122110x102011101012022102002x101102110011122202002x101210210122200202212x101102121101121010111x101112122011022002102x101102201222022121210x100200202102220002112x101111112202022021010x102011020011201001020x101111200022221022201x102000120122212111212x101112212111001112110x100102011120212202121x101120100120210000201x100212221210002210120x101120202211201220100x101200021201222201101x101121111000011010110x100010101112012202202x101122221020012212222x101002001212012210202x101200120200102002120x102120002002122022000x101200211021011101100x100020112202002100211x101201020212211120121x100222000100002121121x101202002111220002000x101002101101220121010x101210122110011221011x102220202012122210010x101220111210020122012x102002022101110201200x101222002012101002002x100012021220001010012x101222222210221121211x102102101200012000001x102000211022110000100x100210002222002021212x102001021022010212112x102102102121012010000x102011011101002102220x102220020020121221212x102011101220202021201x102201222210212002221x102012111120212012201x101111210011021002001x102020202110211112020x101021211002220012200x102020212201112110201x102001110211200022110x102021001202010111221x100101011210001222010x102021120002121200120x102201201000021000012x102021212202111211111x101110210121000211201x102101220012022222211x100012200012000220102x102110211112201112211x100200102210110020221x102111001212112021012x101010200011120001222x102111021101022002021x101012221102212000021x102111100002120021021x100010112020022221021x102111220002101221020x101010001021100212021x102112022201202022001x100212000201222101110x102112122200102111220x100021012121112000110x102120111201121202020x101211011212010122022x102120112201101210001x100100202012100010021x102200210202020112210x102000000120122010101x102201220112112221012x102100020111010221122x102202011222022020120x101100020011101100002x102210011202201122100x102102200000121011211x102211110010102211221x102220221122220200202x102211201010201010211x101100110022112200020x102211221021211222020x102122210010001211221x102212011001120110222x102220200220021100211x102222100022101110122x100220202011200002112x112202021212100100201x110120100100021001002x12.100001202012211111022x102001010020020211012x100010202120112112211x101202211101021212121x100012022110101201111x101201210101020111102x100020002122110001112x102210102221120000012x100021220110011210221x102011201212102202010x100022112200212011022x102221002121212111202x100100112112211221102x101100200202111110202x100101020012112221021x102101000200120210020x100101222112121020120x102011222100210000202x100102021110002212112x102002202112121022020x100102122220120112202x100211002220122012202x100102212001122211211x102022001202001100211x100102222102102201121x100100002222000100211x100110221111120210221x102011012220022202000x100111102222112221121x101001122022020002211x100120120111022102112x101220222101221001112x100122011200221021210x102202021020022100020x100122101110012122202x101122002022001000000x100122110222011110121x101220111202001202120x100200021222111021100x102012012010122121000x100201120210221101201x101202010121002210101x100201220012200221101x100120011020200000201x100202112111110111221x102002112202012221112x100210100201102022220x102200021000112011000x100211022111122002100x102211121012121121000x100220010221122102201x102022100221211002021x100220102121122211202x100121212120121000120x100221110101012221200x101020221010212101112x100221201220100022000x100002000222020101000x100222010111010001120x102022220221000000200x101001021221221111221x100111010002211200212x101001110112111221221x100111210200012200111x101002201221210122210x100220222102120220022x101002202212121100222x102012101000000201021x101010110001021120101x100211002021011022012x101011112022222210201x100022100121022100221x101011210002221212102x101002212101000200212x101011220002221101111x100222222110122012021x101011221012110120202x102010110010200022020x101012111001122202012x102112102011020102202x101012111220211212021x102120021221212020021x101020012221222000122x101011210010022210200x101020211101220201120x100120000001102021210x101021110221111202100x102102001220001111022x101022110102210201011x101200220000212101202x101022212111210211101x100122210011211200120x101100202111212100111x101002200220200121012x101101021122020202201x102021001221221221220x101101111202022200021x101012220221122200010x101101212022100201011x100012022201012111020x101102021212202122110x102011101012022102002x101102110011122202002x101210210122200202212x101102121101121010111x101112122011022002102x101102201222022121210x100200202102220002112x101111112202022021010x102011020011201001020x101111200022221022201x102000120122212111212x101112212111001112110x100102011120212202121x101120100120210000201x100212221210002210120x101120202211201220100x101200021201222201101x101121111000011010110x100010101112012202202x101122221020012212222x101002001212012210202x101200120200102002120x102120002002122022000x101200211021011101100x100020112202002100211x101201020212211120121x100222000100002121121x101202002111220002000x101002101101220121010x101210122110011221011x102220202012122210010x101220111210020122012x102002022101110201200x101222002012101002002x100012021220001010012x101222222210221121211x102102101200012000001x102000211022110000100x100210002222002021212x102001021022010212112x102102102121012010000x102011011101002102220x102220020020121221212x102011101220202021201x102201222210212002221x102012111120212012201x101111210011021002001x102020202110211112020x101021211002220012200x102020212201112110201x102001110211200022110x102021001202010111221x100101011210001222010x102021120002121200120x102201201000021000012x102021212202111211111x101110210121000211201x102101220012022222211x100012200012000220102x102110211112201112211x100200102210110020221x102111001212112021012x101010200011120001222x102111021101022002021x101012221102212000021x102111100002120021021x100010112020022221021x102111220002101221020x101010001021100212021x102112022201202022001x100212000201222101110x102112122200102111220x100021012121112000110x102120111201121202020x101211011212010122022x102120112201101210001x100100202012100010021x102200210202020112210x102000000120122010101x102201220112112221012x102100020111010221122x102202011222022020120x101100020011101100002x102210011202201122100x102102200000121011211x102211110010102211221x102220221122220200202x102211201010201010211x101100110022112200020x102211221021211222020x102122210010001211221x102212011001120110222x102220200220021100211x102222100022101110122x100220202011200002112x112202021212100100201x110120100100021001002x1ttt2ttt2 1.17 [hg: a28b6edf8379]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))