/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 002011113323x132400544044413145x1002211231512x1054544520055402451x1010135020504x1014454143001525444x1012323513353x1045042414445515x1013133110510x14435215254341354x1014032224223x14444413155441344x1015151245200x134455541034045453x1020111125122x1533032442341544404x1022011013035x1421334525455442341x1022220402351x13214525544550041x1023310522000x1114535223145443x1025150202320x1523441454500145511x1025503032201x10452425412220541x1033130422310x15545334545010301x1035103111022x1434403212425554544x1035213032310x1525313404004432x1043322345321x105414443545244221x1053132520021x104454352552545545x1100133320304x144304505440400x1100242222420x151535450334144x1102033333433x151531445315454412x1102251313325x1353505230240234x1103202221232x1332440340145224x1103322110231x1243441451510543x1110052321105x154540121233041x1110232220514x1444144445521430542x1111312243002x15243441131452402x1121130224113x11454115112541134x1122232025353x114053353343421x1125023002052x1522140454101541354x1130023042025x1021421450554554145x1131130333515x1533344250044411x1131202033111x115445444301541x1133100025111x121244441213545052x1151115132315x1134445333521541525x1152211503304x14245454355444112x1153340311210x144424224454540052x1202451225350x100054154143453452x1203220223001x154344154241545300x1203322312303x154551544454021202x1210003333011x1532242240453425x1210213125135x125135144310145x1210221131113x15545522010442520x1211005500255x122523254114455x1213001033104x14453342354244533x1215115025130x13542344334052054x1220320102332x1555022414433002x1221025121545x144354540220134435x1221102002301x154114355014354114x1222031025001x15305144524424405x1222042013122x1445404254304444532x1222411011140x1335414435444144144x1223042311045x141325553352415x1223433512422x134353414045502x1223502223322x134053204540154124x1230203003223x145402345541331511x1231130304053x120124341443414403x1231211204513x140414145333415041x1231351451151x1504041041553443x1232123155230x1245241401432341x1232232034521x134150025205342x1233110022125x153441521150453x1233243023351x100434430410144x1240003112323x1003542543344103x1251300453134x104154054024012x1251514330411x143555313403542x1300022412111x140525432543542543x1300311331203x1501453050044244253x1301420305142x105452155435455432x1302330534500x1544045335350444x1303003035132x1340544454102141534x1303340513231x134521134443550445x1310054322332x1521415334405251x1310511305121x14044544345442101x1311120100504x1501555015443204x1311130310340x105314415555415x1311202553313x142151540330424x1315001042153x11500414545414404x1320030231332x114544031543304454x1322515034243x1154524154442445404x1330243015530x1514345344013140x1331123552400x101554552444125454x1331221330204x125431444042302x1331230203010x13013045510524124x1331251205500x134454131440543202x1332301335112x125554425415541452x1351210322201x1155412554444212545x1355023505040x100454521305442x1400025020550x1453434244304125x1400313503324x14024012440414244x1401312331122x1145301432415340x1413111121043x105424454240044445x1413300333330x140214051042452x1415022130031x1454141445544344324x1433201120155x1302414445444504x1443002255311x1554404254241411x12.1002011113323x132400544044413145x1002211231512x1054544520055402451x1010135020504x1014454143001525444x1012323513353x1045042414445515x1013133110510x14435215254341354x1014032224223x14444413155441344x1015151245200x134455541034045453x1020111125122x1533032442341544404x1022011013035x1421334525455442341x1022220402351x13214525544550041x1023310522000x1114535223145443x1025150202320x1523441454500145511x1025503032201x10452425412220541x1033130422310x15545334545010301x1035103111022x1434403212425554544x1035213032310x1525313404004432x1043322345321x105414443545244221x1053132520021x104454352552545545x1100133320304x144304505440400x1100242222420x151535450334144x1102033333433x151531445315454412x1102251313325x1353505230240234x1103202221232x1332440340145224x1103322110231x1243441451510543x1110052321105x154540121233041x1110232220514x1444144445521430542x1111312243002x15243441131452402x1121130224113x11454115112541134x1122232025353x114053353343421x1125023002052x1522140454101541354x1130023042025x1021421450554554145x1131130333515x1533344250044411x1131202033111x115445444301541x1133100025111x121244441213545052x1151115132315x1134445333521541525x1152211503304x14245454355444112x1153340311210x144424224454540052x1202451225350x100054154143453452x1203220223001x154344154241545300x1203322312303x154551544454021202x1210003333011x1532242240453425x1210213125135x125135144310145x1210221131113x15545522010442520x1211005500255x122523254114455x1213001033104x14453342354244533x1215115025130x13542344334052054x1220320102332x1555022414433002x1221025121545x144354540220134435x1221102002301x154114355014354114x1222031025001x15305144524424405x1222042013122x1445404254304444532x1222411011140x1335414435444144144x1223042311045x141325553352415x1223433512422x134353414045502x1223502223322x134053204540154124x1230203003223x145402345541331511x1231130304053x120124341443414403x1231211204513x140414145333415041x1231351451151x1504041041553443x1232123155230x1245241401432341x1232232034521x134150025205342x1233110022125x153441521150453x1233243023351x100434430410144x1240003112323x1003542543344103x1251300453134x104154054024012x1251514330411x143555313403542x1300022412111x140525432543542543x1300311331203x1501453050044244253x1301420305142x105452155435455432x1302330534500x1544045335350444x1303003035132x1340544454102141534x1303340513231x134521134443550445x1310054322332x1521415334405251x1310511305121x14044544345442101x1311120100504x1501555015443204x1311130310340x105314415555415x1311202553313x142151540330424x1315001042153x11500414545414404x1320030231332x114544031543304454x1322515034243x1154524154442445404x1330243015530x1514345344013140x1331123552400x101554552444125454x1331221330204x125431444042302x1331230203010x13013045510524124x1331251205500x134454131440543202x1332301335112x125554425415541452x1351210322201x1155412554444212545x1355023505040x100454521305442x1400025020550x1453434244304125x1400313503324x14024012440414244x1401312331122x1145301432415340x1413111121043x105424454240044445x1413300333330x140214051042452x1415022130031x1454141445544344324x1433201120155x1302414445444504x1443002255311x1554404254241411x1ttt2ttt2 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])))