/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 0120232x10130222x13424003x13442003x101041454x100511444x1023510341x1023305141x1025014004x1025041004x12121030152x12121003152x100514440330x12040531241x101114435333x14305510123x102101504553x13342040310x102150401132x13544252000x102220314202x12444410225x103112401400x11102420412x103515051223x14534242515x105204111545x14023335332x105542444123x15210421240x111144535504x10532330534x111245321222x11453141324x111415140541x10320250030x112240213112x13043144251x112342031353x14115110551x113010200005x15404345552x113151044410x13225434214x113335523240x13210113020x115224240404x14421030244x115240044441x111442504440x120013114045x12253054334x121320111011x12102245101x124333412055x14450115552x125353353314x13335203312x130154334215x10534313201x131113211552x15511015544x131225242403x15151335232x131531400253x12420054001x132100213254x13231225123x132125213043x12014021413x132310433321x14530230533x132405343252x10203511411x132431234010x14421354000x135503152054x15412504420x140211005253x12554031312x140320350023x10042310251x141042134252x11315525444x142154144234x14111115322x143551140441x10444034102x144012551413x144012515413x144041354324x11402224414x144110312550x12524125003x144444455531x15223031153x150034331553x10055513055x151010424004x14530425534x151454551212x13212015242x152001443551x14154454154x153143130313x15212534405x153402310202x15403355452x154005024151x154050024151x154224551240x14255141303x155433220041x14204103112x1005210405414x1005254410104x1210020250514x10401001110x1232203525435x12453044000x12224032354104x12202342534104x13235522511211x13525122513121x101111120514303x101011114251303x112300502204143x112305002204143x132321500353135x132321500533135x1012342524530114x1012342524350114x1021252221321553x1021522221321553x1121043040035135x1121043040305135x1150434111342302x1150443111343202x1352415003140424x1352451003140424x12013151500353013x12013151500335013x12542232152425001x12542232154225001x15055120012431015x15055012012431015x15133004352412552x15133004352421552x1030001051203204140x1003010013052201440x1041510423300140422x1041510243300140422x1205234515443005400x1205234515443050400x1224524251055411532x1225424251055411532x10324503501514203211x10325430501514203211x15241554401230254534x15241554401230254354x105532312524500441203x105523312524500441203x111444052053242540010x111444052503242540010x10315011201353204231503x10315011201335204231503x11412131113553513440533x11412311113553513440533x120245304041432213433250x120245300441432213433250x123133400454032303211445x123133400445032303211445x125355223405005441134325x125352523405005441134325x1141333234413524522505531x1141333234413542522505531x1252414324303241445210401x1352124422443431004051142x1530511535333510340433024x1530151535335310340433024x1551032024320101220311310x1551302024320101220313110x101222251144510250022353433x101222251144510250022335433x150031002124502512543214131x150031002124502512542314131x1223342052512111100354552410x1223342052521111100354552410x1411104413451033015032243240x1411104413451033051032243240x11241124001340140522352102530x11241142003141040522352102503x1215513415025314030220010502011x1215513415025314030220100502011x1515121542330211330251533540105x1515121542332011330251533540105x12.10120232x10130222x13424003x13442003x101041454x100511444x1023510341x1023305141x1025014004x1025041004x12121030152x12121003152x100514440330x12040531241x101114435333x14305510123x102101504553x13342040310x102150401132x13544252000x102220314202x12444410225x103112401400x11102420412x103515051223x14534242515x105204111545x14023335332x105542444123x15210421240x111144535504x10532330534x111245321222x11453141324x111415140541x10320250030x112240213112x13043144251x112342031353x14115110551x113010200005x15404345552x113151044410x13225434214x113335523240x13210113020x115224240404x14421030244x115240044441x111442504440x120013114045x12253054334x121320111011x12102245101x124333412055x14450115552x125353353314x13335203312x130154334215x10534313201x131113211552x15511015544x131225242403x15151335232x131531400253x12420054001x132100213254x13231225123x132125213043x12014021413x132310433321x14530230533x132405343252x10203511411x132431234010x14421354000x135503152054x15412504420x140211005253x12554031312x140320350023x10042310251x141042134252x11315525444x142154144234x14111115322x143551140441x10444034102x144012551413x144012515413x144041354324x11402224414x144110312550x12524125003x144444455531x15223031153x150034331553x10055513055x151010424004x14530425534x151454551212x13212015242x152001443551x14154454154x153143130313x15212534405x153402310202x15403355452x154005024151x154050024151x154224551240x14255141303x155433220041x14204103112x1005210405414x1005254410104x1210020250514x10401001110x1232203525435x12453044000x12224032354104x12202342534104x13235522511211x13525122513121x101111120514303x101011114251303x112300502204143x112305002204143x132321500353135x132321500533135x1012342524530114x1012342524350114x1021252221321553x1021522221321553x1121043040035135x1121043040305135x1150434111342302x1150443111343202x1352415003140424x1352451003140424x12013151500353013x12013151500335013x12542232152425001x12542232154225001x15055120012431015x15055012012431015x15133004352412552x15133004352421552x1030001051203204140x1003010013052201440x1041510423300140422x1041510243300140422x1205234515443005400x1205234515443050400x1224524251055411532x1225424251055411532x10324503501514203211x10325430501514203211x15241554401230254534x15241554401230254354x105532312524500441203x105523312524500441203x111444052053242540010x111444052503242540010x10315011201353204231503x10315011201335204231503x11412131113553513440533x11412311113553513440533x120245304041432213433250x120245300441432213433250x123133400454032303211445x123133400445032303211445x125355223405005441134325x125352523405005441134325x1141333234413524522505531x1141333234413542522505531x1252414324303241445210401x1352124422443431004051142x1530511535333510340433024x1530151535335310340433024x1551032024320101220311310x1551302024320101220313110x101222251144510250022353433x101222251144510250022335433x150031002124502512543214131x150031002124502512542314131x1223342052512111100354552410x1223342052521111100354552410x1411104413451033015032243240x1411104413451033051032243240x11241124001340140522352102530x11241142003141040522352102503x1215513415025314030220010502011x1215513415025314030220100502011x1515121542330211330251533540105x1515121542332011330251533540105x1ttt2ttt2 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])))