/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 001200121020020212x1000122001010222102x1010101303031020010x1003010203010311010x1010200110133210211x1022130030111100211x1012000213003113313x1000002013231311313x1013131033010300122x1030113001102033132x1013210132201021323x1030212321200211313x1020330002020030300x1000320002320000330x1021011301202010132x1221113000002230111x1022203312030030131x1023000322111303032x1023003201001103001x1003300002121100301x1023131312123102331x1013211330221133321x1030301303030130312x1003331103030030312x1031322312131231333x1231333213123011233x1032023120033120233x1032021332020210333x1033100133121020323x1000110333323201312x1033133020002030301x1000023330312003301x1101112102300112113x1101221001111011233x1103110233003232031x1112302230001033331x1112011311211013331x1111311311103302211x1112312132112120031x1111310101233122221x1113031001330130112x1111300011110332303x1120121211331002103x1011112113310222003x1120211313333232210x1123221323011233310x1121310210023221220x1122111003322222100x1131021010013201312x1101112021100310233x1131220121202112121x1121112221031220211x1200203121013100232x1201100132123022003x1201032111331201311x1303111102113322011x1201323223132313013x1211230302131233323x1202023233203121312x1332302002112212332x1202031203013130031x1333023202010013101x1203033010201302320x1321230221300030030x1203223131123100312x1201011123233132302x1210113121221121111x1221301111121122111x1212001232322010310x1222113223012300010x1213121210313002203x1300233101220211123x1213131331232312332x1213232321231331133x1213221211001131023x1331121222120001113x1213312302022002323x1223200302112203233x1220231032200133221x1302212222130003231x1220301222221031131x1230230011122213221x1221020220232331202x1223013320212202202x1221120220210330302x1221300222011203302x1221223103003032331x1222333021331030021x1231211210002230313x1220020112310213313x1231311302310321323x1230332031122331113x1231312011211300122x1321122300111102213x1232332302203302323x1223323232233030023x1233023203030132103x1233230100033022133x1300131133021301022x1311302300111030232x1300201201322101312x1310022302132100112x1300320212222031202x1302121223222000032x1301303332120122020x1233211300302221300x1302110120223103101x1223203311201011001x1302123310133120031x1303323110231102301x1302230013002012222x1323320000022121022x1302231133013012113x1201121133001133332x1303201213312121322x1322120130311231322x1303322321313203132x1321231023321333023x1310211200013310310x1310232313001100011x1311120220031133112x1320111131123031022x1311122031312010332x1301313321112210032x1311131212131220331x1311012112332111233x1311313022300203032x1201132200010332333x1312030212303103013x1201303321003021313x1312230222022203133x1322110302232203223x1313232310221303333x1323103333011232323x1320031303323301013x1302023313330300113x1321201031312113121x1120023312213131111x1321213100013020103x1332101200003112103x1321220103123120313x1221113300123312203x1321231222121030031x1212123320122303011x1322013133131313132x1331311322312031133x1322121212231321212x1232122223211213112x1323101222013001302x1320000332121312021x1323321022210123122x1301123021322321222x1330210210210213220x1220010023231221130x1331133130200120023x1211000233321030133x1331201313233110213x1223333110301111323x1333310201301323031x1330101033310332231x12.1001200121020020212x1000122001010222102x1010101303031020010x1003010203010311010x1010200110133210211x1022130030111100211x1012000213003113313x1000002013231311313x1013131033010300122x1030113001102033132x1013210132201021323x1030212321200211313x1020330002020030300x1000320002320000330x1021011301202010132x1221113000002230111x1022203312030030131x1023000322111303032x1023003201001103001x1003300002121100301x1023131312123102331x1013211330221133321x1030301303030130312x1003331103030030312x1031322312131231333x1231333213123011233x1032023120033120233x1032021332020210333x1033100133121020323x1000110333323201312x1033133020002030301x1000023330312003301x1101112102300112113x1101221001111011233x1103110233003232031x1112302230001033331x1112011311211013331x1111311311103302211x1112312132112120031x1111310101233122221x1113031001330130112x1111300011110332303x1120121211331002103x1011112113310222003x1120211313333232210x1123221323011233310x1121310210023221220x1122111003322222100x1131021010013201312x1101112021100310233x1131220121202112121x1121112221031220211x1200203121013100232x1201100132123022003x1201032111331201311x1303111102113322011x1201323223132313013x1211230302131233323x1202023233203121312x1332302002112212332x1202031203013130031x1333023202010013101x1203033010201302320x1321230221300030030x1203223131123100312x1201011123233132302x1210113121221121111x1221301111121122111x1212001232322010310x1222113223012300010x1213121210313002203x1300233101220211123x1213131331232312332x1213232321231331133x1213221211001131023x1331121222120001113x1213312302022002323x1223200302112203233x1220231032200133221x1302212222130003231x1220301222221031131x1230230011122213221x1221020220232331202x1223013320212202202x1221120220210330302x1221300222011203302x1221223103003032331x1222333021331030021x1231211210002230313x1220020112310213313x1231311302310321323x1230332031122331113x1231312011211300122x1321122300111102213x1232332302203302323x1223323232233030023x1233023203030132103x1233230100033022133x1300131133021301022x1311302300111030232x1300201201322101312x1310022302132100112x1300320212222031202x1302121223222000032x1301303332120122020x1233211300302221300x1302110120223103101x1223203311201011001x1302123310133120031x1303323110231102301x1302230013002012222x1323320000022121022x1302231133013012113x1201121133001133332x1303201213312121322x1322120130311231322x1303322321313203132x1321231023321333023x1310211200013310310x1310232313001100011x1311120220031133112x1320111131123031022x1311122031312010332x1301313321112210032x1311131212131220331x1311012112332111233x1311313022300203032x1201132200010332333x1312030212303103013x1201303321003021313x1312230222022203133x1322110302232203223x1313232310221303333x1323103333011232323x1320031303323301013x1302023313330300113x1321201031312113121x1120023312213131111x1321213100013020103x1332101200003112103x1321220103123120313x1221113300123312203x1321231222121030031x1212123320122303011x1322013133131313132x1331311322312031133x1322121212231321212x1232122223211213112x1323101222013001302x1320000332121312021x1323321022210123122x1301123021322321222x1330210210210213220x1220010023231221130x1331133130200120023x1211000233321030133x1331201313233110213x1223333110301111323x1333310201301323031x1330101033310332231x1ttt2ttt2 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])))