/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 000122122x11211210111x100022110101x1112112212221x1002021101010102x111212221222220222x101200111101221102x10211100121002120211x1010220011000212200x121210210222102102110x1201001102020021110x121021022011202101212x10022200001102111202x122121000202100211211x100100010110202222220x10210211220200221012121x102102221111101002111x1021211022211212201221x120122110012011222000x12121120212201210202012x1121220021112210222110x1111222122210020121021x1202210212220200212000x10121212011220201222220x10020222001122221111110x1212122122122202210101220x10011020210220110012021111x112202210211220122220001211x120111120000211002212220020x1212100011012101012111221002x1011002102021102210111111102x11000122121010202022012002121x1021120102001220000200201002x122121221211000120211122012021x1200212202111120012000200020x12221201100121121201102010211x1221221201201112210220022100x1221212021121202000220212110x10021111010000010020202002110x110111000201222212120202020222x10212022021222002002210022011x110121210011012222112011022121x12000222012110001022200112122x101121210002012122100121212010x101120101122002021222202011002x1122110200002110202122021121122x120220001010202000211100021200x1100012222112212221111102221210x1011001012221100122002012221120x112111202110122001021222111200121x1200011001001102211121000222002x11211022111002222112122212112120x112020100211100120211112022010102x11100112101220112120121121221212102x120020122221200121210111000201020x1212100210121220201122201121201201x120200102221110011100001012022001x1202220021011112121100222200111001x1001111202112212110210221110011010x100222102200021212101210211222201022x1010210210010202022200100212210100x11022212101001212211222120212201220x10110202101122120011221102010000020x1100200220202120222121121011020012200x102210012012002201202102200001111022x102210002010100211220120221200020121x111100102021000001021201112012120122x1110101002112121201202121002102022220x122012211101020112222120021101022110x1211212102100202111000111120012002022x1000210102000002220102000022221220120x12001211121001121212220021020101010000x1022000221002010100010000011002010100x11221022002100022200122000211110212200x1111202010221020112002002011110012000x11211000120200102102200121211212210101101x1200120000110120111001201211211122202x12220002101010121200121122202020222121x1211101011200010000000111111011110022x10111001210100020211211001202121202120120x10101020200222111111110002011201120201x111222101112021222210202110202200201001x10111111021201002010220210220201101222x100220210020111221200212000021211021202x10220001022202201102102011202210020202x111011220122012110012102212121011110011x11001101210022011221111202000111202210x11122210201100121100121020101001212120222x12020221220112012011001211101112012200x122121202020122000100021001202111211012x101201211200020002022110120000102122201x11212110000120101020212122221210000210121x102011201102200020020002211111212020010x1002120001021121112121022110120211010011211x102102121122102101201202220021001002202x11221211110122120000122010112121222122211x102202102100100222011210001100111001002x1022201001201101112121020010101210021202x122110021012202210021010201000201221000x1112221120112211002112120101002020220102x1022200200021002001010112200202201100202x122202201212202101102200020200211021001211x1100200102212001102012222200000110202010x11012102220022221011012020220112202012001x10112120102022222001122112000102111110000x12002021122112122200111121120122212020101212x10200110101022001001012100222100102111002x1110100111201221010221211202121222020200121x11101001120002020012201202102112210102202x112221121102220112011010221100100221212011x11202111102012101002010111122200022002120x111120202210120121020122211022001211021201x12010001120020102200021010100201220000000x102101201112012112201012110110210202101010x100020112201111221112211200120211000111110x10001121122101121002201210111122220221020222x122211000000022120010002202001010220120002x1220211120100111012021012000121102002201121x1220000001000112021021221100220000010022102x112212110022001211202210121022111010221202100x10011200111011100120200222212202122010210010x11012221212022000102120011111212022120121102202x101101020010201101210010001222022202021102120x1222020122211212221112021210222122001021102022210x102000011001001200012011121220020100011200202x11101000211011212122111021022101002011121000002x120201220101011200012201011200112211002001120x111001210022021022022011222212111221012121200001121x122011112210122001210211110121111011101020010x1222001100101212101200220202211212101200021210121x1001122211212101011011120010012100101002000020x10202100121112210012202221101210200001112220211x1111122112201110111021210010220211112002202211x11012222212012020122112102121110012211012220001x1202221202100011110011101102212122110000222211x12112211021210221010021210100211022000220211211x11001201121001102000210101220002100212001022000x11110101212221121000210100200220122012122101112100x11101100220211010211000021021212212102210101201x110010022221011112111221210010102102101121221211x11210010222011012022202010002111000000202211022x110020002002121102122011020121000010111212120220x12220122122120111222001102122022221120110210210x112100110012222222111002101011012020202000121121x120202220111000202211111202002112211011200221120x112111210100001102202221202022012221001210122110x1010220022121012002210211000112200101011101100220x11010120022011221121200012000000221010211212021001x1221200200001222010002002100022010101012220111022x12021022120220202000212022211122000021122122122102x12.1000122122x11211210111x100022110101x1112112212221x1002021101010102x111212221222220222x101200111101221102x10211100121002120211x1010220011000212200x121210210222102102110x1201001102020021110x121021022011202101212x10022200001102111202x122121000202100211211x100100010110202222220x10210211220200221012121x102102221111101002111x1021211022211212201221x120122110012011222000x12121120212201210202012x1121220021112210222110x1111222122210020121021x1202210212220200212000x10121212011220201222220x10020222001122221111110x1212122122122202210101220x10011020210220110012021111x112202210211220122220001211x120111120000211002212220020x1212100011012101012111221002x1011002102021102210111111102x11000122121010202022012002121x1021120102001220000200201002x122121221211000120211122012021x1200212202111120012000200020x12221201100121121201102010211x1221221201201112210220022100x1221212021121202000220212110x10021111010000010020202002110x110111000201222212120202020222x10212022021222002002210022011x110121210011012222112011022121x12000222012110001022200112122x101121210002012122100121212010x101120101122002021222202011002x1122110200002110202122021121122x120220001010202000211100021200x1100012222112212221111102221210x1011001012221100122002012221120x112111202110122001021222111200121x1200011001001102211121000222002x11211022111002222112122212112120x112020100211100120211112022010102x11100112101220112120121121221212102x120020122221200121210111000201020x1212100210121220201122201121201201x120200102221110011100001012022001x1202220021011112121100222200111001x1001111202112212110210221110011010x100222102200021212101210211222201022x1010210210010202022200100212210100x11022212101001212211222120212201220x10110202101122120011221102010000020x1100200220202120222121121011020012200x102210012012002201202102200001111022x102210002010100211220120221200020121x111100102021000001021201112012120122x1110101002112121201202121002102022220x122012211101020112222120021101022110x1211212102100202111000111120012002022x1000210102000002220102000022221220120x12001211121001121212220021020101010000x1022000221002010100010000011002010100x11221022002100022200122000211110212200x1111202010221020112002002011110012000x11211000120200102102200121211212210101101x1200120000110120111001201211211122202x12220002101010121200121122202020222121x1211101011200010000000111111011110022x10111001210100020211211001202121202120120x10101020200222111111110002011201120201x111222101112021222210202110202200201001x10111111021201002010220210220201101222x100220210020111221200212000021211021202x10220001022202201102102011202210020202x111011220122012110012102212121011110011x11001101210022011221111202000111202210x11122210201100121100121020101001212120222x12020221220112012011001211101112012200x122121202020122000100021001202111211012x101201211200020002022110120000102122201x11212110000120101020212122221210000210121x102011201102200020020002211111212020010x1002120001021121112121022110120211010011211x102102121122102101201202220021001002202x11221211110122120000122010112121222122211x102202102100100222011210001100111001002x1022201001201101112121020010101210021202x122110021012202210021010201000201221000x1112221120112211002112120101002020220102x1022200200021002001010112200202201100202x122202201212202101102200020200211021001211x1100200102212001102012222200000110202010x11012102220022221011012020220112202012001x10112120102022222001122112000102111110000x12002021122112122200111121120122212020101212x10200110101022001001012100222100102111002x1110100111201221010221211202121222020200121x11101001120002020012201202102112210102202x112221121102220112011010221100100221212011x11202111102012101002010111122200022002120x111120202210120121020122211022001211021201x12010001120020102200021010100201220000000x102101201112012112201012110110210202101010x100020112201111221112211200120211000111110x10001121122101121002201210111122220221020222x122211000000022120010002202001010220120002x1220211120100111012021012000121102002201121x1220000001000112021021221100220000010022102x112212110022001211202210121022111010221202100x10011200111011100120200222212202122010210010x11012221212022000102120011111212022120121102202x101101020010201101210010001222022202021102120x1222020122211212221112021210222122001021102022210x102000011001001200012011121220020100011200202x11101000211011212122111021022101002011121000002x120201220101011200012201011200112211002001120x111001210022021022022011222212111221012121200001121x122011112210122001210211110121111011101020010x1222001100101212101200220202211212101200021210121x1001122211212101011011120010012100101002000020x10202100121112210012202221101210200001112220211x1111122112201110111021210010220211112002202211x11012222212012020122112102121110012211012220001x1202221202100011110011101102212122110000222211x12112211021210221010021210100211022000220211211x11001201121001102000210101220002100212001022000x11110101212221121000210100200220122012122101112100x11101100220211010211000021021212212102210101201x110010022221011112111221210010102102101121221211x11210010222011012022202010002111000000202211022x110020002002121102122011020121000010111212120220x12220122122120111222001102122022221120110210210x112100110012222222111002101011012020202000121121x120202220111000202211111202002112211011200221120x112111210100001102202221202022012221001210122110x1010220022121012002210211000112200101011101100220x11010120022011221121200012000000221010211212021001x1221200200001222010002002100022010101012220111022x12021022120220202000212022211122000021122122122102x1ttt2ttt2 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])))