/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 010102113x1001102113x10000013444x14422052303x10131020501x10332002355x12113212554x12121125354x12234403050x12234043050x14251450513x13320302235x15003110412x11003353524x100450345420x14432455520x100454242135x12014343015x100510444331x14210340450x101304540434x13441312220x102404533202x13045313154x102532412543x15050304132x103112413314x103121413314x105031404243x10535005313x105334030354x14231202301x120300045512x14022401003x121142135354x13534143132x122043432202x13224321233x122200042435x10531105234x123044020550x13255515015x124235412552x124234512552x125302003500x15125521434x130000003211x103000030211x133341305224x13303154322x134143034354x14043014405x134410532305x15231455424x134424351115x12041020435x135555015414x15144051305x140550555044x14000532135x141342513443x13202112220x141420441215x12043001313x142111215134x10340530042x143555143353x11250312203x145034440301x145304443001x150212052104x13113045041x150450300140x13131123423x150530125312x14200014331x151251441022x14303523115x151301241415x14153211102x152431055101x10031404314x153320102425x15343115034x153331205054x14500235121x153413422024x15205420322x154203455040x10250402350x154353211112x12351554533x155154400025x14315135013x1002503143233x11545550340x1111513010322x1111153010322x1144141434451x1144411434451x1152133531344x1152133513344x1211022202132x14431131515x1232014034015x1232014304015x1232242453225x14202521444x1255123323312x11242222043x1335223230305x11250153302x1345152055312x15455450513x1351215131032x11452135110x1533303100235x11450254221x11054415541534x11054145541534x14114251033042x14330325441x15352221013354x15352221103354x100032515035130x100032155035130x104500501054521x104500501504521x111132031555003x111130231555003x133520220254411x133520202254411x142021202424110x142021202442110x1340120421023431x1014132420230431x1411115210143445x10450312143x1553132223344513x1553312223344513x13043212204245424x13042324452420241x1345440005540131452x1454300504304525141x1441222324413251055x1441223224413251055x10012222214501235520x10012222214502135520x13414230512412255244x13414230512142255244x142331325403012032215x142313325403012032215x154051541340451143045x154051514340451143045x1055404242432032300102x1055442404322023300102x11441023112000103214021x11441023112000130214021x12555114404213332004515x12555114404213330204515x122100251052253125142422x151005520224121322125422x10045344544032204030032053x10045344544032024030032053x10114512335301513550002224x10114512335301153550002224x10345213433321425240513230x10345213433324125204513230x12503552342554052523125544x12503552342545052523125544x121325305452213325220125425x121325305542213325220125425x1020225030340514030342031420x1020225030340514030324031420x11423234150134024031451121203x11423231450134024031451121203x11423313204101512223200005235x11423313204011512223200005235x14001440425023343512131243135x14001440425023343512311243135x15020150112340240154411144200x15020150112304240154411144200x103110212134141000032413213400x103110212134141000032413214300x145144044455205345254342313234x145144044455205345245342313234x155003552244131054343401243331x155003552244131054343410243331x1115201042141115301340300112343x1115201042141115301343000112343x12.1010102113x1001102113x10000013444x14422052303x10131020501x10332002355x12113212554x12121125354x12234403050x12234043050x14251450513x13320302235x15003110412x11003353524x100450345420x14432455520x100454242135x12014343015x100510444331x14210340450x101304540434x13441312220x102404533202x13045313154x102532412543x15050304132x103112413314x103121413314x105031404243x10535005313x105334030354x14231202301x120300045512x14022401003x121142135354x13534143132x122043432202x13224321233x122200042435x10531105234x123044020550x13255515015x124235412552x124234512552x125302003500x15125521434x130000003211x103000030211x133341305224x13303154322x134143034354x14043014405x134410532305x15231455424x134424351115x12041020435x135555015414x15144051305x140550555044x14000532135x141342513443x13202112220x141420441215x12043001313x142111215134x10340530042x143555143353x11250312203x145034440301x145304443001x150212052104x13113045041x150450300140x13131123423x150530125312x14200014331x151251441022x14303523115x151301241415x14153211102x152431055101x10031404314x153320102425x15343115034x153331205054x14500235121x153413422024x15205420322x154203455040x10250402350x154353211112x12351554533x155154400025x14315135013x1002503143233x11545550340x1111513010322x1111153010322x1144141434451x1144411434451x1152133531344x1152133513344x1211022202132x14431131515x1232014034015x1232014304015x1232242453225x14202521444x1255123323312x11242222043x1335223230305x11250153302x1345152055312x15455450513x1351215131032x11452135110x1533303100235x11450254221x11054415541534x11054145541534x14114251033042x14330325441x15352221013354x15352221103354x100032515035130x100032155035130x104500501054521x104500501504521x111132031555003x111130231555003x133520220254411x133520202254411x142021202424110x142021202442110x1340120421023431x1014132420230431x1411115210143445x10450312143x1553132223344513x1553312223344513x13043212204245424x13042324452420241x1345440005540131452x1454300504304525141x1441222324413251055x1441223224413251055x10012222214501235520x10012222214502135520x13414230512412255244x13414230512142255244x142331325403012032215x142313325403012032215x154051541340451143045x154051514340451143045x1055404242432032300102x1055442404322023300102x11441023112000103214021x11441023112000130214021x12555114404213332004515x12555114404213330204515x122100251052253125142422x151005520224121322125422x10045344544032204030032053x10045344544032024030032053x10114512335301513550002224x10114512335301153550002224x10345213433321425240513230x10345213433324125204513230x12503552342554052523125544x12503552342545052523125544x121325305452213325220125425x121325305542213325220125425x1020225030340514030342031420x1020225030340514030324031420x11423234150134024031451121203x11423231450134024031451121203x11423313204101512223200005235x11423313204011512223200005235x14001440425023343512131243135x14001440425023343512311243135x15020150112340240154411144200x15020150112304240154411144200x103110212134141000032413213400x103110212134141000032413214300x145144044455205345254342313234x145144044455205345245342313234x155003552244131054343401243331x155003552244131054343410243331x1115201042141115301340300112343x1115201042141115301343000112343x1ttt2ttt2 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])))