/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 01012022x112020120x112201122x112120212x1220010100x11011212120x12101102001x120121112001x102000100012x1102021001212x10001120021110x111022211222111x10012022002202x112210202121211x100101001100010x122121121112120202x102200122002022x1010212122121020x1220200021002100x12212122120002200x122220100101201002x1121021220101211100x11012201002220221120x12002002201121022211x110021210220022202000x12221212102120211112022x120222222121002222012x1212112212221121201120x1212112202212211121001x1220102201222111211211x1222101022012200111011x11001222100000010121211x11001222000101100200000x1212120202121100111011222x102022110020010221200022x1202221222021210122010022x1000220112011022101221001x11101011121211200201022121x1200221010111020212100111x12201012102110022010212111x1220220022112000121022022x110212122201212122101201222x10111021111222001101000102x10012002122211121212012102121x100221021100021102011120220x1121211211210220100020012021x1001012120020100201121022001x12220011122010212221211220011x1210001022111222221101011200x11111222201020122212112112011x10212011000002212001212010122x112111012021212102010021121102x101111201112120102010110121000x11200121202101212021210121011201x110120110200112201111121010202x1200201020000112101211212022001x121021121002012200110200210122x1202020202120112011212100100221x1002012201002110221011210010201x112111221220011012222020021212001x1002102110022121010120100202221x1000120210220220121110120200211x1022200101002111101111100100101x112112101101102122012002101011211x1210200022022210021111122010022x11212120020121221121210220201222x102010002110221122210010010000200x11121200010212012210002000102012120x122020120012211112212222221011222x1112111011012201211001202110201001x122101101010102102000002000200200x12110221012121211211120212010101200x122220220121101022011020111222000x11202021200221021212110020211011211x1000000201102222000020000022112002x11201021122121200001211212220122210x1200102011002200102221011111011002x12000211021100121122012122021012222x10002202111101010220210100202210212x121220020011102012000121112100120212x10122121100100110102201001202011102x10111100012001110002001121222110202x12011220202111100200012221002220202x1110121211221010212210010012001212201x100221111120120220211022202112100001x1111002112012011010002001211001012121x1200201020022200222100122010012210210x110221212120212212221221211010210110012x11111000011102100010000201221221112102x1111020002000001020021212222211111202012x100022212112000012211100200100012120010x1121112110011100020200112121122112222022x100211022101212202110010200220111101010x1021221012121111221220021202101122000221x102212001022101201101022000122011000202x1111220112210121000110121210212012111201x1000112211120022211200000010210021121002x1221211210120202012121100000212221210101012x1010202002101001002110221020122200220102x101211202021112000222212011212000102221100x1010210101011100101002101000110222110200x121022200212222222100021121121011120211220x1012122120111002010101120010010001202100x110221212200010002022101202101120221212120x1022222202111011012210220201112222210010x10000212122002121221210001101001000110112x1101110121221020101111120011220200020000x12121112112121001121100112210000010010222x101011111001011202202222000111122221201222x11202002122201121211222120120210022010002110x1002211022011011210000020200202001001122222x12000222001002121021102202200211001211110210x10020020021000001100210221021102021120110122x102110121000200000001220110212121111112000121x10110120002101201022100011021122022020211001x11120120121112122102002021220111012021212001011x10221110001021000010110221220022102012201202x1102220121211010001112212111201121221011210221x12021112211220001101022202121000012201201122x12021212221002120201211002111001022000221121x100011121112201202210211210021211012222102101x1210010020121212011022200102021101222112221221x101021100112120010202012020101000212000022002x1111212021112121200102222001221120022021101121210x1010212202220120012200002102220101121200110110x10022102212121212110102101211022222102000001112x1200011022211102101100112100011022000101100220x12101022212121111022221220201001001120122201010x1212100001002010221012200200102110021010210102x11220202101020221222200102101212220021211100021x10122210110022102020120110200102001021200210210x121201021102112102221200121111201012020002122212x12011102021020212022111101012202101000000100122x1120201021211212222021022012011110220221021110122x12222002100200101221002002020102220010000122000x1221100211211202120120200212211002100121222210221x100102222011000220010020101000202220021121022022x11221211021001002221202211201122101102002121120002x101021221021220020111111201100101110222002110022x11200212211012201012112111102221021111220202220202x102011101102000110112222001001010001022221110022x1212111102012020110201112111212011111000200101221x1022122221011002022210112201100021202010020122010x11020222201102100111201111022221121002222222221211x10100122001010001022202221210021022210021021201122x10120002020111001022120221000222021210021021012122x11022120201012002121012202202010021222210200022011x110222012200010122201020202110110102112122201200211x110011001002112122122012200221110002101202020021102x112111000001212122022000002202111010101201212221002x12.101012022x112020120x112201122x112120212x1220010100x11011212120x12101102001x120121112001x102000100012x1102021001212x10001120021110x111022211222111x10012022002202x112210202121211x100101001100010x122121121112120202x102200122002022x1010212122121020x1220200021002100x12212122120002200x122220100101201002x1121021220101211100x11012201002220221120x12002002201121022211x110021210220022202000x12221212102120211112022x120222222121002222012x1212112212221121201120x1212112202212211121001x1220102201222111211211x1222101022012200111011x11001222100000010121211x11001222000101100200000x1212120202121100111011222x102022110020010221200022x1202221222021210122010022x1000220112011022101221001x11101011121211200201022121x1200221010111020212100111x12201012102110022010212111x1220220022112000121022022x110212122201212122101201222x10111021111222001101000102x10012002122211121212012102121x100221021100021102011120220x1121211211210220100020012021x1001012120020100201121022001x12220011122010212221211220011x1210001022111222221101011200x11111222201020122212112112011x10212011000002212001212010122x112111012021212102010021121102x101111201112120102010110121000x11200121202101212021210121011201x110120110200112201111121010202x1200201020000112101211212022001x121021121002012200110200210122x1202020202120112011212100100221x1002012201002110221011210010201x112111221220011012222020021212001x1002102110022121010120100202221x1000120210220220121110120200211x1022200101002111101111100100101x112112101101102122012002101011211x1210200022022210021111122010022x11212120020121221121210220201222x102010002110221122210010010000200x11121200010212012210002000102012120x122020120012211112212222221011222x1112111011012201211001202110201001x122101101010102102000002000200200x12110221012121211211120212010101200x122220220121101022011020111222000x11202021200221021212110020211011211x1000000201102222000020000022112002x11201021122121200001211212220122210x1200102011002200102221011111011002x12000211021100121122012122021012222x10002202111101010220210100202210212x121220020011102012000121112100120212x10122121100100110102201001202011102x10111100012001110002001121222110202x12011220202111100200012221002220202x1110121211221010212210010012001212201x100221111120120220211022202112100001x1111002112012011010002001211001012121x1200201020022200222100122010012210210x110221212120212212221221211010210110012x11111000011102100010000201221221112102x1111020002000001020021212222211111202012x100022212112000012211100200100012120010x1121112110011100020200112121122112222022x100211022101212202110010200220111101010x1021221012121111221220021202101122000221x102212001022101201101022000122011000202x1111220112210121000110121210212012111201x1000112211120022211200000010210021121002x1221211210120202012121100000212221210101012x1010202002101001002110221020122200220102x101211202021112000222212011212000102221100x1010210101011100101002101000110222110200x121022200212222222100021121121011120211220x1012122120111002010101120010010001202100x110221212200010002022101202101120221212120x1022222202111011012210220201112222210010x10000212122002121221210001101001000110112x1101110121221020101111120011220200020000x12121112112121001121100112210000010010222x101011111001011202202222000111122221201222x11202002122201121211222120120210022010002110x1002211022011011210000020200202001001122222x12000222001002121021102202200211001211110210x10020020021000001100210221021102021120110122x102110121000200000001220110212121111112000121x10110120002101201022100011021122022020211001x11120120121112122102002021220111012021212001011x10221110001021000010110221220022102012201202x1102220121211010001112212111201121221011210221x12021112211220001101022202121000012201201122x12021212221002120201211002111001022000221121x100011121112201202210211210021211012222102101x1210010020121212011022200102021101222112221221x101021100112120010202012020101000212000022002x1111212021112121200102222001221120022021101121210x1010212202220120012200002102220101121200110110x10022102212121212110102101211022222102000001112x1200011022211102101100112100011022000101100220x12101022212121111022221220201001001120122201010x1212100001002010221012200200102110021010210102x11220202101020221222200102101212220021211100021x10122210110022102020120110200102001021200210210x121201021102112102221200121111201012020002122212x12011102021020212022111101012202101000000100122x1120201021211212222021022012011110220221021110122x12222002100200101221002002020102220010000122000x1221100211211202120120200212211002100121222210221x100102222011000220010020101000202220021121022022x11221211021001002221202211201122101102002121120002x101021221021220020111111201100101110222002110022x11200212211012201012112111102221021111220202220202x102011101102000110112222001001010001022221110022x1212111102012020110201112111212011111000200101221x1022122221011002022210112201100021202010020122010x11020222201102100111201111022221121002222222221211x10100122001010001022202221210021022210021021201122x10120002020111001022120221000222021210021021012122x11022120201012002121012202202010021222210200022011x110222012200010122201020202110110102112122201200211x110011001002112122122012200221110002101202020021102x112111000001212122022000002202111010101201212221002x1ttt2ttt2 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])))