/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 0111201x12221121011x11002000x12211202221x10022201200x112110221222x12000111202x10221122221012x120001021012x1011102122211x1102012210120x111221102221021x1200000111122x12222110202002x1200201011010x102111221210120x10010020112201x12012210001001x110121120111020x112021002122211120x120001120102100x110212102202210121x12012002112200200x11002000220121202x12012100120222021x11211022222100112212102x110121120010122202x122100211212021221221x11021100100211100110x111020101210110022101x100100110222120211020x11002122111222211202112x110000122021021012002x1102202021211221222212011x112120121121112011111x112211111121212011101x1010222202201201101200x100221202222102112202102012222221221x1100211100010102021002x11021012212112102112021x1202012200211010011201x12212221212001022110001x1000002120002012121120010x12012210112222111200021000221x12000202222220001202220011x10122012110220200100212122112x12121012012001201201010022x110002011211002002221212122x10022200111001100021201001110x110112021001210021001201112200x12021102101011101120010100020x12202220021011120211221201212222122x12101221222222200011011000021x111020200122122210122021112211x100201211120001102202200210021x102221202102100222120211011220121x120100102200112121111211001120x12121211212120121100212002022221202x1000220010222220102000020121200x102012022110202201202101100121001x1001012210010200011002010002010x1020012112220220200011222211111111x1020000000110211012020212012110x11101220000221200120102121210210x1201111102021010202102200122000x11211212221100201202222202211000101x1211121010110120200001211000012x110011122122110221211012112220122x12001000110001020220011200020012x100102122221222120120112212100201112211x102021012220000101220220022201011x1100210002000000012112121011100122x120121200012011201101122021010202x1112021220110201200111022211101222x1010101121120111011222012202012020x111122201101102222101011021101120220x11101010220021002100000001021102000x111001001221001202202002112101210002x12200221112021122002221122222102120x12012221012021212202122102222101220x100012011100011102201020202211210021x1221120000222220120010010221020002221x110120011121110222011210110022220020x11112002122221020211112212102002222200222221x111202210121100200110100002010211110x112102021121222121222112112201110111021x112220000222020022201221010020000210x112022212222122220111200210100122011002x1120200210002200102000200202220220211x110021122101212001212212111010201012122202x12012201202021222000201120021221200110x121122012212221212201012020221101012122x100120120122002111200112000211120012000x11102222021210001101211011022111102012211x102000021220202102201202100102220101201x1200210120012101201201201000211021222211x110222220202120010210001210220101120020x1211210201201122122211020200100221210010x120020021102020112120110120002022012022x1212001122121022022012010000010212202102x121212222201122001000010211122120101120x1211111012122122222012121110112100011120x1200200111102021200000220212202020100122x122102000212220000212222100200120121120221x10212020221111220001020002202122020221110x1201211212022222210120221000220201000020011210x11002121210120200212001000121200100011200x11012201221121202220121101101022211110122211x11021100101001100000011010010102102110110x111211102111210012212222100211111120000121001x11110211001112101212220220100200221012111x1121222112011112120212220120221102111021122x112201001111202110120201211120011001010221x112012012211022210011021122000010011222222212021x121220100120120222011202220120102101221212x121200102220221212022000221020101212221111x1010012200102120012011202000100210100201020x1200111102201212120021010001210221201000200002x1122202102101121101121212200100222001002222x1212110111100212222212002211021210200110001212x10122210001112010101001222220002101121101200x112122202210210201222120111001222222100022222112x102111101201101000122122012010100202000100120x102222210001102222110122111121021100202220220010x120121220121100001220020110100012112010100022x11200101221120111210121122222112210011200222022x121222201101121221001021212102212121120011121x111111121122222121022021212102212012020011101x1010201121121011200010000001120212010122200020x112121212122111012010200120101211220210000122122111x1020002222020012111102110110220002102100102201x11120211101120000222112212102102111021010011022101x1022011002210012102121022120012020211001202100x1212101201122221201210021210122220121012221211201x1112202120102221121201210211120100210021110111x11212010120000002220022211120102211112221010112x1202001201112021202112020212201122101011021200x121211212110022210201101102020121012202222121111002x12020101011201110002211102100110002001021200220x10102200100101100111111212012222111011220201120221x1212221201222002100220001021210000111102010010010x112102120112122111211120020201002121210122211112210x10201210112021002011012202011012000100120120020100x112110111121011122001200020201220102020221012011202x12101111221222010002202121010012011011200201121110x110220211101010012102002010221212110122102222121022x12221222012012011120021121011201201221221111022122x12221212211210201120201122101211201010211221122202x121010022111011011201012200100110112100001112111022x111000020010021011210012101200121112101112110120112x12.10111201x12221121011x11002000x12211202221x10022201200x112110221222x12000111202x10221122221012x120001021012x1011102122211x1102012210120x111221102221021x1200000111122x12222110202002x1200201011010x102111221210120x10010020112201x12012210001001x110121120111020x112021002122211120x120001120102100x110212102202210121x12012002112200200x11002000220121202x12012100120222021x11211022222100112212102x110121120010122202x122100211212021221221x11021100100211100110x111020101210110022101x100100110222120211020x11002122111222211202112x110000122021021012002x1102202021211221222212011x112120121121112011111x112211111121212011101x1010222202201201101200x100221202222102112202102012222221221x1100211100010102021002x11021012212112102112021x1202012200211010011201x12212221212001022110001x1000002120002012121120010x12012210112222111200021000221x12000202222220001202220011x10122012110220200100212122112x12121012012001201201010022x110002011211002002221212122x10022200111001100021201001110x110112021001210021001201112200x12021102101011101120010100020x12202220021011120211221201212222122x12101221222222200011011000021x111020200122122210122021112211x100201211120001102202200210021x102221202102100222120211011220121x120100102200112121111211001120x12121211212120121100212002022221202x1000220010222220102000020121200x102012022110202201202101100121001x1001012210010200011002010002010x1020012112220220200011222211111111x1020000000110211012020212012110x11101220000221200120102121210210x1201111102021010202102200122000x11211212221100201202222202211000101x1211121010110120200001211000012x110011122122110221211012112220122x12001000110001020220011200020012x100102122221222120120112212100201112211x102021012220000101220220022201011x1100210002000000012112121011100122x120121200012011201101122021010202x1112021220110201200111022211101222x1010101121120111011222012202012020x111122201101102222101011021101120220x11101010220021002100000001021102000x111001001221001202202002112101210002x12200221112021122002221122222102120x12012221012021212202122102222101220x100012011100011102201020202211210021x1221120000222220120010010221020002221x110120011121110222011210110022220020x11112002122221020211112212102002222200222221x111202210121100200110100002010211110x112102021121222121222112112201110111021x112220000222020022201221010020000210x112022212222122220111200210100122011002x1120200210002200102000200202220220211x110021122101212001212212111010201012122202x12012201202021222000201120021221200110x121122012212221212201012020221101012122x100120120122002111200112000211120012000x11102222021210001101211011022111102012211x102000021220202102201202100102220101201x1200210120012101201201201000211021222211x110222220202120010210001210220101120020x1211210201201122122211020200100221210010x120020021102020112120110120002022012022x1212001122121022022012010000010212202102x121212222201122001000010211122120101120x1211111012122122222012121110112100011120x1200200111102021200000220212202020100122x122102000212220000212222100200120121120221x10212020221111220001020002202122020221110x1201211212022222210120221000220201000020011210x11002121210120200212001000121200100011200x11012201221121202220121101101022211110122211x11021100101001100000011010010102102110110x111211102111210012212222100211111120000121001x11110211001112101212220220100200221012111x1121222112011112120212220120221102111021122x112201001111202110120201211120011001010221x112012012211022210011021122000010011222222212021x121220100120120222011202220120102101221212x121200102220221212022000221020101212221111x1010012200102120012011202000100210100201020x1200111102201212120021010001210221201000200002x1122202102101121101121212200100222001002222x1212110111100212222212002211021210200110001212x10122210001112010101001222220002101121101200x112122202210210201222120111001222222100022222112x102111101201101000122122012010100202000100120x102222210001102222110122111121021100202220220010x120121220121100001220020110100012112010100022x11200101221120111210121122222112210011200222022x121222201101121221001021212102212121120011121x111111121122222121022021212102212012020011101x1010201121121011200010000001120212010122200020x112121212122111012010200120101211220210000122122111x1020002222020012111102110110220002102100102201x11120211101120000222112212102102111021010011022101x1022011002210012102121022120012020211001202100x1212101201122221201210021210122220121012221211201x1112202120102221121201210211120100210021110111x11212010120000002220022211120102211112221010112x1202001201112021202112020212201122101011021200x121211212110022210201101102020121012202222121111002x12020101011201110002211102100110002001021200220x10102200100101100111111212012222111011220201120221x1212221201222002100220001021210000111102010010010x112102120112122111211120020201002121210122211112210x10201210112021002011012202011012000100120120020100x112110111121011122001200020201220102020221012011202x12101111221222010002202121010012011011200201121110x110220211101010012102002010221212110122102222121022x12221222012012011120021121011201201221221111022122x12221212211210201120201122101211201010211221122202x121010022111011011201012200100110112100001112111022x111000020010021011210012101200121112101112110120112x1ttt2ttt2 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])))