/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 00000102021222210010x100201012202001201112x100002001001010011112x100010101122201200201x100011122222112110120x102211201021101020010x100101021020220101011x101001012220012202221x100200011021120200002x120011012020000121212x100222100001020101100x112012000100111210010x101100100002202221221x122011222101112201001x101101022202020000102x100210112010122000120x101121012210010221000x110100101122022220100x101201022011002000020x102210112010101011210x101201202210220011120x120002212000000020001x102001222222010121120x100120211000001101200x102010120012200022210x100000111200101121220x102100010121001012101x120001010011210012012x102112200000121012202x100100001121202000200x102200110000121101020x101012000011202010121x102210122012111200000x122010001120010102222x102212201220000211220x100002022122200102012x102212211101010022200x101200110100202211212x102221022201100101120x120110012100012102200x102222221222220201121x101010101211102222112x110000201011000111022x110121220111010101012x110002120022111000202x112101201011101102001x110011011221020222000x100101020101212100120x110011200112022012221x110001220022010012201x110021220000011222220x112010110120200012100x110022100122102220020x112000010011010102200x110100100110212012202x110122021010002010101x110100120011121102102x120120110100112022002x110101021122010120021x102001002010101010122x110101120200212112000x110001121002000001121x110110102201102110010x110000020120020010022x110110212122001202020x100020110121002221000x110112100022122020020x102100121010101120101x110120100212201211011x110100101220121211000x110122002211010200202x100010102200220112101x110122110222010002012x122000201012201000121x110122112120022200100x110101012201002011122x110200121100112200222x112022012120110112001x110200200210010110110x110120120101121010102x110200211212020022102x101221100122012012021x110201002001002101111x110020021101202001001x110202022022112201012x100101100022001022120x110212201110002212120x112202100122201010112x110222000001021001112x102201020120000120112x111002101101220212122x112011000001012210011x111002210112211012102x111112120000220221001x111002222220010210221x111000021020001100120x111010210100211202201x111021112000100000000x111021000021102100120x111200111022221220000x111022022002021001222x110022010220022010000x111022110220110021211x111221102001221202001x111022210022122111200x112200102120000000220x111101202220211022021x111001121200101212112x111101210202110202000x111100012220100210201x111101211021021022100x111021010100222012210x111120021022002211110x110220110011201201200x111121220200212120022x111121000020100201212x111122102101211101021x111002001011102012111x111122112021222111022x111222101100020011101x111122221111220022122x111110022100020022021x111201210111122200111x100101011220022000001x111201222222212101122x111112012220112101012x111202000100210111110x111201221001021002010x111210120121021021220x111202201111200020011x111211012201122002101x101121120000120100012x111212210212010021000x110012201101120020110x111220121221001102201x111020120001102200000x111221021212011212211x111211001112001100111x111221122221122001212x111101121221002012112x111221210000110212012x112201012201022100001x111222000112102012211x112012000101121012000x111222121210021021010x110222212102011120100x112001002102002010101x112222012220100001022x112001222202221201202x100121022000201201121x112011102110222121202x102012010211211002010x112022121012220010210x112101210010101210121x112101022020122111202x100121001011110002122x112112120220210120111x122120101211122212002x112112210110021021002x122020101020011101110x112120122001011010221x101010000002012000011x112122021010201002010x101012120022010011222x112200002121212010111x112201202200122221201x112210120100022001112x110101200112001010010x112210221000201110101x110122100011202200022x112221002002222012110x120001220122210000201x120010122221202202120x122012222200122000201x120022011200220220110x120022001010001200222x120022111020222010200x101212211100121011001x120111221012110110012x120020101110120121112x120112021211021100010x100200112220212121210x120201111100101212222x120222111001122120001x120210100200001112101x102011001010002221001x121202012200000002110x120212012222201012220x121221020201000201121x102021002201020101001x122101021102201101010x101002200021220101221x122200011120201211012x120020111012210012122x122202022201021202000x101012200100102111002x122210222012020200010x121001102011120010001x12.100000102021222210010x100201012202001201112x100002001001010011112x100010101122201200201x100011122222112110120x102211201021101020010x100101021020220101011x101001012220012202221x100200011021120200002x120011012020000121212x100222100001020101100x112012000100111210010x101100100002202221221x122011222101112201001x101101022202020000102x100210112010122000120x101121012210010221000x110100101122022220100x101201022011002000020x102210112010101011210x101201202210220011120x120002212000000020001x102001222222010121120x100120211000001101200x102010120012200022210x100000111200101121220x102100010121001012101x120001010011210012012x102112200000121012202x100100001121202000200x102200110000121101020x101012000011202010121x102210122012111200000x122010001120010102222x102212201220000211220x100002022122200102012x102212211101010022200x101200110100202211212x102221022201100101120x120110012100012102200x102222221222220201121x101010101211102222112x110000201011000111022x110121220111010101012x110002120022111000202x112101201011101102001x110011011221020222000x100101020101212100120x110011200112022012221x110001220022010012201x110021220000011222220x112010110120200012100x110022100122102220020x112000010011010102200x110100100110212012202x110122021010002010101x110100120011121102102x120120110100112022002x110101021122010120021x102001002010101010122x110101120200212112000x110001121002000001121x110110102201102110010x110000020120020010022x110110212122001202020x100020110121002221000x110112100022122020020x102100121010101120101x110120100212201211011x110100101220121211000x110122002211010200202x100010102200220112101x110122110222010002012x122000201012201000121x110122112120022200100x110101012201002011122x110200121100112200222x112022012120110112001x110200200210010110110x110120120101121010102x110200211212020022102x101221100122012012021x110201002001002101111x110020021101202001001x110202022022112201012x100101100022001022120x110212201110002212120x112202100122201010112x110222000001021001112x102201020120000120112x111002101101220212122x112011000001012210011x111002210112211012102x111112120000220221001x111002222220010210221x111000021020001100120x111010210100211202201x111021112000100000000x111021000021102100120x111200111022221220000x111022022002021001222x110022010220022010000x111022110220110021211x111221102001221202001x111022210022122111200x112200102120000000220x111101202220211022021x111001121200101212112x111101210202110202000x111100012220100210201x111101211021021022100x111021010100222012210x111120021022002211110x110220110011201201200x111121220200212120022x111121000020100201212x111122102101211101021x111002001011102012111x111122112021222111022x111222101100020011101x111122221111220022122x111110022100020022021x111201210111122200111x100101011220022000001x111201222222212101122x111112012220112101012x111202000100210111110x111201221001021002010x111210120121021021220x111202201111200020011x111211012201122002101x101121120000120100012x111212210212010021000x110012201101120020110x111220121221001102201x111020120001102200000x111221021212011212211x111211001112001100111x111221122221122001212x111101121221002012112x111221210000110212012x112201012201022100001x111222000112102012211x112012000101121012000x111222121210021021010x110222212102011120100x112001002102002010101x112222012220100001022x112001222202221201202x100121022000201201121x112011102110222121202x102012010211211002010x112022121012220010210x112101210010101210121x112101022020122111202x100121001011110002122x112112120220210120111x122120101211122212002x112112210110021021002x122020101020011101110x112120122001011010221x101010000002012000011x112122021010201002010x101012120022010011222x112200002121212010111x112201202200122221201x112210120100022001112x110101200112001010010x112210221000201110101x110122100011202200022x112221002002222012110x120001220122210000201x120010122221202202120x122012222200122000201x120022011200220220110x120022001010001200222x120022111020222010200x101212211100121011001x120111221012110110012x120020101110120121112x120112021211021100010x100200112220212121210x120201111100101212222x120222111001122120001x120210100200001112101x102011001010002221001x121202012200000002110x120212012222201012220x121221020201000201121x102021002201020101001x122101021102201101010x101002200021220101221x122200011120201211012x120020111012210012122x122202022201021202000x101012200100102111002x122210222012020200010x121001102011120010001x1ttt2ttt2 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])))