/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 000202534045x1040112424112121x1001503032003x1111145143434422412x1002455025054x141242321150103x1003235442053x15542105421101150x1010225003115x110411414015111x1011024505430x1052111122110014521x1013555505342x111411110121101101x1023053313250x11221002545134142x1023345353304x101134314140332x1025430534004x1112523414120431x1034320133205x155012134111412x1035502132002x1043115124125115101x1035545405332x131201341014100052x1040320340450x1125241155214105211x1040550333051x1120430110101311112x1042030544442x1211204122432315x1050040550510x1103112211125222123x1051233503030x10101031020011140x1053032330505x111313123254155x1054205432330x101145550222511x1055422030543x1112242011341124x1103402020522x14002511112522011x1120442054432x1255341111251301x1130513333545x145110410002431x1141402004054x1415131041212432x1150330440305x121411233105541x1152520540554x11323110230241122x1202012454422x1552113431004434x1202140530121x124001412111521x1202533505331x143231011411421143x1202554503142x121414352423411134x1203135355055x115422232320424102x1203432353113x111141122143514x1205544454051x12421244520212114x1213053540254x1113101101241100121x1220032535553x1122151145221011110x1220205234435x111112301104522504x1220503303405x134235145211500441x1221345523050x1450311212514452x1223322355431x123135111254125x1230042503430x1102404401525113x1230101532054x1102112112311022212x1230245505254x122500442411440111x1230353320530x105112122115104110x1240540402133x134113444443214x1244030243204x11115134532414512x1253215053142x14111515121312212x1303205555025x152411131341343545x1304153020535x1531210123211421431x1323314020224x1031052241125142x1324202054401x1400210120444512311x1324220533454x151412015011211041x1330343545041x14512144013435111x1333041035324x122051112245155x1334304022345x1310044432501125x1335314055435x104222411410221115x1335432151322x15043111113112124x1340535320225x113234334344511100x1345443202414x1313421021131312x1352230305324x151125124210555130x1353202230332x1512121215512331012x1400554241325x141134113511445x1402052222423x15113351045041011x1403133234552x14110135041111554x1403451340531x114512210104504413x1404133440544x12101011011010133x1404450535331x1143000511215134x1413513543002x143442210242211x1420143305331x1310441141231231121x1420203020300x1123325422521111354x1422103532142x125434101411112112x1445524015005x11124104001234441x1450313253524x1442103104411212114x1500231351415x1124331115241112x1500354432302x1111444511122111013x1500424320305x121342213443323x1502005400355x14124342551041245x1505331535325x134042314510110051x1510550343435x10435114521252221x1513504435501x1145151252213401x1520303441324x151033442455321x1520343054025x1123421204431111314x1531532053554x143053114232442x1532030005441x121130411421432113x1532305253543x11213200222151223x1535503410025x113514101253125x1540140535525x12042000114001331x1540145053132x112450331111133412x1541044502033x144125342114103x1541323505505x1212525243142111345x1544020555055x1144211225053222x1544412334033x141232212515101x1550201402335x1044244551010113121x1551315035503x11111234430014413x1552503030332x1104212121111112403x1554403020344x1542114155243121212x12.1000202534045x1040112424112121x1001503032003x1111145143434422412x1002455025054x141242321150103x1003235442053x15542105421101150x1010225003115x110411414015111x1011024505430x1052111122110014521x1013555505342x111411110121101101x1023053313250x11221002545134142x1023345353304x101134314140332x1025430534004x1112523414120431x1034320133205x155012134111412x1035502132002x1043115124125115101x1035545405332x131201341014100052x1040320340450x1125241155214105211x1040550333051x1120430110101311112x1042030544442x1211204122432315x1050040550510x1103112211125222123x1051233503030x10101031020011140x1053032330505x111313123254155x1054205432330x101145550222511x1055422030543x1112242011341124x1103402020522x14002511112522011x1120442054432x1255341111251301x1130513333545x145110410002431x1141402004054x1415131041212432x1150330440305x121411233105541x1152520540554x11323110230241122x1202012454422x1552113431004434x1202140530121x124001412111521x1202533505331x143231011411421143x1202554503142x121414352423411134x1203135355055x115422232320424102x1203432353113x111141122143514x1205544454051x12421244520212114x1213053540254x1113101101241100121x1220032535553x1122151145221011110x1220205234435x111112301104522504x1220503303405x134235145211500441x1221345523050x1450311212514452x1223322355431x123135111254125x1230042503430x1102404401525113x1230101532054x1102112112311022212x1230245505254x122500442411440111x1230353320530x105112122115104110x1240540402133x134113444443214x1244030243204x11115134532414512x1253215053142x14111515121312212x1303205555025x152411131341343545x1304153020535x1531210123211421431x1323314020224x1031052241125142x1324202054401x1400210120444512311x1324220533454x151412015011211041x1330343545041x14512144013435111x1333041035324x122051112245155x1334304022345x1310044432501125x1335314055435x104222411410221115x1335432151322x15043111113112124x1340535320225x113234334344511100x1345443202414x1313421021131312x1352230305324x151125124210555130x1353202230332x1512121215512331012x1400554241325x141134113511445x1402052222423x15113351045041011x1403133234552x14110135041111554x1403451340531x114512210104504413x1404133440544x12101011011010133x1404450535331x1143000511215134x1413513543002x143442210242211x1420143305331x1310441141231231121x1420203020300x1123325422521111354x1422103532142x125434101411112112x1445524015005x11124104001234441x1450313253524x1442103104411212114x1500231351415x1124331115241112x1500354432302x1111444511122111013x1500424320305x121342213443323x1502005400355x14124342551041245x1505331535325x134042314510110051x1510550343435x10435114521252221x1513504435501x1145151252213401x1520303441324x151033442455321x1520343054025x1123421204431111314x1531532053554x143053114232442x1532030005441x121130411421432113x1532305253543x11213200222151223x1535503410025x113514101253125x1540140535525x12042000114001331x1540145053132x112450331111133412x1541044502033x144125342114103x1541323505505x1212525243142111345x1544020555055x1144211225053222x1544412334033x141232212515101x1550201402335x1044244551010113121x1551315035503x11111234430014413x1552503030332x1104212121111112403x1554403020344x1542114155243121212x1ttt2ttt2 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])))