/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 00012233230021140242x144110144331101011112x100031142201214304030x102240132011404201444x100320103333302022420x100334111202204240140x101001133442300344214x110241314113414210144x101201434303022131424x110124130311120100201x101300411432413402414x102002204100442224400x101412003423140410442x141300100040420132402x102003342114422114201x100014420110202244144x102122243342322310213x112114243041120402100x102131130314233042223x112301230043004000440x102244302141430423120x134222403224100140000x102344331011443023402x104110431012243400143x103023000214442333134x102044444223233324400x103201333230124104001x140022310400222113040x103302133214420241140x100213401413440144233x103343112242212101123x104200003041244410200x103404440401403444442x104132034101413120311x104030204240000203221x112224041231104023201x104040320330342034322x120404223401220411311x104121200232242234400x122241020004022221100x104232330431304231342x132413332021401240022x110023302124110114443x104022410240010243111x110133002434341132223x100440310314142331123x110240313402444420304x133230001144314122401x110303442434421124114x133412444402234042234x110332011204444204343x112400321240213122431x111012014230342214003x114130304022201001101x111214431140124420144x113022424010024021014x111324133214224422322x101222332032201221132x111332221214003211301x112223101121001342202x111341320203030111240x141204241220012212141x111403213441042323241x101144311031124130143x111431141231422330344x141233220022104021121x112131213034244020134x102111444321400130441x112140202202134143003x113111131113004224241x112240121111341331333x141034241404024012024x112314344101404142330x124000344103304040110x112402140441410442243x112220104043042401124x113311003201441424030x131000002414010140344x113312240112213431421x124041240314440130220x114032432010304121103x114401221331020110344x114040440442144204440x102042204141012100033x114120212214143404031x133314240204014010000x114124343412112330242x102122240411004444440x114322134111324140430x141230114301240242234x114401221141304324040x100212040114100122241x114420133144412113441x130100340221040443010x120101200202244310232x101132224000013422012x120224123441102423004x114101123002222011122x120330333334331022322x141330203134031421414x121043240333224442324x110400330130422440100x121414304014320233044x140124311120420113413x122214430413231010340x112002304112020104020x122331312013003000434x104143140120312422221x123023124032003134411x144440104004144012204x123333040442203213314x143204441411412244413x124014414313004331313x103111233102202311111x124021304441144111132x101140020300201201331x124143311430010023111x122412142240014220211x124203441114112323333x103301333012221310103x124211422103234103234x110140114344130034004x124233322333041001401x132324021122011103220x124244413011141102232x140201112214010033040x124301341024441310304x103044103100001000132x124330444443340230144x131201120331402242341x124344004211313112340x103041141403220024014x124423001422444312214x131141214201414221144x130310324440111211013x143413014111234121000x131103442411200442341x113401301122400201334x131121321120230000403x104000204014021013343x131302031100003324312x114320012114414141200x131312113111220442234x121344004001140142241x131401242141313012433x114311043342403022230x131404103130112442201x113014112100000102222x132032003333414311233x111041221424331321121x132041321432441024223x142011113202422314142x132230220212434211330x143034441431430103431x133241214021422142110x132122020032021141224x133340140023030010310x144310031140023212221x133421442010141120014x141440211223110102340x134014143340041032324x142314044013210414020x134312330201022020430x144320341212014424000x134402023014222330400x130220124331241221300x134404211304432404144x131110214222013023333x140003142333333143202x133411424100403142044x140203314242313404431x131024033140144002143x140323121310441232314x122311310014424031203x140401323123311142032x100410230121230001100x141032413034342232001x143003403444422122311x141222312243412122003x131103104104030010440x141423032231143030404x112041443114102200343x142044031124303232013x133434022010134132044x142202221132002441421x120344330011224100400x142210230333144244011x111404223434241413311x142243141121204211410x111103441024120040130x143101122004213131224x112212004114002031010x143444421200333120240x121133200211214100130x144021421402214342111x143414203431121143111x144204241433234140024x130404030021400003440x12.100012233230021140242x144110144331101011112x100031142201214304030x102240132011404201444x100320103333302022420x100334111202204240140x101001133442300344214x110241314113414210144x101201434303022131424x110124130311120100201x101300411432413402414x102002204100442224400x101412003423140410442x141300100040420132402x102003342114422114201x100014420110202244144x102122243342322310213x112114243041120402100x102131130314233042223x112301230043004000440x102244302141430423120x134222403224100140000x102344331011443023402x104110431012243400143x103023000214442333134x102044444223233324400x103201333230124104001x140022310400222113040x103302133214420241140x100213401413440144233x103343112242212101123x104200003041244410200x103404440401403444442x104132034101413120311x104030204240000203221x112224041231104023201x104040320330342034322x120404223401220411311x104121200232242234400x122241020004022221100x104232330431304231342x132413332021401240022x110023302124110114443x104022410240010243111x110133002434341132223x100440310314142331123x110240313402444420304x133230001144314122401x110303442434421124114x133412444402234042234x110332011204444204343x112400321240213122431x111012014230342214003x114130304022201001101x111214431140124420144x113022424010024021014x111324133214224422322x101222332032201221132x111332221214003211301x112223101121001342202x111341320203030111240x141204241220012212141x111403213441042323241x101144311031124130143x111431141231422330344x141233220022104021121x112131213034244020134x102111444321400130441x112140202202134143003x113111131113004224241x112240121111341331333x141034241404024012024x112314344101404142330x124000344103304040110x112402140441410442243x112220104043042401124x113311003201441424030x131000002414010140344x113312240112213431421x124041240314440130220x114032432010304121103x114401221331020110344x114040440442144204440x102042204141012100033x114120212214143404031x133314240204014010000x114124343412112330242x102122240411004444440x114322134111324140430x141230114301240242234x114401221141304324040x100212040114100122241x114420133144412113441x130100340221040443010x120101200202244310232x101132224000013422012x120224123441102423004x114101123002222011122x120330333334331022322x141330203134031421414x121043240333224442324x110400330130422440100x121414304014320233044x140124311120420113413x122214430413231010340x112002304112020104020x122331312013003000434x104143140120312422221x123023124032003134411x144440104004144012204x123333040442203213314x143204441411412244413x124014414313004331313x103111233102202311111x124021304441144111132x101140020300201201331x124143311430010023111x122412142240014220211x124203441114112323333x103301333012221310103x124211422103234103234x110140114344130034004x124233322333041001401x132324021122011103220x124244413011141102232x140201112214010033040x124301341024441310304x103044103100001000132x124330444443340230144x131201120331402242341x124344004211313112340x103041141403220024014x124423001422444312214x131141214201414221144x130310324440111211013x143413014111234121000x131103442411200442341x113401301122400201334x131121321120230000403x104000204014021013343x131302031100003324312x114320012114414141200x131312113111220442234x121344004001140142241x131401242141313012433x114311043342403022230x131404103130112442201x113014112100000102222x132032003333414311233x111041221424331321121x132041321432441024223x142011113202422314142x132230220212434211330x143034441431430103431x133241214021422142110x132122020032021141224x133340140023030010310x144310031140023212221x133421442010141120014x141440211223110102340x134014143340041032324x142314044013210414020x134312330201022020430x144320341212014424000x134402023014222330400x130220124331241221300x134404211304432404144x131110214222013023333x140003142333333143202x133411424100403142044x140203314242313404431x131024033140144002143x140323121310441232314x122311310014424031203x140401323123311142032x100410230121230001100x141032413034342232001x143003403444422122311x141222312243412122003x131103104104030010440x141423032231143030404x112041443114102200343x142044031124303232013x133434022010134132044x142202221132002441421x120344330011224100400x142210230333144244011x111404223434241413311x142243141121204211410x111103441024120040130x143101122004213131224x112212004114002031010x143444421200333120240x121133200211214100130x144021421402214342111x143414203431121143111x144204241433234140024x130404030021400003440x1ttt2ttt2 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])))