/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 01231240x101232140x1151303125x1151013235x1350244450x1324405450x1412140223x1411204223x10310045303x15400525103x11131012121x11101132121x11344203132x14321122525x14343024313x14122354255x14405010052x11250245222x15405330000x15405303000x100100305042x15003202130x100115115320x10552120432x100555400352x11042104043x110332222243x14043112323x110512434452x10325111103x120301321120x12021025303x121500313503x12532315224x123241534415x15201333552x130210140142x15222542234x131155500203x10004554215x132253330242x132253303242x133541022230x10023210220x134032322353x14244124334x134053151103x11152322045x134121143001x13125444555x134445242150x13451210340x135324043430x10411434011x140245333333x15114152214x141002444515x141152044405x142302445421x10142025313x143041354020x13032511411x144535501304x11332014523x145350444520x13525512152x150540423520x15053030444x153212531152x11552305244x154033342151x15312535141x154435404453x14212234201x1002215414004x12130213552x1005132101101x15433505544x1033414124414x11440322035x1140435531420x1140453531420x1151521432403x14353241340x1200340441520x1200304421450x1211115002351x13024234202x1214413411514x14241440245x1221444105424x15321204115x1255305140422x12110403402x1303313221322x15303313124x1310510150044x10102125313x1312015252145x12513452150x1320051522031x15344451214x1342504504550x1342504540550x1353322241030x10102322004x1354521404241x12331514425x1424304320314x11443301335x1435124131504x15545435413x1503202151014x15254153530x1522305053242x15431342305x1533200510304x14131025022x11555110155441x12024001332x13552045552035x12402523053x110450254253321x110452054253321x113540330254133x113353043201453x145131155245121x145113155245121x1115420311431510x1115420311435110x1403414534005431x1403414530405431x11402244522340211x11420245422340211x12021043250251154x12310415200521524x14035242534304134x14035242354304134x114405122332145235x114405123232145235x133552531523414352x133552535123414352x141452134414303201x141452143414303201x154131214025354040x154111320244530540x1153333435522102212x1153333453522102212x1440020040411252213x1440002040411252213x1523351041244455400x1523351014244455040x1545043423453454154x1545440323414535454x12234524212134132510x12234154224251321130x13453532124555552515x13453531224555552515x105440434423502531401x105440434243502531401x10311543515302414432353x10311545315302414432353x13154545535550234415431x13154545535550234145431x14211433210213131505213x14211433201213131505213x14334222453040442050243x14334222453040424050243x1504213451031435505313004x1504213541031435505313004x1555313442542535431050020x1555313424542535431050020x13505223211352344421051244x13505223211352344421501244x15301231331235423155041551x15301231332135423155041551x102255022220504320415135113x102255022220504230415135113x10024132114142553525353310143x10024132141142553525353310143x13003120405053453220245440331x13030120405053453220245440331x134422012102203215102512235002x134422012102203215105212235002x1203513225335410250320000404211x1203513225335140250320000404211x1213243330321210011333212251520x1213423330321210011333212251520x12.101231240x101232140x1151303125x1151013235x1350244450x1324405450x1412140223x1411204223x10310045303x15400525103x11131012121x11101132121x11344203132x14321122525x14343024313x14122354255x14405010052x11250245222x15405330000x15405303000x100100305042x15003202130x100115115320x10552120432x100555400352x11042104043x110332222243x14043112323x110512434452x10325111103x120301321120x12021025303x121500313503x12532315224x123241534415x15201333552x130210140142x15222542234x131155500203x10004554215x132253330242x132253303242x133541022230x10023210220x134032322353x14244124334x134053151103x11152322045x134121143001x13125444555x134445242150x13451210340x135324043430x10411434011x140245333333x15114152214x141002444515x141152044405x142302445421x10142025313x143041354020x13032511411x144535501304x11332014523x145350444520x13525512152x150540423520x15053030444x153212531152x11552305244x154033342151x15312535141x154435404453x14212234201x1002215414004x12130213552x1005132101101x15433505544x1033414124414x11440322035x1140435531420x1140453531420x1151521432403x14353241340x1200340441520x1200304421450x1211115002351x13024234202x1214413411514x14241440245x1221444105424x15321204115x1255305140422x12110403402x1303313221322x15303313124x1310510150044x10102125313x1312015252145x12513452150x1320051522031x15344451214x1342504504550x1342504540550x1353322241030x10102322004x1354521404241x12331514425x1424304320314x11443301335x1435124131504x15545435413x1503202151014x15254153530x1522305053242x15431342305x1533200510304x14131025022x11555110155441x12024001332x13552045552035x12402523053x110450254253321x110452054253321x113540330254133x113353043201453x145131155245121x145113155245121x1115420311431510x1115420311435110x1403414534005431x1403414530405431x11402244522340211x11420245422340211x12021043250251154x12310415200521524x14035242534304134x14035242354304134x114405122332145235x114405123232145235x133552531523414352x133552535123414352x141452134414303201x141452143414303201x154131214025354040x154111320244530540x1153333435522102212x1153333453522102212x1440020040411252213x1440002040411252213x1523351041244455400x1523351014244455040x1545043423453454154x1545440323414535454x12234524212134132510x12234154224251321130x13453532124555552515x13453531224555552515x105440434423502531401x105440434243502531401x10311543515302414432353x10311545315302414432353x13154545535550234415431x13154545535550234145431x14211433210213131505213x14211433201213131505213x14334222453040442050243x14334222453040424050243x1504213451031435505313004x1504213541031435505313004x1555313442542535431050020x1555313424542535431050020x13505223211352344421051244x13505223211352344421501244x15301231331235423155041551x15301231332135423155041551x102255022220504320415135113x102255022220504230415135113x10024132114142553525353310143x10024132141142553525353310143x13003120405053453220245440331x13030120405053453220245440331x134422012102203215102512235002x134422012102203215105212235002x1203513225335410250320000404211x1203513225335140250320000404211x1213243330321210011333212251520x1213423330321210011333212251520x1ttt2ttt2 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])))