/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 010154445341x145322200233150x1013144314104x1041305224524050x1015115514551x1125335331532054x1015330514412x1225533423303354x1030501453035x140533431002000x1031544112313x1413040411352243x1034235510555x132302222201540120x1040124400542x1350302200003222500x1041145325223x1102205320230220x1043443141121x1330040203552314024x1045442344133x1250002100113021333x1100514455445x142300024150515050x1104043213025x1033532202033301052x1104414410515x11402234152042005x1105141215550x111230253350020403x1112535154114x125522101402310x1124441511144x1133213310522133x1130402530532x13022045220222430x1130454421552x13332023522403553x1131354441415x102142220003035423x1133531440311x1033524520533324x1141114444153x1041223325420212400x1141144400355x145333412222300x1141341424051x1004005142253024x1143111420123x12420233513045223x1143554543404x1503002214155135x1145210431444x1140203303540233124x1152544531542x1023350450105553x1153413123215x130454202122325x1153553425145x10224305532031220x1154321553152x132202302255352234x1155124532051x100302205403320300x1203411531051x1322005003335534133x1204454115515x1055532224002214x1205054245551x10002215205205230x1205111243542x10021503022435001x1211355454045x1400220132333034220x1213134034055x1523405020202003x1214452545130x100503333354030204x1230455543525x1533320553234022x1231315122525x1202220450210210103x1231501440033x140205023530323x1231512450555x1515400354052252x1234525441403x132012133215350x1240455052112x10221200322300335x1251514155113x155221220005233230x1251544345443x13241531542022004x1254520111552x12523351420240100x1313134124543x1223025132002352025x1315010152045x135522222004252010x1320424233451x1330320242200353x1321211540304x102050033002335200x1321445313441x1243303443352014x1335110511504x1200003423023334x1341111442431x1100342535033312002x1341244534243x10402024533200050x1343412544051x1332001242235350434x1344430110011x153424053223522004x1345231145101x10235014023332250x1400531444150x133402012004124x1404301430554x143520435022145x1414540140510x1224335041203433x1422434425502x124202200521335324x1434113343035x120220324335215321x1434315521124x1240024222230512222x1434504552445x1130350300003322220x1435513040444x12442020255123300x1442313435414x1222350350201052044x1442454431534x1400235521353333310x1443104534535x1520205050212232305x1443513443421x1005553013003533x1444530425550x111122225233413x1450145055305x111502331200225x1451214404302x1014222200322312022x1451443145351x111533554320444x1452043544451x1212150002014120200x1453144535525x142330022250541113x1454231335152x115303001350250x1510414101405x105220004104223x1513325055545x1521222340322422x1514344453524x153335521553532x1515450500534x1000550240205232x1521013251000x133333553324300x1522253153443x152102332415503303x1523145152143x100042510010403x1525213434541x15232333332351112x1531340150404x154021250422554x1531434342011x1220000414244144x1540434114332x152122122010320244x1543114551205x152545200122205x1543131424513x1500453300123002x1545534253255x15023500232111005x1551144122452x102402425223222322x1551441055351x13214350003341200x1553444124541x1101334000442050x1554541412110x135505300522523543x12.1010154445341x145322200233150x1013144314104x1041305224524050x1015115514551x1125335331532054x1015330514412x1225533423303354x1030501453035x140533431002000x1031544112313x1413040411352243x1034235510555x132302222201540120x1040124400542x1350302200003222500x1041145325223x1102205320230220x1043443141121x1330040203552314024x1045442344133x1250002100113021333x1100514455445x142300024150515050x1104043213025x1033532202033301052x1104414410515x11402234152042005x1105141215550x111230253350020403x1112535154114x125522101402310x1124441511144x1133213310522133x1130402530532x13022045220222430x1130454421552x13332023522403553x1131354441415x102142220003035423x1133531440311x1033524520533324x1141114444153x1041223325420212400x1141144400355x145333412222300x1141341424051x1004005142253024x1143111420123x12420233513045223x1143554543404x1503002214155135x1145210431444x1140203303540233124x1152544531542x1023350450105553x1153413123215x130454202122325x1153553425145x10224305532031220x1154321553152x132202302255352234x1155124532051x100302205403320300x1203411531051x1322005003335534133x1204454115515x1055532224002214x1205054245551x10002215205205230x1205111243542x10021503022435001x1211355454045x1400220132333034220x1213134034055x1523405020202003x1214452545130x100503333354030204x1230455543525x1533320553234022x1231315122525x1202220450210210103x1231501440033x140205023530323x1231512450555x1515400354052252x1234525441403x132012133215350x1240455052112x10221200322300335x1251514155113x155221220005233230x1251544345443x13241531542022004x1254520111552x12523351420240100x1313134124543x1223025132002352025x1315010152045x135522222004252010x1320424233451x1330320242200353x1321211540304x102050033002335200x1321445313441x1243303443352014x1335110511504x1200003423023334x1341111442431x1100342535033312002x1341244534243x10402024533200050x1343412544051x1332001242235350434x1344430110011x153424053223522004x1345231145101x10235014023332250x1400531444150x133402012004124x1404301430554x143520435022145x1414540140510x1224335041203433x1422434425502x124202200521335324x1434113343035x120220324335215321x1434315521124x1240024222230512222x1434504552445x1130350300003322220x1435513040444x12442020255123300x1442313435414x1222350350201052044x1442454431534x1400235521353333310x1443104534535x1520205050212232305x1443513443421x1005553013003533x1444530425550x111122225233413x1450145055305x111502331200225x1451214404302x1014222200322312022x1451443145351x111533554320444x1452043544451x1212150002014120200x1453144535525x142330022250541113x1454231335152x115303001350250x1510414101405x105220004104223x1513325055545x1521222340322422x1514344453524x153335521553532x1515450500534x1000550240205232x1521013251000x133333553324300x1522253153443x152102332415503303x1523145152143x100042510010403x1525213434541x15232333332351112x1531340150404x154021250422554x1531434342011x1220000414244144x1540434114332x152122122010320244x1543114551205x152545200122205x1543131424513x1500453300123002x1545534253255x15023500232111005x1551144122452x102402425223222322x1551441055351x13214350003341200x1553444124541x1101334000442050x1554541412110x135505300522523543x1ttt2ttt2 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])))