/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 010x12211x1100x1202220220102x11001x122101x11001x112022002200201x11021x122002x100110x10111222122022x101010x1211222x101220x1222022202120x122111x122122211x1221000x120212200022120x10201110x1201210222x100122011x122100120221x101212221x1222211221x111000011x10201122121x111021100x11121220020x121200100x12021102112x1021112011x120102210221120x1022220111x1020022210211x10000201000x10211212222002012x10110121220x102211100222212x10220101211x120022022221x12021100100x122122000222202220212021x12021210100x1200221101022x12102012011x120000102122220121022x101211110001x10201111000202000211200202x110010200210x120212102021202021x110100011000x121222222001101212x111111101221x1012202021221x111111122010x10222211212122111100x111201110102x10222220220002220020102x1011000221110x1220200120121021211x1102201112101x11001020002110x1111122110101x1111121121100x1122010220101x1211002021102x10021101100011x122101221221111202220222x10110021121100x101022122211022x10110022012021x1020221222002202212x10222000122101x1022220012121202x11101111001210x1220011000222101211212x101201022001121x10221200220222112x102000211002100x1001121020221222121202x102211021101100x12120010200022221211x111201020121221x111022212022220222121202002x120112211000101x120020020020102221021x120121220011000x1212112102101121x122100012222200x122112002000222x1010011000011212x120222101000200111202202x1010201210002112x120010222220202002212101021122x1020121112211011x12102022221010212x1100010022112012x12111111102200212x1100011122121001x122112201201000210x1100100001222201x1102120202212210102102x1111101111020100x100201111120201012222x1120122101000100x12002000102120201x1212212210121001x12221222222220222220212x1221022220211111x120202020020220201002222x10021022011012101x10211012020100222202x101112202121100021x12202101010222020022x101211100101020101x100012021121122211221102202x102011102201101211x102011211012021011x102102122210012010x1222200101221221120222222021020x1011212111212102210x1211202222011210210120000021x1020010010100221101x10000020221222211120x1020120211012111200x120011021122202001202x1021100001111022012x12120210201222020111222x1112001121021101122x12211102122101120212x1122211112102201122x1102220022222212111102x1220010012101220110x12012112112022201022122102x10001011122221220120x102200222222120220212x10012010020001220011x1020221101212220102000001121x10111010101000222201x102122102020002101010212010200x10210012202022210120x122101121212020202221020x10221020022201001211x122000200221222210111x11121211010121111012x1222222210210020202122x100202120100101000210x1212002022111201111002112x111201100000111102000x1101222020111210002022120x122001201020201010000x1221121100221011202221112122x1101222102200111012110x1121102001011101202212x1112211022212020201001x12100200212221122110212021x1120120100210200110110x11000200211210220020010112x10021022110100222012010x122221010101221220202012x10222001220112101020100x1222121110112212220211010212112x11000102121020110011020x120202100122202002020001221022x11010110100110221201221x12200121200112111022010201021x11122202221220110100010x122022201202112221002002020111x12012012210211110121101x1222022100002001210121112221x12211201200022020101210x122202201201122020120200212221x101211121001102022210001x1222210220101212020122100110x111100011112001102212210x1100220220100201201212002120x1000010102022111210012110x10120022100001210122020200211x1011200202010220200221110x10112120201221222220011222022x1022110201000211101101020x12111210222212222202022002x1121022122211221102012001x12020022121020201022022111x1201200201102101100020001x1221200020202211000122012222010x11001211220021002011111220x121102000021121000122222100002x11010101202211220112202011x12212220102010201011022002202x11102111211021000100101122x112220020010100221200012202x100200210211100220101210101x122102220102112100220211212121x101202202111222101121220120x122021110112120102221210022x101210010101121222200211001x10211221220201112222222210002x110002001210201011011101000x110220001010011111000110200x111012121212201010101010220x1210022211212220021020112022022x111102011112212110112010001x10110101021022200010100021212x111112100111012121002112200x112022210022211212021210011012x112011102212110010000110020x1120002202100022011022120120122x112211101010001222121210011x120011111200202111012212022102x1002100020100112201122210011x1200012000200110121102011221x1012100001122012122201201211x1011120020012001111222112022x11120002201011000200221022202x10020101020021210001200222122x101000110010101021012101120010x120000122110101011010101101000x12.1010x12211x1100x1202220220102x11001x122101x11001x112022002200201x11021x122002x100110x10111222122022x101010x1211222x101220x1222022202120x122111x122122211x1221000x120212200022120x10201110x1201210222x100122011x122100120221x101212221x1222211221x111000011x10201122121x111021100x11121220020x121200100x12021102112x1021112011x120102210221120x1022220111x1020022210211x10000201000x10211212222002012x10110121220x102211100222212x10220101211x120022022221x12021100100x122122000222202220212021x12021210100x1200221101022x12102012011x120000102122220121022x101211110001x10201111000202000211200202x110010200210x120212102021202021x110100011000x121222222001101212x111111101221x1012202021221x111111122010x10222211212122111100x111201110102x10222220220002220020102x1011000221110x1220200120121021211x1102201112101x11001020002110x1111122110101x1111121121100x1122010220101x1211002021102x10021101100011x122101221221111202220222x10110021121100x101022122211022x10110022012021x1020221222002202212x10222000122101x1022220012121202x11101111001210x1220011000222101211212x101201022001121x10221200220222112x102000211002100x1001121020221222121202x102211021101100x12120010200022221211x111201020121221x111022212022220222121202002x120112211000101x120020020020102221021x120121220011000x1212112102101121x122100012222200x122112002000222x1010011000011212x120222101000200111202202x1010201210002112x120010222220202002212101021122x1020121112211011x12102022221010212x1100010022112012x12111111102200212x1100011122121001x122112201201000210x1100100001222201x1102120202212210102102x1111101111020100x100201111120201012222x1120122101000100x12002000102120201x1212212210121001x12221222222220222220212x1221022220211111x120202020020220201002222x10021022011012101x10211012020100222202x101112202121100021x12202101010222020022x101211100101020101x100012021121122211221102202x102011102201101211x102011211012021011x102102122210012010x1222200101221221120222222021020x1011212111212102210x1211202222011210210120000021x1020010010100221101x10000020221222211120x1020120211012111200x120011021122202001202x1021100001111022012x12120210201222020111222x1112001121021101122x12211102122101120212x1122211112102201122x1102220022222212111102x1220010012101220110x12012112112022201022122102x10001011122221220120x102200222222120220212x10012010020001220011x1020221101212220102000001121x10111010101000222201x102122102020002101010212010200x10210012202022210120x122101121212020202221020x10221020022201001211x122000200221222210111x11121211010121111012x1222222210210020202122x100202120100101000210x1212002022111201111002112x111201100000111102000x1101222020111210002022120x122001201020201010000x1221121100221011202221112122x1101222102200111012110x1121102001011101202212x1112211022212020201001x12100200212221122110212021x1120120100210200110110x11000200211210220020010112x10021022110100222012010x122221010101221220202012x10222001220112101020100x1222121110112212220211010212112x11000102121020110011020x120202100122202002020001221022x11010110100110221201221x12200121200112111022010201021x11122202221220110100010x122022201202112221002002020111x12012012210211110121101x1222022100002001210121112221x12211201200022020101210x122202201201122020120200212221x101211121001102022210001x1222210220101212020122100110x111100011112001102212210x1100220220100201201212002120x1000010102022111210012110x10120022100001210122020200211x1011200202010220200221110x10112120201221222220011222022x1022110201000211101101020x12111210222212222202022002x1121022122211221102012001x12020022121020201022022111x1201200201102101100020001x1221200020202211000122012222010x11001211220021002011111220x121102000021121000122222100002x11010101202211220112202011x12212220102010201011022002202x11102111211021000100101122x112220020010100221200012202x100200210211100220101210101x122102220102112100220211212121x101202202111222101121220120x122021110112120102221210022x101210010101121222200211001x10211221220201112222222210002x110002001210201011011101000x110220001010011111000110200x111012121212201010101010220x1210022211212220021020112022022x111102011112212110112010001x10110101021022200010100021212x111112100111012121002112200x112022210022211212021210011012x112011102212110010000110020x1120002202100022011022120120122x112211101010001222121210011x120011111200202111012212022102x1002100020100112201122210011x1200012000200110121102011221x1012100001122012122201201211x1011120020012001111222112022x11120002201011000200221022202x10020101020021210001200222122x101000110010101021012101120010x120000122110101011010101101000x1ttt2ttt2 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])))