/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 1011220001120x122022212021222210x12012001000022x122210110111222222x10001012211001x100110000222022012x10002012101202x101221120220010222x10002112211110x100022211112122210x10010100210012x101220221000222002x10010122022002x101112121121222012x10011011001102x100110110001222202x10020110221111x100001001210211112x10020120200001x100212211112111001x10020121220002x101200002220222002x10022002102112x100222000220212222x10022110011111x100122110022111122x10100002212100x111000022222212000x10100121011002x111000211210100002x10101011202022x101022011202102222x10111101011001x101222000112111002x10111210010012x101200012212012222x10120201002000x100101101022221000x10120222221100x100000000020102000x10201102012222x102210121220012222x10210122001112x102002221000000111x10212011011202x101120001021220222x10220100200100x101010022122122000x11000020211002x120021221121221012x11000211012121x110122020011222221x11001102101221x120000220100222221x11001202020100x110010000201221000x11010022002200x110221000012201200x11010022100200x121101112122221000x11011011000002x110121222221210002x11011021020222x110000020221010222x11011220112122x110221222021211222x11020011012200x110210000111210200x11020021211002x110210110002210012x11020110202002x121101101022000012x11021012122011x121021000021010012x11100021200110x112002202220000120x11100212020022x102201211120002222x11112020021022x111110222100002202x11211002012020x112022221001002010x11212101101102x112122210022101102x11220020121100x102002222000112000x11220201001112x111021222200001212x11220211010021x112021122220100121x12000121110122x122000001220100122x12000220211001x110121121121100022x12000220220002x120022222112002222x12001000212012x121002221200121002x12001012100102x121012212221100102x12001220212200x122220012122212010x12001221011002x122000010001220122x12002120111102x122000011200211022x12002211211001x110022221212100122x12010002002201x111201222210002101x12010002010212x121021000010102212x12010012212002x120200000021100001x12010101111002x120112200221010002x12011011022110x110012002022112220x12011120100001x122220122200222001x12012111002222x120022202000122222x12012121201120x110111222212021110x12020111102000x121100112222101000x12021110010120x110102100222220010x12021121020120x120210000001002220x12022001121012x122220100022020122x12022102001020x122202220100110210x12022120201202x122201122122002022x12100120201002x120110212222220122x12102211200100x122220220100220000x12200210120212x122210010012102112x12201012121022x122022222011121022x12202011011221x111100012221022121x12.11011220001120x122022212021222210x12012001000022x122210110111222222x10001012211001x100110000222022012x10002012101202x101221120220010222x10002112211110x100022211112122210x10010100210012x101220221000222002x10010122022002x101112121121222012x10011011001102x100110110001222202x10020110221111x100001001210211112x10020120200001x100212211112111001x10020121220002x101200002220222002x10022002102112x100222000220212222x10022110011111x100122110022111122x10100002212100x111000022222212000x10100121011002x111000211210100002x10101011202022x101022011202102222x10111101011001x101222000112111002x10111210010012x101200012212012222x10120201002000x100101101022221000x10120222221100x100000000020102000x10201102012222x102210121220012222x10210122001112x102002221000000111x10212011011202x101120001021220222x10220100200100x101010022122122000x11000020211002x120021221121221012x11000211012121x110122020011222221x11001102101221x120000220100222221x11001202020100x110010000201221000x11010022002200x110221000012201200x11010022100200x121101112122221000x11011011000002x110121222221210002x11011021020222x110000020221010222x11011220112122x110221222021211222x11020011012200x110210000111210200x11020021211002x110210110002210012x11020110202002x121101101022000012x11021012122011x121021000021010012x11100021200110x112002202220000120x11100212020022x102201211120002222x11112020021022x111110222100002202x11211002012020x112022221001002010x11212101101102x112122210022101102x11220020121100x102002222000112000x11220201001112x111021222200001212x11220211010021x112021122220100121x12000121110122x122000001220100122x12000220211001x110121121121100022x12000220220002x120022222112002222x12001000212012x121002221200121002x12001012100102x121012212221100102x12001220212200x122220012122212010x12001221011002x122000010001220122x12002120111102x122000011200211022x12002211211001x110022221212100122x12010002002201x111201222210002101x12010002010212x121021000010102212x12010012212002x120200000021100001x12010101111002x120112200221010002x12011011022110x110012002022112220x12011120100001x122220122200222001x12012111002222x120022202000122222x12012121201120x110111222212021110x12020111102000x121100112222101000x12021110010120x110102100222220010x12021121020120x120210000001002220x12022001121012x122220100022020122x12022102001020x122202220100110210x12022120201202x122201122122002022x12100120201002x120110212222220122x12102211200100x122220220100220000x12200210120212x122210010012102112x12201012121022x122022222011121022x12202011011221x111100012221022121x1ttt2ttt2 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])))