/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 000001221210010102110220211201x1100210202220012002012020211011x1000012122002201112120100112101x1220102201011010001021100111101x1000100221021002111220022112110x1022002112000222121022020102112x1000112100022201010102212122110x1200021101221201021020122100120x1001000202210020211221212220112x1212022222212120002021020220220x1001211101010221011222001210212x1212211200101222221101221020002x1002010221122202000121101201200x1001122102202001000101122021010x1002021022211112011000121100122x1010002102201221222220012222212x1002101101122121122112201021020x1202110120110222100012111121010x1002111012102020021021110010111x1001022110012001111100201221011x1002121211121002002100110200012x1201121221101000222000211020010x1002122022002002022012012220100x1100100220202200000111000210110x1002201012202211122212021011221x1200100101222200111212212211022x1002202010211121120110010120120x1000011012100011002121200111201x1002210111220100112022202102010x1121000100012221002112021201010x1010002002102112111211210200202x1112012202002101202200122010110x1010010022022120112002112100211x1211210002122100012100110220020x1010201120210021020111100100211x1012120100001210102012202012222x1011100202011102120201102100102x1100101201022220000201010122221x1011112101112101112202222011120x1121102001011221011120202212211x1011221200012121220211001221100x1101112010112200222102100202110x1012001020222221221220011210100x1210020221222201210000202102122x1012012202102101021110102112222x1222202200120220110211201211110x1012220200102212112211221021210x1001022011101211121112120201200x1012221100012010122122010102220x1020100120020122202011202212021x1021021012022012111100000102101x1110022100212202221000210120002x1021201022020001111202212100211x1102221202022110200101220101021x1021201110100111110022111220211x1210101211201112000121220011111x1022100101100102210012112011122x1202002112020011212202001221011x1022112022021201012211000110202x1002102022200010201111110110122x1022202020012022200102222211001x1010220200202022100120021001112x1100001011221010221202211001212x1202111012010102200012102001221x1100001221120222101201101021100x1220220202010122002110222020101x1100111221012110101200200202220x1020210011102120222120021120200x1100210012212202210210000211121x1201201010020022122021210202122x1100210211122011010001122100122x1112221000002211200210122211202x1101020011201101122222201012001x1222101102202200120210002222211x1101200111110221220201222220200x1121000220202110212211021100210x1101201012201222211001021210102x1112100120102011001020211210112x1101212102212200021211222221110x1021112210122020011111012011001x1101221000120022111010212200120x1211101002202200212222100120002x1102012022022201221101222122210x1110100022001001122202211101211x1102110100021001112202110210111x1012122100110121202001202220111x1102122100011101201111220212212x1221202121112122000210210011011x1102210020001222221200222212010x1020220120102120100122102202001x1102221220000020101201211011002x1200222221012102002001101001102x1110011212212120121001211102121x1110011021102111201221101012122x1110021100220010122112021110202x1221010010012001212120021010121x1110100212111002220121200212000x1010111102100201222001012222200x1110121100112021000211100000010x1010201000100222012210102001101x1110212220111021121121021010010x1201000000112122221221012212002x1111001221010211010201121120000x1200211001211011020001002221021x1111200002122000220022111112002x1002021102210100112010111201002x1111210110221220012002200220222x1121120022220212020020010121122x1111221102211211101000100120012x1110112110001100220021010112211x1112010220111211002212002102210x1210002122100012111112010010021x1112021200220112112011100010010x1200222110212110122212002000001x1112022021101100220220011102100x1220210120000200010201201111101x1112112100110222111200121001100x1221111220102222100012201221002x1112202110002122000101110102221x1102012020122211120202020110012x1120100022200211002002102011122x1211222001000010101011010220012x1120201202022101220102220102121x1011002111002210201111202020020x1121001201210022211012121202011x1012220112212010220101221102011x1121011000200102202120010022012x1202021000002212211102210200002x1121210111000110020110102021100x1202002220110122021002012100112x1121222102012102011210100221022x1121210122121010020022212012012x1122000012221201120210222112012x1201012020211211112001200202212x1122001221201122120100121220022x1210112002021101100211100211202x1122022000222021222021220221200x1011100201000112020102102212120x1122101120100222212211011120200x1111111202101120120221200011200x1122212110222001200211110221200x1211211202000101022210111202120x1122212210002020122111022210001x1222121100101211100120022020200x1200001020010020200121121122000x1212100210000021020102120020020x1200012001021111222021001222110x1201102100222212102200111120010x1201012010222201220200210211210x1100012100200012102011210002111x1201101110001112221000210001102x1210012211022002200001010112101x1201102102120210012121211210002x1012121100120001021221122110100x1201112022222221100211122100021x1120000201201221210111210011212x1201210120121222020020001010110x1201022122000002110021010220011x1202021120121210211000021110112x1001122201201111001010202202111x1202111011120220200012010210222x1000100120212220111101120021220x1202121221201011012212021102000x1202221121020102020120212002101x1202222010221210122211111201001x1021022101011200211012112021121x1210021222102002100112101212220x1122100221002210010211120201120x1210100021100212100021110221010x1001101020011210211011102021000x1210111200121001000201120002112x1210101120000222202102001010121x1210120200021222122102122201100x1200010111101002122202001111120x1210221000222022220112102220200x1201220002110121010221002010202x1210221021201120221212120020210x1101021102121110200100202110021x1211111002222222201012110020211x1201112220121100101211100120121x1211202201210010001120000211010x1112010000210201110010201120200x1212100020202201110222212102002x1021010010110001011202202100111x1220202012122222120221120012110x1020200102101120211001022111211x1220222200002111122202000012012x1011001122020221201210110000100x1221001121101202221221200011012x1101120010101222221121021020110x1221021202000101122021122011120x1112011011100102201022100102110x1221101001220010211221110211001x1101211112012000010110100211210x1221202011001012200011102011222x1000210101210212102110010222201x1222122122010220022101122110002x1121101121011001212010200200201x12.1000001221210010102110220211201x1100210202220012002012020211011x1000012122002201112120100112101x1220102201011010001021100111101x1000100221021002111220022112110x1022002112000222121022020102112x1000112100022201010102212122110x1200021101221201021020122100120x1001000202210020211221212220112x1212022222212120002021020220220x1001211101010221011222001210212x1212211200101222221101221020002x1002010221122202000121101201200x1001122102202001000101122021010x1002021022211112011000121100122x1010002102201221222220012222212x1002101101122121122112201021020x1202110120110222100012111121010x1002111012102020021021110010111x1001022110012001111100201221011x1002121211121002002100110200012x1201121221101000222000211020010x1002122022002002022012012220100x1100100220202200000111000210110x1002201012202211122212021011221x1200100101222200111212212211022x1002202010211121120110010120120x1000011012100011002121200111201x1002210111220100112022202102010x1121000100012221002112021201010x1010002002102112111211210200202x1112012202002101202200122010110x1010010022022120112002112100211x1211210002122100012100110220020x1010201120210021020111100100211x1012120100001210102012202012222x1011100202011102120201102100102x1100101201022220000201010122221x1011112101112101112202222011120x1121102001011221011120202212211x1011221200012121220211001221100x1101112010112200222102100202110x1012001020222221221220011210100x1210020221222201210000202102122x1012012202102101021110102112222x1222202200120220110211201211110x1012220200102212112211221021210x1001022011101211121112120201200x1012221100012010122122010102220x1020100120020122202011202212021x1021021012022012111100000102101x1110022100212202221000210120002x1021201022020001111202212100211x1102221202022110200101220101021x1021201110100111110022111220211x1210101211201112000121220011111x1022100101100102210012112011122x1202002112020011212202001221011x1022112022021201012211000110202x1002102022200010201111110110122x1022202020012022200102222211001x1010220200202022100120021001112x1100001011221010221202211001212x1202111012010102200012102001221x1100001221120222101201101021100x1220220202010122002110222020101x1100111221012110101200200202220x1020210011102120222120021120200x1100210012212202210210000211121x1201201010020022122021210202122x1100210211122011010001122100122x1112221000002211200210122211202x1101020011201101122222201012001x1222101102202200120210002222211x1101200111110221220201222220200x1121000220202110212211021100210x1101201012201222211001021210102x1112100120102011001020211210112x1101212102212200021211222221110x1021112210122020011111012011001x1101221000120022111010212200120x1211101002202200212222100120002x1102012022022201221101222122210x1110100022001001122202211101211x1102110100021001112202110210111x1012122100110121202001202220111x1102122100011101201111220212212x1221202121112122000210210011011x1102210020001222221200222212010x1020220120102120100122102202001x1102221220000020101201211011002x1200222221012102002001101001102x1110011212212120121001211102121x1110011021102111201221101012122x1110021100220010122112021110202x1221010010012001212120021010121x1110100212111002220121200212000x1010111102100201222001012222200x1110121100112021000211100000010x1010201000100222012210102001101x1110212220111021121121021010010x1201000000112122221221012212002x1111001221010211010201121120000x1200211001211011020001002221021x1111200002122000220022111112002x1002021102210100112010111201002x1111210110221220012002200220222x1121120022220212020020010121122x1111221102211211101000100120012x1110112110001100220021010112211x1112010220111211002212002102210x1210002122100012111112010010021x1112021200220112112011100010010x1200222110212110122212002000001x1112022021101100220220011102100x1220210120000200010201201111101x1112112100110222111200121001100x1221111220102222100012201221002x1112202110002122000101110102221x1102012020122211120202020110012x1120100022200211002002102011122x1211222001000010101011010220012x1120201202022101220102220102121x1011002111002210201111202020020x1121001201210022211012121202011x1012220112212010220101221102011x1121011000200102202120010022012x1202021000002212211102210200002x1121210111000110020110102021100x1202002220110122021002012100112x1121222102012102011210100221022x1121210122121010020022212012012x1122000012221201120210222112012x1201012020211211112001200202212x1122001221201122120100121220022x1210112002021101100211100211202x1122022000222021222021220221200x1011100201000112020102102212120x1122101120100222212211011120200x1111111202101120120221200011200x1122212110222001200211110221200x1211211202000101022210111202120x1122212210002020122111022210001x1222121100101211100120022020200x1200001020010020200121121122000x1212100210000021020102120020020x1200012001021111222021001222110x1201102100222212102200111120010x1201012010222201220200210211210x1100012100200012102011210002111x1201101110001112221000210001102x1210012211022002200001010112101x1201102102120210012121211210002x1012121100120001021221122110100x1201112022222221100211122100021x1120000201201221210111210011212x1201210120121222020020001010110x1201022122000002110021010220011x1202021120121210211000021110112x1001122201201111001010202202111x1202111011120220200012010210222x1000100120212220111101120021220x1202121221201011012212021102000x1202221121020102020120212002101x1202222010221210122211111201001x1021022101011200211012112021121x1210021222102002100112101212220x1122100221002210010211120201120x1210100021100212100021110221010x1001101020011210211011102021000x1210111200121001000201120002112x1210101120000222202102001010121x1210120200021222122102122201100x1200010111101002122202001111120x1210221000222022220112102220200x1201220002110121010221002010202x1210221021201120221212120020210x1101021102121110200100202110021x1211111002222222201012110020211x1201112220121100101211100120121x1211202201210010001120000211010x1112010000210201110010201120200x1212100020202201110222212102002x1021010010110001011202202100111x1220202012122222120221120012110x1020200102101120211001022111211x1220222200002111122202000012012x1011001122020221201210110000100x1221001121101202221221200011012x1101120010101222221121021020110x1221021202000101122021122011120x1112011011100102201022100102110x1221101001220010211221110211001x1101211112012000010110100211210x1221202011001012200011102011222x1000210101210212102110010222201x1222122122010220022101122110002x1121101121011001212010200200201x1ttt2ttt2 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])))