/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES O00+0xx+x0x+OxOyO+xy+OxIyI+xy+IxOyI+xy+IxIyO++xyI0+x+yz++xyz-x0x-0x0-OxOyO-xy-OxIyI--xyI1-IxOyI-xy-IxIyO-xynottruefalsenotfalsetrueandxtruexandxfalsefalseiftruexyxiffalsexyygeOxOygexygeOxIynotgeyxgeIxOygexygeIxIygexygex0truege0Oxge0xge0IxfalseLog'00Log'Ix+Log'xI0Log'OxifgexI0+Log'xI00Logx-Log'xI0ValLxxValNxlrxMinLxxMinNxlrMinlMaxLxxMaxNxlrMaxrBSLxtrueBSNxlrandandgexMaxlgeMinrxandBSlBSrSizeLxI0SizeNxlr++SizelSizerI1WBLxtrueWBNxlrandifgeSizelSizergeI0-SizelSizergeI0-SizerSizelandWBlWBr2.1311WB11110000111000000000Size11010110001000000000BS11110111101000000000Max11101101011001000000Min11100100011100000000N3111101001110000010021000000003101000000r0000000000l0001000000Val11100110011000000000L11100100011100000000Log11111010101111000000Log'11011010001110000000ge211100000011000000002000000000if3101000000110001000121000100013000000000and210001001111000000002000000000false0000000000not11000000001000000000true000000000010000000000-210001000111000100002000000000I11100100001000000000+210001000111000100012000000000O1110010000100000000000000000000O00+0xx+x0x+OxOyO+xy+OxIyI+xy+IxOyI+xy+IxIyO++xyI0+x+yz++xyz-x0x-0x0-OxOyO-xy-OxIyI--xyI1-IxOyI-xy-IxIyO-xynottruefalsenotfalsetrueandxtruexandxfalsefalseiftruexyxiffalsexyygeOxOygexygeOxIynotgeyxgeIxOygexygeIxIygexygex0truege0Oxge0xge0IxfalseLog'Ix+Log'xI0Log'OxifgexI0+Log'xI00Logx-Log'xI0BSNxlrandandgexMaxlgeMinrxandBSlBSr311BS11011100101011000000Max11000000001000000000Min11000001001000000000N3111011000110001000021000000003110000000r0001000000l0010000000Log11101001101111000000Log'11101000001000000000ge211001000011000000002000000000if3100000000110001000121000100013000000000and210001010111100000012000000000false0000000000not11000000001000000000true000000000010000000000-210001000111000100002000000000I11101000001000000000+210001000111000100012000000000O1110100000100000000000000000000O00+0xx+x0x+OxOyO+xy+OxIyI+xy+IxOyI+xy+IxIyO++xyI0+x+yz++xyz-x0x-0x0-OxOyO-xy-OxIyI--xyI1-IxOyI-xy-IxIyO-xynottruefalsenotfalsetrueandxtruexandxfalsefalseiftruexyxiffalsexyygeOxOygexygeOxIynotgeyxgeIxOygexygeIxIygexygex0truege0Oxge0xge0IxfalseLog'Ix+Log'xI0Log'OxifgexI0+Log'xI00BSNxlrandandgexMaxlgeMinrxandBSlBSr311BS11110001001010000000Max11001000001100000000Min11000000001000000000N3101001000110000100021000000013100000000r0001000000l0010000000Log'11001111111000000000ge210000000011000000002001000000if3111000100110001000121000100013000000000and210001100111100000002000000000false0000000000not11000000001001000000true000100000010000000000-210001000111000110112000000000I11010010101001000000+210001000111000110112000000000O1101001010100100000000000000000O00+0xx+x0x+OxOyO+xy+OxIyI+xy+IxOyI+xy+IxIyO++xyI0+x+yz++xyz-x0x-0x0-OxOyO-xy-OxIyI--xyI1-IxOyI-xy-IxIyO-xynottruefalsenotfalsetrueandxtruexandxfalsefalseiffalsexyygeOxOygexygeOxIynotgeyxgeIxOygexygeIxIygexygex0truege0Oxge0xge0IxfalseLog'OxifgexI0+Log'xI00BSNxlrandandgexMaxlgeMinrxandBSlBSr+OxOy+xy+OxOyO+xy+OxIy+xy+IxOy+xy+IxIy+xy+IxIy++xyI0+IxIyO++xyI0+x+yz+xy+x+yz++xyz-OxOy-xy-OxOyO-xy-OxIy-xy-OxIy--xyI1-IxOy-xy-IxIy-xy-IxIyO-xygeOxOygexygeOxIygeyxgeOxIynotgeyxgeIxOygexygeIxIygexyge0Oxge0xLog'OxLog'xLog'Ox+Log'xI0Log'OxgexI0Log'OxifgexI0+Log'xI00BSNxlrBSrBSNxlrBSlBSNxlrandBSlBSrBSNxlrgeMinrxBSNxlrgexMaxlBSNxlrandgexMaxlgeMinrxBSNxlrandandgexMaxlgeMinrxandBSlBSrtrue-IxIy-xy-IxOy-xy-OxIy--xyI1-OxIy-xy-OxOy-xytrue12-211N32if333-21I111O111-IxIy-xy-IxOy-xy-OxIy--xyI1-OxIy-xy-OxOy-xy-OxOyO-xyfalse-IxIyO-xyfalseLog'OxLog'xtrue159Log'OxLog'x1true1Log'Ox+Log'xI0false13+IxIy++xyI0+IxIy+xy+x+yz++xyz+x+yz+xy+IxOy+xy+OxIy+xy+OxOy+xytrue121+21-120I1014+201121O1113004+IxIy++xyI0+IxIy+xy+x+yz++xyz+x+yz+xy+OxIy+xy1+21020I1414+201020O1-310000+IxIy++xyI0+x+yz++xyz+x+yz+xy+x+yz++xyz+x+yz+xytrue1+x+yz++xyz2true2+x+yz+xy2true21false1+IxIy++xyI0true1+211424I1115+211420O1115000+0xx+x0x+OxOyO+xy+OxIyI+xy+IxOyI+xy+IxIyO++xyI0+x+yz++xyzO00+OxOyO+xyfalse+IxIyO++xyI0falseLog'OxgexI0false12geIxIygexygeIxOygexygeOxIygeyxgeOxOygexytrue12geIxIygexy2true21true1geIxOygexy2true21true1geOxIygeyx2true11true2geOxOygexy2true21true1geOxIynotgeyxfalsege0Oxge0xtruege0Oxge0x2true21false1Log'OxifgexI0+Log'xI00falseBSNxlrandandgexMaxlgeMinrxandBSlBSrfalseBSNxlrandgexMaxlgeMinrxfalseBSNxlrandBSlBSrfalseBSNxlrgexMaxlfalseBSNxlrgeMinrxfalseBSNxlrBSlfalseBSNxlrBSrfalsettt2ttt2 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])))