/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 000002103332231213x1010200221103333203x1000003103231133131x1013320100101303331x1000030223210030232x1030202202320310030x1000212333022320232x1023020300231322322x1000323101302202332x1023330032010320122x1002212331010022210x1020212113102022030x1003001321223321032x1020323223130010132x1003212002321332131x1023013112120230323x1003221000312130031x1003320300311012012x1011301030233300113x1021103033013300311x1013021310221311133x1013123211013013321x1020020033023323331x1000203333232120303x1021113221003131013x1013010212311321013x1021121213221023333x1021132120212133233x1022021313023230323x1032201203321230332x1022223320021221002x1022130032120222202x1023003101331300203x1003303032032010113x1030001002022132112x1003202011032120012x1031020321230210032x1033220103200102312x1032133021000012112x1011220001230013312x1033310012311210110x1020301033112311110x1100122003210120003x1100010301200212203x1100311213230032132x1101232110330230132x1102113310013113233x1103311331102231031x1111120000100212111x1101012220010110111x1112210023212131132x1112111301202332212x1113133323021322101x1110231332132132031x1113310121333003300x1131313130302301300x1120210132320321022x1122112031220203032x1121113120011021311x1121313021111110201x1130032230210100233x1303030220200121331x1130210221101221111x1111312022210112011x1131103310010211001x1301010120310110311x1131200021233121333x1330321123210320311x1132100103311213313x1131113003331232011x1132102112030020311x1130012011101302223x1132123310222213123x1123131320112322223x1132310113330131013x1112311033111303033x1133221310011021333x1321330103122313011x1133310111133321011x1131301113133230111x1200000210332020112x1203120010201000232x1200110113310210323x1201202013110313103x1201230020132320221x1220123020122203013x1202133033013102310x1030303323120111320x1202202100230210202x1202202020030112202x1203200200213121021x1002112022203301201x1210000213223100123x1200102032011120323x1210210011213133331x1212323110011103331x1211112301213120221x1212110122331112201x1211231102102310310x1212303121310120110x1211332020231323300x1232030113323203201x1212231030213312313x1210333213121320123x1220022332222223112x1220322312102222232x1222022103331023112x1201223220230311132x1222221322322233202x1222222220332332122x1222310012232011200x1220111020322120320x1223032022003312111x1223102303220113201x1223112211102331013x1223322103013111211x1231023231211323021x1213322123120133201x1231113230002231112x1211103022103121332x1231333113231132102x1231132311113032332x1232213023233022123x1222303233213201223x1232230001133112223x1221032332012233101x1233010101102201021x1203011122011200103x1300000120322132133x1300120203010232313x1300011200322131111x1132013132010012011x1300210103120113333x1303001032311110323x1300313133123102211x1312323203030131111x1302022133200223321x1323303222030220121x1302110332001322003x1130132032013020203x1302203303333321033x1303033123330232033x1302211332210302231x1302222230303312111x1302323200002233100x1302230033020230120x1303102131311333130x1133303111132130330x1313332201300130132x1332013232030311103x1321223100221201022x1101031232202202122x1323130212312021131x1313322320201123111x1323133300100022323x1323003323211030203x1332211322021122000x1312232201121320200x1333211202123230312x1331103121032222332x12.1000002103332231213x1010200221103333203x1000003103231133131x1013320100101303331x1000030223210030232x1030202202320310030x1000212333022320232x1023020300231322322x1000323101302202332x1023330032010320122x1002212331010022210x1020212113102022030x1003001321223321032x1020323223130010132x1003212002321332131x1023013112120230323x1003221000312130031x1003320300311012012x1011301030233300113x1021103033013300311x1013021310221311133x1013123211013013321x1020020033023323331x1000203333232120303x1021113221003131013x1013010212311321013x1021121213221023333x1021132120212133233x1022021313023230323x1032201203321230332x1022223320021221002x1022130032120222202x1023003101331300203x1003303032032010113x1030001002022132112x1003202011032120012x1031020321230210032x1033220103200102312x1032133021000012112x1011220001230013312x1033310012311210110x1020301033112311110x1100122003210120003x1100010301200212203x1100311213230032132x1101232110330230132x1102113310013113233x1103311331102231031x1111120000100212111x1101012220010110111x1112210023212131132x1112111301202332212x1113133323021322101x1110231332132132031x1113310121333003300x1131313130302301300x1120210132320321022x1122112031220203032x1121113120011021311x1121313021111110201x1130032230210100233x1303030220200121331x1130210221101221111x1111312022210112011x1131103310010211001x1301010120310110311x1131200021233121333x1330321123210320311x1132100103311213313x1131113003331232011x1132102112030020311x1130012011101302223x1132123310222213123x1123131320112322223x1132310113330131013x1112311033111303033x1133221310011021333x1321330103122313011x1133310111133321011x1131301113133230111x1200000210332020112x1203120010201000232x1200110113310210323x1201202013110313103x1201230020132320221x1220123020122203013x1202133033013102310x1030303323120111320x1202202100230210202x1202202020030112202x1203200200213121021x1002112022203301201x1210000213223100123x1200102032011120323x1210210011213133331x1212323110011103331x1211112301213120221x1212110122331112201x1211231102102310310x1212303121310120110x1211332020231323300x1232030113323203201x1212231030213312313x1210333213121320123x1220022332222223112x1220322312102222232x1222022103331023112x1201223220230311132x1222221322322233202x1222222220332332122x1222310012232011200x1220111020322120320x1223032022003312111x1223102303220113201x1223112211102331013x1223322103013111211x1231023231211323021x1213322123120133201x1231113230002231112x1211103022103121332x1231333113231132102x1231132311113032332x1232213023233022123x1222303233213201223x1232230001133112223x1221032332012233101x1233010101102201021x1203011122011200103x1300000120322132133x1300120203010232313x1300011200322131111x1132013132010012011x1300210103120113333x1303001032311110323x1300313133123102211x1312323203030131111x1302022133200223321x1323303222030220121x1302110332001322003x1130132032013020203x1302203303333321033x1303033123330232033x1302211332210302231x1302222230303312111x1302323200002233100x1302230033020230120x1303102131311333130x1133303111132130330x1313332201300130132x1332013232030311103x1321223100221201022x1101031232202202122x1323130212312021131x1313322320201123111x1323133300100022323x1323003323211030203x1332211322021122000x1312232201121320200x1333211202123230312x1331103121032222332x1ttt2ttt2 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])))