/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 000x10120x1011x10101x12021x120012x102021x10101122x10002122x10012220x11212021x110101220x12000110x12010100x12021122x12220121x12211002121x12012101212x100000012220x101201200121012x100100112101x100101201101x11220210020221x11202012122020x1021002002221011x12101212021110102x12022200221200022x101112012221212002x110211101120112211x111012202101112111x1201011212000000201x101201220012012021012121x10022101102112112101x11211120202102011101x100001002212011112222x11211201012101101221100x110102100102020221211x110022021001212111002x112202221021022021122x112222211210000122222x121200100001112112111x101110101120201212110x1011021221221020110021x10102010001011212210202x1021211201220102020021202x122110020011012101222212120x10020011021011010200122122x100010011201212120010121102x10020222220002201212011112x1012101220102211102201020210x10202021211222112010022211x1212001212020002100221222120x12222122122212212010021020x12020122122220122110221220x100120221101120000102211121x11101201012101100101001110202x10100112101022210022220110120x121022101012012101121210220200x10002210211011011111111200021100122x120012021110200101220012221000012101010200x12211111210211010000112110102121000x1210120121000212202011121100201101012x100002000211011011122201112221101020x120012111220221001101221002010011010x121102221211002010200202200000221020x121000011220102012201002220220021020x11021001120002011110122000200222011222x11021101110101221000122021202222000200x1010211111000210100010100002100001121011x122211102012122011210102112220221110222112x1120222021120112011111222100111100200221x1111212122222002111002122001010111220011x102101000201202121102110000022001101022211x11012221021111201220102012210020201020120101201x110210022002220021112121011002002101211111x111212021121222121010002011120000101212010x112112010102021120000110212000212000222210x1101210010110202120120020020001220010212200x1001222011212012202220100222221120112002210x1101202121212002222210020120122112012022200x1102202210210021122102222021202121120121122x110100120111221200200120122100122211200221212x1220000001022211220022110221102021101122112x122100100012221212011121002221200101001212120002x102010222200012100021122122202001202020102111x11220212001120012101012101020110222121001202022121x110021210201110111000120122001001120020110211x110122112011110122000120020001101101002110201x120020200210122021220220211010211012122000112x122002201200122001221221001122222010111000102x122120011222102101121211000011022012212100011x122220012120112110121110112001002202202110011x100022112121021022022011122202122000211210000020x100122112010021022122011222022200102000211201020x1002000022210222121021022111121200111012211121000x1011020021212202120201022111001102012012221121010x1002021021100022021210110220100102221021002120212x12222022111112001101211002000211020022201202201000x1120100020222211011202110202201120020012220021112x1120122022220001201202012010200112020012222101111x12.1000x10120x1011x10101x12021x120012x102021x10101122x10002122x10012220x11212021x110101220x12000110x12010100x12021122x12220121x12211002121x12012101212x100000012220x101201200121012x100100112101x100101201101x11220210020221x11202012122020x1021002002221011x12101212021110102x12022200221200022x101112012221212002x110211101120112211x111012202101112111x1201011212000000201x101201220012012021012121x10022101102112112101x11211120202102011101x100001002212011112222x11211201012101101221100x110102100102020221211x110022021001212111002x112202221021022021122x112222211210000122222x121200100001112112111x101110101120201212110x1011021221221020110021x10102010001011212210202x1021211201220102020021202x122110020011012101222212120x10020011021011010200122122x100010011201212120010121102x10020222220002201212011112x1012101220102211102201020210x10202021211222112010022211x1212001212020002100221222120x12222122122212212010021020x12020122122220122110221220x100120221101120000102211121x11101201012101100101001110202x10100112101022210022220110120x121022101012012101121210220200x10002210211011011111111200021100122x120012021110200101220012221000012101010200x12211111210211010000112110102121000x1210120121000212202011121100201101012x100002000211011011122201112221101020x120012111220221001101221002010011010x121102221211002010200202200000221020x121000011220102012201002220220021020x11021001120002011110122000200222011222x11021101110101221000122021202222000200x1010211111000210100010100002100001121011x122211102012122011210102112220221110222112x1120222021120112011111222100111100200221x1111212122222002111002122001010111220011x102101000201202121102110000022001101022211x11012221021111201220102012210020201020120101201x110210022002220021112121011002002101211111x111212021121222121010002011120000101212010x112112010102021120000110212000212000222210x1101210010110202120120020020001220010212200x1001222011212012202220100222221120112002210x1101202121212002222210020120122112012022200x1102202210210021122102222021202121120121122x110100120111221200200120122100122211200221212x1220000001022211220022110221102021101122112x122100100012221212011121002221200101001212120002x102010222200012100021122122202001202020102111x11220212001120012101012101020110222121001202022121x110021210201110111000120122001001120020110211x110122112011110122000120020001101101002110201x120020200210122021220220211010211012122000112x122002201200122001221221001122222010111000102x122120011222102101121211000011022012212100011x122220012120112110121110112001002202202110011x100022112121021022022011122202122000211210000020x100122112010021022122011222022200102000211201020x1002000022210222121021022111121200111012211121000x1011020021212202120201022111001102012012221121010x1002021021100022021210110220100102221021002120212x12222022111112001101211002000211020022201202201000x1120100020222211011202110202201120020012220021112x1120122022220001201202012010200112020012222101111x1ttt2ttt2 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])))