/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 00000111210211010312x133301200313220021332x100002113313131233120x131322213200003321220x100020210022221113200x120220231232203320023x100122310021001211320x100320232302110112232x100130333000313113301x132131031022200002201x100131323303321223332x113022030110201020232x100132220310301220312x100221320332210002010x100133022332120101020x100303031200100220002x100201032031003112012x102130213310022000222x100213221023322312021x123320203200020131223x100231001123200212322x101013000030203313322x100232101022331030110x112201232022022032202x100323310130030311110x113122322302200321221x100331212310103201022x101331320303332220300x101000102033111032002x103302312202220323230x101031301022033102322x100033032320131020123x101032301120031233122x122102132323220132302x101101301321000033220x122322323203103201303x101103122331023020023x110020233331023022103x101202112021200122010x101133201201020323303x101203222212222322301x120033022310300122202x101221022102331323320x121200300302100321030x101232120123203330031x101200333010213232333x101233033313322302032x132130000020200321202x102001001121012201322x120103221013333010032x102001011303021332130x102002221020201212011x102010012230112300323x120130010032103102202x102122113212212000203x113200131000232202211x102131022013323102222x101332313320300001202x102133203233021013032x132232010201320303201x102203302320210331133x120320322130223022132x102230131123000122313x131232320013211202302x102232112103030200203x102033022301002033331x102330332230300131302x102303320220210323332x102333121010012200201x121023110302220000023x103000320312022000111x130203320300232323223x103021320130023101030x102023320122032322232x103101300303323032302x112022220020000203202x103102120031333220103x120022323023210200133x103202201120333123311x121133010210300023330x103202213012333203300x103022032003022023013x103300232110010232120x132102000032331000022x103310221021333201002x122022322232122320001x110002123201021320130x102210011322032033023x110003130012220213100x120000220331110332023x110013223232320110132x120012122210323123022x110110031200000133320x122220122222212332220x110122000313220313030x132201230020202323313x110221211320001002320x121023302003030111320x110230033023001022121x102300121020130020103x110330102110232020230x122002333200223110230x111010020231023302033x121022020020113202310x111010210102303300201x133002022232110221220x111012311000210200022x123010003031132200100x111202310133022200002x113320002020110032230x111303333323102010020x103100032101302300232x112232222302032100331x100030323330222331202x112303120023213012311x133311213333203330230x112303303022200332110x130201230223012122020x112322101302333300020x102220220231230230201x113002010203321232133x122203001132232020212x113010302102001222032x122023021021000030100x113020312210002023012x103000221330022330012x113223232021332332302x121302210000200130220x120012210232202033113x131313000001210030020x120122320222211222220x123010132303210030330x120201212020203212010x101022033003023210002x120332000011322220131x121001023202212332200x121013023030233212323x103332223203331001023x121030311003222033322x122101230200202031312x121100223300302312012x112022123020003000211x121132220123010222232x120132202110303332033x121230130222330033033x112232332323000201220x121330322313022310100x120231301320101203010x122003130230122032231x121300013000330103000x122020210010022013212x122323030033001333002x122033332032031301110x112230103003222301013x122100100000332300211x100302031330212202223x122112230131020021320x122310000313331032232x122121002003002221002x120123303322012033002x122200011003030120231x113123323200203022300x123000102312020321323x131033200231230230002x123001112030123001002x103203301320321122030x123003103312320230120x132102010200000202033x123022203220213102102x102322030222002312323x123033033121202300232x121232301200223033002x130000301202333001131x113223233222030103200x130033303101222322001x122230013222300300201x130333001201322132220x102203331003101030003x131022330032032221130x100233222132001321230x131033212012032032002x101010202222023220322x131220101012222303202x122002002200130131120x131321002320332101222x110123022100100030003x132021203122033010022x103302303212001002332x132201011202132302020x110023002330221022010x132202032232230103310x100332202321020022032x133103220020213003121x110013001210033000302x133232103100103033022x132302020231312322021x133303220110000202201x110201000122000220030x12.100000111210211010312x133301200313220021332x100002113313131233120x131322213200003321220x100020210022221113200x120220231232203320023x100122310021001211320x100320232302110112232x100130333000313113301x132131031022200002201x100131323303321223332x113022030110201020232x100132220310301220312x100221320332210002010x100133022332120101020x100303031200100220002x100201032031003112012x102130213310022000222x100213221023322312021x123320203200020131223x100231001123200212322x101013000030203313322x100232101022331030110x112201232022022032202x100323310130030311110x113122322302200321221x100331212310103201022x101331320303332220300x101000102033111032002x103302312202220323230x101031301022033102322x100033032320131020123x101032301120031233122x122102132323220132302x101101301321000033220x122322323203103201303x101103122331023020023x110020233331023022103x101202112021200122010x101133201201020323303x101203222212222322301x120033022310300122202x101221022102331323320x121200300302100321030x101232120123203330031x101200333010213232333x101233033313322302032x132130000020200321202x102001001121012201322x120103221013333010032x102001011303021332130x102002221020201212011x102010012230112300323x120130010032103102202x102122113212212000203x113200131000232202211x102131022013323102222x101332313320300001202x102133203233021013032x132232010201320303201x102203302320210331133x120320322130223022132x102230131123000122313x131232320013211202302x102232112103030200203x102033022301002033331x102330332230300131302x102303320220210323332x102333121010012200201x121023110302220000023x103000320312022000111x130203320300232323223x103021320130023101030x102023320122032322232x103101300303323032302x112022220020000203202x103102120031333220103x120022323023210200133x103202201120333123311x121133010210300023330x103202213012333203300x103022032003022023013x103300232110010232120x132102000032331000022x103310221021333201002x122022322232122320001x110002123201021320130x102210011322032033023x110003130012220213100x120000220331110332023x110013223232320110132x120012122210323123022x110110031200000133320x122220122222212332220x110122000313220313030x132201230020202323313x110221211320001002320x121023302003030111320x110230033023001022121x102300121020130020103x110330102110232020230x122002333200223110230x111010020231023302033x121022020020113202310x111010210102303300201x133002022232110221220x111012311000210200022x123010003031132200100x111202310133022200002x113320002020110032230x111303333323102010020x103100032101302300232x112232222302032100331x100030323330222331202x112303120023213012311x133311213333203330230x112303303022200332110x130201230223012122020x112322101302333300020x102220220231230230201x113002010203321232133x122203001132232020212x113010302102001222032x122023021021000030100x113020312210002023012x103000221330022330012x113223232021332332302x121302210000200130220x120012210232202033113x131313000001210030020x120122320222211222220x123010132303210030330x120201212020203212010x101022033003023210002x120332000011322220131x121001023202212332200x121013023030233212323x103332223203331001023x121030311003222033322x122101230200202031312x121100223300302312012x112022123020003000211x121132220123010222232x120132202110303332033x121230130222330033033x112232332323000201220x121330322313022310100x120231301320101203010x122003130230122032231x121300013000330103000x122020210010022013212x122323030033001333002x122033332032031301110x112230103003222301013x122100100000332300211x100302031330212202223x122112230131020021320x122310000313331032232x122121002003002221002x120123303322012033002x122200011003030120231x113123323200203022300x123000102312020321323x131033200231230230002x123001112030123001002x103203301320321122030x123003103312320230120x132102010200000202033x123022203220213102102x102322030222002312323x123033033121202300232x121232301200223033002x130000301202333001131x113223233222030103200x130033303101222322001x122230013222300300201x130333001201322132220x102203331003101030003x131022330032032221130x100233222132001321230x131033212012032032002x101010202222023220322x131220101012222303202x122002002200130131120x131321002320332101222x110123022100100030003x132021203122033010022x103302303212001002332x132201011202132302020x110023002330221022010x132202032232230103310x100332202321020022032x133103220020213003121x110013001210033000302x133232103100103033022x132302020231312322021x133303220110000202201x110201000122000220030x1ttt2ttt2 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])))