/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 012x100222211x10122x120000x10122x120020221x11211x110020002x111212x111122x1000122x1000221x1012121x12022000120002x1212120x1110222x1221010x10110202x10112112x111020100002220002x10120000x1100202020020x10121012x1022120221x10210220x120200020022x12210121x102020001x101101122x102211101x112222001x111022000120011x122112201x12020002002211x1022101222x10202212110x1112211212x110001020020x1221211122x100202220211211x1222121001x10200222020021200x12110201201x1010220022020020001x12121010112x1210111020122x12122212121x1011122111021102211111x101011110010x120102000222202021022x120101011210x12100020220222x120121211210x122110202000022x121122221220x1022012101102x121211021222x1010210200012x121220200112x122021110022x122122102220x110100202220000x122122210022x120000212201020222x1020101002122x12200200200100211x1121212202101x1102002110121011x1202122202121x121002202102100x1221012222201x11010200002210002011x1221210120212x122022022102000010x10121022000110x102211001112202x10121212202001x1000110020010111212x10221222111212x111000011220112x11101222212012x1112000120110201021x12000101212210x12202000111120x12100200201122x10000110202021002x12210122220221x12002112200010102x100010110210020x1000000102011202220022x102012101222220x1120200020201110020021110200x112221100021221x1110202111112102x120121210120121x122011220022111100212110002x1012221122222101x10122020101112001x1211220001021210x12120110111111110202022x1212001102121222x12111002110200101012x1221221211101210x1211102112121022x11001122012101012x110222102211112101122x11012212111110121x1101022100020120211x11220110100010201x1112122011102200200x11221110002010012x111020101110202220x102012202002202121x10222220210202002101112x102100021010111221x1001020010010220010211x120121210010201122x1102010002021100001x121221221000001121x10201110200021101110x1000001221021012101x120210001222200001002x1001200102101202100x101101110110000102220x1011201011001022010x10211000010022102001202x1200011102212121002x1201001020200020112111111102x1201002101210220000x12001110202000110220110x1201100201001111200x10002121102220200102x1212102001200102121x10202002002121022000x10010201221221210222x101000000102200210102000102x10120011202102221001x10211010222010011102222202210x10212011221121210101x12210011020122211111x11222102101021121101x11222111000011021102201001x100101201212100022202x1002210220102111201002x101101210110100011020x101221112010020100000022x101212102010220102112x120000000102002022222110200x102222020120012101021x10000000211212020221110022211x111211220010120121120x1102202112102121020210111022x121211012122012211101x1212200000222110022021221000x1012222002112220020102x100201121111121210102222x1112022121222002011000x1122020222111110202201022002000x1200112211201011101100x11100210002022001120221120x1201211121220002222001x102110022202210022200220x1212221120110120002122x1201102222010112120221x1222102122111010001122x122021102120020002002121000221x10002110101212122110120x102011220012102100200022x10010021200112222212221x1210212122001112022100201x10122111201011010002121x10111111012200212211000x11022012110121212100201x110022010022012221021210x11222101210022211021221x11212200210201020020011211x100102101120221010101020x111120020112012111000112202202x120122012101002102021000x12200020101200101022011022222x1001110101112221000012112x120101221110211022020001011x1121102022200101012202101x112022021112202211112202111x10121001201010112101202212x121202211022210221112110201211x10122201000220010222112001x11210000011022102200222100001x11201001102202111122221221x111002010212100002210220102111x12021122102211002201212220x1221110112020220102100112200002x12022012112201001220100200x110020022220021212011101102x12101222222102002102001121x1100212020022012212011011022222x12120001112122121020022122x1210110220021002110100102201000x12120012122122211100022201x101200222200200120212221111x102021120102121101210111101x1211010121202020202100020002x110200110012201112001010101x112201020011220220022010101101x1000121210212100221221110001x1010002100210000011102210022102x1012001201010210122201021201x100102012110211221021021102101x1101000000122010211020112201x110222120210102110000200200110x1201020102102100021012200010x11022002011200212201102000110x1201202101222100121100021201x11100011220021021012021002220x1210112110111212012202110100x12000222101000212001110012100x1221100101210112221012021212x1111222001010110222212121012x1011012111020121101212011012201x1010120211100112211210110011221x12.1012x100222211x10122x120000x10122x120020221x11211x110020002x111212x111122x1000122x1000221x1012121x12022000120002x1212120x1110222x1221010x10110202x10112112x111020100002220002x10120000x1100202020020x10121012x1022120221x10210220x120200020022x12210121x102020001x101101122x102211101x112222001x111022000120011x122112201x12020002002211x1022101222x10202212110x1112211212x110001020020x1221211122x100202220211211x1222121001x10200222020021200x12110201201x1010220022020020001x12121010112x1210111020122x12122212121x1011122111021102211111x101011110010x120102000222202021022x120101011210x12100020220222x120121211210x122110202000022x121122221220x1022012101102x121211021222x1010210200012x121220200112x122021110022x122122102220x110100202220000x122122210022x120000212201020222x1020101002122x12200200200100211x1121212202101x1102002110121011x1202122202121x121002202102100x1221012222201x11010200002210002011x1221210120212x122022022102000010x10121022000110x102211001112202x10121212202001x1000110020010111212x10221222111212x111000011220112x11101222212012x1112000120110201021x12000101212210x12202000111120x12100200201122x10000110202021002x12210122220221x12002112200010102x100010110210020x1000000102011202220022x102012101222220x1120200020201110020021110200x112221100021221x1110202111112102x120121210120121x122011220022111100212110002x1012221122222101x10122020101112001x1211220001021210x12120110111111110202022x1212001102121222x12111002110200101012x1221221211101210x1211102112121022x11001122012101012x110222102211112101122x11012212111110121x1101022100020120211x11220110100010201x1112122011102200200x11221110002010012x111020101110202220x102012202002202121x10222220210202002101112x102100021010111221x1001020010010220010211x120121210010201122x1102010002021100001x121221221000001121x10201110200021101110x1000001221021012101x120210001222200001002x1001200102101202100x101101110110000102220x1011201011001022010x10211000010022102001202x1200011102212121002x1201001020200020112111111102x1201002101210220000x12001110202000110220110x1201100201001111200x10002121102220200102x1212102001200102121x10202002002121022000x10010201221221210222x101000000102200210102000102x10120011202102221001x10211010222010011102222202210x10212011221121210101x12210011020122211111x11222102101021121101x11222111000011021102201001x100101201212100022202x1002210220102111201002x101101210110100011020x101221112010020100000022x101212102010220102112x120000000102002022222110200x102222020120012101021x10000000211212020221110022211x111211220010120121120x1102202112102121020210111022x121211012122012211101x1212200000222110022021221000x1012222002112220020102x100201121111121210102222x1112022121222002011000x1122020222111110202201022002000x1200112211201011101100x11100210002022001120221120x1201211121220002222001x102110022202210022200220x1212221120110120002122x1201102222010112120221x1222102122111010001122x122021102120020002002121000221x10002110101212122110120x102011220012102100200022x10010021200112222212221x1210212122001112022100201x10122111201011010002121x10111111012200212211000x11022012110121212100201x110022010022012221021210x11222101210022211021221x11212200210201020020011211x100102101120221010101020x111120020112012111000112202202x120122012101002102021000x12200020101200101022011022222x1001110101112221000012112x120101221110211022020001011x1121102022200101012202101x112022021112202211112202111x10121001201010112101202212x121202211022210221112110201211x10122201000220010222112001x11210000011022102200222100001x11201001102202111122221221x111002010212100002210220102111x12021122102211002201212220x1221110112020220102100112200002x12022012112201001220100200x110020022220021212011101102x12101222222102002102001121x1100212020022012212011011022222x12120001112122121020022122x1210110220021002110100102201000x12120012122122211100022201x101200222200200120212221111x102021120102121101210111101x1211010121202020202100020002x110200110012201112001010101x112201020011220220022010101101x1000121210212100221221110001x1010002100210000011102210022102x1012001201010210122201021201x100102012110211221021021102101x1101000000122010211020112201x110222120210102110000200200110x1201020102102100021012200010x11022002011200212201102000110x1201202101222100121100021201x11100011220021021012021002220x1210112110111212012202110100x12000222101000212001110012100x1221100101210112221012021212x1111222001010110222212121012x1011012111020121101212011012201x1010120211100112211210110011221x1ttt2ttt2 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])))