/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 00001010111001201221x122001202121220010011x100012122121221120012x102012212000120101010x100110000212022212020x122201120001020120120x100120002011022002012x101200000202000010021x100120100020111121102x120011002112001222000x100221012110212112211x121211012221020021010x100222000011202120210x101001120012102020120x101002210020022100222x100022102010002010010x101021121221100110120x112212101220120020220x101021200210101201210x102120120200101021000x101022021001222022011x101200012212222222000x101100001122001111010x122221020210010012110x101120011200222221211x100200012110010101101x101120212201010110121x120101100021201201201x101121102200102021021x110100020010122022200x101202001111220020011x122212000120101002210x102000202220120111110x100021120101210021001x102010010021002101121x101022222012001020000x102102021012200120011x102000212200000120012x102102022000100122102x102102120120010001020x102102110101111201022x110112120100120021000x102110012210010020212x102201200002010010101x102121110010121220000x101021001202100220120x102200222122122200010x101022202022010000002x102210111210201212020x122021222100012011010x110011200211021210020x111220022002002001001x110011222110100002100x112101102220022012100x110022100211201102122x101022012202201200211x110022212101221002000x102222010020200102120x110100010011222121221x101020100100120011011x110101212112222121220x100020101202010122222x110102222010121102212x112202110212201202020x110110210110002122201x100122012002122221222x110111000111210202012x111022002021102222200x110121011212022220012x101102222012001220002x110210112120210211012x112010120201110010101x110212121020102120122x110201002121000001000x110220000120021221111x121200200111000000120x111001221100102100010x100201002100010220002x111002202222220112021x111201000201220221002x111010202222021222122x112122002201102010001x111011202210111110001x120111112101200120010x111011220110010022100x100101022122220100212x111020010200221102120x100222020210012000012x111022220011022011211x101221200121021012102x111102021102210000010x112011000200111202012x111120000102102210221x112221201020201010210x111120202210001000022x110120212020112010000x111121212020110021121x112010022112220002222x111201101012222020122x111220010021222020112x111211102200021200202x111010102221201100000x111221202121010000101x110202100121010002201x112022100021122121010x100120201021100020121x112100110010101002200x102000011002022200200x112121020111212211221x120211012122100002121x112121211211221002001x102110102121012010001x112220211222001001021x100012110001201201202x120002212100200110122x121200200000202212112x120020120110001102221x120112021010220000000x120100012202221020110x102020002120220012120x120101220200002201101x122000120201001010002x120112002122212122122x100020121220121001022x120121112101000100220x120110201100112001220x120122122121120002222x120202011202200110212x120202100011102112220x101010200210001000102x120212011211210022011x122010020211002220200x120212112002200022211x122022202201121212011x120212202100122112211x122011121212012010110x120222122002120012211x120101102200212220201x121000201122101100120x102101100010201200000x121010102020010120220x120100012122002000020x121020011011212210122x101011001010120212012x121022210200011012110x102020012010110012110x121101200221221210122x120010221200112220100x121101222121010222220x121012202212112120012x121102002022121220120x121222202100012222020x121110111102012101100x101000211121000120211x121121102100022022200x120121021010202200220x121201212211220011220x102121210002020220012x121202211201220001002x121200002201021200121x121210111211102101022x111222101000000021200x121210112122010212102x122010012020021020121x121210220110010110202x120010022021221002021x121211200101101201021x121200000001011101210x121212212022001202002x121012002200201201002x122000122011000122012x120200022010010021002x122002112120011212110x102222000211001220120x122011120212021202102x122012221022221201201x122011202210100220212x101012000012202201002x122012000010002121112x120221200212001102012x122020010111022100201x120222210022120220210x122101211210021010121x122112022220000110202x122102012110112210122x110110200012001220102x122102102001021110100x102002221221022112000x122111000122102102221x102220120210221020112x122120110212012012102x101022202000001012202x122120210201012211012x100000121002010201101x122212210100221011001x102200112112200001212x122212222210000010200x120001100212020102100x12.100001010111001201221x122001202121220010011x100012122121221120012x102012212000120101010x100110000212022212020x122201120001020120120x100120002011022002012x101200000202000010021x100120100020111121102x120011002112001222000x100221012110212112211x121211012221020021010x100222000011202120210x101001120012102020120x101002210020022100222x100022102010002010010x101021121221100110120x112212101220120020220x101021200210101201210x102120120200101021000x101022021001222022011x101200012212222222000x101100001122001111010x122221020210010012110x101120011200222221211x100200012110010101101x101120212201010110121x120101100021201201201x101121102200102021021x110100020010122022200x101202001111220020011x122212000120101002210x102000202220120111110x100021120101210021001x102010010021002101121x101022222012001020000x102102021012200120011x102000212200000120012x102102022000100122102x102102120120010001020x102102110101111201022x110112120100120021000x102110012210010020212x102201200002010010101x102121110010121220000x101021001202100220120x102200222122122200010x101022202022010000002x102210111210201212020x122021222100012011010x110011200211021210020x111220022002002001001x110011222110100002100x112101102220022012100x110022100211201102122x101022012202201200211x110022212101221002000x102222010020200102120x110100010011222121221x101020100100120011011x110101212112222121220x100020101202010122222x110102222010121102212x112202110212201202020x110110210110002122201x100122012002122221222x110111000111210202012x111022002021102222200x110121011212022220012x101102222012001220002x110210112120210211012x112010120201110010101x110212121020102120122x110201002121000001000x110220000120021221111x121200200111000000120x111001221100102100010x100201002100010220002x111002202222220112021x111201000201220221002x111010202222021222122x112122002201102010001x111011202210111110001x120111112101200120010x111011220110010022100x100101022122220100212x111020010200221102120x100222020210012000012x111022220011022011211x101221200121021012102x111102021102210000010x112011000200111202012x111120000102102210221x112221201020201010210x111120202210001000022x110120212020112010000x111121212020110021121x112010022112220002222x111201101012222020122x111220010021222020112x111211102200021200202x111010102221201100000x111221202121010000101x110202100121010002201x112022100021122121010x100120201021100020121x112100110010101002200x102000011002022200200x112121020111212211221x120211012122100002121x112121211211221002001x102110102121012010001x112220211222001001021x100012110001201201202x120002212100200110122x121200200000202212112x120020120110001102221x120112021010220000000x120100012202221020110x102020002120220012120x120101220200002201101x122000120201001010002x120112002122212122122x100020121220121001022x120121112101000100220x120110201100112001220x120122122121120002222x120202011202200110212x120202100011102112220x101010200210001000102x120212011211210022011x122010020211002220200x120212112002200022211x122022202201121212011x120212202100122112211x122011121212012010110x120222122002120012211x120101102200212220201x121000201122101100120x102101100010201200000x121010102020010120220x120100012122002000020x121020011011212210122x101011001010120212012x121022210200011012110x102020012010110012110x121101200221221210122x120010221200112220100x121101222121010222220x121012202212112120012x121102002022121220120x121222202100012222020x121110111102012101100x101000211121000120211x121121102100022022200x120121021010202200220x121201212211220011220x102121210002020220012x121202211201220001002x121200002201021200121x121210111211102101022x111222101000000021200x121210112122010212102x122010012020021020121x121210220110010110202x120010022021221002021x121211200101101201021x121200000001011101210x121212212022001202002x121012002200201201002x122000122011000122012x120200022010010021002x122002112120011212110x102222000211001220120x122011120212021202102x122012221022221201201x122011202210100220212x101012000012202201002x122012000010002121112x120221200212001102012x122020010111022100201x120222210022120220210x122101211210021010121x122112022220000110202x122102012110112210122x110110200012001220102x122102102001021110100x102002221221022112000x122111000122102102221x102220120210221020112x122120110212012012102x101022202000001012202x122120210201012211012x100000121002010201101x122212210100221011001x102200112112200001212x122212222210000010200x120001100212020102100x1ttt2ttt2 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])))