/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 003310201310103100x1012010013300313100x1010330332312031121x1013033330131220211x1020200031133003022x1030223000001323012x1022001030231012203x1000231301020102223x1030021102332031101x1002333101010132201x1030131002121230300x1033202011013201300x1030212303100111012x1002013320131201110x1031011210011131103x1030123300111110111x1031020213211202012x1002210113012223102x1031103210210001033x1023320001001131013x1031310320103303213x1033310230123301103x1032020131102030313x1300132013013202013x1032100312113013130x1013312101013332010x1033002200223103321x1021033322002200331x1101003103010302320x1133112230000030010x1101203122321120310x1113302201221110320x1101302310211031200x1132102331011012000x1102032102330322112x1133221201000312322x1110102231210313123x1111320132012023311x1110201301123110103x1113010011133010122x1111311012113020212x1111210132011132012x1113233331131033133x1111033313311233333x1121002122101100321x1110120120102223011x1121200311121302003x1102222110010011333x1123010133123101102x1123211111130003320x1123230023003212203x1101232200033220233x1123231002231322102x1132213320210132202x1130030133132110111x1113001132300331111x1130123131232232230x1133202231311322320x1131101111310213131x1131211111130011331x1132012233232312322x1131332012233232222x1133103203122331222x1133222202311333102x1201323033020213200x1231022200133323000x1202013131022303320x1311201032333200220x1202022231200101000x1200210132000122200x1203110033002032130x1220300301130330120x1210223010201020231x1210012223013020021x1210331223203203032x1323320010133202322x1211011001320012131x1211111201010002331x1212032023003010302x1000031230212033202x1212131100333020123x1020111013231023233x1220302213223120210x1222001213322130220x1221210031033132333x1202113203301313233x1230312023102332032x1202220300332331132x1230323031031312223x1322322003101331323x1231012033102113321x1203101123330113221x1231012110021213100x1232111120012110300x1231130320213211221x1220213221320113311x1232033310203110010x1000001133332321120x1232110100230210010x1220010001113232010x1232110101300221303x1223100002323011113x1233121213310212023x1201113213210323223x1301011212021213101x1310123212211110001x1302010033020033020x1200013202303000330x1302033123321123110x1312233312320031110x1303023032323102132x1222331331300020332x1303203300312012001x1320023120303301001x1310210101201231301x1310221130113201001x1310301131310023030x1323033111300001130x1311031120211330320x1011211133323132000x1312312100131032122x1323021121313210012x1312322300230303033x1203332000033212333x1312332123233213033x1222333331133202133x1313102030123312303x1132030123311332003x1313102301103203020x1320031013322010310x1313230011313032300x1311101323330323000x1313230313112111031x1302111013333121131x1321231312103303131x1300133111233221331x1321321130123122031x1320131123211332201x1321322023131212301x1330211012223332211x1322032323122103221x1323012022312232231x1331011330313031313x1333113301133133001x1331021230000103110x1331130002211010030x1331211332113102133x1313320111113132233x1331302213023300230x1323002301331023320x1332121303220301321x1330122321331302201x1332133310300323302x1333333100002331322x1332231322313212113x1333112222333111223x1332233132302320333x1332332202333023133x1333021311112331013x1311113020111332333x12.1003310201310103100x1012010013300313100x1010330332312031121x1013033330131220211x1020200031133003022x1030223000001323012x1022001030231012203x1000231301020102223x1030021102332031101x1002333101010132201x1030131002121230300x1033202011013201300x1030212303100111012x1002013320131201110x1031011210011131103x1030123300111110111x1031020213211202012x1002210113012223102x1031103210210001033x1023320001001131013x1031310320103303213x1033310230123301103x1032020131102030313x1300132013013202013x1032100312113013130x1013312101013332010x1033002200223103321x1021033322002200331x1101003103010302320x1133112230000030010x1101203122321120310x1113302201221110320x1101302310211031200x1132102331011012000x1102032102330322112x1133221201000312322x1110102231210313123x1111320132012023311x1110201301123110103x1113010011133010122x1111311012113020212x1111210132011132012x1113233331131033133x1111033313311233333x1121002122101100321x1110120120102223011x1121200311121302003x1102222110010011333x1123010133123101102x1123211111130003320x1123230023003212203x1101232200033220233x1123231002231322102x1132213320210132202x1130030133132110111x1113001132300331111x1130123131232232230x1133202231311322320x1131101111310213131x1131211111130011331x1132012233232312322x1131332012233232222x1133103203122331222x1133222202311333102x1201323033020213200x1231022200133323000x1202013131022303320x1311201032333200220x1202022231200101000x1200210132000122200x1203110033002032130x1220300301130330120x1210223010201020231x1210012223013020021x1210331223203203032x1323320010133202322x1211011001320012131x1211111201010002331x1212032023003010302x1000031230212033202x1212131100333020123x1020111013231023233x1220302213223120210x1222001213322130220x1221210031033132333x1202113203301313233x1230312023102332032x1202220300332331132x1230323031031312223x1322322003101331323x1231012033102113321x1203101123330113221x1231012110021213100x1232111120012110300x1231130320213211221x1220213221320113311x1232033310203110010x1000001133332321120x1232110100230210010x1220010001113232010x1232110101300221303x1223100002323011113x1233121213310212023x1201113213210323223x1301011212021213101x1310123212211110001x1302010033020033020x1200013202303000330x1302033123321123110x1312233312320031110x1303023032323102132x1222331331300020332x1303203300312012001x1320023120303301001x1310210101201231301x1310221130113201001x1310301131310023030x1323033111300001130x1311031120211330320x1011211133323132000x1312312100131032122x1323021121313210012x1312322300230303033x1203332000033212333x1312332123233213033x1222333331133202133x1313102030123312303x1132030123311332003x1313102301103203020x1320031013322010310x1313230011313032300x1311101323330323000x1313230313112111031x1302111013333121131x1321231312103303131x1300133111233221331x1321321130123122031x1320131123211332201x1321322023131212301x1330211012223332211x1322032323122103221x1323012022312232231x1331011330313031313x1333113301133133001x1331021230000103110x1331130002211010030x1331211332113102133x1313320111113132233x1331302213023300230x1323002301331023320x1332121303220301321x1330122321331302201x1332133310300323302x1333333100002331322x1332231322313212113x1333112222333111223x1332233132302320333x1332332202333023133x1333021311112331013x1311113020111332333x1ttt2ttt2 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])))