/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 0010213404553451x10015144441450212x10010213404553451x10253425401422340x10010213404553451x10452050232205542x10153252240302320x10015144441450212x10153252240302320x10125513454451503x10153252240302320x10253425401422340x10153252240302320x10452050232205542x10153252240302320x10454350532530052x10153252240302320x10531313532554253x10153252240302320x10534214355205423x10153252240302320x14525414211324350x10153252240302320x15225402250023200x10230013144351513x10015144441450212x10230013144351513x10125314343501154x10230013144351513x10125513454451503x10230013144351513x10253425401422340x10230013144351513x10452050232205542x10230013144351513x10454350532530052x10230013144351513x10502024441240333x10230013144351513x10531313532554253x10230013144351513x10534214355205423x10230013144351513x11222530214354424x10230013144351513x12000445510321555x10230013144351513x12143251440410202x10230013144351513x15310312402502543x10230013144351513x15521221023404024x10304442324503011x10015144441450212x10304442324503011x10253425401422340x10304442324503011x10452050232205542x10304442324503011x15225402250023200x10310410245342341x10010213404553451x10310410245342341x10015144441450212x10310410245342341x10125314343501154x10310410245342341x10125513454451503x10310410245342341x10253425401422340x10310410245342341x10304442324503011x10310410245342341x10452050232205542x10310410245342341x10454350532530052x10310410245342341x10531313532554253x10310410245342341x10534214355205423x10310410245342341x10535121133054115x10310410245342341x11222530214354424x10310410245342341x12000445510321555x10310410245342341x12143251440410202x10310410245342341x14425105410024050x10310410245342341x14445003554114552x10310410245342341x14525414211324350x10310410245342341x15225402250023200x10310410245342341x15521221023404024x10502024441240333x10125513454451503x10502024441240333x10531313532554253x10502024441240333x10534214355205423x11023532424332522x10015144441450212x11023532424332522x10452050232205542x11023532424332522x10454350532530052x11023532424332522x14445003554114552x11310330013523103x10010213404553451x11310330013523103x10015144441450212x11310330013523103x10125314343501154x11310330013523103x10125513454451503x11310330013523103x10153252240302320x11310330013523103x10230013144351513x11310330013523103x10253425401422340x11310330013523103x10304442324503011x11310330013523103x10310410245342341x11310330013523103x10452050232205542x11310330013523103x10454350532530052x11310330013523103x10502024441240333x11310330013523103x10531313532554253x11310330013523103x10534214355205423x11310330013523103x10535121133054115x11310330013523103x11023532424332522x11310330013523103x11222530214354424x11310330013523103x11321345501053203x11310330013523103x12000445510321555x11310330013523103x12001020031253222x11310330013523103x12143251440410202x11310330013523103x12314122250154342x11310330013523103x12412411223203021x11310330013523103x12500413115212025x11310330013523103x13213114322454213x11310330013523103x13434350340301503x11310330013523103x13531015520344434x11310330013523103x14022211054335011x11310330013523103x14043553324233504x11310330013523103x14245350152423050x11310330013523103x14302110210550400x11310330013523103x14425105410024050x11310330013523103x14445003554114552x11310330013523103x14454012104302104x11310330013523103x14525414211324350x11310330013523103x15225402250023200x11310330013523103x15310312402502543x11310330013523103x15435103512031135x11310330013523103x15521221023404024x11321345501053203x10015144441450212x11321345501053203x10125314343501154x11321345501053203x10125513454451503x11321345501053203x10253425401422340x11321345501053203x10452050232205542x11321345501053203x10454350532530052x11321345501053203x10502024441240333x11321345501053203x10531313532554253x11321345501053203x10534214355205423x11321345501053203x11023532424332522x11321345501053203x11222530214354424x11321345501053203x12000445510321555x11321345501053203x12143251440410202x11321345501053203x13213114322454213x11321345501053203x14043553324233504x11321345501053203x14445003554114552x11321345501053203x15225402250023200x11321345501053203x15310312402502543x11321345501053203x15521221023404024x12001020031253222x10015144441450212x12001020031253222x10452050232205542x12001020031253222x10454350532530052x12001020031253222x11023532424332522x12001020031253222x12000445510321555x12001020031253222x12143251440410202x12001020031253222x12500413115212025x12001020031253222x14445003554114552x12314122250154342x10015144441450212x12314122250154342x10454350532530052x12412411223203021x10015144441450212x12412411223203021x10253425401422340x12412411223203021x10452050232205542x12412411223203021x10454350532530052x12412411223203021x11222530214354424x12412411223203021x12000445510321555x12412411223203021x14043553324233504x12412411223203021x14425105410024050x12412411223203021x14445003554114552x12412411223203021x14454012104302104x12412411223203021x14525414211324350x12500413115212025x12000445510321555x13213114322454213x10534214355205423x13213114322454213x11222530214354424x13434350340301503x10015144441450212x13434350340301503x10125513454451503x13434350340301503x10452050232205542x13434350340301503x10454350532530052x13434350340301503x10531313532554253x13434350340301503x10534214355205423x13434350340301503x11222530214354424x13434350340301503x13213114322454213x13434350340301503x13531015520344434x13434350340301503x14043553324233504x13434350340301503x14245350152423050x13434350340301503x14425105410024050x13434350340301503x14445003554114552x13434350340301503x14454012104302104x13434350340301503x14525414211324350x13434350340301503x15310312402502543x14002033220232340x10253425401422340x14002033220232340x14245350152423050x14002033220232340x14445003554114552x14002033220232340x14454012104302104x14002033220232340x14525414211324350x14022211054335011x14043553324233504x14022211054335011x14245350152423050x14022211054335011x14425105410024050x14022211054335011x14445003554114552x14022211054335011x14454012104302104x14022211054335011x14525414211324350x14245350152423050x14425105410024050x14245350152423050x14525414211324350x14302110210550400x14043553324233504x14302110210550400x14245350152423050x14302110210550400x14425105410024050x14302110210550400x14445003554114552x14302110210550400x14525414211324350x15435103512031135x10015144441450212x15435103512031135x10253425401422340x15435103512031135x10452050232205542x15435103512031135x10534214355205423x15435103512031135x11222530214354424x15435103512031135x12000445510321555x15435103512031135x15225402250023200x15521221023404024x11222530214354424x12.10010213404553451x10015144441450212x10010213404553451x10253425401422340x10010213404553451x10452050232205542x10153252240302320x10015144441450212x10153252240302320x10125513454451503x10153252240302320x10253425401422340x10153252240302320x10452050232205542x10153252240302320x10454350532530052x10153252240302320x10531313532554253x10153252240302320x10534214355205423x10153252240302320x14525414211324350x10153252240302320x15225402250023200x10230013144351513x10015144441450212x10230013144351513x10125314343501154x10230013144351513x10125513454451503x10230013144351513x10253425401422340x10230013144351513x10452050232205542x10230013144351513x10454350532530052x10230013144351513x10502024441240333x10230013144351513x10531313532554253x10230013144351513x10534214355205423x10230013144351513x11222530214354424x10230013144351513x12000445510321555x10230013144351513x12143251440410202x10230013144351513x15310312402502543x10230013144351513x15521221023404024x10304442324503011x10015144441450212x10304442324503011x10253425401422340x10304442324503011x10452050232205542x10304442324503011x15225402250023200x10310410245342341x10010213404553451x10310410245342341x10015144441450212x10310410245342341x10125314343501154x10310410245342341x10125513454451503x10310410245342341x10253425401422340x10310410245342341x10304442324503011x10310410245342341x10452050232205542x10310410245342341x10454350532530052x10310410245342341x10531313532554253x10310410245342341x10534214355205423x10310410245342341x10535121133054115x10310410245342341x11222530214354424x10310410245342341x12000445510321555x10310410245342341x12143251440410202x10310410245342341x14425105410024050x10310410245342341x14445003554114552x10310410245342341x14525414211324350x10310410245342341x15225402250023200x10310410245342341x15521221023404024x10502024441240333x10125513454451503x10502024441240333x10531313532554253x10502024441240333x10534214355205423x11023532424332522x10015144441450212x11023532424332522x10452050232205542x11023532424332522x10454350532530052x11023532424332522x14445003554114552x11310330013523103x10010213404553451x11310330013523103x10015144441450212x11310330013523103x10125314343501154x11310330013523103x10125513454451503x11310330013523103x10153252240302320x11310330013523103x10230013144351513x11310330013523103x10253425401422340x11310330013523103x10304442324503011x11310330013523103x10310410245342341x11310330013523103x10452050232205542x11310330013523103x10454350532530052x11310330013523103x10502024441240333x11310330013523103x10531313532554253x11310330013523103x10534214355205423x11310330013523103x10535121133054115x11310330013523103x11023532424332522x11310330013523103x11222530214354424x11310330013523103x11321345501053203x11310330013523103x12000445510321555x11310330013523103x12001020031253222x11310330013523103x12143251440410202x11310330013523103x12314122250154342x11310330013523103x12412411223203021x11310330013523103x12500413115212025x11310330013523103x13213114322454213x11310330013523103x13434350340301503x11310330013523103x13531015520344434x11310330013523103x14022211054335011x11310330013523103x14043553324233504x11310330013523103x14245350152423050x11310330013523103x14302110210550400x11310330013523103x14425105410024050x11310330013523103x14445003554114552x11310330013523103x14454012104302104x11310330013523103x14525414211324350x11310330013523103x15225402250023200x11310330013523103x15310312402502543x11310330013523103x15435103512031135x11310330013523103x15521221023404024x11321345501053203x10015144441450212x11321345501053203x10125314343501154x11321345501053203x10125513454451503x11321345501053203x10253425401422340x11321345501053203x10452050232205542x11321345501053203x10454350532530052x11321345501053203x10502024441240333x11321345501053203x10531313532554253x11321345501053203x10534214355205423x11321345501053203x11023532424332522x11321345501053203x11222530214354424x11321345501053203x12000445510321555x11321345501053203x12143251440410202x11321345501053203x13213114322454213x11321345501053203x14043553324233504x11321345501053203x14445003554114552x11321345501053203x15225402250023200x11321345501053203x15310312402502543x11321345501053203x15521221023404024x12001020031253222x10015144441450212x12001020031253222x10452050232205542x12001020031253222x10454350532530052x12001020031253222x11023532424332522x12001020031253222x12000445510321555x12001020031253222x12143251440410202x12001020031253222x12500413115212025x12001020031253222x14445003554114552x12314122250154342x10015144441450212x12314122250154342x10454350532530052x12412411223203021x10015144441450212x12412411223203021x10253425401422340x12412411223203021x10452050232205542x12412411223203021x10454350532530052x12412411223203021x11222530214354424x12412411223203021x12000445510321555x12412411223203021x14043553324233504x12412411223203021x14425105410024050x12412411223203021x14445003554114552x12412411223203021x14454012104302104x12412411223203021x14525414211324350x12500413115212025x12000445510321555x13213114322454213x10534214355205423x13213114322454213x11222530214354424x13434350340301503x10015144441450212x13434350340301503x10125513454451503x13434350340301503x10452050232205542x13434350340301503x10454350532530052x13434350340301503x10531313532554253x13434350340301503x10534214355205423x13434350340301503x11222530214354424x13434350340301503x13213114322454213x13434350340301503x13531015520344434x13434350340301503x14043553324233504x13434350340301503x14245350152423050x13434350340301503x14425105410024050x13434350340301503x14445003554114552x13434350340301503x14454012104302104x13434350340301503x14525414211324350x13434350340301503x15310312402502543x14002033220232340x10253425401422340x14002033220232340x14245350152423050x14002033220232340x14445003554114552x14002033220232340x14454012104302104x14002033220232340x14525414211324350x14022211054335011x14043553324233504x14022211054335011x14245350152423050x14022211054335011x14425105410024050x14022211054335011x14445003554114552x14022211054335011x14454012104302104x14022211054335011x14525414211324350x14245350152423050x14425105410024050x14245350152423050x14525414211324350x14302110210550400x14043553324233504x14302110210550400x14245350152423050x14302110210550400x14425105410024050x14302110210550400x14445003554114552x14302110210550400x14525414211324350x15435103512031135x10015144441450212x15435103512031135x10253425401422340x15435103512031135x10452050232205542x15435103512031135x10534214355205423x15435103512031135x11222530214354424x15435103512031135x12000445510321555x15435103512031135x15225402250023200x15521221023404024x11222530214354424x1ttt2ttt2 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])))