/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 010122x1010212x13144051x13451041x13405442x13454042x110320405x110032045x134054015x130454015x1530151515x1551031515x14034152254x10214452354x100141155323x12131442113x101010313010x14053222555x102345130120x10130540205x103403234553x14023355231x110254341210x12425352421x114222444205x15450105251x114425151041x10152044321x115001024114x115010024114x115050054402x10440233551x120055241102x11400221453x120240103044x14451412210x120413120023x15121441553x120440043024x10204335344x121230451110x10401322142x122332512530x14522515335x123014030302x10505551543x123153243242x12123245344x123220254542x14551523213x123435000335x13414032110x124443015335x14420340401x125204333214x11325505104x131311120445x15430443332x131441500024x15120035511x132022104102x12134130055x132530110031x10510110343x134312551312x11413445520x135042201000x11003124335x140312303350x14020235424x141411220044x10513521205x151502254444x15004000420x152025234450x13555044532x153555400015x15220224114x155340403030x11231303535x155454251404x15403210044x1000441214412x14332221100x1043351325012x12150334030x1051144333311x13023545122x1051410413252x13215430224x1051444523210x12442022400x1053505420553x12552004101x1133344223153x10302311205x1134212424442x10431031550x1212553122212x12234250050x1254501405320x1214400355520x1331445231332x15035144313x1331552530545x12130244533x1342442455214x13121522520x1350513240502x13343320421x1352033414204x12521505240x1431553512543x10305252442x1543443540503x13002131432x1554444240312x11211112042x13045012314501x13045102314501x15113101511453x15113101151453x114401135045321x114105134403521x1052311040250442x1053121200454042x12404022214055355x12404022241055355x111001502402443200x111010520240443200x123453030143120205x123453030134120205x132251321313032130x132253121313032130x140540104321553004x140540104231553004x145430213252405422x145430213252450422x1001532413453254523x1001352413453254523x1231201221015214401x1231201212015214401x1450550050152312530x1450550005152312530x1511221415401303302x1512121415401303302x1522014522323310234x1522014522323312034x12411025404115020055x12142105140410502055x14332542134404353200x14332542134404335200x15044243002523315224x15042443002523315224x131255331341430143204x131550233133441412304x12052323415004401423541x12052323451004401423541x12055310202414323221554x12053510202144323221554x12225251231215254333052x12225215231215254333052x12321305325015235500434x12321305325051235500434x1040520152425242101400140x1040520125425242101400140x1255253155510215424342010x1255253515510215424342010x1323131155554243541541352x1323131155554243514541352x1424053112441514235240125x1403241155212444531210524x1535055052132210045102230x1535055502132210045102230x13111340141401205345243202x13111304141401205345243202x14243214031452455512040222x14243210431452455512040222x155000541534353140305003503x155000451534353140305003503x155532105320450440214345022x155523105320450440214345022x1014151201302050550440543012x1014151210302050550440543012x1522052243130000045014540034x1522052423130000045014540034x10342054102501013403050304403x10342054102501031403050304403x11505325533330535011550104013x15105355233303355105150104013x14025045353555300553535111252x14550302355435505150513553212x14314352253012122050451535323x14342315503221212540035152353x1240144512255022224252542310404x1240144512255022224225542310404x12.1010122x1010212x13144051x13451041x13405442x13454042x110320405x110032045x134054015x130454015x1530151515x1551031515x14034152254x10214452354x100141155323x12131442113x101010313010x14053222555x102345130120x10130540205x103403234553x14023355231x110254341210x12425352421x114222444205x15450105251x114425151041x10152044321x115001024114x115010024114x115050054402x10440233551x120055241102x11400221453x120240103044x14451412210x120413120023x15121441553x120440043024x10204335344x121230451110x10401322142x122332512530x14522515335x123014030302x10505551543x123153243242x12123245344x123220254542x14551523213x123435000335x13414032110x124443015335x14420340401x125204333214x11325505104x131311120445x15430443332x131441500024x15120035511x132022104102x12134130055x132530110031x10510110343x134312551312x11413445520x135042201000x11003124335x140312303350x14020235424x141411220044x10513521205x151502254444x15004000420x152025234450x13555044532x153555400015x15220224114x155340403030x11231303535x155454251404x15403210044x1000441214412x14332221100x1043351325012x12150334030x1051144333311x13023545122x1051410413252x13215430224x1051444523210x12442022400x1053505420553x12552004101x1133344223153x10302311205x1134212424442x10431031550x1212553122212x12234250050x1254501405320x1214400355520x1331445231332x15035144313x1331552530545x12130244533x1342442455214x13121522520x1350513240502x13343320421x1352033414204x12521505240x1431553512543x10305252442x1543443540503x13002131432x1554444240312x11211112042x13045012314501x13045102314501x15113101511453x15113101151453x114401135045321x114105134403521x1052311040250442x1053121200454042x12404022214055355x12404022241055355x111001502402443200x111010520240443200x123453030143120205x123453030134120205x132251321313032130x132253121313032130x140540104321553004x140540104231553004x145430213252405422x145430213252450422x1001532413453254523x1001352413453254523x1231201221015214401x1231201212015214401x1450550050152312530x1450550005152312530x1511221415401303302x1512121415401303302x1522014522323310234x1522014522323312034x12411025404115020055x12142105140410502055x14332542134404353200x14332542134404335200x15044243002523315224x15042443002523315224x131255331341430143204x131550233133441412304x12052323415004401423541x12052323451004401423541x12055310202414323221554x12053510202144323221554x12225251231215254333052x12225215231215254333052x12321305325015235500434x12321305325051235500434x1040520152425242101400140x1040520125425242101400140x1255253155510215424342010x1255253515510215424342010x1323131155554243541541352x1323131155554243514541352x1424053112441514235240125x1403241155212444531210524x1535055052132210045102230x1535055502132210045102230x13111340141401205345243202x13111304141401205345243202x14243214031452455512040222x14243210431452455512040222x155000541534353140305003503x155000451534353140305003503x155532105320450440214345022x155523105320450440214345022x1014151201302050550440543012x1014151210302050550440543012x1522052243130000045014540034x1522052423130000045014540034x10342054102501013403050304403x10342054102501031403050304403x11505325533330535011550104013x15105355233303355105150104013x14025045353555300553535111252x14550302355435505150513553212x14314352253012122050451535323x14342315503221212540035152353x1240144512255022224252542310404x1240144512255022224225542310404x1ttt2ttt2 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])))