/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 012312x1013212x11231241x11213241x104511242x104151242x1045050024x1040550024x10312003043x11115010334x12203540210x12115510304x13544214054x13115521104x14044305321x14043435021x100223405315x10112014120x101240122325x13045415012x102154252241x10554324151x103115044303x10504003045x103210103214x10133145225x103213342122x11301313242x104350025322x12350522424x104441141453x15510413411x104444332025x10243525521x105312332242x12153133243x110114434322x14441414225x111313034430x11255250200x111442220025x14434003430x111512525443x111545415223x112023232433x112032232433x112054034030x121054034030x113423002101x11334431501x113445043230x13414031225x115404433224x15352404040x115513414541x12111001053x121043351252x11004053423x121145343505x12500415221x122023545231x15254140130x123232001202x123213200202x125400353310x11242132544x130050344554x11243442023x132323130222x11315550540x133053353332x13324431035x134111054133x15130321320x135220431145x13200445533x135311322312x10342431535x135404044421x12040110043x135503314130x12021223121x140421023415x10311455043x140431145123x15252245133x140510351315x14522154042x141021502224x14020545242x141232102204x15413015544x142135251550x12241252253x142253242020x15212500301x142424030115x13002345154x142432113431x12505555430x145001524245x15321020102x145215142003x13055441523x145300021341x12435533443x152251323445x14243532131x1110315112135x13030352050x1124002414041x1104422014041x1251210514213x10044522540x1253150312332x14203454042x1423403441124x15232014552x1502505151312x12534454403x12011212423243x12021112324243x15221144542545x15221144524545x105351212002235x105315212002235x113333531235320x113333513235320x120122523230041x121052202323041x1501255151332443x1515021534153243x10233330353101352x10233330331501352x13544251241535222x13544521241535222x112532504412114042x112535204412114042x114423233303340240x114423233033340240x141102455143511444x141102455143151444x150142513203303514x151024513203303514x1405503323303524103x1405503323303542103x1455525424521120514x1455524524521120514x10442432205330203433x10442432205332003433x14212215414150004514x14122215441150004514x1534431342534455203133x1534431324354455201333x11415511544313503501201x11451155144133305501021x12414222524315001234303x12414222452315100423303x104335145023300301454040x104334005133530012445040x143133030312421152433110x143133030312241152433110x145221341240120444451535x145221341241020444451535x1213324440451201542532315x1213324440451021542532315x1240501415430423144330110x1240501415430432144330110x1435043401015533501325004x1435043401015533510325004x13202202251154142104143001x10322202214515142104143001x145334101535451503152130123x145334101553451503152130123x1023543254023323553302432410x1023543254023323553302342410x1141452135151105531005343205x1141452131551105531005343205x1201032032132312510142144533x1201032032132312510412144533x12130552152014254553153533550x12103552152014254553153533550x14535313451051332534303520425x14535313451051332543303520425x15504313401024121230044401201x15504313401024121230044401021x1124402151153114252300102045450x1124402151153114252301002045450x12.1012312x1013212x11231241x11213241x104511242x104151242x1045050024x1040550024x10312003043x11115010334x12203540210x12115510304x13544214054x13115521104x14044305321x14043435021x100223405315x10112014120x101240122325x13045415012x102154252241x10554324151x103115044303x10504003045x103210103214x10133145225x103213342122x11301313242x104350025322x12350522424x104441141453x15510413411x104444332025x10243525521x105312332242x12153133243x110114434322x14441414225x111313034430x11255250200x111442220025x14434003430x111512525443x111545415223x112023232433x112032232433x112054034030x121054034030x113423002101x11334431501x113445043230x13414031225x115404433224x15352404040x115513414541x12111001053x121043351252x11004053423x121145343505x12500415221x122023545231x15254140130x123232001202x123213200202x125400353310x11242132544x130050344554x11243442023x132323130222x11315550540x133053353332x13324431035x134111054133x15130321320x135220431145x13200445533x135311322312x10342431535x135404044421x12040110043x135503314130x12021223121x140421023415x10311455043x140431145123x15252245133x140510351315x14522154042x141021502224x14020545242x141232102204x15413015544x142135251550x12241252253x142253242020x15212500301x142424030115x13002345154x142432113431x12505555430x145001524245x15321020102x145215142003x13055441523x145300021341x12435533443x152251323445x14243532131x1110315112135x13030352050x1124002414041x1104422014041x1251210514213x10044522540x1253150312332x14203454042x1423403441124x15232014552x1502505151312x12534454403x12011212423243x12021112324243x15221144542545x15221144524545x105351212002235x105315212002235x113333531235320x113333513235320x120122523230041x121052202323041x1501255151332443x1515021534153243x10233330353101352x10233330331501352x13544251241535222x13544521241535222x112532504412114042x112535204412114042x114423233303340240x114423233033340240x141102455143511444x141102455143151444x150142513203303514x151024513203303514x1405503323303524103x1405503323303542103x1455525424521120514x1455524524521120514x10442432205330203433x10442432205332003433x14212215414150004514x14122215441150004514x1534431342534455203133x1534431324354455201333x11415511544313503501201x11451155144133305501021x12414222524315001234303x12414222452315100423303x104335145023300301454040x104334005133530012445040x143133030312421152433110x143133030312241152433110x145221341240120444451535x145221341241020444451535x1213324440451201542532315x1213324440451021542532315x1240501415430423144330110x1240501415430432144330110x1435043401015533501325004x1435043401015533510325004x13202202251154142104143001x10322202214515142104143001x145334101535451503152130123x145334101553451503152130123x1023543254023323553302432410x1023543254023323553302342410x1141452135151105531005343205x1141452131551105531005343205x1201032032132312510142144533x1201032032132312510412144533x12130552152014254553153533550x12103552152014254553153533550x14535313451051332534303520425x14535313451051332543303520425x15504313401024121230044401201x15504313401024121230044401021x1124402151153114252300102045450x1124402151153114252301002045450x1ttt2ttt2 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])))