/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 00100x10101111x1122012x1111110110x1202010x111011110x1202212x11100112x11011212x101111122x11121212x110211111x12020000x101111210x100012200x1011110022x1001220102x1211111211102x10102210100x111110021021x11102220222x110020111011x100211101121x10111111101000x120112102001x1010021011110x1112220102212x11101100012021x1222001211222x11120111110110x10111012210000x101112120111111x11022021021212x1111110121210110011x12101000200212x1111102201211101x12200000221022x120101220100111x100112010202110x12101112011122110x102202120200221x12210112001111211x102211201121002x12211110102212021x110101010212220x110220011120210x120120100020102x1122002210111120x122002121020022x1001111201010212x1002120210002220x11222210010011210x1010211222002200x102221111210201110x1010221101020000x11210001211122111x1012122100221212x11111111010020002001x1120200021012000x11101102201220002x1200211210100220x111220111011020000x1222001210221221x121011101110011101201x10000120201122002x102122011112110021x10101200011022022x112110110010001110x12022022221111212x1101111220111021022x12112012021002221x112211110111101110010x12202112202200021x110021211221121011x101012220002000202x1110121122102101110x1000001102212020020x101112121100110001022x1000201200102011202x10102112222111020121x1122200000101211020x1210121121111020101110x1220102001020102010x1201011001112011120021x1221222010000022210x1121011211022111102021x10012011212112201022x1200122102212111001110x10101201110211210221x111221221112201010211x10120220001200101021x100121111121012010201011x11012101212112102202x111112012022200201220x12022022002212012101x12010012022011111002011x12121211210102010222x1121111000112222201222x12202010221101011101x12000021111101022211x102022021110212100102x12111210111221110101120x102212220122221100010x1012012111100110211111101x111120002012002221100x1110212222202111000011x111120211220012000020x1111112020210002120122x122212221222112002102x1212122211111210011100111202x1112000011001100000021x1110020002000100001111x1112111100022112012201x1102121210022201011111x1210021010220022000102x112202211110110111021022x1220221200211201201000x12101200221111012020011x1221211220020200201220x121221122221011121012021x10110210120011200200222x102212212111120100111011x10200020120111120200102x102211002211011120121011x10200220020210121120212x120021210122122211110201x11120220221000002202222x121110111122112200012100x11201021000021020021121x11002212110111010111210221x11202012100221000211212x1111222101102010120001110x11210102221002011022200x11011102120000212202220x11222222110102221121211x1020200012021202110001111x12000200222002100100121x1200021202202000110111121x12002120210221211202002x1021210012211112222001212x12012110202222112111221x111112021002211022121110x100010122002010120112000x101010022002110020201100x110212221021212221000022x111122212221010111001200202x111222010212021120120220x11022021111101111020222112x120211202110022220200012x1011210000112201101000221x120220102001212002002222x1110121011210022201011020x1001121112212201112120212x10110112012120111122000111x1020010222212201022121212x1200001111102111022222201000x1020102012012210222112000x101111001111010020111012011x1212121001210201102101010x1201100201211200102121110x10221200102200100022202100x110122000120010111001121001x11110012210212102221100212x111222111110011201210121101x11201020001121001010201022x111010200121111100221022122x12020221022102210221120001x12000101112111121200222122110x12121200102120120021020222x121110220200202102121122212x12122221100212000110011201x12102002101120020122121011x12202200120110121021022101x11001211010111012221222212111x12222110100021021200200222x1100021111110010120212110120x101211021121120202222002112x1112201011210211221211121011x111221121012111001101111202x101121222211111010210011111x112121002202022011001220022x11020011012201100011122122012x1012001221101002202200001020x11202121101120200010101102120x1012102222001210000200020102x11212110101222202201220101100x1020102211000202010012122110x12211021112122221010111202211x1021212202101211122120111002x10121121021111121201011021010x1101012202012001000201002021x11012212020001122111111002110x10022021220002202221010122000x102211222111001212211120212211x10111200012100011012202201201x11000000212120202011110112201x10120021121122102222222212202x1011002102101212020210120111111x10122101212001100220001101200x121221010011222222212111211111x10202210211121122120110220012x112000120111110021222200000221x11221012020220212212112120000x1020110002020111110202101222202x12001022101020102022021122220x112020202220120221011112120222x12200020122102102100201210202x102220001011220001222202212212x101121102022011002111200202012x1112002122100020111211000122111x101212212011122000222102001212x102210121112222000221112000212x102002120221121120102221112021x102202111120021221001221102221x110212210011100211020210200212x1111100101101121120121001212222x120001200122202102001100220212x1222012222112200222111201011220x1012221101202111221202202220020x1210222122022111121202202200010x12.100100x10101111x1122012x1111110110x1202010x111011110x1202212x11100112x11011212x101111122x11121212x110211111x12020000x101111210x100012200x1011110022x1001220102x1211111211102x10102210100x111110021021x11102220222x110020111011x100211101121x10111111101000x120112102001x1010021011110x1112220102212x11101100012021x1222001211222x11120111110110x10111012210000x101112120111111x11022021021212x1111110121210110011x12101000200212x1111102201211101x12200000221022x120101220100111x100112010202110x12101112011122110x102202120200221x12210112001111211x102211201121002x12211110102212021x110101010212220x110220011120210x120120100020102x1122002210111120x122002121020022x1001111201010212x1002120210002220x11222210010011210x1010211222002200x102221111210201110x1010221101020000x11210001211122111x1012122100221212x11111111010020002001x1120200021012000x11101102201220002x1200211210100220x111220111011020000x1222001210221221x121011101110011101201x10000120201122002x102122011112110021x10101200011022022x112110110010001110x12022022221111212x1101111220111021022x12112012021002221x112211110111101110010x12202112202200021x110021211221121011x101012220002000202x1110121122102101110x1000001102212020020x101112121100110001022x1000201200102011202x10102112222111020121x1122200000101211020x1210121121111020101110x1220102001020102010x1201011001112011120021x1221222010000022210x1121011211022111102021x10012011212112201022x1200122102212111001110x10101201110211210221x111221221112201010211x10120220001200101021x100121111121012010201011x11012101212112102202x111112012022200201220x12022022002212012101x12010012022011111002011x12121211210102010222x1121111000112222201222x12202010221101011101x12000021111101022211x102022021110212100102x12111210111221110101120x102212220122221100010x1012012111100110211111101x111120002012002221100x1110212222202111000011x111120211220012000020x1111112020210002120122x122212221222112002102x1212122211111210011100111202x1112000011001100000021x1110020002000100001111x1112111100022112012201x1102121210022201011111x1210021010220022000102x112202211110110111021022x1220221200211201201000x12101200221111012020011x1221211220020200201220x121221122221011121012021x10110210120011200200222x102212212111120100111011x10200020120111120200102x102211002211011120121011x10200220020210121120212x120021210122122211110201x11120220221000002202222x121110111122112200012100x11201021000021020021121x11002212110111010111210221x11202012100221000211212x1111222101102010120001110x11210102221002011022200x11011102120000212202220x11222222110102221121211x1020200012021202110001111x12000200222002100100121x1200021202202000110111121x12002120210221211202002x1021210012211112222001212x12012110202222112111221x111112021002211022121110x100010122002010120112000x101010022002110020201100x110212221021212221000022x111122212221010111001200202x111222010212021120120220x11022021111101111020222112x120211202110022220200012x1011210000112201101000221x120220102001212002002222x1110121011210022201011020x1001121112212201112120212x10110112012120111122000111x1020010222212201022121212x1200001111102111022222201000x1020102012012210222112000x101111001111010020111012011x1212121001210201102101010x1201100201211200102121110x10221200102200100022202100x110122000120010111001121001x11110012210212102221100212x111222111110011201210121101x11201020001121001010201022x111010200121111100221022122x12020221022102210221120001x12000101112111121200222122110x12121200102120120021020222x121110220200202102121122212x12122221100212000110011201x12102002101120020122121011x12202200120110121021022101x11001211010111012221222212111x12222110100021021200200222x1100021111110010120212110120x101211021121120202222002112x1112201011210211221211121011x111221121012111001101111202x101121222211111010210011111x112121002202022011001220022x11020011012201100011122122012x1012001221101002202200001020x11202121101120200010101102120x1012102222001210000200020102x11212110101222202201220101100x1020102211000202010012122110x12211021112122221010111202211x1021212202101211122120111002x10121121021111121201011021010x1101012202012001000201002021x11012212020001122111111002110x10022021220002202221010122000x102211222111001212211120212211x10111200012100011012202201201x11000000212120202011110112201x10120021121122102222222212202x1011002102101212020210120111111x10122101212001100220001101200x121221010011222222212111211111x10202210211121122120110220012x112000120111110021222200000221x11221012020220212212112120000x1020110002020111110202101222202x12001022101020102022021122220x112020202220120221011112120222x12200020122102102100201210202x102220001011220001222202212212x101121102022011002111200202012x1112002122100020111211000122111x101212212011122000222102001212x102210121112222000221112000212x102002120221121120102221112021x102202111120021221001221102221x110212210011100211020210200212x1111100101101121120121001212222x120001200122202102001100220212x1222012222112200222111201011220x1012221101202111221202202220020x1210222122022111121202202200010x1ttt2ttt2 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])))