/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 00010x1122112x12002002x1011221221x1022000122000x11100110002111x1202101221010x1020211102102x1012001220221000x111110020111112221x1012010000020200x10121111120222020x10012120100221220x122000212011111122100x12001211211210220x111101212012022101x112220100021210212x1120002002101112212x10221001020210210121x1100212120211112221120x100021010112010212100x11021221021111221020212x101211002220220021000x1222111120022102222100x120020122120100212102x11220122211022111221221x1021220011020121202010x10020100101112111122101102x1022100121002002121010x1221001021110122000200x1211010102210200210201x12221120111210120200122x11011200211121001101200x111111212201101100102101x12120011200021022020201x121022002110001012201111x101220000112202121102222x1111120201100202022222212x102110112111021011100220x1010012211102011111102120112x1022000021012202002211000x112112111210220110210111211x10001010010022212020000110x111221110200011220201100100x10012021021000022201222010x101011221111111001010102210x10020102002100100121220010x1121122120122102102212221101x10102100200212220101121012x110221010211122201112210210112x122200001001220102110001022x11111001102211202011122100120001x1020220112101222001020210000x11112112212010010212002201011x10022102001021120021222001110x122220212211111210210110111100x11011010110202111220100020110x111102021011221120011101220100x101222220120202102222212121201x1002011112112221020100102221122x102002000110202110102022201220x1021121201110220211112201201100x102120200220201110202220010222x1211200122112212020111202222222201x110112202202000102000121212010x1111110010020001011111222012121111x1102202011021010021002110121100x11222000110100021010001212011100x1121212012121212121100210000000x11012021011121200202211110110001x10022021021022122001001022012211x12100021022001002210201222022111x10111102221002001220202201202020x10211111022220001211101112201211221x10200120222011100200212211011021x11000221111100200102100011220111111x12012012020121100211202020002000x120011111110200220101020022220011110110x12201101211200021021022102222102x1212120011112010122211012121021111x112220222020110112012120221110120x1111110211211112111002020112022101x10022020010020101011000211020102200x12001100000122120001000011020102220x102212112222220102220002122001211010x1001102111000211022012202200211100022x1000210000021220020222020120101210200x1220200121220210002101120011112021210210x1102012102202210200100121100001112001x11002200111120220210101221112221201121x1200001102222112110100002000011022110x111110011101011100221002211020011201110020x1201121002102122012010201110020001020x12111112120101012101112001211220210100x1202121202100202212220021012220011022x12112120012202212102220110202111112220x10011222122101011101212101011022102121x12000212012121111211012021011121102120x10022001211202021120211111101011012200x10122111112022112212210002000202111202021x10120120010121001210021000200212002022x10221122222112121200022011110220111100222x10102210012020111001102200221221011100020x101201221001120111012010112210001122020110x10202122001010112022202022000001022221210x11020112212001010000212211112022210110012011101x11202021012210202202022000202200021201220x11122202102212122111102202121001111210122200x12011210012122210100211222202212011011010x11221100002011111020022111111200112101222121x12220011012102221210220021022010000010222x1200111022002011111100110012220001221000100022x112011221120210210110020101211012121011101x111011100022101010012222121221112101011101x112222121121021002021222102220112022110101x11120221120012022102120200212201220211112001x1000001222220121122010021121210201000220220x1111021112202202002212021020111210112101000010x1000110110022200211010021022020020120001211x111221210102012100201001222222221111020011101x1000201101201122222010211022000010021211010x111102001121110021210120201101001220122110222x1112221100201100022020102122221221122010222x1112211200120020112222000110011200100111111110x112220021201200101002110020200000202010202020x1120111022010202212020001022201201021200122012x112221000210201212010001111220120111210002110x1111002200020210200222200022111100101021120111x120020002122111102120012100201201100210220102x1011111121001101120102222220000111100001002112x1012110202102212020200202222110011021211110102x101020022200110022021020201002210011112211101010x1112010212112100121201220201101022100201211210x122122212111211222012121021000211111010211202211x10101001120212110010002101212020001112020120002x1021111102212100110011021012111122022202121211110x11120221011220100022021010120202200002021120022x111001112211111002002110220022112211202022120110102x11211020022120200001211101022112222202221010102x111112110211202201122012220010201111001211222210x11221012201001110101021120100020111110101021011x111112211010200210112100101112010212002121011221x12002221101002220220002110011011010010222120000x122120010202212211222100021110120020211112211220111x1021112112101222200112221111011201110021111220020x1221201212101222100112212112011201111111121020000x1112112221111200120100222221112012001222200110122x11110221210120111110121210102012112012010110200121x11202120012022100100201201221210120221202102211002x11202120012220201120200100201112220222102102201110x12.100010x1122112x12002002x1011221221x1022000122000x11100110002111x1202101221010x1020211102102x1012001220221000x111110020111112221x1012010000020200x10121111120222020x10012120100221220x122000212011111122100x12001211211210220x111101212012022101x112220100021210212x1120002002101112212x10221001020210210121x1100212120211112221120x100021010112010212100x11021221021111221020212x101211002220220021000x1222111120022102222100x120020122120100212102x11220122211022111221221x1021220011020121202010x10020100101112111122101102x1022100121002002121010x1221001021110122000200x1211010102210200210201x12221120111210120200122x11011200211121001101200x111111212201101100102101x12120011200021022020201x121022002110001012201111x101220000112202121102222x1111120201100202022222212x102110112111021011100220x1010012211102011111102120112x1022000021012202002211000x112112111210220110210111211x10001010010022212020000110x111221110200011220201100100x10012021021000022201222010x101011221111111001010102210x10020102002100100121220010x1121122120122102102212221101x10102100200212220101121012x110221010211122201112210210112x122200001001220102110001022x11111001102211202011122100120001x1020220112101222001020210000x11112112212010010212002201011x10022102001021120021222001110x122220212211111210210110111100x11011010110202111220100020110x111102021011221120011101220100x101222220120202102222212121201x1002011112112221020100102221122x102002000110202110102022201220x1021121201110220211112201201100x102120200220201110202220010222x1211200122112212020111202222222201x110112202202000102000121212010x1111110010020001011111222012121111x1102202011021010021002110121100x11222000110100021010001212011100x1121212012121212121100210000000x11012021011121200202211110110001x10022021021022122001001022012211x12100021022001002210201222022111x10111102221002001220202201202020x10211111022220001211101112201211221x10200120222011100200212211011021x11000221111100200102100011220111111x12012012020121100211202020002000x120011111110200220101020022220011110110x12201101211200021021022102222102x1212120011112010122211012121021111x112220222020110112012120221110120x1111110211211112111002020112022101x10022020010020101011000211020102200x12001100000122120001000011020102220x102212112222220102220002122001211010x1001102111000211022012202200211100022x1000210000021220020222020120101210200x1220200121220210002101120011112021210210x1102012102202210200100121100001112001x11002200111120220210101221112221201121x1200001102222112110100002000011022110x111110011101011100221002211020011201110020x1201121002102122012010201110020001020x12111112120101012101112001211220210100x1202121202100202212220021012220011022x12112120012202212102220110202111112220x10011222122101011101212101011022102121x12000212012121111211012021011121102120x10022001211202021120211111101011012200x10122111112022112212210002000202111202021x10120120010121001210021000200212002022x10221122222112121200022011110220111100222x10102210012020111001102200221221011100020x101201221001120111012010112210001122020110x10202122001010112022202022000001022221210x11020112212001010000212211112022210110012011101x11202021012210202202022000202200021201220x11122202102212122111102202121001111210122200x12011210012122210100211222202212011011010x11221100002011111020022111111200112101222121x12220011012102221210220021022010000010222x1200111022002011111100110012220001221000100022x112011221120210210110020101211012121011101x111011100022101010012222121221112101011101x112222121121021002021222102220112022110101x11120221120012022102120200212201220211112001x1000001222220121122010021121210201000220220x1111021112202202002212021020111210112101000010x1000110110022200211010021022020020120001211x111221210102012100201001222222221111020011101x1000201101201122222010211022000010021211010x111102001121110021210120201101001220122110222x1112221100201100022020102122221221122010222x1112211200120020112222000110011200100111111110x112220021201200101002110020200000202010202020x1120111022010202212020001022201201021200122012x112221000210201212010001111220120111210002110x1111002200020210200222200022111100101021120111x120020002122111102120012100201201100210220102x1011111121001101120102222220000111100001002112x1012110202102212020200202222110011021211110102x101020022200110022021020201002210011112211101010x1112010212112100121201220201101022100201211210x122122212111211222012121021000211111010211202211x10101001120212110010002101212020001112020120002x1021111102212100110011021012111122022202121211110x11120221011220100022021010120202200002021120022x111001112211111002002110220022112211202022120110102x11211020022120200001211101022112222202221010102x111112110211202201122012220010201111001211222210x11221012201001110101021120100020111110101021011x111112211010200210112100101112010212002121011221x12002221101002220220002110011011010010222120000x122120010202212211222100021110120020211112211220111x1021112112101222200112221111011201110021111220020x1221201212101222100112212112011201111111121020000x1112112221111200120100222221112012001222200110122x11110221210120111110121210102012112012010110200121x11202120012022100100201201221210120221202102211002x11202120012220201120200100201112220222102102201110x1ttt2ttt2 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])))