/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 0001223x10002123x14455301x14435051x101244010x101424100x140424031x140420431x144532425x142354425x1315345133x1315354133x1515354003x1515350403x10002234433x10230321513x10450042450x13535540223x11153434425x11153344425x11201245244x11542022414x11522334245x11523234245x14054024043x12313531245x100522443340x14042315355x102255004534x14051355450x104045330552x14535221143x104300043233x12515245432x104454013134x104034314415x105200214245x15043425541x110151533140x13121524511x111122521310x11511350024x120505443132x12103121340x122022503205x15035422310x125310144224x10510020551x131321053401x11204032040x131333041130x11021210113x132221120020x14425455050x132534401354x15013551342x133340254500x13151152314x134222313121x13455432154x135445115020x13151350151x135545302551x13112423025x140300305143x11215550411x140525300355x10052303155x140545534341x13411314014x140552040235x15504354151x141205540002x13354532002x141331511243x10123321332x141352355003x15230352353x142122333132x15523425403x144333242514x12034413020x145402502325x13344523530x150500401341x12242113330x151035011343x11030042453x155053412322x11235501355x155330141330x12334542201x1000515351323x11330141055x1055111252355x11352343343x1212050351235x11004541410x1232111021351x15430123325x1234351242021x12413225510x1431351515021x10131040053x1433052044512x12011511400x1512102313100x15204214113x1523310111414x10240404001x10111201304233x10412425000x10114132435501x14320504044x10115114450421x10320043104x14113132122205x10354014050x14311212052032x14444400341x15144315435120x12213004325x122432224252045x122022425344225x154151425430410x154115425430410x1124024012431034x1124024014231034x1202540330422552x1202405034322552x104010224305020453x104010242305020453x1325521222322404035x1352251222322404035x1531553302222334511x1531553302223234511x1553412025325445512x1553412025324545512x10031551532022434051x10305311052245234051x14553541155331544504x14553541515331544504x105254332350232505041x105254332350232055041x124141040310110541514x124141040310115041514x125230010502534055532x125230010502534505532x1243140253413403101013x1243140523413403101013x1552320325325555155122x1552320325325551555122x12105541042531413500245x12105541042531413050245x120240242001101353343125x120220441013201503312345x133254401312150042142235x133254401312150402142235x151503301233145312203205x151503301233145312023205x1323322510544522435212131x1323322515044522435212131x15002401511302223540415234x15002041511302223540415234x104303353514233040150302550x104303353514233041050302550x112320105302111441245224032x112320105302111441425224032x1133212110150425323153234142x1123312101150452323132531442x1432112445152240242420424401x1432121445152240242420424401x15503221343542520411240543244x15503223143542520411240543244x155535325015312233031041225313x155535325105312233031041225313x1001453145145105220122333002125x1001453145145105202122333002125x1150015215055501405343120402215x1150015251055501405343120402215x1150114243545203320554425302110x1150114423545203320554425302110x1245533120551034451352401141451x1245533120551034451325401141451x1420215542321041204231301420025x1420215542321014204231301420025x12.10001223x10002123x14455301x14435051x101244010x101424100x140424031x140420431x144532425x142354425x1315345133x1315354133x1515354003x1515350403x10002234433x10230321513x10450042450x13535540223x11153434425x11153344425x11201245244x11542022414x11522334245x11523234245x14054024043x12313531245x100522443340x14042315355x102255004534x14051355450x104045330552x14535221143x104300043233x12515245432x104454013134x104034314415x105200214245x15043425541x110151533140x13121524511x111122521310x11511350024x120505443132x12103121340x122022503205x15035422310x125310144224x10510020551x131321053401x11204032040x131333041130x11021210113x132221120020x14425455050x132534401354x15013551342x133340254500x13151152314x134222313121x13455432154x135445115020x13151350151x135545302551x13112423025x140300305143x11215550411x140525300355x10052303155x140545534341x13411314014x140552040235x15504354151x141205540002x13354532002x141331511243x10123321332x141352355003x15230352353x142122333132x15523425403x144333242514x12034413020x145402502325x13344523530x150500401341x12242113330x151035011343x11030042453x155053412322x11235501355x155330141330x12334542201x1000515351323x11330141055x1055111252355x11352343343x1212050351235x11004541410x1232111021351x15430123325x1234351242021x12413225510x1431351515021x10131040053x1433052044512x12011511400x1512102313100x15204214113x1523310111414x10240404001x10111201304233x10412425000x10114132435501x14320504044x10115114450421x10320043104x14113132122205x10354014050x14311212052032x14444400341x15144315435120x12213004325x122432224252045x122022425344225x154151425430410x154115425430410x1124024012431034x1124024014231034x1202540330422552x1202405034322552x104010224305020453x104010242305020453x1325521222322404035x1352251222322404035x1531553302222334511x1531553302223234511x1553412025325445512x1553412025324545512x10031551532022434051x10305311052245234051x14553541155331544504x14553541515331544504x105254332350232505041x105254332350232055041x124141040310110541514x124141040310115041514x125230010502534055532x125230010502534505532x1243140253413403101013x1243140523413403101013x1552320325325555155122x1552320325325551555122x12105541042531413500245x12105541042531413050245x120240242001101353343125x120220441013201503312345x133254401312150042142235x133254401312150402142235x151503301233145312203205x151503301233145312023205x1323322510544522435212131x1323322515044522435212131x15002401511302223540415234x15002041511302223540415234x104303353514233040150302550x104303353514233041050302550x112320105302111441245224032x112320105302111441425224032x1133212110150425323153234142x1123312101150452323132531442x1432112445152240242420424401x1432121445152240242420424401x15503221343542520411240543244x15503223143542520411240543244x155535325015312233031041225313x155535325105312233031041225313x1001453145145105220122333002125x1001453145145105202122333002125x1150015215055501405343120402215x1150015251055501405343120402215x1150114243545203320554425302110x1150114423545203320554425302110x1245533120551034451352401141451x1245533120551034451325401141451x1420215542321041204231301420025x1420215542321014204231301420025x1ttt2ttt2 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])))