/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 00x110202x100x1023402x103x10232x103x120213x103x123022x103x1022232x1000x10200x1004x1240032x1005x10520x1013x132210x1030x1202340x1043x13024x1043x1102134x1043x1224340x1045x1240525x1045x1532440x1050x105240x1050x1502320x1053x1325320x1100x1102502x1103x1213052x1104x130214x1104x1212140x1300x13020x1303x13023x1303x133220x1304x122340x1304x1234203x1304x1552403x1334x1321324x1350x1351021x1404x102440x1404x1140240x10043x1300214x10053x1052503x10103x121030x10110x1210012x10400x1040210x10413x1214203x10453x143250x10453x1435024x10504x150024x10553x123550x11304x140123x14035x1523420x100104x1000142x100553x1050325x130434x1303424x133045x1145303x134203x1230234x12.100x120201x100x1204320x130x12320x130x131202x130x122032x130x1232220x1000x10020x1400x1230042x1500x10250x1310x101223x1030x1043202x1340x14203x1340x1431201x1340x1043422x1540x1525042x1540x1044235x1050x104250x1050x1023205x1350x1023523x1001x1205201x1301x1250312x1401x141203x1401x1041212x1003x10203x1303x13203x1303x102233x1403x104322x1403x1302432x1403x1304255x1433x1423123x1053x1120153x1404x104420x1404x1042041x13400x1412003x13500x1305250x13010x103012x10110x1210012x10040x1012040x13140x1302412x13540x105234x13540x1420534x14050x142005x13550x105532x14031x132104x15304x1024325x140100x1241000x135500x1523050x143403x1424303x154033x1303541x130243x1432032x100x101x100x10201x100x1320x100x14320x100x104320x130x1320x130x102x130x131202x130x132x130x1032x130x132220x1000x1020x1000x10020x1400x142x1400x1042x1400x10042x1400x130042x1500x150x1500x10250x1310x13x1310x101223x1030x102x1030x13202x1030x143202x1030x1043202x1340x13x1340x103x1340x14203x1340x101x1340x131201x1340x1431201x1340x1422x1340x13422x1340x143422x1340x1043422x1540x142x1540x1042x1540x15042x1540x1525042x1540x15x1540x135x1540x14235x1540x144235x1540x1044235x1050x14250x1050x104250x1050x15x1050x105x1050x13205x1050x1023205x1350x13x1350x1523x1350x13523x1350x1023523x1001x15201x1001x105201x1301x1312x1301x10312x1301x150312x1401x13x1401x103x1401x141203x1401x141212x1401x1041212x1003x10203x1303x13203x1303x133x1303x102233x1403x1322x1403x14322x1403x104322x1403x132x1403x1432x1403x102432x1403x1302432x1403x15x1403x155x1403x14255x1403x104255x1403x1304255x1433x13123x1433x1423123x1053x10153x1404x10x1404x1420x1404x14420x1404x104420x1404x141x1404x1041x1404x142041x1404x1042041x13400x13x13400x103x13400x1003x13400x1412003x13500x150x13500x15250x13500x105250x13500x1305250x13010x1012x13010x13012x13010x103012x10110x1012x10110x10012x10040x1012040x13140x1412x13140x102412x13140x1302412x13540x14x13540x134x13540x15234x13540x105234x13540x1534x13540x10534x13540x1420534x14050x15x14050x105x14050x1005x14050x142005x13550x132x13550x1532x13550x15532x13550x105532x14031x14x14031x104x14031x132104x15304x15x15304x1325x15304x14325x15304x1024325x140100x1000x140100x141000x135500x150x135500x1050x135500x13050x135500x1523050x143403x1303x143403x14303x143403x1424303x154033x141x154033x1541x154033x13541x154033x103541x154033x1303541x130243x132x130243x1032x130243x132032x130243x1432032x1true5304x15x154033x1303541x1303x133x135500x13050x13010x103012x1050x105x1050x15x1540x135x135500x1050x13540x10534x13540x1534x1540x15x13540x134x13540x14x143403x14303x143403x1303x1310x13x13400x103x13400x13x1350x13x1340x103x1340x13x14031x104x14031x14x14050x105x14050x15x1404x10x1403x155x1403x15x1401x103x1401x13x1400x130042x1true12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411515111041210311100121051110311104121011110210100121135500x13050x100x120201x100x1204320x130x12320x130x131202x130x122032x130x1232220x1000x10020x1400x1230042x1500x10250x1310x101223x1030x1043202x1340x14203x1340x1431201x1340x1043422x1540x1525042x1540x1044235x1050x104250x1050x1023205x1350x1023523x1001x1205201x1301x1250312x1401x141203x1401x1041212x1003x10203x1303x13203x1303x102233x1403x104322x1403x1302432x1403x1304255x1433x1423123x1053x1120153x1404x104420x1404x1042041x13400x1412003x13500x1305250x13010x103012x10110x1210012x10040x1012040x13140x1302412x13540x105234x13540x1420534x14050x142005x13550x105532x14031x132104x15304x1024325x140100x1241000x135500x1523050x143403x1424303x154033x1303541x130243x1432032x135500x13050x1false400x142x1false400x1042x1false400x10042x1false8991929394401x141203x1false401x141212x1false401x1041212x1false403x1322x1false403x14322x1false403x104322x1false403x132x1false403x1432x1false403x102432x1false403x1302432x1false9192939495969899100101403x14255x1false403x104255x1false403x1304255x1false888990919293433x13123x1false433x1423123x1false404x1420x1false404x14420x1false404x104420x1false404x141x1false404x1041x1false404x142041x1false404x1042041x1false4050x1005x1false4445646667686970717273744050x142005x1false4031x132104x1false40100x1000x1false41426163646566676869707140100x141000x1false340x14203x1false340x101x1false6061340x131201x1false340x1431201x1false340x1422x1false340x13422x1false340x143422x1false340x1043422x1false350x1523x1false350x13523x1false350x1023523x1false3400x1003x1false2829485051525354555657583400x1412003x1false3500x150x1false24253500x15250x1false3500x105250x1false3500x1305250x1false575859606162310x101223x1false303x13203x1false3010x1012x1false3010x13012x1false123535455565758301x1312x1false301x10312x1false301x150312x1false43403x1424303x1false3540x15234x1false3540x105234x1false540x142x1false540x1042x1false540x15042x1false540x1525042x1false3540x1420534x1false3550x132x1false3550x1532x1false3550x15532x1false3550x105532x1false35500x150x1false12500x150x1true1500x150x11true1500x10250x1false000x1020x1false000x10020x1false2123242526030x102x1false030x13202x1false030x143202x1false030x1043202x1false050x14250x1false050x104250x1false540x14235x1false540x144235x1false540x1044235x1false5304x1325x1false5304x14325x1false5304x1024325x1false54033x141x1false54033x1541x1false54033x13541x1false54033x103541x1false050x13205x1false050x1023205x1false003x10203x1false053x10153x1false120110x10012x100x101x1true123456710101-161101-42101014100110x10012x10110x10012x1false0110x1012x1false00x10201x1false00x1320x1false00x14320x1false00x104320x1false001x15201x1false001x105201x1false0040x1012040x1false3140x1412x1false3140x102412x1false3140x1302412x1false12345630x1320x1false30x102x1false30x131202x1false30x132x1false30x1032x1false30x132220x1false35500x1523050x1false30243x132x1false30243x1032x1false30243x132032x1false30243x1432032x1false303x102233x1falsettt2ttt2 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])))