/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 01121345x101112345x115225331x115223531x11321052102x11150022312x12530113202x12503113202x13002313215x13002312315x14044034023x10030530123x100440012014x14122100402x104432405534x11413111244x110032430553x15204140011x110250324102x14225201542x112010333053x11215102125x113104523425x15420054545x113122022513x11333235414x113402412435x10242330325x114201534400x11214515424x114514253232x12424013202x114523155343x15341402222x115534131550x15301203343x120255124533x12352004215x120430001445x10015015322x121301152053x14035022110x122313113420x14150541305x123214021143x11424522051x123334410045x15435310100x123510534444x13345242442x124322450022x10210354504x125022132502x12112442420x125324100105x10024104525x125414110223x12412030024x130442114334x10153250420x131221144205x10212433000x132030505535x13554555340x132234524124x11312043432x132403144045x13351401151x132443003122x15535043204x133101010530x11125133510x134551441144x15321325445x135323340024x13011401551x140020323310x140002323310x140310013014x11550225251x140322405205x13441514024x140414054352x14131033003x143433452441x10035244322x145352414214x14102524014x145524343421x13450122130x150443252320x12301035202x152140324003x13053245332x153534555141x13032025341x155412052400x10202503434x1010233252242x1010233225242x1133435100131x11144414235x1211522000351x12441122354x1222142131135x11215410441x1401552121111x12324435414x1433335530323x14031452040x1534105302031x12445342341x1535340102432x12014550310x1544205131401x1544205311401x12112114145211x12112111445211x13050531125311x13500352531111x15553150535154x15553150553154x115220350130214x115202350130214x1000332055133130x1000332055313130x1125152445400455x1125154245400455x1204250522241453x1204255022241453x10313021123211304x10313021123121304x1020323203231104420x1002233232310014420x1155230020501053224x1155230002501053224x1311400434402012153x1311400434402021153x12145522220013134405x12145522220031134405x15043045443251150145x15040345443251150145x15221011414524503521x15221011144524503521x15324240400543303205x15324240405043303205x15425200215144004310x15425200215144040310x15550142104432105222x15550412104432105222x142423504315013344103x142423504315103344103x1102520332503020221221x1201250323500320221221x1353332440101104114042x1353334240101101414042x1503353322314043005011x1503353322314403005011x12143241241321214301104x12134241241321214301104x13245202041331201222514x13242500241302131225124x1124521430043552230524144x1124521430043552235024144x1204323501145333401252113x1204323501143533401252113x12051420354210122402254055x12051420354120122402254055x14130511552503400104043010x14130511552503401004043010x110452054110434334013504442x110405524110344330413504442x121020451310151034141514135x121020451310151034141541135x13543120422410422203554301430x13543120422414022203554301430x110321340535353011344330055214x110321340535353013144330055214x131341135511150030020134242003x131341135511150030020134422003x1452023411305333111425502055101x1542023411350333111425525005101x12.101121345x101112345x115225331x115223531x11321052102x11150022312x12530113202x12503113202x13002313215x13002312315x14044034023x10030530123x100440012014x14122100402x104432405534x11413111244x110032430553x15204140011x110250324102x14225201542x112010333053x11215102125x113104523425x15420054545x113122022513x11333235414x113402412435x10242330325x114201534400x11214515424x114514253232x12424013202x114523155343x15341402222x115534131550x15301203343x120255124533x12352004215x120430001445x10015015322x121301152053x14035022110x122313113420x14150541305x123214021143x11424522051x123334410045x15435310100x123510534444x13345242442x124322450022x10210354504x125022132502x12112442420x125324100105x10024104525x125414110223x12412030024x130442114334x10153250420x131221144205x10212433000x132030505535x13554555340x132234524124x11312043432x132403144045x13351401151x132443003122x15535043204x133101010530x11125133510x134551441144x15321325445x135323340024x13011401551x140020323310x140002323310x140310013014x11550225251x140322405205x13441514024x140414054352x14131033003x143433452441x10035244322x145352414214x14102524014x145524343421x13450122130x150443252320x12301035202x152140324003x13053245332x153534555141x13032025341x155412052400x10202503434x1010233252242x1010233225242x1133435100131x11144414235x1211522000351x12441122354x1222142131135x11215410441x1401552121111x12324435414x1433335530323x14031452040x1534105302031x12445342341x1535340102432x12014550310x1544205131401x1544205311401x12112114145211x12112111445211x13050531125311x13500352531111x15553150535154x15553150553154x115220350130214x115202350130214x1000332055133130x1000332055313130x1125152445400455x1125154245400455x1204250522241453x1204255022241453x10313021123211304x10313021123121304x1020323203231104420x1002233232310014420x1155230020501053224x1155230002501053224x1311400434402012153x1311400434402021153x12145522220013134405x12145522220031134405x15043045443251150145x15040345443251150145x15221011414524503521x15221011144524503521x15324240400543303205x15324240405043303205x15425200215144004310x15425200215144040310x15550142104432105222x15550412104432105222x142423504315013344103x142423504315103344103x1102520332503020221221x1201250323500320221221x1353332440101104114042x1353334240101101414042x1503353322314043005011x1503353322314403005011x12143241241321214301104x12134241241321214301104x13245202041331201222514x13242500241302131225124x1124521430043552230524144x1124521430043552235024144x1204323501145333401252113x1204323501143533401252113x12051420354210122402254055x12051420354120122402254055x14130511552503400104043010x14130511552503401004043010x110452054110434334013504442x110405524110344330413504442x121020451310151034141514135x121020451310151034141541135x13543120422410422203554301430x13543120422414022203554301430x110321340535353011344330055214x110321340535353013144330055214x131341135511150030020134242003x131341135511150030020134422003x1452023411305333111425502055101x1542023411350333111425525005101x1ttt2ttt2 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])))