/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 00001020010200011202x111210012010120001100x100001212002010011020x100120011101010201000x100010011010121220201x100002201010012010011x100102100122112002121x121001211010120101110x100110010012110120122x112001111001201122112x100120001220200201111x110110201110000100012x100122200102001100021x111010010201211220001x100201222121212000001x101002121110201012201x100211100211001102021x101120001112110120121x101000210211011211020x102011021110112211211x101001012212111120011x120021111201001011000x101010201200022211001x112110100001011100101x101012112021012221111x101020020212001001112x101012120121201120111x122020101211111110111x101012200202012210111x102001121121212011102x101020222200100211001x111100022210200200001x101021002120200010110x111000002000102010211x101100101002210100201x101101112002211012110x101100221012020202001x112000122111211011221x101101022001021102201x121001110020122001201x101101221100200221121x101000001211021000000x101102020010200110012x101211201100111111001x101102120011002002211x102000001210111111000x101110220102221121121x101011001012112200021x101112012012102011221x101210112100200120111x101121201110201102112x101120211111020201112x101201220101101101210x112112110102000011112x101210022000020101112x101220010101001101012x101210110000222011221x111201110101202120011x101210120102202012001x101212100201202000201x102010110002110010220x111000202002011111201x102012100120012110102x101111020121021002120x102020112221101020001x101202210211120100111x102111112111210211122x120011011110200121002x102112020202011001100x100110011100111002002x102202211101021111101x120102011101110001111x102220111112220100001x112021011200001112101x110010120001210100001x110120120110011110210x110011202211111012221x110001020010021110110x110020102202100112200x111122010111021001222x110020110022000020111x110011001001110022000x110022210121111110211x102001111112112111200x110100000200111020020x120001011211211000111x110110200000212021102x102011200000201111110x110111010102112002110x101100110102112020111x110111220002001211020x120221000001112010000x110112000222201100021x110011100120210001010x110112102021001100001x110201110000211100001x110121121100022221101x100000201121001010110x110121220200201100011x101112111100020012201x110201121000101120212x100011201200001021102x110201121102112201012x111112021112010121211x110202002000010220101x111202202201011002001x110211001102121001212x111101020100101220100x110221111101000202201x110001100212211100201x111000012000020222021x111012020000210210001x111001120202022011112x121102000112011112001x111002211111202012112x101020011001111110121x111010010012121100200x111200121110102111110x111010100200202021101x111101111210010110120x111011110222020221110x101201221111012010100x111011201211200010212x112111111001012112020x111011211221100211000x111101111211120211000x111020000120222201111x120112120120210111110x111020102020202110021x101211002122011211111x111021111222000022221x100210110020210100120x111101001120122110212x111110021122111200002x111101112120012221112x111011100011110220022x111101120200202221111x110011120102020201100x111200202002111001221x120110001201112020001x111201200212201010111x101010011020110120000x111202200200011201010x101202120020001101100x112000000012120110221x100010101101100001112x112011201120101201022x102120011122001111101x112100021101000020001x101211111101012101111x112111120000102202221x112002020002001221111x112210111221001211121x102101011221112011121x112211100100101000221x100101000011210010021x112212112022120111101x111111000002020201211x112221000201200100111x112001011220011120110x112221012111112121101x110012020111002112021x112221100002102001111x100101120111001200000x120011210021102111102x100110120100012112020x120021011111020110221x111020112110011001101x120100002000021100212x100021100111001122001x120101110111102121002x111201000001110220000x120102012211110201121x100001201121111011221x120110112000210200200x100120110122001002111x120210001200001122021x121001200012111000021x121000102221101111112x120000000121100210000x121001102101101210101x111202221111111111212x121021000012201201011x100000122111122012002x121102102012211111001x110101200001121120011x121110110120122111012x110111000211001201202x121111011122012212021x121000001012112011110x121121120112020011012x111002011211211001100x122000120120211100012x100000022100120112111x122200012000020011002x120001200112212002011x122211101121110112111x100112011110020011020x12.100001020010200011202x111210012010120001100x100001212002010011020x100120011101010201000x100010011010121220201x100002201010012010011x100102100122112002121x121001211010120101110x100110010012110120122x112001111001201122112x100120001220200201111x110110201110000100012x100122200102001100021x111010010201211220001x100201222121212000001x101002121110201012201x100211100211001102021x101120001112110120121x101000210211011211020x102011021110112211211x101001012212111120011x120021111201001011000x101010201200022211001x112110100001011100101x101012112021012221111x101020020212001001112x101012120121201120111x122020101211111110111x101012200202012210111x102001121121212011102x101020222200100211001x111100022210200200001x101021002120200010110x111000002000102010211x101100101002210100201x101101112002211012110x101100221012020202001x112000122111211011221x101101022001021102201x121001110020122001201x101101221100200221121x101000001211021000000x101102020010200110012x101211201100111111001x101102120011002002211x102000001210111111000x101110220102221121121x101011001012112200021x101112012012102011221x101210112100200120111x101121201110201102112x101120211111020201112x101201220101101101210x112112110102000011112x101210022000020101112x101220010101001101012x101210110000222011221x111201110101202120011x101210120102202012001x101212100201202000201x102010110002110010220x111000202002011111201x102012100120012110102x101111020121021002120x102020112221101020001x101202210211120100111x102111112111210211122x120011011110200121002x102112020202011001100x100110011100111002002x102202211101021111101x120102011101110001111x102220111112220100001x112021011200001112101x110010120001210100001x110120120110011110210x110011202211111012221x110001020010021110110x110020102202100112200x111122010111021001222x110020110022000020111x110011001001110022000x110022210121111110211x102001111112112111200x110100000200111020020x120001011211211000111x110110200000212021102x102011200000201111110x110111010102112002110x101100110102112020111x110111220002001211020x120221000001112010000x110112000222201100021x110011100120210001010x110112102021001100001x110201110000211100001x110121121100022221101x100000201121001010110x110121220200201100011x101112111100020012201x110201121000101120212x100011201200001021102x110201121102112201012x111112021112010121211x110202002000010220101x111202202201011002001x110211001102121001212x111101020100101220100x110221111101000202201x110001100212211100201x111000012000020222021x111012020000210210001x111001120202022011112x121102000112011112001x111002211111202012112x101020011001111110121x111010010012121100200x111200121110102111110x111010100200202021101x111101111210010110120x111011110222020221110x101201221111012010100x111011201211200010212x112111111001012112020x111011211221100211000x111101111211120211000x111020000120222201111x120112120120210111110x111020102020202110021x101211002122011211111x111021111222000022221x100210110020210100120x111101001120122110212x111110021122111200002x111101112120012221112x111011100011110220022x111101120200202221111x110011120102020201100x111200202002111001221x120110001201112020001x111201200212201010111x101010011020110120000x111202200200011201010x101202120020001101100x112000000012120110221x100010101101100001112x112011201120101201022x102120011122001111101x112100021101000020001x101211111101012101111x112111120000102202221x112002020002001221111x112210111221001211121x102101011221112011121x112211100100101000221x100101000011210010021x112212112022120111101x111111000002020201211x112221000201200100111x112001011220011120110x112221012111112121101x110012020111002112021x112221100002102001111x100101120111001200000x120011210021102111102x100110120100012112020x120021011111020110221x111020112110011001101x120100002000021100212x100021100111001122001x120101110111102121002x111201000001110220000x120102012211110201121x100001201121111011221x120110112000210200200x100120110122001002111x120210001200001122021x121001200012111000021x121000102221101111112x120000000121100210000x121001102101101210101x111202221111111111212x121021000012201201011x100000122111122012002x121102102012211111001x110101200001121120011x121110110120122111012x110111000211001201202x121111011122012212021x121000001012112011110x121121120112020011012x111002011211211001100x122000120120211100012x100000022100120112111x122200012000020011002x120001200112212002011x122211101121110112111x100112011110020011020x1ttt2ttt2 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])))