/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 012x11212x10010x121222x101000x10120121x120022011x12122212220012222x10212002212021x10210021012222x11020210220220x1210012210020101x11201112202010x1212212221212002x12202222010021x12120211221112111111x112201221202201x112010120122222x11022221211102002x1120020221211100120x11121000202022000x12001221021212212200102x12101000222010002x1222021010011222121221x101002002011010210x10212122021122121122102010x1120200002002010000x11211222101202011202221x1211121122202111100x12110122212120212220012x11200102022010001211x112110201021001201122x101202112110101202202x12221121222221201210202022x1020210111101202111100x102212022201212111112120x101220002222222201121020x1000021201112001121221122122x111112010220222101110220x12220212210101122212101001021x111200121020102101211202x1212121102122111101012121x120000120010220111210002x120010101221012020112201211x1001000202222122022210211x1210111202120102111201211122x10000001101100210200101000x121211201002111202210211222111x10121200011200201001002211x1012222200100222102012202012212x12100110011021111012102211x1222002220000220020101012222x100101212101122022112102202x10212122000102012210011222220121x110001000122110020101200011x12121120122021112112200022011x110001122001202121112010021x1112211001122110221221210011221x110221110011112222102222020x121212211001210222001212120x1120120000222201200011020110x12212012100201220012222222222022220x10102021022010002100212101101x12122100102100112021101210121001221x11001022222001020221220001100x101200210201212221120111012220221x12100020211022110202212202020x121000122121112200201210010011x101022012102111121002101210101x11221220221202010121022111001112x111212022001210100112000200210x11220012211222021022210102220102x10210202101010212022110110222210x10211222122221201121011121022212021202x10210222102112221110211021022100x121101201221202100210122111221201211111x11022001012202101100022202222112x110200121122111100100220121101112012x1022120020200111202212210200022011x1202111112020012220122201110012111201221221x1100202022022020010211200001011002x1122121020220122221110100002111221012110021210x1222020201020220001110020122022202x1021221121012212202210012111222110011120112122x10221200000021211200020222110120010x1210120200212120122222112110212220021121x112212022000102001001001220122021100x110212020002112201200010021122201000x1001021000002002111201001110022122021x121020012121212110022012102110211221021212x1121212010002210212010010222102222010x122120120212012210002221000101200121200120x10020022011121001200120021012001001020x100202002212201220002101212202200021100x11201011101001200022201010101111010200x120210102122110202220221020100212211122121x110011220201110200200000100212210102001x1201211120120021121221021001222021220211220222111x120110111202102121021110020212121102121x1212120100022211222122112110211210110010012x1010221000112122202202001101020112020110x1011221001112222002010101211020012220000x1122020102221020121220012112011010120110x11120221200102212012221220001221211211211211001x1211210120111001000021100211120011021000x102121012122001211020102101111212000100222x1211212001022001212210010200222212011202x1202110122210001222020222121222220211212022x10112120101022000012011101022010011020001x121011121101020122102011122111212210212022122101x10120212120200121200220110221010200202001x100111101120102101211122201011220112212200101x11020210202122102122112120001000202101100x121211212101012200121120111012110220001000x1000211100221022021001222110022010112101121x102221202201201201211221102112102012022002121x1102002222011111021020021100221100020002221x1202202010012112021100111002212210002000122x1120222222112102220002101010001111002020000x110122101112012100211221020012211110000012011x11100000220002102021111001101001011111200100x100011200101122022221100100000202000012012212x101001010001021001112022200020002022002121102x1121100120222010210102201021200122022001212011102x110022202222012101010101221110201101000221111x1200010202011021022020120000011121221200222112x120101020202100122100202001100010012220110010x12000110101021112221012121111122221121002112121022x1000001210020110101200222100222112200001221011x12112122120200200112121210122212222201022111021211x1010102121102112011101020222011001002221010020x12021012002220011121110020110111111101220101021x1201202002200021101202211011120011021212121102x10211220020012121221101022111211002001012112101x1211010200002102011121121202021202211112102220x12020210121010120111220121120122110002111002011x1211100012101101210210122201010111111121012021x12122112011000111002121212212212010211100122202001x12211122110010021220110001002001000212200201011x1210012201102210112201020000011001220010012221211x100011010012011122022111111121200121201101020202x1112110001212101121020020020210012011202222121002x111110010121010220202011120120020020021210102210x100120010101020121021222200110202101212122221112012x111120121001120021100102111022220120211202202000x111121202111222122200001012201012021022202010121210x1200220010111202022211122000121121202110020202220x12022122122022012000022201000120220122122110001012x11211120102202111111002210120200100011021122210111x12210100100212112112012110100102120012021121211101x12.1012x11212x10010x121222x101000x10120121x120022011x12122212220012222x10212002212021x10210021012222x11020210220220x1210012210020101x11201112202010x1212212221212002x12202222010021x12120211221112111111x112201221202201x112010120122222x11022221211102002x1120020221211100120x11121000202022000x12001221021212212200102x12101000222010002x1222021010011222121221x101002002011010210x10212122021122121122102010x1120200002002010000x11211222101202011202221x1211121122202111100x12110122212120212220012x11200102022010001211x112110201021001201122x101202112110101202202x12221121222221201210202022x1020210111101202111100x102212022201212111112120x101220002222222201121020x1000021201112001121221122122x111112010220222101110220x12220212210101122212101001021x111200121020102101211202x1212121102122111101012121x120000120010220111210002x120010101221012020112201211x1001000202222122022210211x1210111202120102111201211122x10000001101100210200101000x121211201002111202210211222111x10121200011200201001002211x1012222200100222102012202012212x12100110011021111012102211x1222002220000220020101012222x100101212101122022112102202x10212122000102012210011222220121x110001000122110020101200011x12121120122021112112200022011x110001122001202121112010021x1112211001122110221221210011221x110221110011112222102222020x121212211001210222001212120x1120120000222201200011020110x12212012100201220012222222222022220x10102021022010002100212101101x12122100102100112021101210121001221x11001022222001020221220001100x101200210201212221120111012220221x12100020211022110202212202020x121000122121112200201210010011x101022012102111121002101210101x11221220221202010121022111001112x111212022001210100112000200210x11220012211222021022210102220102x10210202101010212022110110222210x10211222122221201121011121022212021202x10210222102112221110211021022100x121101201221202100210122111221201211111x11022001012202101100022202222112x110200121122111100100220121101112012x1022120020200111202212210200022011x1202111112020012220122201110012111201221221x1100202022022020010211200001011002x1122121020220122221110100002111221012110021210x1222020201020220001110020122022202x1021221121012212202210012111222110011120112122x10221200000021211200020222110120010x1210120200212120122222112110212220021121x112212022000102001001001220122021100x110212020002112201200010021122201000x1001021000002002111201001110022122021x121020012121212110022012102110211221021212x1121212010002210212010010222102222010x122120120212012210002221000101200121200120x10020022011121001200120021012001001020x100202002212201220002101212202200021100x11201011101001200022201010101111010200x120210102122110202220221020100212211122121x110011220201110200200000100212210102001x1201211120120021121221021001222021220211220222111x120110111202102121021110020212121102121x1212120100022211222122112110211210110010012x1010221000112122202202001101020112020110x1011221001112222002010101211020012220000x1122020102221020121220012112011010120110x11120221200102212012221220001221211211211211001x1211210120111001000021100211120011021000x102121012122001211020102101111212000100222x1211212001022001212210010200222212011202x1202110122210001222020222121222220211212022x10112120101022000012011101022010011020001x121011121101020122102011122111212210212022122101x10120212120200121200220110221010200202001x100111101120102101211122201011220112212200101x11020210202122102122112120001000202101100x121211212101012200121120111012110220001000x1000211100221022021001222110022010112101121x102221202201201201211221102112102012022002121x1102002222011111021020021100221100020002221x1202202010012112021100111002212210002000122x1120222222112102220002101010001111002020000x110122101112012100211221020012211110000012011x11100000220002102021111001101001011111200100x100011200101122022221100100000202000012012212x101001010001021001112022200020002022002121102x1121100120222010210102201021200122022001212011102x110022202222012101010101221110201101000221111x1200010202011021022020120000011121221200222112x120101020202100122100202001100010012220110010x12000110101021112221012121111122221121002112121022x1000001210020110101200222100222112200001221011x12112122120200200112121210122212222201022111021211x1010102121102112011101020222011001002221010020x12021012002220011121110020110111111101220101021x1201202002200021101202211011120011021212121102x10211220020012121221101022111211002001012112101x1211010200002102011121121202021202211112102220x12020210121010120111220121120122110002111002011x1211100012101101210210122201010111111121012021x12122112011000111002121212212212010211100122202001x12211122110010021220110001002001000212200201011x1210012201102210112201020000011001220010012221211x100011010012011122022111111121200121201101020202x1112110001212101121020020020210012011202222121002x111110010121010220202011120120020020021210102210x100120010101020121021222200110202101212122221112012x111120121001120021100102111022220120211202202000x111121202111222122200001012201012021022202010121210x1200220010111202022211122000121121202110020202220x12022122122022012000022201000120220122122110001012x11211120102202111111002210120200100011021122210111x12210100100212112112012110100102120012021121211101x1ttt2ttt2 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])))