/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 005411323402x14505543151120530x1013134222225x1553313114551025x1015020250320x12544545444324434x1015115354113x1205444550400311x1015214022504x1445554111454444104x1022140324124x120010534530155x1030323011303x105505432454350203x1031433241404x10304551314410412x1032452232015x15455025124105335x1033204023504x1543043453555513x1042511111324x1350502432431410x1043341503204x15124415541425400x1044114030400x104101045444542402x1101134320414x100554125501442x1104223100334x1110444005505151x1105523332000x141314351544553431x1111043004230x1450443405340055x1111123130234x1105135545544412552x1111312315015x155510531353315x1111321115432x1314435205243020x1113032154510x1114054554514114x1113321445114x1003515411510245x1113420224203x1235502453225441x1114312233532x115532232455433x1120332435210x132254043540030x1120333500321x15221054451055553x1120441330211x1344125455331244x1122012301505x1355554550550021x1122333245412x11535514304441242x1123210302121x131415545141450201x1123313213040x1454412355135131430x1124140135521x130544003150221x1132003252222x1022133045135142x1132023000105x145104435452450x1132423221225x144403511201444555x1154033122220x100424254540054412x1201150325510x144525132514555442x1201222321502x14240522420453444x1202153225203x135355145055412441x1202231223212x122250450034402554x1202453122215x112104440125045x1210235202131x104451003554444225x1212231145102x141043513554105440x1215320505151x1544044553314514x1220321320352x1030354131041444101x1220555134215x144005320453513x1221130003141x1145004444054444123x1221531011023x1144343131550002x1223132220150x121244045230351x1223205011432x115124444354134054x1223233343214x101054412304432220x1223321411304x1330455445335144215x1225050411220x155344454450241321x1232114543211x130215551244543040x1234143042020x153115425454454354x1234353304240x1055405441512121x1244240333352x105441004452042x1250052111310x14554322101545550x1252140142112x154423504412151x1253251232512x1044042525355551x1300223103530x1305440500510004x1300242132512x1114505400544244441x1301415501512x1101500450053445x1303312030115x15524234515115410x1303531352305x1001535053551402x1304221515503x134555053440253x1320213435343x11314402104110435x1333321133035x1344145505345020040x1333522010004x1354342453144451304x1334343253304x135013454543030x1335344033325x135145143543344443x1343151405422x110530255452552x1352523242325x144420242104202x1400332323443x125414455254450251x1412210142031x1004515402155040x1412522102121x1124555000452301x1413103122114x1354514514334015x1413330155301x1451500445351414355x1420113151051x10544345544240011x1421331113132x1125125433050042455x1421423201210x134553015423135x1424111232210x142434315234443x1424333334220x15025554104335243x1431113400221x1514024544215154x1432325333530x131112400551043x1432333111102x15451512214424043x1452401333253x1244255412424551543x1523245020305x113345554544445302x1523424232021x14513051512451245x1532422341131x1500354440055210544x1533034423525x1045255322434455x1534323510353x14044405453151041x1535212120350x1554154545542402414x1535251203224x1445553355122545x1535351132251x1104535155534021x1550221522153x151552434303155x12.1005411323402x14505543151120530x1013134222225x1553313114551025x1015020250320x12544545444324434x1015115354113x1205444550400311x1015214022504x1445554111454444104x1022140324124x120010534530155x1030323011303x105505432454350203x1031433241404x10304551314410412x1032452232015x15455025124105335x1033204023504x1543043453555513x1042511111324x1350502432431410x1043341503204x15124415541425400x1044114030400x104101045444542402x1101134320414x100554125501442x1104223100334x1110444005505151x1105523332000x141314351544553431x1111043004230x1450443405340055x1111123130234x1105135545544412552x1111312315015x155510531353315x1111321115432x1314435205243020x1113032154510x1114054554514114x1113321445114x1003515411510245x1113420224203x1235502453225441x1114312233532x115532232455433x1120332435210x132254043540030x1120333500321x15221054451055553x1120441330211x1344125455331244x1122012301505x1355554550550021x1122333245412x11535514304441242x1123210302121x131415545141450201x1123313213040x1454412355135131430x1124140135521x130544003150221x1132003252222x1022133045135142x1132023000105x145104435452450x1132423221225x144403511201444555x1154033122220x100424254540054412x1201150325510x144525132514555442x1201222321502x14240522420453444x1202153225203x135355145055412441x1202231223212x122250450034402554x1202453122215x112104440125045x1210235202131x104451003554444225x1212231145102x141043513554105440x1215320505151x1544044553314514x1220321320352x1030354131041444101x1220555134215x144005320453513x1221130003141x1145004444054444123x1221531011023x1144343131550002x1223132220150x121244045230351x1223205011432x115124444354134054x1223233343214x101054412304432220x1223321411304x1330455445335144215x1225050411220x155344454450241321x1232114543211x130215551244543040x1234143042020x153115425454454354x1234353304240x1055405441512121x1244240333352x105441004452042x1250052111310x14554322101545550x1252140142112x154423504412151x1253251232512x1044042525355551x1300223103530x1305440500510004x1300242132512x1114505400544244441x1301415501512x1101500450053445x1303312030115x15524234515115410x1303531352305x1001535053551402x1304221515503x134555053440253x1320213435343x11314402104110435x1333321133035x1344145505345020040x1333522010004x1354342453144451304x1334343253304x135013454543030x1335344033325x135145143543344443x1343151405422x110530255452552x1352523242325x144420242104202x1400332323443x125414455254450251x1412210142031x1004515402155040x1412522102121x1124555000452301x1413103122114x1354514514334015x1413330155301x1451500445351414355x1420113151051x10544345544240011x1421331113132x1125125433050042455x1421423201210x134553015423135x1424111232210x142434315234443x1424333334220x15025554104335243x1431113400221x1514024544215154x1432325333530x131112400551043x1432333111102x15451512214424043x1452401333253x1244255412424551543x1523245020305x113345554544445302x1523424232021x14513051512451245x1532422341131x1500354440055210544x1533034423525x1045255322434455x1534323510353x14044405453151041x1535212120350x1554154545542402414x1535251203224x1445553355122545x1535351132251x1104535155534021x1550221522153x151552434303155x1ttt2ttt2 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])))