Solver#Ins.WPM3-2015-comaxino16-c10Open-WBO15Open-WBO16mscg2015bmscg2015amaxino16-disOptiriss6QMaxSAT14QMaxSAT16UCmaxhs-bNaps-1.02-msLMHS-2016ahms-ls-1.70ahms-1.70WMaxSatz09WMaxSatz+CCEHC2akmsCCLS2akms
aes714%14%14%14%14%14%14%14%0%0%28%0%28%14%14%0%0%14%14%
atcoss/mesat1861%61%61%61%61%61%66%61%61%61%61%66%61%0%0%0%0%0%0%
atcoss/sugar1963%63%63%63%63%63%63%63%63%63%63%63%63%0%0%0%0%0%0%
bcp/fir32100%96%100%100%100%100%96%100%90%90%87%87%71%40%40%46%46%3%3%
bcp/hipp-yRa1/simp10100%90%90%90%90%90%90%90%100%90%50%90%50%0%0%0%0%0%0%
bcp/hipp-yRa1/su3894%84%92%89%92%89%81%86%92%92%73%86%60%0%0%0%0%0%0%
bcp/msp4047%57%62%62%32%30%52%22%27%27%52%25%55%40%40%35%35%17%7%
bcp/mtg30100%100%100%100%100%100%100%100%100%100%100%100%100%66%66%16%16%0%0%
bcp/syn3857%63%50%55%50%50%55%39%15%15%92%18%92%28%28%13%13%18%18%
trial/circuit-trace-compaction4100%100%100%100%100%100%100%100%100%100%50%100%25%25%0%25%25%0%0%
close_solutions50100%100%92%80%96%96%100%96%82%90%84%28%46%6%6%0%0%18%22%
des5098%94%98%98%100%98%64%92%86%90%84%76%42%0%0%0%0%0%0%
haplotype-assembly683%83%83%83%100%100%83%83%83%83%83%83%83%0%0%0%0%0%0%
hs-timetabling250%50%50%50%50%50%50%50%50%50%50%50%50%0%0%0%0%0%0%
mbd4697%97%97%97%97%97%91%97%86%86%97%13%76%2%2%0%0%0%0%
packup-pms40100%100%100%100%100%100%100%100%100%100%100%100%100%67%67%0%0%0%0%
pbo/mqc/nencdr25100%100%100%100%100%100%100%100%100%100%100%100%100%36%36%40%40%0%0%
pbo/mqc/nlogencdr25100%100%100%100%100%100%100%100%100%100%100%100%100%80%80%64%64%0%0%
pbo/routing15100%100%100%100%100%100%100%100%100%100%100%100%93%33%33%33%33%40%0%
protein_ins12100%100%100%100%100%100%100%100%100%100%25%100%25%33%16%16%16%16%16%
tpr/Multiple_path36100%100%100%100%100%100%100%97%100%100%100%100%86%0%0%0%0%0%0%
tpr/One_path25100%100%100%100%100%100%100%100%100%100%100%100%100%0%0%0%0%0%0%
dustrial/treewidth-computation3372%72%72%75%72%72%72%69%75%69%72%78%75%0%0%0%0%0%0%