/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 012131x1012311x13442235x13442325x142213011x140123121x1114105511x1111455011x1432302401x1423320401x12102020444x14401412334x13025321445x15015330133x13452203100x12330341033x15542215011x14433022421x100013023543x14223025024x100401440132x14504002355x101442045312x11545432121x102202115003x12004211235x102222003424x15045144004x102423522555x14200243124x104015241413x10035015422x105105505213x14445033404x111115413211x11552452144x111154112050x13200055402x112154535240x112154553240x112551401425x10005453200x113023453233x113024533233x113141512441x13043401410x120100502520x11410035232x122242455523x12203101534x122310210304x11215240020x123301021435x12202515155x124501513145x11102141505x130210344021x13302214411x131010253510x15155452512x131220224415x13054443401x131344402251x14132041103x131352555430x10100545535x132113441255x14151000553x132522240053x13015101515x133243411521x15110434113x134454121311x12233200333x141031115005x12342003245x143455200423x11201212014x145242345410x12302234504x150204225014x11210310332x151234020455x11350100351x153011044415x11355534442x153233052114x13230235204x154535000432x14014335205x155042415445x13202545051x155342001014x13014444010x1122353314344x15505021540x1234121532531x15512150243x1301335105352x13222411522x1320343351320x11104253004x1332553223053x15450505541x1335021130144x12415345145x1513310244324x14054023105x1521034431311x13004014455x1543203323143x10201413521x1543503424202x1543503244202x1553450432134x11253452452x10151303122044x10115301322044x10343113522042x10343115322042x12432245211450x12432254211540x14004403511510x14004043511510x1020545023402322x1020545032402322x1111022352114021x1111022325114021x10540505052345141x10545005053245411x14334401543034300x14334401543033400x154445331354154522x154445313354154522x154452211024301133x154452211042301133x1201203225223223025x1201202325223223025x1223044403155005352x1220434305450105352x1533004131505320330x1011335043502503330x12001312052030524150x12001310252030524150x12114114440323203004x12114114440323200304x124335550243321153135x124335550423321153135x132140001024052032533x132410001024052032533x132532245250403145214x132352245250403412514x151005254324130400520x151005254324310400520x1130131552344141102321x1130131552344411102321x1223510051214312201334x1223510501214312201334x1504040232454145541123x1504040232544145541123x10050132553404422314535x15010350304242541235435x10410344030121332251253x10410344030121332521253x13250410100405022113110x13250410010405022113110x104541230540122001334232x104541235040122001334232x11154502453002241512154430x11154504253002241512154430x13334241044032100114453125x13334241044023100114453125x102012400412355315402055201x102012400412355135402055201x1422433022311005305555413541x1422433022311005035555413541x12143322543054242252535201125x12143322543054242252553201125x15351535250200135121032300413x15351535250200135211032300413x112545422140211214123520012010x112545422410211214123520012010x1012002242153552133505520503412x1012002242153552133505525003412x1125532103551113511302120104220x1125532103551113511320120104220x1154141510402344454411052330215x1154141514002344454411052330215x1415510231313243103411415105044x1415510231332143130411451105044x1521120501040325523004344501023x1521120501040325523004434501023x12.1012131x1012311x13442235x13442325x142213011x140123121x1114105511x1111455011x1432302401x1423320401x12102020444x14401412334x13025321445x15015330133x13452203100x12330341033x15542215011x14433022421x100013023543x14223025024x100401440132x14504002355x101442045312x11545432121x102202115003x12004211235x102222003424x15045144004x102423522555x14200243124x104015241413x10035015422x105105505213x14445033404x111115413211x11552452144x111154112050x13200055402x112154535240x112154553240x112551401425x10005453200x113023453233x113024533233x113141512441x13043401410x120100502520x11410035232x122242455523x12203101534x122310210304x11215240020x123301021435x12202515155x124501513145x11102141505x130210344021x13302214411x131010253510x15155452512x131220224415x13054443401x131344402251x14132041103x131352555430x10100545535x132113441255x14151000553x132522240053x13015101515x133243411521x15110434113x134454121311x12233200333x141031115005x12342003245x143455200423x11201212014x145242345410x12302234504x150204225014x11210310332x151234020455x11350100351x153011044415x11355534442x153233052114x13230235204x154535000432x14014335205x155042415445x13202545051x155342001014x13014444010x1122353314344x15505021540x1234121532531x15512150243x1301335105352x13222411522x1320343351320x11104253004x1332553223053x15450505541x1335021130144x12415345145x1513310244324x14054023105x1521034431311x13004014455x1543203323143x10201413521x1543503424202x1543503244202x1553450432134x11253452452x10151303122044x10115301322044x10343113522042x10343115322042x12432245211450x12432254211540x14004403511510x14004043511510x1020545023402322x1020545032402322x1111022352114021x1111022325114021x10540505052345141x10545005053245411x14334401543034300x14334401543033400x154445331354154522x154445313354154522x154452211024301133x154452211042301133x1201203225223223025x1201202325223223025x1223044403155005352x1220434305450105352x1533004131505320330x1011335043502503330x12001312052030524150x12001310252030524150x12114114440323203004x12114114440323200304x124335550243321153135x124335550423321153135x132140001024052032533x132410001024052032533x132532245250403145214x132352245250403412514x151005254324130400520x151005254324310400520x1130131552344141102321x1130131552344411102321x1223510051214312201334x1223510501214312201334x1504040232454145541123x1504040232544145541123x10050132553404422314535x15010350304242541235435x10410344030121332251253x10410344030121332521253x13250410100405022113110x13250410010405022113110x104541230540122001334232x104541235040122001334232x11154502453002241512154430x11154504253002241512154430x13334241044032100114453125x13334241044023100114453125x102012400412355315402055201x102012400412355135402055201x1422433022311005305555413541x1422433022311005035555413541x12143322543054242252535201125x12143322543054242252553201125x15351535250200135121032300413x15351535250200135211032300413x112545422140211214123520012010x112545422410211214123520012010x1012002242153552133505520503412x1012002242153552133505525003412x1125532103551113511302120104220x1125532103551113511320120104220x1154141510402344454411052330215x1154141514002344454411052330215x1415510231313243103411415105044x1415510231332143130411451105044x1521120501040325523004344501023x1521120501040325523004434501023x1ttt2ttt2 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])))