/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 01010x101100x12022221x102000021x120101012x101121002x1101110122x11021200020x11201102012x12020011112x101012100222x1202202020200000x1212202110112x102112200002200200x110010110202101x1102120002021011x112101102122012x1011112011020022x11221010211121101x12100200020110222001x1112011202111221120100x11110212202010001220000x12010202102020120120210x1000222200002212200210020x112020222212102202022112x1111222021200220201001020x122112102012220100212021x122210212112002100221021x1001202021201121211000222x1200222012022011012101012x10210010211201222202122021x1200200111210022202202212101x10211120211201121120020210x122020001002200121212000100210x11012122211122201101211100x1200001022220201022010111110x12002222111222011002110010x120100222100000210110222000x1112201021212012100000001211x10212002020211102202000201121011x1201020221220100021220010210x1021000220011110200220212220x10001010012220121202102021221x101011012212200212022001000121x11012102111101112102212202201x121202120201212011001020000022121x11101101012110121002201222210x10200020020200021121120021102012x11211211111022222121101201000x101102222220110202011011110000x12001010012220102221000112202x12002001022211202001010122102x100211201220112211222010120010x10122020000202020221110011011220011x102102002022112210020102220022x1222002000120000110012002000012x112221211001121221122201112221x101202200022022200021212011000221x1121110000022001020021020110112x101002000220002210202211221211122x1212121201221011201121202112222x1012221212201200100000020021220020x11122111100222211202221000101122x1120122110122110200011112020000102000x102101222212000111202111211022212x1222020212220222202020002001221122x111202101010222201102212112002010x1012020010020200200201112001022212021x122021010122011102221210222210002x10021220202011012011200221010220022x1002120220222122002121212202202210x1020020122022001202022002000011202111210x11011000000120200011222100120210112x111000112011222121110201020002020202x12222122222111010201001220122001110x1000100112220220012020001201121200001121x101212021122221120110222212101210002x12001112000120211221111120210222122102x110100002202211212222112010101021202x122100111200002122021110221200000222200x1120000210021102221220200211221002012x1022200211221100221121200001120002202x1210021221210220212220220200021021020x1211022220210011212222000202020021022x10102010210011211122100100010110022102x1202102021202000000220202122110212220212x10201211201100110210000222201111210202x120212002220001200200000012212101212022x12222201021220122201001010000212210220x1001022111020012022122102001201212012002x1010002202121212211011202122201212010221x1012202122102200022202111120000002110222121x10102212020101220201112021221220121101110x10112122021100121100212202111122020110220x10202011021210021121011011000210021212212x1222020012000022220222022221022121121102020x12021102201112112021221002120111221211100x100110002022000220010002021102020211001022x12121221220122110021100002110102222122210x1121222001100210000102200021002020101202112x101112210111102110101222211012111102220121x1002200222012001112020020001121122021102000112201x111200122212001001211211120210022012222110x11000222221001001112101110100220120200001011x112201000200110210210002211100212100022010x11110200010211021120010021101011220022222200x121210222001212220212221221200202110121212x10110220202011100001221212200002000002211022x121221222001011102200020221212221202222212x122110201000001202100120200112000102010020002x1001010120202221111022011102120221012011122x122022221002011100202002001112120012110101020x1100102110111210102221202100122121120010012x1222012022121220012020000210100000202222112200x1122200021111011211111221102222121111201000x121000221001000002200022112000020012212012110x10201020020102120120002111120102021122002000x10201020201102020120002001121101102002022012x10222210220110222212202100020010110010222202x122020001222021110100211220210022122222020020x11222110000101121012101222120100021112212110x110010210112101122112010212102221110020200120x102122112012212010012120110102011112200202210x1220110020022021012101220010101101222220020011x1002221021120100120001012111210220221212121212x1200100102200000220122111101001220112011000200120x1121122111102011011110022022201212100002021020x12020122200122011122020102022220100222002102002x1200101000022220100012112210110121101121101012x1000202010022100110220111210110221121111100012x1212102011112202210012110021101222010011201102x122112222020211201121202002022220212222011210220x10111101221000212222221121101220201201120102010x102001020102212102200100210102122101101202120000x11211002121100221112021011220110001022122222221x1202010010001200121100221210122112011202201212201x120120020202022101212112101210000012100000220122x12200021200201220120101100200000121100100121010002x1002102102200221122002101110220112110112010212222x1200102200100221122111001110220122221101100221222x1100212120100011022201012001202210210022200021121x10202220002220021100021112121102111110112111010001x1111100100222001211200002102022022220020101021020x12211012110022112122022022001221120022022000000200x1202110120011110212010122012100201221002112021221x1002100020111120121210222121120201112002011021221x1220001120110022020211122000010200201202220120221x1220001120000002022211012101000211202220120220221x11110102112000200122010221112201110110122111210220x102221212202002122022000002011212010201202221222102x12.101010x101100x12022221x102000021x120101012x101121002x1101110122x11021200020x11201102012x12020011112x101012100222x1202202020200000x1212202110112x102112200002200200x110010110202101x1102120002021011x112101102122012x1011112011020022x11221010211121101x12100200020110222001x1112011202111221120100x11110212202010001220000x12010202102020120120210x1000222200002212200210020x112020222212102202022112x1111222021200220201001020x122112102012220100212021x122210212112002100221021x1001202021201121211000222x1200222012022011012101012x10210010211201222202122021x1200200111210022202202212101x10211120211201121120020210x122020001002200121212000100210x11012122211122201101211100x1200001022220201022010111110x12002222111222011002110010x120100222100000210110222000x1112201021212012100000001211x10212002020211102202000201121011x1201020221220100021220010210x1021000220011110200220212220x10001010012220121202102021221x101011012212200212022001000121x11012102111101112102212202201x121202120201212011001020000022121x11101101012110121002201222210x10200020020200021121120021102012x11211211111022222121101201000x101102222220110202011011110000x12001010012220102221000112202x12002001022211202001010122102x100211201220112211222010120010x10122020000202020221110011011220011x102102002022112210020102220022x1222002000120000110012002000012x112221211001121221122201112221x101202200022022200021212011000221x1121110000022001020021020110112x101002000220002210202211221211122x1212121201221011201121202112222x1012221212201200100000020021220020x11122111100222211202221000101122x1120122110122110200011112020000102000x102101222212000111202111211022212x1222020212220222202020002001221122x111202101010222201102212112002010x1012020010020200200201112001022212021x122021010122011102221210222210002x10021220202011012011200221010220022x1002120220222122002121212202202210x1020020122022001202022002000011202111210x11011000000120200011222100120210112x111000112011222121110201020002020202x12222122222111010201001220122001110x1000100112220220012020001201121200001121x101212021122221120110222212101210002x12001112000120211221111120210222122102x110100002202211212222112010101021202x122100111200002122021110221200000222200x1120000210021102221220200211221002012x1022200211221100221121200001120002202x1210021221210220212220220200021021020x1211022220210011212222000202020021022x10102010210011211122100100010110022102x1202102021202000000220202122110212220212x10201211201100110210000222201111210202x120212002220001200200000012212101212022x12222201021220122201001010000212210220x1001022111020012022122102001201212012002x1010002202121212211011202122201212010221x1012202122102200022202111120000002110222121x10102212020101220201112021221220121101110x10112122021100121100212202111122020110220x10202011021210021121011011000210021212212x1222020012000022220222022221022121121102020x12021102201112112021221002120111221211100x100110002022000220010002021102020211001022x12121221220122110021100002110102222122210x1121222001100210000102200021002020101202112x101112210111102110101222211012111102220121x1002200222012001112020020001121122021102000112201x111200122212001001211211120210022012222110x11000222221001001112101110100220120200001011x112201000200110210210002211100212100022010x11110200010211021120010021101011220022222200x121210222001212220212221221200202110121212x10110220202011100001221212200002000002211022x121221222001011102200020221212221202222212x122110201000001202100120200112000102010020002x1001010120202221111022011102120221012011122x122022221002011100202002001112120012110101020x1100102110111210102221202100122121120010012x1222012022121220012020000210100000202222112200x1122200021111011211111221102222121111201000x121000221001000002200022112000020012212012110x10201020020102120120002111120102021122002000x10201020201102020120002001121101102002022012x10222210220110222212202100020010110010222202x122020001222021110100211220210022122222020020x11222110000101121012101222120100021112212110x110010210112101122112010212102221110020200120x102122112012212010012120110102011112200202210x1220110020022021012101220010101101222220020011x1002221021120100120001012111210220221212121212x1200100102200000220122111101001220112011000200120x1121122111102011011110022022201212100002021020x12020122200122011122020102022220100222002102002x1200101000022220100012112210110121101121101012x1000202010022100110220111210110221121111100012x1212102011112202210012110021101222010011201102x122112222020211201121202002022220212222011210220x10111101221000212222221121101220201201120102010x102001020102212102200100210102122101101202120000x11211002121100221112021011220110001022122222221x1202010010001200121100221210122112011202201212201x120120020202022101212112101210000012100000220122x12200021200201220120101100200000121100100121010002x1002102102200221122002101110220112110112010212222x1200102200100221122111001110220122221101100221222x1100212120100011022201012001202210210022200021121x10202220002220021100021112121102111110112111010001x1111100100222001211200002102022022220020101021020x12211012110022112122022022001221120022022000000200x1202110120011110212010122012100201221002112021221x1002100020111120121210222121120201112002011021221x1220001120110022020211122000010200201202220120221x1220001120000002022211012101000211202220120220221x11110102112000200122010221112201110110122111210220x102221212202002122022000002011212010201202221222102x1ttt2ttt2 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])))