/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 010232x1012032x131440203x131404203x145434521x145443521x1032430530x1032403530x1210532310x1201235130x1515421325x1513245125x14404345010x14404354010x100543404024x12254522422x100553351134x11122504244x101410331311x11442350400x101555230145x11305050424x102323100422x15331044423x103001025155x10052013402x103331434304x15512124123x103403315303x10530531423x103535435413x12451044302x104512404333x10414324543x105053355432x11133305423x105234254530x14321254142x105332514110x14524300215x110205314401x10325155334x113310030544x14332054100x114105022255x114150022255x114531341340x12544113020x115542512003x13153054442x121310455141x13045422140x122425223303x15214112055x123112452144x13012154552x124005423505x14151214003x130042022331x10010345025x130255325141x14220131405x130535025033x14215040050x131432134443x10301241003x134115105343x11543550311x135043200234x13202544544x140544002040x12205533125x141545201500x13024115432x142245230435x11421530045x143034153035x13554424301x143202233252x10302235501x143220021214x142032120214x145331315412x11433044341x145512311014x12540304132x150304123335x10154522254x154331054430x14124134354x1022430431234x14455031521x1052233444221x13115450545x1110154113313x1111401531313x1124125304422x15530542214x1145302510340x11210411125x1214325023532x15151033135x1230143345200x12550530221x1314151433202x14442314350x1332305251321x11053134115x1340413040222x12231152540x1342440504200x10335145455x1414441023444x10505234041x1455013214023x14150500101x1505044240414x11200521250x1544523422552x12311352024x13422255411145x13422215514145x15025442214011x15025424214011x113131003412323x113131004312323x10301143134102541x10330012113414451x15202511553523405x15202511535523405x101354332010234031x101353432010243031x104032342512223405x104032342512223045x131425402500135345x131424502500135345x155202010051555035x155202001013555505x1131110233151545123x1131110233151455123x12435432201405343024x12430401253423540234x15525234212002024550x15525234122002024550x1202024144200122133014x1202024144200121233014x1505354401353002140254x1505354401353001240254x10202145100522415323324x10202145105022415323324x15010122422251220004044x15010122422251202004044x1304244555335350421114453x1304244555353350421114453x1403110344040400343343141x1401310344040403043343141x1545003051531520353223542x1545003051535120353223542x10022114223532550135521443x10202114232352550135512443x11553555542551052131133155x11553555524551052131133155x123222513204340103245234103x123222513204340103245324103x142430510341310512101010505x142430510341310512101015005x1102113311253150255352444055x1102113131253150255352444055x15154251451120522254552134202x15412551415120252254552134202x15311140010125253305021550330x15311140001125253305021550330x133221322411430311204414045453x133221322411403311204414045453x143330442051315441420450302000x143330442051315441420450032000x150505413320101304451403425055x150503301450213404150414535205x154102213240245524034001125224x154102213204245524034001125224x1100052014504130542001122011015x1100052015404130542001122011015x1453025312023024330204055450051x1453205312023024330204055450051x12.1010232x1012032x131440203x131404203x145434521x145443521x1032430530x1032403530x1210532310x1201235130x1515421325x1513245125x14404345010x14404354010x100543404024x12254522422x100553351134x11122504244x101410331311x11442350400x101555230145x11305050424x102323100422x15331044423x103001025155x10052013402x103331434304x15512124123x103403315303x10530531423x103535435413x12451044302x104512404333x10414324543x105053355432x11133305423x105234254530x14321254142x105332514110x14524300215x110205314401x10325155334x113310030544x14332054100x114105022255x114150022255x114531341340x12544113020x115542512003x13153054442x121310455141x13045422140x122425223303x15214112055x123112452144x13012154552x124005423505x14151214003x130042022331x10010345025x130255325141x14220131405x130535025033x14215040050x131432134443x10301241003x134115105343x11543550311x135043200234x13202544544x140544002040x12205533125x141545201500x13024115432x142245230435x11421530045x143034153035x13554424301x143202233252x10302235501x143220021214x142032120214x145331315412x11433044341x145512311014x12540304132x150304123335x10154522254x154331054430x14124134354x1022430431234x14455031521x1052233444221x13115450545x1110154113313x1111401531313x1124125304422x15530542214x1145302510340x11210411125x1214325023532x15151033135x1230143345200x12550530221x1314151433202x14442314350x1332305251321x11053134115x1340413040222x12231152540x1342440504200x10335145455x1414441023444x10505234041x1455013214023x14150500101x1505044240414x11200521250x1544523422552x12311352024x13422255411145x13422215514145x15025442214011x15025424214011x113131003412323x113131004312323x10301143134102541x10330012113414451x15202511553523405x15202511535523405x101354332010234031x101353432010243031x104032342512223405x104032342512223045x131425402500135345x131424502500135345x155202010051555035x155202001013555505x1131110233151545123x1131110233151455123x12435432201405343024x12430401253423540234x15525234212002024550x15525234122002024550x1202024144200122133014x1202024144200121233014x1505354401353002140254x1505354401353001240254x10202145100522415323324x10202145105022415323324x15010122422251220004044x15010122422251202004044x1304244555335350421114453x1304244555353350421114453x1403110344040400343343141x1401310344040403043343141x1545003051531520353223542x1545003051535120353223542x10022114223532550135521443x10202114232352550135512443x11553555542551052131133155x11553555524551052131133155x123222513204340103245234103x123222513204340103245324103x142430510341310512101010505x142430510341310512101015005x1102113311253150255352444055x1102113131253150255352444055x15154251451120522254552134202x15412551415120252254552134202x15311140010125253305021550330x15311140001125253305021550330x133221322411430311204414045453x133221322411403311204414045453x143330442051315441420450302000x143330442051315441420450032000x150505413320101304451403425055x150503301450213404150414535205x154102213240245524034001125224x154102213204245524034001125224x1100052014504130542001122011015x1100052015404130542001122011015x1453025312023024330204055450051x1453205312023024330204055450051x1ttt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))