/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES 0012x102011x10122x102210x10122x110220x10123x102013x10123x102331x10212x102201x10212x102221x10212x1022211x10322x134022x10322x1022223x10412x102214x10412x140201x10501x1020251x10505x102055x10521x102251x10525x102255x10542x1402205x12103x1402231x12104x1140222x12542x140225x100104x1002014x100542x1040025x101012x1020141x101203x1020413x101222x1022212x101232x1134022x101323x1002331x101342x1023411x102101x1002011x102122x1020221x102305x1020053x103013x1004313x103041x1001443x103204x1400234x104523x1022345x105003x1020305x105012x1002015x105142x1020145x105251x1020551x121004x1144002x125003x1020053x125301x1502231x150122x1510202x152012x1154022x152101x1023151x152301x1150223x153041x1450231x12.12100x111020x12210x101220x12210x102201x13210x131020x13210x113320x12120x110220x12120x112220x12120x1112220x12230x122043x12230x1322220x12140x141220x12140x110204x11050x1152020x15050x155020x11250x115220x15250x155220x12450x1502204x13012x1132204x14012x1222041x12452x152204x140100x1410200x124500x1520040x121010x1141020x130210x1314020x122210x1212220x123210x1220431x132310x1133200x124310x1114320x110120x1110200x122120x1122020x150320x1350020x131030x1313400x114030x1344100x140230x1432004x132540x1543220x130050x1503020x121050x1510200x124150x1541020x115250x1155020x140012x1200441x130052x1350020x110352x1132205x122105x1202015x121025x1220451x110125x1151320x110325x1322051x114035x1132054x12100x120x12100x11020x12100x111020x12210x120x12210x1220x12210x11220x12210x11x12210x1201x12210x12201x13210x120x13210x11020x13210x131020x13210x1320x13210x13320x13210x113320x12120x1220x12120x110220x12120x12220x12120x112220x12120x1112220x12230x13x12230x143x12230x12043x12230x122043x12230x120x12230x1220x12230x12220x12230x122220x12230x1322220x12140x120x12140x1220x12140x11220x12140x141220x12140x14x12140x1204x12140x110204x11050x120x11050x12020x11050x152020x11050x1152020x15050x120x15050x15020x15050x155020x11250x120x11250x1220x11250x15220x11250x115220x15250x120x15250x1220x15250x15220x15250x155220x12450x14x12450x1204x12450x12204x12450x1502204x13012x14x13012x1204x13012x12204x13012x132204x13012x1132204x14012x11x14012x141x14012x12041x14012x122041x14012x1222041x12452x14x12452x1204x12452x12204x12452x152204x140100x1200x140100x110200x140100x1410200x124500x140x124500x120040x124500x1520040x121010x120x121010x11020x121010x141020x121010x1141020x130210x120x130210x14020x130210x114020x130210x1314020x122210x120x122210x1220x122210x12220x122210x112220x122210x1212220x123210x11x123210x131x123210x1431x123210x120431x123210x1220431x132310x1200x132310x13200x132310x133200x132310x1133200x124310x120x124310x1320x124310x14320x124310x114320x124310x1114320x110120x1200x110120x110200x110120x1110200x122120x12020x122120x122020x122120x1122020x150320x150020x150320x1350020x131030x1400x131030x13400x131030x113400x131030x1313400x114030x1100x114030x14100x114030x144100x114030x1344100x140230x14x140230x12004x140230x132004x140230x1432004x132540x120x132540x1220x132540x13220x132540x143220x132540x1543220x130050x120x130050x13020x130050x1503020x121050x1200x121050x110200x121050x1510200x124150x120x124150x11020x124150x141020x124150x1541020x115250x120x115250x15020x115250x155020x115250x1155020x140012x11x140012x141x140012x1441x140012x1200441x130052x120x130052x150020x130052x1350020x110352x15x110352x1205x110352x12205x110352x132205x110352x1132205x122105x115x122105x12015x122105x1202015x121025x11x121025x151x121025x1451x121025x120451x121025x1220451x110125x120x110125x1320x110125x11320x110125x151320x110125x1151320x110325x11x110325x151x110325x12051x110325x122051x110325x1322051x114035x14x114035x154x114035x12054x114035x132054x114035x1132054x1true22210x12220x1false22210x1220x1false22210x1212220x1false22210x120x1false22210x112220x1false22120x122020x1false22120x12020x1false22120x1122020x1false2210x1220x1false2210x12201x1false2210x120x1false2210x1201x1false2210x11x1false991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321431441451462210x11220x1false22105x1202015x1false22105x12015x1false22105x115x1false1111121131142230x122220x1false2230x12220x1false2230x1220x1false2230x122043x1false2230x120x1false2230x12043x1false2230x13x1false5556575859606162636465666768697071727374757677787980818283848586872230x1322220x1false2230x143x1false2120x12220x1false2120x1220x1false2120x112220x1false2120x1112220x1false2120x110220x1false21025x1220451x1false21025x120451x1false21025x11x1false7879808182838485868788899091929394959697989910010110210310410510610710810911011112212312412521025x1451x1false21025x151x1false21010x120x1false21010x11020x1false21010x1141020x1false21010x141020x1false2100x120x1false2100x111020x1false2100x11020x1false21050x1200x1false21050x110200x1false21050x1510200x1false2140x1220x1false2140x120x1false2140x1204x1false2140x11220x1false2140x110204x1false2140x14x1false609495969798991001011021031081092140x141220x1false23210x1220431x1false23210x120431x1false23210x11x1false5657585960616263646566676869707172737475767778798081828384858687888910010110210323210x131x1false22333923210x1431x1false24150x120x1false24150x11020x1false24150x141020x1false24150x1541020x1false24310x120x1false24310x1114320x1false24310x114320x1false24310x1320x1false24310x14320x1false2452x12204x1false2452x1204x1false2452x14x1false427677787980818283848590912452x152204x1false2450x12204x1false2450x1204x1false2450x14x1false387273747576777879808186872450x1502204x1false24500x120040x1false24500x140x1false3569707172737475767778838424500x1520040x1false31030x13400x131030x1313400x1true123456789101112131415161718192021222324252627282930313231051041031001011121031151413110111121131030x1313400x140012x1200441x11050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x15050x155020x15250x155220x150320x1350020x14012x1222041x140100x1410200x140230x1432004x13210x131020x13210x113320x13012x1132204x130210x1314020x132310x1133200x131030x1313400x132540x1543220x130050x1503020x130052x1350020x1141103101011010311051102111001141050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x15050x155020x15250x155220x150320x1350020x13210x131020x13210x113320x13012x1132204x130210x1314020x132310x1133200x131030x1313400x132540x1543220x130050x1503020x130052x1350020x13210x120x1false3210x11020x1false3210x131020x1false3210x1320x1false3210x13320x1false3210x113320x1false32310x1200x1false32310x13200x1false32310x133200x1false32310x1133200x1false31030x113400x1false3839404132540x120x1false32540x1220x1false32540x13220x1false32540x143220x1false32540x1543220x1false31030x1400x1false16646530210x120x1false30210x114020x1false30210x1314020x1false30210x14020x1false3012x12204x1false3012x1204x1false3012x1132204x1false3012x132204x1false3012x14x1false741424344454647484950555630052x120x1false30052x1350020x1false30052x150020x1false30050x120x1false30050x13020x1false30050x1503020x1false40012x1441x140012x11x114035x14x140230x14x14012x11x110325x11x1true1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484941011051041031001011021041111151141131101111121140012x1441x114035x14x140230x14x110325x11x11050x1152020x11250x115220x110120x1110200x114030x1344100x115250x1155020x110352x1132205x110125x1151320x110325x1322051x114035x1132054x15050x155020x15250x155220x150320x1350020x14012x1222041x140100x1410200x140230x1432004x140012x1200441x110325x11x1true110325x11x11true114035x14x1false140012x1441x140230x14x1true41051041031001011121041151413110111121140230x14x14012x1222041x140100x1410200x140230x1432004x140012x1200441x140230x14x11true11050x120x1false1050x12020x1false1050x152020x1false1050x1152020x1false1250x120x1false1250x1220x1false1250x15220x1false1250x115220x1false10120x1200x1false10120x110200x1false10120x1110200x1false14030x1100x1false14030x14100x1false14030x144100x1false14030x1344100x1false15250x120x1false15250x15020x1false15250x155020x1false15250x1155020x1false10352x15x1false30313233343536373810352x1205x1false10352x12205x1false10352x132205x1false10352x1132205x1false10125x120x1false10125x1320x1false10125x11320x1false10125x151320x1false10125x1151320x1false10325x151x1false10325x12051x1false10325x122051x1false10325x1322051x1false4012x141x1false4012x12041x1false4012x122041x1false4012x1222041x1false40100x1200x1false40100x110200x1false40100x1410200x1false40230x12004x1false40230x132004x1false40230x1432004x1false14035x154x1false6789101112131414035x12054x1false14035x132054x1false14035x1132054x1false40012x141x1false40012x1200441x1false5250x1220x1false5250x120x1false5250x15220x1false5250x155220x1false50320x1350020x1false50320x150020x1false5050x120x1false5050x15020x1false5050x155020x1falsettt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))