/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 010x12200x1211x122122x1000100x112120202221221x1002122x12020221x1200001x1200221121x101012101x1010122211x102010101x10012022112x111000021x10000221021x112002220x1212122220x112102011x1211022011x1000112021x111220012112212x1002120100x102202121210x10021021222x11122000222x10211200001x10001220000222x10211220001x112010102022x11121011101x1211022021022x100021101011x10200122102221x100111220110x122012101221022220221x101002220212x12202122112211x101202101200x1112021102212x101210210111x1101102200120x101211212001x12222221200200x102112012200x121222010001x1002001100200x12102022121001x1002211101201x102112221122102x1010120202121x10002012212000x1011002101211x11220221101102x1101022101010x110202210011022x1202012200121x1222221100100x1211100100020x121002212220220001x10002021211000x10002220000111x10010201202021x1211222022222101220122200x10022022012110x11222200111221022x11100120110121x11222121212112120211202210x101020211011100x102000222120100101x102020010010200x11120110012202110x110201010101211x10122120220011201211x111201011111102x1101101220112211012022x121020120100210x1022002200001122012x1001202120101012x101002001210202022122x1012100012001021x102110002012110022x1101120002202001x11000001122120022202x1121010112122120x12020002122111022x1121100121121212x122102001122022002222022x1201100102110001x122120221022022021000121x1220212000111211x1220122112102102002222112x10021211100212001x1012201112121020202212220000222x11001011020021020x1022220002212112222x11012021020012001x10011200022210101x100112001002011010x100001221010001101x102010201101110010x12200102220102102202x102011012000020200x1022222020021110101x111001121000120201x1202001200102022121111x111102210000102112x110122002201201221212022x112012001010122211x101022222222022220210102222112x121220000110011012x121210211012210221122212x1100210212010100121x10110000111102210220200x1121201221210121001x1121111202222001011x1200102112012100121x120020222011010102100x10102001222122001211x102022221210100002220x10112120211101220000x101011111220110022222012222x10121120110110101201x100210210122110112221010x10210021210210002022x1122221012020200122202221x11112020100100200010x1120220011220100110120x12002210200022100110x1201121222012211120022222x12010202000021010210x1201222121211022000220012x12011122111022201110x121211111012212202220x12101211102111012110x1022120102122221212000x100202102121110210100x111022010100212012100x101112110100002021010x12222012201011012210212111111x102000121011210001120x1221010002222011022011x102012001101021102101x101100010220020211111x110120011011211110211x12202202102112022120010001202x110120200111021000100x10020220202121022220010202x110200010012110001110x1221021011220021202022210x110210201120011121011x1102221011121001202111222200222x1000121202020011001111x121220012121201221212012022x1002110202121202120000x1002221210212120210120101x1011110210101021210020x1221221200221211001102122x1020110020201000101000x100112201102202202112002x1101101012110100002011x12000202110020010002222x1101102211110021212100x1122121100201011122221222202x1120002102020010210011x10100022121200112212222111x1121100201022011120020x11101222111221112102112221220x10011101100220212121011x1102220122101001112012021022220x10102001111001211021110x1012000010100000102022000x11011002011012111012100x122211220112101002112211101x100110101011222112202111x1211220120222220120221112100011x102110021120211112020210x1012122220102012120020122x111011011021201202111012x10202221001100112212211002122x112021102210121112010112x1200220110202222120201122x112111210101102111210201x12111002012012022020202121x112111221010111110002101x122111020011021102222222221x120210002102002102112112x122201011222002102222122100012x1102010121120110000002121x10222112102200022100201001101x1200000212210212021022010x10220222111211111112212011x1202020120201021021100121x12020021110100022101100120x12020111002210102201221201x102022100210212211122011222x12110121200100121202121101x12211221000200022120010100121x100220002000011010111221002x1102000121102022002102212202022x101021200110002021101201211x1222122210120001120012000101x110001201110101211210010001x1200222200121210000202010010x110210122020012002111111210x100122222200001101122010001101x111202011111202021001211001x12120021122010010100110202221x1010222001112101110121020002x122020020002211202110022121122x1011202000121120020220110102x121221200110122212112020221121x1122212212001121100221212202x1122112012022022101122211022x10012120101020120001120110110x1210100111221211011222022220010x10022011120012101200210120000x1110121222120021121210110022000x12020020102222211201011022021x12000002022212010211212022211x12.1010x12200x1211x122122x1000100x112120202221221x1002122x12020221x1200001x1200221121x101012101x1010122211x102010101x10012022112x111000021x10000221021x112002220x1212122220x112102011x1211022011x1000112021x111220012112212x1002120100x102202121210x10021021222x11122000222x10211200001x10001220000222x10211220001x112010102022x11121011101x1211022021022x100021101011x10200122102221x100111220110x122012101221022220221x101002220212x12202122112211x101202101200x1112021102212x101210210111x1101102200120x101211212001x12222221200200x102112012200x121222010001x1002001100200x12102022121001x1002211101201x102112221122102x1010120202121x10002012212000x1011002101211x11220221101102x1101022101010x110202210011022x1202012200121x1222221100100x1211100100020x121002212220220001x10002021211000x10002220000111x10010201202021x1211222022222101220122200x10022022012110x11222200111221022x11100120110121x11222121212112120211202210x101020211011100x102000222120100101x102020010010200x11120110012202110x110201010101211x10122120220011201211x111201011111102x1101101220112211012022x121020120100210x1022002200001122012x1001202120101012x101002001210202022122x1012100012001021x102110002012110022x1101120002202001x11000001122120022202x1121010112122120x12020002122111022x1121100121121212x122102001122022002222022x1201100102110001x122120221022022021000121x1220212000111211x1220122112102102002222112x10021211100212001x1012201112121020202212220000222x11001011020021020x1022220002212112222x11012021020012001x10011200022210101x100112001002011010x100001221010001101x102010201101110010x12200102220102102202x102011012000020200x1022222020021110101x111001121000120201x1202001200102022121111x111102210000102112x110122002201201221212022x112012001010122211x101022222222022220210102222112x121220000110011012x121210211012210221122212x1100210212010100121x10110000111102210220200x1121201221210121001x1121111202222001011x1200102112012100121x120020222011010102100x10102001222122001211x102022221210100002220x10112120211101220000x101011111220110022222012222x10121120110110101201x100210210122110112221010x10210021210210002022x1122221012020200122202221x11112020100100200010x1120220011220100110120x12002210200022100110x1201121222012211120022222x12010202000021010210x1201222121211022000220012x12011122111022201110x121211111012212202220x12101211102111012110x1022120102122221212000x100202102121110210100x111022010100212012100x101112110100002021010x12222012201011012210212111111x102000121011210001120x1221010002222011022011x102012001101021102101x101100010220020211111x110120011011211110211x12202202102112022120010001202x110120200111021000100x10020220202121022220010202x110200010012110001110x1221021011220021202022210x110210201120011121011x1102221011121001202111222200222x1000121202020011001111x121220012121201221212012022x1002110202121202120000x1002221210212120210120101x1011110210101021210020x1221221200221211001102122x1020110020201000101000x100112201102202202112002x1101101012110100002011x12000202110020010002222x1101102211110021212100x1122121100201011122221222202x1120002102020010210011x10100022121200112212222111x1121100201022011120020x11101222111221112102112221220x10011101100220212121011x1102220122101001112012021022220x10102001111001211021110x1012000010100000102022000x11011002011012111012100x122211220112101002112211101x100110101011222112202111x1211220120222220120221112100011x102110021120211112020210x1012122220102012120020122x111011011021201202111012x10202221001100112212211002122x112021102210121112010112x1200220110202222120201122x112111210101102111210201x12111002012012022020202121x112111221010111110002101x122111020011021102222222221x120210002102002102112112x122201011222002102222122100012x1102010121120110000002121x10222112102200022100201001101x1200000212210212021022010x10220222111211111112212011x1202020120201021021100121x12020021110100022101100120x12020111002210102201221201x102022100210212211122011222x12110121200100121202121101x12211221000200022120010100121x100220002000011010111221002x1102000121102022002102212202022x101021200110002021101201211x1222122210120001120012000101x110001201110101211210010001x1200222200121210000202010010x110210122020012002111111210x100122222200001101122010001101x111202011111202021001211001x12120021122010010100110202221x1010222001112101110121020002x122020020002211202110022121122x1011202000121120020220110102x121221200110122212112020221121x1122212212001121100221212202x1122112012022022101122211022x10012120101020120001120110110x1210100111221211011222022220010x10022011120012101200210120000x1110121222120021121210110022000x12020020102222211201011022021x12000002022212010211212022211x1ttt2ttt2 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])))