/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 01012003x101102003x11030104140x14310114000x11054423120x14545500020x11350125212x10001301111x11522120150x10454044143x13213341030x13213314030x13442223330x10000313541x14251303252x15431534405x100203134503x15505431144x101004015403x13035242343x101254041142x13453432305x101554043245x15112432134x102245502011x10542053422x102403050032x10441110424x103142432245x15422143524x104251103425x104521134025x110401153324x15242423353x110445052344x10035335151x111143510025x13152125342x111411500341x15303310552x112055435243x15350154325x113101523553x11502455523x113101532243x11533205232x113533301552x14514140114x115214254152x12245104502x115241035045x11031104053x121015204344x13304024300x121530340510x10354423413x122103354114x11551024155x122154331005x10432432025x122424435254x10532332532x122551002331x11341320132x123104012240x14401131402x125124443213x14411201220x125240143505x11102543031x130051502245x10021555301x130324503155x10144254325x132504534342x11203512411x133554311223x12315542305x134403252423x11153025224x134503431252x15500335240x135053230550x15132132103x135253444220x12323002043x141005543152x11535255223x141250440413x13101200025x141333412111x14425015501x152152123150x12201521515x152522141334x13412241114x152531503221x14054354534x153205252043x14040142531x154443412502x12433432240x1045104043231x12032142001x1053434353300x11442345202x1105303055401x13252521141x1211541413251x1211544113251x1331430305134x1313353004134x1413403001420x1413400301420x1511533150414x1511533105414x105500120045240x105501240005240x142504550223541x142520525430541x151050113012211x151050113102211x151204323141332x151204321341332x1013013200141433x1013013200114433x10253311255055112x10253311525055112x12051421000412543x12051421000415243x12410124205042042x12012445120042042x104541415353222405x104541415352322405x1155344354052533312x1155343454052533312x1220555423034435325x1225054520334453235x1400341423544502404x1400344123544502404x12505325032215355040x12505325023215355040x13352100201254455050x13352100210254455050x132243003045044230444x132243003405044230444x1010534312140541443341x1010534312140541434341x1154033405223510024414x1154033405223150024414x10554451254503051543204x10554451254503055143204x12424012144242040013314x12424012144422040013314x111150240403250443545513x111105240403250443545513x114104202442132015320125x114140202442132015320125x155003444412352132013544x155003444413252132013544x1105421525050523544353323x1105421525050532544353323x1534005125432151210125044x1534005125432152110125044x12103035502214054251020331x12013035502214054215020331x114052042412143415141443224x114052024412143415141443224x154454344103055004030405003x154454344103055004003405003x1341425155353411104005415342x1341425155353411140005451342x11551535113404423103530542150x11555135113404423103530542150x111135454250131145500003040105x111135445250131145500003040105x12.101012003x101102003x11030104140x14310114000x11054423120x14545500020x11350125212x10001301111x11522120150x10454044143x13213341030x13213314030x13442223330x10000313541x14251303252x15431534405x100203134503x15505431144x101004015403x13035242343x101254041142x13453432305x101554043245x15112432134x102245502011x10542053422x102403050032x10441110424x103142432245x15422143524x104251103425x104521134025x110401153324x15242423353x110445052344x10035335151x111143510025x13152125342x111411500341x15303310552x112055435243x15350154325x113101523553x11502455523x113101532243x11533205232x113533301552x14514140114x115214254152x12245104502x115241035045x11031104053x121015204344x13304024300x121530340510x10354423413x122103354114x11551024155x122154331005x10432432025x122424435254x10532332532x122551002331x11341320132x123104012240x14401131402x125124443213x14411201220x125240143505x11102543031x130051502245x10021555301x130324503155x10144254325x132504534342x11203512411x133554311223x12315542305x134403252423x11153025224x134503431252x15500335240x135053230550x15132132103x135253444220x12323002043x141005543152x11535255223x141250440413x13101200025x141333412111x14425015501x152152123150x12201521515x152522141334x13412241114x152531503221x14054354534x153205252043x14040142531x154443412502x12433432240x1045104043231x12032142001x1053434353300x11442345202x1105303055401x13252521141x1211541413251x1211544113251x1331430305134x1313353004134x1413403001420x1413400301420x1511533150414x1511533105414x105500120045240x105501240005240x142504550223541x142520525430541x151050113012211x151050113102211x151204323141332x151204321341332x1013013200141433x1013013200114433x10253311255055112x10253311525055112x12051421000412543x12051421000415243x12410124205042042x12012445120042042x104541415353222405x104541415352322405x1155344354052533312x1155343454052533312x1220555423034435325x1225054520334453235x1400341423544502404x1400344123544502404x12505325032215355040x12505325023215355040x13352100201254455050x13352100210254455050x132243003045044230444x132243003405044230444x1010534312140541443341x1010534312140541434341x1154033405223510024414x1154033405223150024414x10554451254503051543204x10554451254503055143204x12424012144242040013314x12424012144422040013314x111150240403250443545513x111105240403250443545513x114104202442132015320125x114140202442132015320125x155003444412352132013544x155003444413252132013544x1105421525050523544353323x1105421525050532544353323x1534005125432151210125044x1534005125432152110125044x12103035502214054251020331x12013035502214054215020331x114052042412143415141443224x114052024412143415141443224x154454344103055004030405003x154454344103055004003405003x1341425155353411104005415342x1341425155353411140005451342x11551535113404423103530542150x11555135113404423103530542150x111135454250131145500003040105x111135445250131145500003040105x1ttt2ttt2 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])))