/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 0000x1000102x10000x1000220x10000x1010200x10030x100203x10030x1001340x10030x1020320x10030x1030404x10030x1043020x10030x1043040x10030x1102003x10030x1200203x10030x1300220x10500x102005x10500x1003510x10500x1005104x10500x1020450x10500x1025040x10500x1040052x10500x1040150x10500x1051010x10500x1200205x10500x1205020x10500x1501020x10500x1501040x10530x100325x10530x100351x10530x100352x10530x100523x10530x102035x10530x103405x10530x153010x10530x1001354x10530x1005223x10530x1005243x10530x1015340x10530x1020315x10530x1035204x10530x1052043x10530x1052203x10530x1053440x10530x1053520x10530x1103540x10530x1135400x10530x1230510x10530x1251003x10530x1300252x10530x1303510x10530x1304051x10530x1304052x10530x1305101x10530x1305120x10530x1320150x10530x1340520x10530x1345002x10530x1351002x10530x1501320x10530x1522300x10530x1530110x13000x1003201x13000x1021030x13000x1030220x13000x1030240x13000x1302020x13030x1003234x13030x1003434x13030x1102033x13030x1301023x13030x1302031x13030x1303101x13030x1303520x13030x1304023x13030x1310320x13030x1340103x13300x103340x13300x130203x13300x130320x13300x1010133x13300x1013403x13300x1022330x13300x1024033x13300x1203320x13300x1301043x13300x1302203x13300x1303202x13300x1303410x13300x1310103x13300x1330402x13300x1330404x13300x1330410x13300x1340340x13330x133103x13330x133320x13330x1031323x13330x1320323x13330x1331203x13330x1332103x13330x1335103x13500x100351x13500x100352x13500x100354x13500x103520x13500x103540x13500x130025x13500x130510x13500x1001513x13500x1001523x13500x1003452x13500x1013520x13500x1020315x13500x1031045x13500x1032051x13500x1035220x13500x1253010x13500x1300245x13500x1304051x13500x1304105x13500x1310405x13500x1320520x13500x1325020x13500x1350510x13500x1351040x13500x1354040x13500x1531040x13530x103523x13530x130325x13530x130354x13530x133052x13530x133405x13530x135103x13530x1023345x13530x1023352x13530x1031354x13530x1033512x13530x1033521x13530x1034543x13530x1043354x13530x1235203x13530x1303225x13530x1303251x13530x1303425x13530x1303552x13530x1305131x13530x1305223x13530x1310351x13530x1334052x13530x1334105x13530x1334205x13530x1353440x13530x1353520x13530x1353540x13530x1522033x13530x1530131x13530x1531310x13530x1533402x13530x1533404x13530x1533410x100300x1030200x100305x1002305x100530x1030520x105305x1305105x105305x1340055x105330x1530203x130030x1033400x130330x1332003x130530x1330540x131530x1305231x132500x1032054x132500x1052203x132530x1323250x132530x1352031x132530x1352034x133005x1350340x133305x1303513x134500x1013405x134500x1304015x134500x1340510x135300x1035302x135300x1353200x135305x1354035x135330x1351033x135330x1353340x135530x1053513x135530x1353540x150330x1035301x150330x1035320x150330x1330205x150330x1353020x150530x1534500x153030x1303510x153030x1351300x153330x1052333x153330x1530233x153530x1530325x155305x1530255x12.10000x1000102x10000x1000220x10000x1010200x10030x100203x10030x1001340x10030x1020320x10030x1030404x10030x1043020x10030x1043040x10030x1102003x10030x1200203x10030x1300220x10500x102005x10500x1003510x10500x1005104x10500x1020450x10500x1025040x10500x1040052x10500x1040150x10500x1051010x10500x1200205x10500x1205020x10500x1501020x10500x1501040x10530x100325x10530x100351x10530x100352x10530x100523x10530x102035x10530x103405x10530x153010x10530x1001354x10530x1005223x10530x1005243x10530x1015340x10530x1020315x10530x1035204x10530x1052043x10530x1052203x10530x1053440x10530x1053520x10530x1103540x10530x1135400x10530x1230510x10530x1251003x10530x1300252x10530x1303510x10530x1304051x10530x1304052x10530x1305101x10530x1305120x10530x1320150x10530x1340520x10530x1345002x10530x1351002x10530x1501320x10530x1522300x10530x1530110x13000x1003201x13000x1021030x13000x1030220x13000x1030240x13000x1302020x13030x1003234x13030x1003434x13030x1102033x13030x1301023x13030x1302031x13030x1303101x13030x1303520x13030x1304023x13030x1310320x13030x1340103x13300x103340x13300x130203x13300x130320x13300x1010133x13300x1013403x13300x1022330x13300x1024033x13300x1203320x13300x1301043x13300x1302203x13300x1303202x13300x1303410x13300x1310103x13300x1330402x13300x1330404x13300x1330410x13300x1340340x13330x133103x13330x133320x13330x1031323x13330x1320323x13330x1331203x13330x1332103x13330x1335103x13500x100351x13500x100352x13500x100354x13500x103520x13500x103540x13500x130025x13500x130510x13500x1001513x13500x1001523x13500x1003452x13500x1013520x13500x1020315x13500x1031045x13500x1032051x13500x1035220x13500x1253010x13500x1300245x13500x1304051x13500x1304105x13500x1310405x13500x1320520x13500x1325020x13500x1350510x13500x1351040x13500x1354040x13500x1531040x13530x103523x13530x130325x13530x130354x13530x133052x13530x133405x13530x135103x13530x1023345x13530x1023352x13530x1031354x13530x1033512x13530x1033521x13530x1034543x13530x1043354x13530x1235203x13530x1303225x13530x1303251x13530x1303425x13530x1303552x13530x1305131x13530x1305223x13530x1310351x13530x1334052x13530x1334105x13530x1334205x13530x1353440x13530x1353520x13530x1353540x13530x1522033x13530x1530131x13530x1531310x13530x1533402x13530x1533404x13530x1533410x100300x1030200x100305x1002305x100530x1030520x105305x1305105x105305x1340055x105330x1530203x130030x1033400x130330x1332003x130530x1330540x131530x1305231x132500x1032054x132500x1052203x132530x1323250x132530x1352031x132530x1352034x133005x1350340x133305x1303513x134500x1013405x134500x1304015x134500x1340510x135300x1035302x135300x1353200x135305x1354035x135330x1351033x135330x1353340x135530x1053513x135530x1353540x150330x1035301x150330x1035320x150330x1330205x150330x1353020x150530x1534500x153030x1303510x153030x1351300x153330x1052333x153330x1530233x153530x1530325x155305x1530255x1ttt2ttt2 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])))