/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 000233222221300212x1030220103012322222x1001120131322300033x1033211020000321313x1001220021002322220x1021301020202022220x1001300111123132113x1033012021110131113x1001300200203122100x1031030102202010020x1002110030133331200x1031300023132031100x1002210113333002101x1000313213113220001x1003000203301121100x1000120110233030100x1003001332102113212x1330120220103011312x1003121230132230220x1033022221200231310x1003210312102101101x1320200011110131201x1003322001300121210x1020311020332001210x1010011132232210113x1320131111322110200x1010103121232321123x1302212030322111113x1010112010132011210x1300110112110211020x1010121102103112213x1220203321111111010x1011103002122112230x1220022130031111120x1011112032312013331x1232320300311111131x1012001313003331200x1313110231200003030x1012332230232100332x1330220231322020331x1023000132333011333x1033110023333300123x1023002112003112030x1023231020301200110x1030332200220302210x1033031232202020020x1031033222103301102x1313020203031131202x1031132111230002120x1012020121313312010x1031301013211212333x1303133221101310123x1032001103123123230x1023012311312032300x1032221220103001222x1020203201223221012x1032320210000302110x1010300230010222310x1033010310110011201x1310020311110030101x1033023002100032112x1320321102003100032x1033110321003011210x1031311102213031000x1100211012232101020x1101010220223110120x1100313333222120022x1131203010220233232x1101011213200313032x1131103003202131012x1101120301103121223x1131131112210020023x1103111120011301001x1103111000011311021x1111232301113012102x1110321111102331022x1112210121301200111x1110232121002011111x1112223211123333313x1112312233113132323x1120303221011121212x1131101312120222021x1122121121110101032x1120201211111110223x1122233011223231230x1122303223113132220x1130112323201132232x1122232032023111313x1131132211033233333x1131311332132203333x1132010132030333122x1123110023313003322x1133232130113321112x1131211232130313132x1201202120012000322x1202201001301222002x1210232002322130002x1210223000022331202x1212021002112321132x1202012220321211131x1213011313213321223x1231312211123331023x1222212312223022022x1222312310222022222x1230210012333222130x1230313213201202230x1231321221301230012x1213222313111002032x1232232211301203213x1223210231332211023x1232302211221212123x1222202122121231313x1300133331120112133x1013121331030213313x1301321233303133230x1333312312333013020x1301322123121322123x1222312132013113223x1302111301212033200x1000222131311310230x1303033321331200012x1002333333310201012x1303211122230113012x1223232013031111102x1313221201313012031x1022312331023113011x1320213002332223330x1333130222332320020x1320321130301123131x1011333111302032231x1320331212130323220x1333311022232232010x1321101323020122020x1031100232231120220x1321122121123221303x1322131312220221113x1322221133210323333x1322213231103232333x1323201003332000200x1330023130200032200x1323221331102013331x1331330223132110231x1330320233003032302x1333203302302030302x1330321220130122030x1202333222000311130x1331033310331212133x1302231311333313103x1332112120101313200x1301213111021020323x1332113213130102202x1203220213313113102x1332131101121311201x1331013111112023112x1332313221311301013x1033132231021313113x1333113221221123023x1322331111032222133x1333222113332311322x1332311331132223322x12.1000233222221300212x1030220103012322222x1001120131322300033x1033211020000321313x1001220021002322220x1021301020202022220x1001300111123132113x1033012021110131113x1001300200203122100x1031030102202010020x1002110030133331200x1031300023132031100x1002210113333002101x1000313213113220001x1003000203301121100x1000120110233030100x1003001332102113212x1330120220103011312x1003121230132230220x1033022221200231310x1003210312102101101x1320200011110131201x1003322001300121210x1020311020332001210x1010011132232210113x1320131111322110200x1010103121232321123x1302212030322111113x1010112010132011210x1300110112110211020x1010121102103112213x1220203321111111010x1011103002122112230x1220022130031111120x1011112032312013331x1232320300311111131x1012001313003331200x1313110231200003030x1012332230232100332x1330220231322020331x1023000132333011333x1033110023333300123x1023002112003112030x1023231020301200110x1030332200220302210x1033031232202020020x1031033222103301102x1313020203031131202x1031132111230002120x1012020121313312010x1031301013211212333x1303133221101310123x1032001103123123230x1023012311312032300x1032221220103001222x1020203201223221012x1032320210000302110x1010300230010222310x1033010310110011201x1310020311110030101x1033023002100032112x1320321102003100032x1033110321003011210x1031311102213031000x1100211012232101020x1101010220223110120x1100313333222120022x1131203010220233232x1101011213200313032x1131103003202131012x1101120301103121223x1131131112210020023x1103111120011301001x1103111000011311021x1111232301113012102x1110321111102331022x1112210121301200111x1110232121002011111x1112223211123333313x1112312233113132323x1120303221011121212x1131101312120222021x1122121121110101032x1120201211111110223x1122233011223231230x1122303223113132220x1130112323201132232x1122232032023111313x1131132211033233333x1131311332132203333x1132010132030333122x1123110023313003322x1133232130113321112x1131211232130313132x1201202120012000322x1202201001301222002x1210232002322130002x1210223000022331202x1212021002112321132x1202012220321211131x1213011313213321223x1231312211123331023x1222212312223022022x1222312310222022222x1230210012333222130x1230313213201202230x1231321221301230012x1213222313111002032x1232232211301203213x1223210231332211023x1232302211221212123x1222202122121231313x1300133331120112133x1013121331030213313x1301321233303133230x1333312312333013020x1301322123121322123x1222312132013113223x1302111301212033200x1000222131311310230x1303033321331200012x1002333333310201012x1303211122230113012x1223232013031111102x1313221201313012031x1022312331023113011x1320213002332223330x1333130222332320020x1320321130301123131x1011333111302032231x1320331212130323220x1333311022232232010x1321101323020122020x1031100232231120220x1321122121123221303x1322131312220221113x1322221133210323333x1322213231103232333x1323201003332000200x1330023130200032200x1323221331102013331x1331330223132110231x1330320233003032302x1333203302302030302x1330321220130122030x1202333222000311130x1331033310331212133x1302231311333313103x1332112120101313200x1301213111021020323x1332113213130102202x1203220213313113102x1332131101121311201x1331013111112023112x1332313221311301013x1033132231021313113x1333113221221123023x1322331111032222133x1333222113332311322x1332311331132223322x1ttt2ttt2 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])))