/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 000133135414x15010254245552555x1012102150224x1432150005550005051x1012113312301x14521112422051140x1012130242303x143541530433424x1013200222205x1055451542310520x1013432044012x1525355514041004241x1020212301221x1054250045321424155x1021022013320x114553555035455420x1021243334424x11135421154215100x1021322234303x132105003044003x1023133324035x155125555505305425x1024322101130x132151105124551x1025354322412x1025514241420000552x1031042343235x104301542535525x1031230332120x1042140304003245x1040223350505x155040511104053x1050101234434x1045231534500551x1054513012123x102435024155535554x1101301212210x101554525242055004x1133121445433x1154124223225154x1133312554403x1355550243140014x1152234424443x1511355551550323x1213012130123x14224310044114351x1221121123333x1522052314302455x1221524335314x145554555254155x1222053343110x120001155311445x1222134012443x1542503204044520x1223015333425x152111000013213x1223030310302x1555424142551154010x1223302152123x155203145245441151x1224213054444x1304531454552055x1234021015320x12454155555242345x1234052223441x14252441002051554x1234330125031x15402144550005501x1234421032232x15254255105555204x1234445322343x1511115510141005001x1235522431224x114155504033424x1244302044014x110400415101445x1253135330303x11013255154154504x1302230123523x130510352454554320x1302303130205x15250152115541005x1302334133032x12545121514205430x1303221222124x1215525042535534x1303303430355x154225555111534x1303353331330x111055535244244042x1305332234124x113415325002255x1310242330231x1000240512315542x1311231235221x110520552005404550x1313053021225x1555304035553355x1313403353012x11513504115544055x1320402201253x132555545503041x1321352314401x1555505115525005002x1322253323435x124520031145455354x1324234431223x132031152454421410x1330333402005x1324035251015154555x1331533302222x1125534114555542354x1332331332212x142311240402550112x1333122222411x103254104251125x1333352340432x1535223111515415551x1333422451244x151550045111542532x1333534334434x111001542021310251x1335454431032x155252102140205x1341333335303x151504515455304420x1343530342303x1033005115042050x1344521121335x114551311051451325x1351510332022x15551014140524032x1352113410354x155115540325334x1352334130555x104353205552042x1354522313400x111511420413515x1400225344404x1052054145551152042x1404222212135x1131554120515224x1410124401134x151355250545044x1412134022422x1004125522555004553x1422045433035x14020555111025145x1430301332334x111322505553100453x1433221353512x1200005554115254150x1443233223454x1405200442004153045x1502231234421x153052441203451x1503044450333x1111443243555555555x1503212344333x1552425145431304x1503405051254x120410555554513x1503432222220x15255015524453421x1503435531532x15551145543550452x1504134025112x143205203553555x1504345422203x1554245254102450x1505150333434x15420510535540524x1505230341353x155533513115413x1525302252502x1500551351505005x1530133230341x115514515555313303x1531032440120x15555135543002520x1532233340223x11042511403513120x1534001143125x100052022012005x1534440512113x151405423255425x1535030224222x12315055255553052x1544025034400x1510500145555023241x1544320322432x1005501324530431x12.1000133135414x15010254245552555x1012102150224x1432150005550005051x1012113312301x14521112422051140x1012130242303x143541530433424x1013200222205x1055451542310520x1013432044012x1525355514041004241x1020212301221x1054250045321424155x1021022013320x114553555035455420x1021243334424x11135421154215100x1021322234303x132105003044003x1023133324035x155125555505305425x1024322101130x132151105124551x1025354322412x1025514241420000552x1031042343235x104301542535525x1031230332120x1042140304003245x1040223350505x155040511104053x1050101234434x1045231534500551x1054513012123x102435024155535554x1101301212210x101554525242055004x1133121445433x1154124223225154x1133312554403x1355550243140014x1152234424443x1511355551550323x1213012130123x14224310044114351x1221121123333x1522052314302455x1221524335314x145554555254155x1222053343110x120001155311445x1222134012443x1542503204044520x1223015333425x152111000013213x1223030310302x1555424142551154010x1223302152123x155203145245441151x1224213054444x1304531454552055x1234021015320x12454155555242345x1234052223441x14252441002051554x1234330125031x15402144550005501x1234421032232x15254255105555204x1234445322343x1511115510141005001x1235522431224x114155504033424x1244302044014x110400415101445x1253135330303x11013255154154504x1302230123523x130510352454554320x1302303130205x15250152115541005x1302334133032x12545121514205430x1303221222124x1215525042535534x1303303430355x154225555111534x1303353331330x111055535244244042x1305332234124x113415325002255x1310242330231x1000240512315542x1311231235221x110520552005404550x1313053021225x1555304035553355x1313403353012x11513504115544055x1320402201253x132555545503041x1321352314401x1555505115525005002x1322253323435x124520031145455354x1324234431223x132031152454421410x1330333402005x1324035251015154555x1331533302222x1125534114555542354x1332331332212x142311240402550112x1333122222411x103254104251125x1333352340432x1535223111515415551x1333422451244x151550045111542532x1333534334434x111001542021310251x1335454431032x155252102140205x1341333335303x151504515455304420x1343530342303x1033005115042050x1344521121335x114551311051451325x1351510332022x15551014140524032x1352113410354x155115540325334x1352334130555x104353205552042x1354522313400x111511420413515x1400225344404x1052054145551152042x1404222212135x1131554120515224x1410124401134x151355250545044x1412134022422x1004125522555004553x1422045433035x14020555111025145x1430301332334x111322505553100453x1433221353512x1200005554115254150x1443233223454x1405200442004153045x1502231234421x153052441203451x1503044450333x1111443243555555555x1503212344333x1552425145431304x1503405051254x120410555554513x1503432222220x15255015524453421x1503435531532x15551145543550452x1504134025112x143205203553555x1504345422203x1554245254102450x1505150333434x15420510535540524x1505230341353x155533513115413x1525302252502x1500551351505005x1530133230341x115514515555313303x1531032440120x15555135543002520x1532233340223x11042511403513120x1534001143125x100052022012005x1534440512113x151405423255425x1535030224222x12315055255553052x1544025034400x1510500145555023241x1544320322432x1005501324530431x1ttt2ttt2 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])))