/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 012x12200x10012x1220002000x12111x1202202x12122x122222022x1001021x1001201x11201210x10110222220022x12101002x12010012x101000022x1201222002x102200201x1222202002222x111122111x1010220002002x112120002x11222200000220221012x121102102x12200000120102x1100102020x122211022222022000002x1110020011x12220202202x1111220011x112200200112x1120011120x11201202200220x1121101211x1111012211x1212121111x12202021002x10210220120x10012222100x12222001022x10122002222x101120000120x120012220012202x102111001111x1212120222202022x102210122121x122012221002202x110000212122x1021110212202x110020010221x10000122200220x111120010200x1022002122022x111202021011x102002220000121x112112021112x120212200200202200200220212x122002121011x1222002002022222022020x1000210020211x1212202200112202x1211000102100x12200012022010x10101120210202x122022112202012220x11011021121020x122010222221102200x11021002011202x112011022221202x12101221201220x1111122012220222x12110200011211x122002120201001x12112222212201x12222022121211x101102001020021x11202111002200002x112112000201001x1122120112220020x1100012222122101x1202220212110101x1102022110012002x122201122112010220x1120200002020021x1222010210001122201x1122212110002222x1221211201220220x10100211022200221x101102202220222102x10110212121101102x110221001022000202122000220x11011102111200021x10022202022000100011100122002x11100210201120202x112022221010220122x11201111211002002x101201001102200221222x11211100012111111x12200001020102022021022x11211221021011012x1222212001110000022202000x12101210001120111x1102022122200000200012122x12210000220112201x10200122202001112x120121100002211121x120011202202002020212100x121100000112101001x1011101112200000002020000022x121221210211021010x1220100100121101010x1002012012022121202x1222212012010120002x1012021020221101111x12201101220211001101x1022112111121011121x10002221002100202102x1100011121112200121x1101011122002022122102x1100200011002211110x1101111202022202201122x1111221112110010111x102212222221212010210x1112012110112220021x11222022121221220222221x1112100101200100001x110122200002202222021x1201111002210002212x112200020000220202202x1210120210000001200x1012022201100000010x10110112020012212101x122012100121101220200x10112001110012012122x100020122010221202200000x11012010210022111221x1202102220002002001211202x11201200021102221110x1102220202002202022200202022x11210211210011221011x101122222122001012110222002210x12112221000112111011x122222220102201110100x12221200200020001020x10222020000101200220x100101120000100022100x1020202222211000110100x110200012121211221210x1200010212201010210010x110210001011222010221x12010020221222002010222012x120002121022212100111x122202202222111110212110x121111101112000112121x1122020011102220200120x1021102200220201212101x12200111022022222222000001120x1102110112111201212110x1112111211011202120110x1120122221110012120021x1100012200010011112220012x1200122112011210012001x10010122022112022002000x1201110021200121121121x10111001100111220001100x1211110212222112111201x10021201000002220202000x10011021001121210210112x100121222220120021221022212202x10121001211111012121100x1011202002012110022200200x10210212021202111210122x100000020000111021222002x10222222101011021122011x1002222102200012020122222x11100201221100101112001x12012212221222000201002020220x11102002221002001121220x10001121120121002220220x12001221020112202200111x120222122002002202000011120222x121122100101011020221021x1212120222202222112112020011x1012020022120012101001121x1022201200011000220200200221x1101201200000221200201012x12221002010100001022220220000x1221012020201121021101201x10101212010012212200122101x10111101102112002211102201x1012011212111022202202120200202x11010122110120220022011120x10222012221022210022001220022x12211100100112020210021012x1222200000102221120110020202x110010020101000201021001220x110010000120100000010112222x110020200011120220201221110x1010201220222222120201220022110x112020122101221221011110021x12110121012221002222022000120x1012120012210122001000002101x1101100002000022000220011022220x1020000121202211001221121201x122001220102010222101122220200x1101121200020011120221020121x10101110221200102112002221200x1102110010220202201201011120x121120022000200212000201102220x1111100120200201010012021211x12200101101122220211011022000x1112121202011000212010200211x110001200002200211220100211021x1222021000002002002010220102x1222220001000002200011202002x10110211012210120121210010020x10220102021200111112100101210x12021111221101200100100102201x12020102111101012100101102202x102100001001200002001000000112x100000120110000112001000200002x12.1012x12200x10012x1220002000x12111x1202202x12122x122222022x1001021x1001201x11201210x10110222220022x12101002x12010012x101000022x1201222002x102200201x1222202002222x111122111x1010220002002x112120002x11222200000220221012x121102102x12200000120102x1100102020x122211022222022000002x1110020011x12220202202x1111220011x112200200112x1120011120x11201202200220x1121101211x1111012211x1212121111x12202021002x10210220120x10012222100x12222001022x10122002222x101120000120x120012220012202x102111001111x1212120222202022x102210122121x122012221002202x110000212122x1021110212202x110020010221x10000122200220x111120010200x1022002122022x111202021011x102002220000121x112112021112x120212200200202200200220212x122002121011x1222002002022222022020x1000210020211x1212202200112202x1211000102100x12200012022010x10101120210202x122022112202012220x11011021121020x122010222221102200x11021002011202x112011022221202x12101221201220x1111122012220222x12110200011211x122002120201001x12112222212201x12222022121211x101102001020021x11202111002200002x112112000201001x1122120112220020x1100012222122101x1202220212110101x1102022110012002x122201122112010220x1120200002020021x1222010210001122201x1122212110002222x1221211201220220x10100211022200221x101102202220222102x10110212121101102x110221001022000202122000220x11011102111200021x10022202022000100011100122002x11100210201120202x112022221010220122x11201111211002002x101201001102200221222x11211100012111111x12200001020102022021022x11211221021011012x1222212001110000022202000x12101210001120111x1102022122200000200012122x12210000220112201x10200122202001112x120121100002211121x120011202202002020212100x121100000112101001x1011101112200000002020000022x121221210211021010x1220100100121101010x1002012012022121202x1222212012010120002x1012021020221101111x12201101220211001101x1022112111121011121x10002221002100202102x1100011121112200121x1101011122002022122102x1100200011002211110x1101111202022202201122x1111221112110010111x102212222221212010210x1112012110112220021x11222022121221220222221x1112100101200100001x110122200002202222021x1201111002210002212x112200020000220202202x1210120210000001200x1012022201100000010x10110112020012212101x122012100121101220200x10112001110012012122x100020122010221202200000x11012010210022111221x1202102220002002001211202x11201200021102221110x1102220202002202022200202022x11210211210011221011x101122222122001012110222002210x12112221000112111011x122222220102201110100x12221200200020001020x10222020000101200220x100101120000100022100x1020202222211000110100x110200012121211221210x1200010212201010210010x110210001011222010221x12010020221222002010222012x120002121022212100111x122202202222111110212110x121111101112000112121x1122020011102220200120x1021102200220201212101x12200111022022222222000001120x1102110112111201212110x1112111211011202120110x1120122221110012120021x1100012200010011112220012x1200122112011210012001x10010122022112022002000x1201110021200121121121x10111001100111220001100x1211110212222112111201x10021201000002220202000x10011021001121210210112x100121222220120021221022212202x10121001211111012121100x1011202002012110022200200x10210212021202111210122x100000020000111021222002x10222222101011021122011x1002222102200012020122222x11100201221100101112001x12012212221222000201002020220x11102002221002001121220x10001121120121002220220x12001221020112202200111x120222122002002202000011120222x121122100101011020221021x1212120222202222112112020011x1012020022120012101001121x1022201200011000220200200221x1101201200000221200201012x12221002010100001022220220000x1221012020201121021101201x10101212010012212200122101x10111101102112002211102201x1012011212111022202202120200202x11010122110120220022011120x10222012221022210022001220022x12211100100112020210021012x1222200000102221120110020202x110010020101000201021001220x110010000120100000010112222x110020200011120220201221110x1010201220222222120201220022110x112020122101221221011110021x12110121012221002222022000120x1012120012210122001000002101x1101100002000022000220011022220x1020000121202211001221121201x122001220102010222101122220200x1101121200020011120221020121x10101110221200102112002221200x1102110010220202201201011120x121120022000200212000201102220x1111100120200201010012021211x12200101101122220211011022000x1112121202011000212010200211x110001200002200211220100211021x1222021000002002002010220102x1222220001000002200011202002x10110211012210120121210010020x10220102021200111112100101210x12021111221101200100100102201x12020102111101012100101102202x102100001001200002001000000112x100000120110000112001000200002x1ttt2ttt2 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])))