/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 00000121003013232233x101202100102330300300x100001033213203131211x103212103303100100110x100020312213031321233x133003200030200022013x100111302103201003233x131330311213023100113x100203213010130012302x112200030231003110003x100333221201131010213x100302021120211100311x101030301002320022112x100011012130320122133x101103133001331221313x130311000110013000031x101131100321013012322x103233000200000133323x101132331200031100311x100030032301212130110x101203100221130030112x100012133131303130300x101203301102122120123x102221302022101230312x101220133200030220210x103123131133020102031x101313000231100123012x101211120323101003003x102001001001312020112x101130003000301113312x102010013130020110100x103101300313100121030x102032023121122030020x103020312032033210022x102033021201312302112x110333013121132230302x102320310130103003020x103133310002300002031x103012232203002001021x133003130233200133030x103121333121003101023x110310020022103010302x103310002021313223023x101021031003320121012x103310220310103222231x113011100023120113003x110100320332331102132x113111112131320010213x110113312013122130301x111331020233103000020x110200132113033301111x111123200000333300020x110202111033000213303x103003131013103102122x110310110232131133212x120313301310120210331x110321320233321300222x121020200322002221310x110323121002313203103x121200113100312031302x111003032122001020223x121313000312011333310x111032010120132203020x131233101200003133210x111121102031301000022x103221303221313020003x111200322021200201332x133103232010112101103x112013203321011300132x131003012112231030103x112023121300001101133x100300022020330201113x112111031200222210111x121202032130213033220x112210000030122122103x113300320200121013000x112210321032201322132x111010321120313303201x112233003332031032021x102020031321321231002x112312310000323201023x100131200220231031131x113011032021113102032x101101033030313133131x113012212003121223103x102320000032201012031x113030102201213022102x110303011131121020012x113101033332211001022x103222201302100030032x113111200111121200003x113032030013121330212x113113110113021000233x103100320330230311203x113210220200311331130x110100203021020101111x120012210100331113133x122033300302030003023x120113013113120210330x111311130200201020010x120200020000021023101x112000030103031200001x120201323330300203101x102230311211312130031x120211012201331000310x103112133111031013020x121002112012103132333x132203120131020311312x121010232310100103001x111320302311031030003x121032012032132032310x121301130320210301221x121113030120110100223x103300333221030001321x123032210032232133102x122013103232313032002x123322221303210332012x132023323320003130131x130011233113232003012x110013203021301110202x130020312311323311012x133101223313020323033x130021312222003203132x130102303011110100223x130023332210111113311x110300002221332002301x130033132000132202311x131333021013032110300x130113020210103130123x100301030310211102033x130121132233303033300x131100100111123013213x130122021132303111023x132000032322303131011x130130201323202112133x103133013032021032023x130220112002003210201x131310233303321130301x130231221012313021010x131102110011201102001x130233133000210233123x103111112120100003112x130301120123303321323x132002110131133231332x130302323121300012322x102031333001322131133x130331132103323002022x132123131112003303132x131030032032221003320x102110001030020020300x131103032311210021333x102010302100003230103x131212021013121012133x100020013202213031313x131213231321023101023x131121120313111021022x131301201121203131110x101203213132000300002x131311120103132302002x130213311030102210133x131320322022003313032x130001212002001320100x132011120012012230003x111113132300030030021x132031132213033231033x102130011100203033313x132132023120120032130x102300013130332011331x132203222221231003033x132313121111220021300x132222021113032010001x123221313030012310301x132302033003202200210x122320010311003210100x132303300113112001200x132120011031021020110x132323320201000001300x111030332001020010003x133100000022112330223x100312000331100300103x133111110123123303132x131203313300031122232x133201102131213023313x131203100031201023212x133210123121301330133x121321010003011301202x133212132201200330033x132013001033121302100x133221312000203132200x130000013332013113000x133223132230002121201x122303101231303300221x133230003013320230031x122000033100002100320x133321131012321011103x133301003323031313210x133332200230001100022x100103100033011011021x12.100000121003013232233x101202100102330300300x100001033213203131211x103212103303100100110x100020312213031321233x133003200030200022013x100111302103201003233x131330311213023100113x100203213010130012302x112200030231003110003x100333221201131010213x100302021120211100311x101030301002320022112x100011012130320122133x101103133001331221313x130311000110013000031x101131100321013012322x103233000200000133323x101132331200031100311x100030032301212130110x101203100221130030112x100012133131303130300x101203301102122120123x102221302022101230312x101220133200030220210x103123131133020102031x101313000231100123012x101211120323101003003x102001001001312020112x101130003000301113312x102010013130020110100x103101300313100121030x102032023121122030020x103020312032033210022x102033021201312302112x110333013121132230302x102320310130103003020x103133310002300002031x103012232203002001021x133003130233200133030x103121333121003101023x110310020022103010302x103310002021313223023x101021031003320121012x103310220310103222231x113011100023120113003x110100320332331102132x113111112131320010213x110113312013122130301x111331020233103000020x110200132113033301111x111123200000333300020x110202111033000213303x103003131013103102122x110310110232131133212x120313301310120210331x110321320233321300222x121020200322002221310x110323121002313203103x121200113100312031302x111003032122001020223x121313000312011333310x111032010120132203020x131233101200003133210x111121102031301000022x103221303221313020003x111200322021200201332x133103232010112101103x112013203321011300132x131003012112231030103x112023121300001101133x100300022020330201113x112111031200222210111x121202032130213033220x112210000030122122103x113300320200121013000x112210321032201322132x111010321120313303201x112233003332031032021x102020031321321231002x112312310000323201023x100131200220231031131x113011032021113102032x101101033030313133131x113012212003121223103x102320000032201012031x113030102201213022102x110303011131121020012x113101033332211001022x103222201302100030032x113111200111121200003x113032030013121330212x113113110113021000233x103100320330230311203x113210220200311331130x110100203021020101111x120012210100331113133x122033300302030003023x120113013113120210330x111311130200201020010x120200020000021023101x112000030103031200001x120201323330300203101x102230311211312130031x120211012201331000310x103112133111031013020x121002112012103132333x132203120131020311312x121010232310100103001x111320302311031030003x121032012032132032310x121301130320210301221x121113030120110100223x103300333221030001321x123032210032232133102x122013103232313032002x123322221303210332012x132023323320003130131x130011233113232003012x110013203021301110202x130020312311323311012x133101223313020323033x130021312222003203132x130102303011110100223x130023332210111113311x110300002221332002301x130033132000132202311x131333021013032110300x130113020210103130123x100301030310211102033x130121132233303033300x131100100111123013213x130122021132303111023x132000032322303131011x130130201323202112133x103133013032021032023x130220112002003210201x131310233303321130301x130231221012313021010x131102110011201102001x130233133000210233123x103111112120100003112x130301120123303321323x132002110131133231332x130302323121300012322x102031333001322131133x130331132103323002022x132123131112003303132x131030032032221003320x102110001030020020300x131103032311210021333x102010302100003230103x131212021013121012133x100020013202213031313x131213231321023101023x131121120313111021022x131301201121203131110x101203213132000300002x131311120103132302002x130213311030102210133x131320322022003313032x130001212002001320100x132011120012012230003x111113132300030030021x132031132213033231033x102130011100203033313x132132023120120032130x102300013130332011331x132203222221231003033x132313121111220021300x132222021113032010001x123221313030012310301x132302033003202200210x122320010311003210100x132303300113112001200x132120011031021020110x132323320201000001300x111030332001020010003x133100000022112330223x100312000331100300103x133111110123123303132x131203313300031122232x133201102131213023313x131203100031201023212x133210123121301330133x121321010003011301202x133212132201200330033x132013001033121302100x133221312000203132200x130000013332013113000x133223132230002121201x122303101231303300221x133230003013320230031x122000033100002100320x133321131012321011103x133301003323031313210x133332200230001100022x100103100033011011021x1ttt2ttt2 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])))