/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 0012033122404224142010243001352254102432213210434543103134432203254050203040335510501x14430015255042035251440453140133144110533350202155551440052255050441034005551241410432055414012134055x10242254203012414131242040322135403010312341214423243404520204133125054455310113540210x10453244540231543421012141301322010253235051304020440125103011050511505441434423455103412354544520303x10350453402034222142234324551020312254443452303013042243034512042254223103500443125313x12302142553143251532253354050100400020050050111050255004435115440400154510443025324442522054220322153x11102243024210140430404454005152454452331335233014150120220254533132523034131542204343x15201522341442002445004531001340023255003042100055005303155141011103104022441505012321451353510435003x11431454224535220113521113021144114323045231435420120522313403504354251015524511514224x13143420505350300245334554304521333535405403054411222514321120515555533253450402450202054524051054444x11443550554151235412512553124520335005243350310420302401503030223445511143122152114313x12100504515422514405552143041334515302105403355134150514042135251043534304353431104530155443502555014x11502015243324313431235223301111310403532104403521313211314134102141450312552244420340x15045522053300533310002432555422513045240222135301141541234220414235023401053022551015510315041010112x11541004334203210323241041042243023232440500004411344535544425404424112320203312252123x10013153224335101433325431250001402350534205311513232120253331520504540333350412202432315043320423343x12012355242554114122054253155321314321340130450153403454231003050315324352324242153041x10200005215331425230500432300220152540215015115410101302550301131141043552244040405432303525103220551x12033104244411352114315404402225111554052534223252415410224144332424515454242043515523x11114105105131530045425031251022320315242324140043205355545215422005332004142553054004540401452002535x12324023202244453141302432430534413403152535335333151305524130542502133440020502502320x13204514213552520302501401520121151504421433333130543524405140411232215000022500304512014123000200354x12421325314202401422503140424204120352145225123131420122053214313513543051330151225241x15035121450534350534521414415010553431550203444332000032245145222524332131414021252055125132311255255x12530330403203105543453212342215044535105554113102202445404253142122241013412100233555x12432435231115323210012342123051323404142050553523220550541055145555050542015112101053002020204525023x13421452104130442022045115533240022125054435011045103340230444514415510300450105450024x15151055351501141041505403421252543551114505330214305523243520515234105104115435552030021312253510005x13504403020412423032445300114433041314413053244240315044350232435324125223513103045325x15555501324114515252040131341500314155015502030302201311445440502043142354300041030424132455353300354x14031411201112442315045240441554523425240002235015252402234121213352351344544000421441x14543501532001041500544253410555500111412400440510542321153550215113314514305303254442032124100001510x14555433100210441104452124004002311523240130023402023113411425403525141453521435111344x14255315205254013405434350450125400512510102243120232513311005550532523125055410131130432041441515155x15050110240450124552132453325443115352312245343523241130111440413121351000424023010334x14331452205430411210041340102511553014155024201045535410450511543014140411440415214212525330425510440x15441500530354211010543413554545220553305201512322541041410210354442022434144312231201x15034413511535555035350500433110353312401535153043055235314055330021555032542051554215510425021231023x15513402003242122043243121204101525310351441015301245212145320153221105025413334151553x15100150450234131310150543210552334015242535053012004420540232015355022051433320130304344205505054054x12.10012033122404224142010243001352254102432213210434543103134432203254050203040335510501x14430015255042035251440453140133144110533350202155551440052255050441034005551241410432055414012134055x10242254203012414131242040322135403010312341214423243404520204133125054455310113540210x10453244540231543421012141301322010253235051304020440125103011050511505441434423455103412354544520303x10350453402034222142234324551020312254443452303013042243034512042254223103500443125313x12302142553143251532253354050100400020050050111050255004435115440400154510443025324442522054220322153x11102243024210140430404454005152454452331335233014150120220254533132523034131542204343x15201522341442002445004531001340023255003042100055005303155141011103104022441505012321451353510435003x11431454224535220113521113021144114323045231435420120522313403504354251015524511514224x13143420505350300245334554304521333535405403054411222514321120515555533253450402450202054524051054444x11443550554151235412512553124520335005243350310420302401503030223445511143122152114313x12100504515422514405552143041334515302105403355134150514042135251043534304353431104530155443502555014x11502015243324313431235223301111310403532104403521313211314134102141450312552244420340x15045522053300533310002432555422513045240222135301141541234220414235023401053022551015510315041010112x11541004334203210323241041042243023232440500004411344535544425404424112320203312252123x10013153224335101433325431250001402350534205311513232120253331520504540333350412202432315043320423343x12012355242554114122054253155321314321340130450153403454231003050315324352324242153041x10200005215331425230500432300220152540215015115410101302550301131141043552244040405432303525103220551x12033104244411352114315404402225111554052534223252415410224144332424515454242043515523x11114105105131530045425031251022320315242324140043205355545215422005332004142553054004540401452002535x12324023202244453141302432430534413403152535335333151305524130542502133440020502502320x13204514213552520302501401520121151504421433333130543524405140411232215000022500304512014123000200354x12421325314202401422503140424204120352145225123131420122053214313513543051330151225241x15035121450534350534521414415010553431550203444332000032245145222524332131414021252055125132311255255x12530330403203105543453212342215044535105554113102202445404253142122241013412100233555x12432435231115323210012342123051323404142050553523220550541055145555050542015112101053002020204525023x13421452104130442022045115533240022125054435011045103340230444514415510300450105450024x15151055351501141041505403421252543551114505330214305523243520515234105104115435552030021312253510005x13504403020412423032445300114433041314413053244240315044350232435324125223513103045325x15555501324114515252040131341500314155015502030302201311445440502043142354300041030424132455353300354x14031411201112442315045240441554523425240002235015252402234121213352351344544000421441x14543501532001041500544253410555500111412400440510542321153550215113314514305303254442032124100001510x14555433100210441104452124004002311523240130023402023113411425403525141453521435111344x14255315205254013405434350450125400512510102243120232513311005550532523125055410131130432041441515155x15050110240450124552132453325443115352312245343523241130111440413121351000424023010334x14331452205430411210041340102511553014155024201045535410450511543014140411440415214212525330425510440x15441500530354211010543413554545220553305201512322541041410210354442022434144312231201x15034413511535555035350500433110353312401535153043055235314055330021555032542051554215510425021231023x15513402003242122043243121204101525310351441015301245212145320153221105025413334151553x15100150450234131310150543210552334015242535053012004420540232015355022051433320130304344205505054054x1ttt2ttt2 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])))