/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000402535333x1311042111121302411x1003020034055x1252211111211413513x1003355220454x12412425211351411x1004520505044x105243122150110x1005300400435x13141111132442314x1013505020355x1151215011230125x1022405015541x11211302041231312x1024050454311x120034521122301x1030001555430x1421212325131105x1030004122420x101230315400055x1030224551203x11231340243234113x1035224144430x1521134131353230x1042400242404x115102233252513132x1042430240402x105005223341252x1043044051403x102123312540021311x1045035534204x1032253113221113405x1045221533035x101103203425524x1054433005545x115125421113011253x1101433250535x1114110205322531x1103044001444x13435105421231521x1104203520054x1131520151001505x1115154413050x1111102532221110x1133444503304x1512113521544141x1143440450240x123232111112201151x1150350454335x14125213321133525x1153033244203x102520110413223x1155554535554x1212132110302501125x1200455051030x111155241314513223x1201443205542x1202111011115325241x1202030435535x12312554522331513x1202420435011x112515251231113032x1203040114054x110021501321332111x1203044343033x12213215123100410x1205154554032x1311141211331422x1212222420545x1101113413030131113x1213055342120x1521552012311233x1222223200223x142142112112211x1224514444235x13412113214510225x1233553230243x1151115252115141151x1240433455144x142151500252102231x1240530000441x11524311541110144x1241305533244x152223213410110211x1242223044055x10253210011334112x1243322342414x1424411511123142x1244300504445x102011021130021510x1302453332355x115034011524115x1303205433344x125023231123525x1304202203310x151321133411111043x1304452002445x113145111132135340x1304543010224x1342311452104100x1305055440535x110225110420134014x1305444353012x154230343310213x1305545045440x1011250122545300x1314544503314x1343421011323242x1322120535324x114231230515231x1322404303425x152152131101231344x1335105412050x151351312130002x1343042434421x10141132230332111x1343350405541x12350000232531311x1343354405535x1225423432410113x1345403041445x113430313500223x1353523431052x15121253225155111x1354530444554x10021032341531131x1355222200311x1123125123102423x1401440050531x1411031111415524x1403033123153x11431150213411103x1404045500435x10003213451123354x1404332224320x141015421104213123x1405404533024x12000001233231255x1405520545300x1452111025210215202x1405544332424x11310153400521021x1410324542334x1114123512331521x1410402420044x14522551510411010x1422413042512x1012523121111251x1440233012404x11442302251151125x1440335040505x15205312123152112x1440544335042x112352550234434321x1440554532515x12321111352032431x1444354050055x114151252151231155x1444554004224x115231501413451x1445344355035x1523211310103411111x1445345140530x11021551125114311x1445440405104x10313411233213133x1453304022445x125100052552551x1454400554005x135411344145220x1500503445050x1111020332413121x1504055545010x151132511231152413x1520532224045x152143523212332151x1523523344241x102415121101211x1524445545512x110342110004232x1530301004240x15352113052215210x1530431150455x112313111501323131x1534204545140x111402121153125x1540415032504x101020220213455x1542425555302x152511311233425111x1552005324045x1315211101521434113x12.1000402535333x1311042111121302411x1003020034055x1252211111211413513x1003355220454x12412425211351411x1004520505044x105243122150110x1005300400435x13141111132442314x1013505020355x1151215011230125x1022405015541x11211302041231312x1024050454311x120034521122301x1030001555430x1421212325131105x1030004122420x101230315400055x1030224551203x11231340243234113x1035224144430x1521134131353230x1042400242404x115102233252513132x1042430240402x105005223341252x1043044051403x102123312540021311x1045035534204x1032253113221113405x1045221533035x101103203425524x1054433005545x115125421113011253x1101433250535x1114110205322531x1103044001444x13435105421231521x1104203520054x1131520151001505x1115154413050x1111102532221110x1133444503304x1512113521544141x1143440450240x123232111112201151x1150350454335x14125213321133525x1153033244203x102520110413223x1155554535554x1212132110302501125x1200455051030x111155241314513223x1201443205542x1202111011115325241x1202030435535x12312554522331513x1202420435011x112515251231113032x1203040114054x110021501321332111x1203044343033x12213215123100410x1205154554032x1311141211331422x1212222420545x1101113413030131113x1213055342120x1521552012311233x1222223200223x142142112112211x1224514444235x13412113214510225x1233553230243x1151115252115141151x1240433455144x142151500252102231x1240530000441x11524311541110144x1241305533244x152223213410110211x1242223044055x10253210011334112x1243322342414x1424411511123142x1244300504445x102011021130021510x1302453332355x115034011524115x1303205433344x125023231123525x1304202203310x151321133411111043x1304452002445x113145111132135340x1304543010224x1342311452104100x1305055440535x110225110420134014x1305444353012x154230343310213x1305545045440x1011250122545300x1314544503314x1343421011323242x1322120535324x114231230515231x1322404303425x152152131101231344x1335105412050x151351312130002x1343042434421x10141132230332111x1343350405541x12350000232531311x1343354405535x1225423432410113x1345403041445x113430313500223x1353523431052x15121253225155111x1354530444554x10021032341531131x1355222200311x1123125123102423x1401440050531x1411031111415524x1403033123153x11431150213411103x1404045500435x10003213451123354x1404332224320x141015421104213123x1405404533024x12000001233231255x1405520545300x1452111025210215202x1405544332424x11310153400521021x1410324542334x1114123512331521x1410402420044x14522551510411010x1422413042512x1012523121111251x1440233012404x11442302251151125x1440335040505x15205312123152112x1440544335042x112352550234434321x1440554532515x12321111352032431x1444354050055x114151252151231155x1444554004224x115231501413451x1445344355035x1523211310103411111x1445345140530x11021551125114311x1445440405104x10313411233213133x1453304022445x125100052552551x1454400554005x135411344145220x1500503445050x1111020332413121x1504055545010x151132511231152413x1520532224045x152143523212332151x1523523344241x102415121101211x1524445545512x110342110004232x1530301004240x15352113052215210x1530431150455x112313111501323131x1534204545140x111402121153125x1540415032504x101020220213455x1542425555302x152511311233425111x1552005324045x1315211101521434113x1ttt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))