/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 0010123x10010213x13435455x13434555x153545335x155345335x1133143235x1131334235x14130201510x11233252114x15525203420x15552230240x101034214244x14532315114x101205150210x13334455202x102022123152x10521121142x102335355203x13501522451x104342541150x14023105351x105033143225x10200044534x105453454324x10443453304x110100334033x14355230310x110355253445x12544235020x110444553232x12413035331x112123410240x11154543324x112153153202x11140553505x112330100545x13022002452x113000203443x13421403515x113522023313x113252023313x114122153025x10514143450x120252233533x12325114512x122225514220x13015525541x122535030543x15301235355x123013430545x15100225224x123142011342x11552320520x123520454350x15055424121x124023014210x15525022145x124422335300x12203151550x125045131430x10325400500x125444322240x14145345502x130521534211x11131343243x131533144533x14222425014x133244350420x12300351421x133355505300x11450004400x134201452441x10402222524x135313103403x14223211412x141250454312x12223340213x141300355341x12513035002x143012131534x13023330501x143540450430x13231300003x144013213012x11021243554x144053005325x12423055302x144411211031x144142111031x144542330225x15500012131x151153130144x15211340324x152455144022x15302134140x1031153212343x15115432034x1232235455535x12114022242x1252021532505x13151410004x1255202300342x10445445015x1343025001555x12144410251x1400243254335x12035220454x1432114345322x14441244505x1454554553202x12202320505x1510405455303x1510450455303x1552200542215x10530443051x10534445012244x10543445012244x143142001352235x143140021352235x1343234124333121x1343231424333121x1500025532340513x1500025523340513x11353502145215155x11353502154215155x11545524044034200x11545524040434200x13141113140224550x13141111340224550x135515052224433232x135510552224433322x155125245244155542x155122545241455542x1212052010522520350x1212052010522250350x1350200052202003134x1350200025202003134x10543011251145535522x10543011521145535522x13333130325054511212x13333130235054511212x15355041153021522115x15535450113021522115x15411045305010141123x15410154305100141321x104525252304520354302x105422554230205345032x113354010404354414001x113354010403454414001x1324214124050145421551x1324214214050145421551x1520041041253552401443x1520014041235552410443x101425323552045151150320x101425233552045151150320x103005320135214423244201x103005230135214423244201x121112020444111323402052x121112020444111324302052x124342435033553000314234x124344230553350303021443x152354120153353351434043x152354120153353354134043x1250150232244305003350512x1250150232244305003530512x14355511341000202443300121x14355541113000024243302011x15245524522121153442520143x15245524522121153424251043x1042443102123135553452500113x1042441302123135553452500113x1212503231254000311101003505x1212503231245000311101003505x1311202314432325024333400351x1311202134432325024333400351x1324313543110051403355515215x1324315431310015403355515215x1341204314354352113510210332x1341204314354352113510201332x1412211433411215112153152310x1241413112142313215215531110x1542404103525453305242000501x1542404103524553305242000501x13332550300140101112434125152x13332550300140101112431425152x100054444134504450403350315520x100054444134504450403305315520x121231430405215053450524203130x121213430405215053450524203130x122445411351014440053454255202x122445411351014404053454255202x12.10010123x10010213x13435455x13434555x153545335x155345335x1133143235x1131334235x14130201510x11233252114x15525203420x15552230240x101034214244x14532315114x101205150210x13334455202x102022123152x10521121142x102335355203x13501522451x104342541150x14023105351x105033143225x10200044534x105453454324x10443453304x110100334033x14355230310x110355253445x12544235020x110444553232x12413035331x112123410240x11154543324x112153153202x11140553505x112330100545x13022002452x113000203443x13421403515x113522023313x113252023313x114122153025x10514143450x120252233533x12325114512x122225514220x13015525541x122535030543x15301235355x123013430545x15100225224x123142011342x11552320520x123520454350x15055424121x124023014210x15525022145x124422335300x12203151550x125045131430x10325400500x125444322240x14145345502x130521534211x11131343243x131533144533x14222425014x133244350420x12300351421x133355505300x11450004400x134201452441x10402222524x135313103403x14223211412x141250454312x12223340213x141300355341x12513035002x143012131534x13023330501x143540450430x13231300003x144013213012x11021243554x144053005325x12423055302x144411211031x144142111031x144542330225x15500012131x151153130144x15211340324x152455144022x15302134140x1031153212343x15115432034x1232235455535x12114022242x1252021532505x13151410004x1255202300342x10445445015x1343025001555x12144410251x1400243254335x12035220454x1432114345322x14441244505x1454554553202x12202320505x1510405455303x1510450455303x1552200542215x10530443051x10534445012244x10543445012244x143142001352235x143140021352235x1343234124333121x1343231424333121x1500025532340513x1500025523340513x11353502145215155x11353502154215155x11545524044034200x11545524040434200x13141113140224550x13141111340224550x135515052224433232x135510552224433322x155125245244155542x155122545241455542x1212052010522520350x1212052010522250350x1350200052202003134x1350200025202003134x10543011251145535522x10543011521145535522x13333130325054511212x13333130235054511212x15355041153021522115x15535450113021522115x15411045305010141123x15410154305100141321x104525252304520354302x105422554230205345032x113354010404354414001x113354010403454414001x1324214124050145421551x1324214214050145421551x1520041041253552401443x1520014041235552410443x101425323552045151150320x101425233552045151150320x103005320135214423244201x103005230135214423244201x121112020444111323402052x121112020444111324302052x124342435033553000314234x124344230553350303021443x152354120153353351434043x152354120153353354134043x1250150232244305003350512x1250150232244305003530512x14355511341000202443300121x14355541113000024243302011x15245524522121153442520143x15245524522121153424251043x1042443102123135553452500113x1042441302123135553452500113x1212503231254000311101003505x1212503231245000311101003505x1311202314432325024333400351x1311202134432325024333400351x1324313543110051403355515215x1324315431310015403355515215x1341204314354352113510210332x1341204314354352113510201332x1412211433411215112153152310x1241413112142313215215531110x1542404103525453305242000501x1542404103524553305242000501x13332550300140101112434125152x13332550300140101112431425152x100054444134504450403350315520x100054444134504450403305315520x121231430405215053450524203130x121213430405215053450524203130x122445411351014440053454255202x122445411351014404053454255202x1ttt2ttt2 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])))