/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 0011230213112011341322524223324134314324225514421131434202450420045202230332103044451032524321443213x11331344304105534020002024231040231032134023452240230333415112330451154403353251245420551135524540015x10013140341014444542134424202405200411235040344135534034252442120201251225424432131333453124213255003x15332300504431050255054110411245552300321315330055422451112555004040532145314053242213451522532105155x10025545350521341144141501223412154430054023025110010425313504521445043545240134501504543255512120035x15133433533553405515003212250142531455450000140312300210311225034320251125440524205022303030125041002x10121552344134404322123315433135431434205142025140124125312253310304520344102043344002231323020301101x11214212045120455214232520355401521305032152514243051414032403352021513403440022554154152120034025231x10132141421543040330201010543205535330331144225425313445121544535404242424105533224234350005413152355x14541430550042452342403450522541330540011400210253130132432210324123355000315052045452351300115541135x10532211141113101200522152353321140314442451342114513153420535313422411312113554505142542545320553430x14502350411100233002102552311224140354332102510115323430345331324131142441203003252345535133142502050x10534421332411335310112034125335554054032525541513252354422130224045300033210300144113341114031310140x13435003150432055211215412353233003423540352251304035113343422052103122333505324102141105544001331011x11025235010550240351204224351442340011424220324233444504105441455225413231500212223415113013152102445x13211021532031003400003340450033415234112345313435251522403525302544115243235005510445303323125512411x11251210200510031431421413503105251412021300122314130152420014115554222053222205121220540552551443150x12344445203511231401104111233304431424335302315245423340312352121542504341220450023332024020332413153x11302342001154450401144552034555512125200503252244221542143450151033314553041213023122153310334145105x10004144245550423002350523351133145442000513021424004134043055245151222013544005024354101110242321513x11404111004502541531054535204234041425410500103535520230121404004403354454530321402143052432405525514x15131542500535141035311245432141433411304453444542113524541141255141051130300250341325054045305231304x11455501341051451425230553235131140054432502512141200432311010154434500313050405530215542410354344511x14420511434403330351315045324202244032514005433004040042152532513234305504552345252534304054452242454x12104555034131520055214554345135141313331220212204302540225225020210025305221552421014323034304115423x13232204353235032105314035441451242510041151335024213015530111421040130110335020411554012425152130052x12423102050332225231523055534411235150422115202415342141005001055305404533232201521405124303052114541x15501351031153221324550311151322315311550100330132453153430521553455445204410415232303031214352210441x13401430332414251014004503530043315112413042321025251355521153024312354043321221431124234311450052321x13242123001001300304051220214035233035025200225003241023041243542222240023102322102105434300353421145x14132210342345235041414402350040314103521241235251510020252505153130231513323255544214145401305301422x15442053350254235230022341244032040033140305421041050034131435010550104525223533552412255534554345552x14432025215113111210132104005000000302343411515111402541451233145435500515143011212434312320310411145x13032410034230443453311234414114214230231500544301412152525424235530515203524553025355053230433542020x15315043051041120324134523545221233335345214332144154201013431104502535211532324403024322530013205243x12210423010051151303544453001353250245303314154025214302312233534521550425551433051521543042353224323x15410403400423235043145500400213134235343334224114113114341210215131311511120521312015313204034535052x12525003543542544001154400331521431235040042335405551521510203023111104332055121244235345104543321334x15442502435123411101152540042004411140134031221423453225150430444424032521041441451150131223040442445x14403313244244025541343125415034534524111543223014413411222005030531024205410430143545225521343305303x12.10011230213112011341322524223324134314324225514421131434202450420045202230332103044451032524321443213x11331344304105534020002024231040231032134023452240230333415112330451154403353251245420551135524540015x10013140341014444542134424202405200411235040344135534034252442120201251225424432131333453124213255003x15332300504431050255054110411245552300321315330055422451112555004040532145314053242213451522532105155x10025545350521341144141501223412154430054023025110010425313504521445043545240134501504543255512120035x15133433533553405515003212250142531455450000140312300210311225034320251125440524205022303030125041002x10121552344134404322123315433135431434205142025140124125312253310304520344102043344002231323020301101x11214212045120455214232520355401521305032152514243051414032403352021513403440022554154152120034025231x10132141421543040330201010543205535330331144225425313445121544535404242424105533224234350005413152355x14541430550042452342403450522541330540011400210253130132432210324123355000315052045452351300115541135x10532211141113101200522152353321140314442451342114513153420535313422411312113554505142542545320553430x14502350411100233002102552311224140354332102510115323430345331324131142441203003252345535133142502050x10534421332411335310112034125335554054032525541513252354422130224045300033210300144113341114031310140x13435003150432055211215412353233003423540352251304035113343422052103122333505324102141105544001331011x11025235010550240351204224351442340011424220324233444504105441455225413231500212223415113013152102445x13211021532031003400003340450033415234112345313435251522403525302544115243235005510445303323125512411x11251210200510031431421413503105251412021300122314130152420014115554222053222205121220540552551443150x12344445203511231401104111233304431424335302315245423340312352121542504341220450023332024020332413153x11302342001154450401144552034555512125200503252244221542143450151033314553041213023122153310334145105x10004144245550423002350523351133145442000513021424004134043055245151222013544005024354101110242321513x11404111004502541531054535204234041425410500103535520230121404004403354454530321402143052432405525514x15131542500535141035311245432141433411304453444542113524541141255141051130300250341325054045305231304x11455501341051451425230553235131140054432502512141200432311010154434500313050405530215542410354344511x14420511434403330351315045324202244032514005433004040042152532513234305504552345252534304054452242454x12104555034131520055214554345135141313331220212204302540225225020210025305221552421014323034304115423x13232204353235032105314035441451242510041151335024213015530111421040130110335020411554012425152130052x12423102050332225231523055534411235150422115202415342141005001055305404533232201521405124303052114541x15501351031153221324550311151322315311550100330132453153430521553455445204410415232303031214352210441x13401430332414251014004503530043315112413042321025251355521153024312354043321221431124234311450052321x13242123001001300304051220214035233035025200225003241023041243542222240023102322102105434300353421145x14132210342345235041414402350040314103521241235251510020252505153130231513323255544214145401305301422x15442053350254235230022341244032040033140305421041050034131435010550104525223533552412255534554345552x14432025215113111210132104005000000302343411515111402541451233145435500515143011212434312320310411145x13032410034230443453311234414114214230231500544301412152525424235530515203524553025355053230433542020x15315043051041120324134523545221233335345214332144154201013431104502535211532324403024322530013205243x12210423010051151303544453001353250245303314154025214302312233534521550425551433051521543042353224323x15410403400423235043145500400213134235343334224114113114341210215131311511120521312015313204034535052x12525003543542544001154400331521431235040042335405551521510203023111104332055121244235345104543321334x15442502435123411101152540042004411140134031221423453225150430444424032521041441451150131223040442445x14403313244244025541343125415034534524111543223014413411222005030531024205410430143545225521343305303x1ttt2ttt2 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])))