/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 010042140025x14333354023332230x1011541551404x130312422321014514x1013052241114x1303033455525144531x1020100451030x1545335335303243002x1024011503404x1332041422004423x1025134511112x1000332331455324x1025241110455x1355523135254522301x1033543403424x1253303554222233133x1034124153404x1133103533005214425x1035444111320x132233031453014033x1041410423500x12253322442342533x1041424000024x1544043352002440x1042214333450x105525532513440x1044124530451x131122132522222533x1045131005404x100034525530153x1050134434322x11555232531555533x1051403442004x110225342305520113x1101050020340x132015532101320243x1102240510314x13014202225133331x1104104154311x11502531332124323x1104510502201x1155524542230423x1110021411135x14533204552221432x1111441145212x1051153033541055x1112532002234x152333043133542331x1114311150130x12145331203223532x1122422410140x130330334501145552x1122431125130x1525315333331304x1125152405411x130151342504230302x1131044340215x1313525333303205423x1132301540205x1352253352452023x1134311144412x1151251334535232051x1141421234110x1445203234423033331x1145113240022x1255321303322321525x1200101550052x11245353330025212x1200151434153x10050222555225053x1202023204434x100353553305352302x1203424121422x15302152510055324x1211411353122x1210122233243330304x1211431434545x1403250325353330x1212301512144x10433330353051332x1213440000554x1353403522052122x1214425113242x113533543512314x1224550350001x1203344535513043033x1225024044242x1203233321450525542x1231530212034x123052253505314335x1234502541405x132452330025143330x1241245435022x15234443223210152x1242543200543x153223451354252243x1250002221112x11312055203201233x1250033425504x114353233043452x1250033434242x132202450303533524x1250231234404x112325533545455x1251511202121x1532404125555303302x1254000032142x143353150522412323x1310134412112x155233320403550x1322400034330x13521300005523233x1324123425452x1211333323333433x1325400145501x120434531331052303x1340402542551x143053523204533350x1352143432044x1322334430130333313x1354012541501x1442530302103420x1401453420412x153002033220355x1402311154412x120212253103250300x1402404111451x13533255403541533x1403340110501x115552555023453x1410011130504x1433323430144150x1410550145441x104301503225523321x1411111115135x13423033420435155x1415424040502x1434232335205253x1440113412044x115330144255322140x1440205004450x12553324223135004x1440441455012x1225432432043552x1442051110055x111033021343013x1443355411152x150232535251430x1450010054412x105541423331230x1453130110404x1145330222203002x1500104244512x1320111030130102x1500231012101x1533023252251210242x1501554232421x1353551030530225323x1502055411552x150305453231345233x1512000201505x1330244323244530x1521210005415x145353322455212335x1524221142000x132553350154145232x1530411151102x125154455324144x1533341021224x103430323053030533x1534003111511x15504303510245302x1534544510403x130033303310205323x1540445025541x1230103052501521531x1540452302121x1502155233332554331x1541453131155x1215423205301332303x1545111254450x130332513352101x1545402131414x1445435234555334x1550542512101x13025203315305425x1552141113242x11535305311030543x1554240445004x1231421334322051234x1555240343040x1330333544423221325x12.1010042140025x14333354023332230x1011541551404x130312422321014514x1013052241114x1303033455525144531x1020100451030x1545335335303243002x1024011503404x1332041422004423x1025134511112x1000332331455324x1025241110455x1355523135254522301x1033543403424x1253303554222233133x1034124153404x1133103533005214425x1035444111320x132233031453014033x1041410423500x12253322442342533x1041424000024x1544043352002440x1042214333450x105525532513440x1044124530451x131122132522222533x1045131005404x100034525530153x1050134434322x11555232531555533x1051403442004x110225342305520113x1101050020340x132015532101320243x1102240510314x13014202225133331x1104104154311x11502531332124323x1104510502201x1155524542230423x1110021411135x14533204552221432x1111441145212x1051153033541055x1112532002234x152333043133542331x1114311150130x12145331203223532x1122422410140x130330334501145552x1122431125130x1525315333331304x1125152405411x130151342504230302x1131044340215x1313525333303205423x1132301540205x1352253352452023x1134311144412x1151251334535232051x1141421234110x1445203234423033331x1145113240022x1255321303322321525x1200101550052x11245353330025212x1200151434153x10050222555225053x1202023204434x100353553305352302x1203424121422x15302152510055324x1211411353122x1210122233243330304x1211431434545x1403250325353330x1212301512144x10433330353051332x1213440000554x1353403522052122x1214425113242x113533543512314x1224550350001x1203344535513043033x1225024044242x1203233321450525542x1231530212034x123052253505314335x1234502541405x132452330025143330x1241245435022x15234443223210152x1242543200543x153223451354252243x1250002221112x11312055203201233x1250033425504x114353233043452x1250033434242x132202450303533524x1250231234404x112325533545455x1251511202121x1532404125555303302x1254000032142x143353150522412323x1310134412112x155233320403550x1322400034330x13521300005523233x1324123425452x1211333323333433x1325400145501x120434531331052303x1340402542551x143053523204533350x1352143432044x1322334430130333313x1354012541501x1442530302103420x1401453420412x153002033220355x1402311154412x120212253103250300x1402404111451x13533255403541533x1403340110501x115552555023453x1410011130504x1433323430144150x1410550145441x104301503225523321x1411111115135x13423033420435155x1415424040502x1434232335205253x1440113412044x115330144255322140x1440205004450x12553324223135004x1440441455012x1225432432043552x1442051110055x111033021343013x1443355411152x150232535251430x1450010054412x105541423331230x1453130110404x1145330222203002x1500104244512x1320111030130102x1500231012101x1533023252251210242x1501554232421x1353551030530225323x1502055411552x150305453231345233x1512000201505x1330244323244530x1521210005415x145353322455212335x1524221142000x132553350154145232x1530411151102x125154455324144x1533341021224x103430323053030533x1534003111511x15504303510245302x1534544510403x130033303310205323x1540445025541x1230103052501521531x1540452302121x1502155233332554331x1541453131155x1215423205301332303x1545111254450x130332513352101x1545402131414x1445435234555334x1550542512101x13025203315305425x1552141113242x11535305311030543x1554240445004x1231421334322051234x1555240343040x1330333544423221325x1ttt2ttt2 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])))