@relation R_data_frame

@attribute instance_id string
@attribute repetition numeric
@attribute fold numeric

@data
benchmarks/pms_crafted/frb/frb25-13-2.partial.wcnf,1,1
benchmarks/pms_crafted/frb/frb25-13-3.partial.wcnf,1,1
benchmarks/pms_crafted/frb/frb25-13-5.partial.wcnf,1,1
benchmarks/pms_crafted/job-shop/orb08-894-1058.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-3.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-11-5364-4.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-14-6705-4.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-15-7152-3.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-17-8046-4.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-20-9387-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-3-1788-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-5-2682-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/random/max_clq_150-6-3129-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/brock200_2.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/brock200_4.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/keller4.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/MANN_a45.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/p_hat1000-3.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/p_hat300-1.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/p_hat300-2.clq.wcnf,1,1
benchmarks/pms_crafted/maxclicque/structured/sanr400_0.7.clq.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832707.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195562.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921272.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284127.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284135.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372696.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/structured/3col100_5_1.shuffled.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/structured/3col100_5_4.shuffled.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/structured/3col100_5_8.shuffled.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/structured/3col140_5_1.shuffled.cnf.wcnf,1,1
benchmarks/pms_crafted/maxone/structured/3col80_5_6.shuffled.cnf.wcnf,1,1
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_2.wcsp.wcnf,1,1
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_4.wcsp.wcnf,1,1
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_3.wcsp.wcnf,1,1
benchmarks/pms_industrial/bcp-fir/normalized-fir06_area_delay.wcnf,1,1
benchmarks/pms_industrial/bcp-fir/normalized-fir09_area_delay.wcnf,1,1
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.02.wcnf,1,1
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.09.wcnf,1,1
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.19.wcnf,1,1
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.26.wcnf,1,1
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.60.wcnf,1,1
benchmarks/pms_industrial/bcp-msp/normalized-f600.wcnf,1,1
benchmarks/pms_industrial/bcp-msp/normalized-ii32c1.wcnf,1,1
benchmarks/pms_industrial/bcp-msp/normalized-ii8b1.wcnf,1,1
benchmarks/pms_industrial/bcp-msp/normalized-ii8b4.wcnf,1,1
benchmarks/pms_industrial/bcp-msp/normalized-par32-2-c.wcnf,1,1
benchmarks/pms_industrial/bcp-mtg/c1355_F120gat-414gat@1.wcnf,1,1
benchmarks/pms_industrial/bcp-mtg/c1355_F127gat-418gat@1.wcnf,1,1
benchmarks/pms_industrial/bcp-mtg/c1355_F1gat@0.wcnf,1,1
benchmarks/pms_industrial/bcp-mtg/c499_Fic2@1.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-addm4.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-count.b.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-exps.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-m200_500_10_10.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_10_15.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_50_50.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-mlp4.r.wcnf,1,1
benchmarks/pms_industrial/bcp-syn/normalized-sao2.b.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree505p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree605p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree605posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree625p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree820p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree825p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree905posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree101posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree801posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1015p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree125p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree130p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree215p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree405p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree605p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree605posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree620p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree715p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree725p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree1001posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree101p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree101posib.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree201p.wcnf,1,1
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree801posib.wcnf,1,1
benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-3pb.wcnf,1,1
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-6pb.wcnf,1,1
benchmarks/pms_industrial/protein_ins/1knt_.2knt_.g.wcnf.t.wcnf,1,1
benchmarks/pms_crafted/frb/frb20-11-4.partial.wcnf,1,2
benchmarks/pms_crafted/frb/frb25-13-1.partial.wcnf,1,2
benchmarks/pms_crafted/frb/frb30-15-4.partial.wcnf,1,2
benchmarks/pms_crafted/frb/frb35-17-5.partial.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-10-4917-3.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-11-5364-1.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-12-5811-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-15-7152-1.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-15-7152-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-17-8046-3.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-18-8493-1.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-18-8493-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-19-8940-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-3-1788-3.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-4-2235-1.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-5-2682-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-6-3129-4.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/random/max_clq_150-7-3576-1.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/structured/brock800_4.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/structured/hamming10-2.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/structured/johnson16-2-4.clq.wcnf,1,2
benchmarks/pms_crafted/maxclicque/structured/san400_0.9_1.clq.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832708.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195563.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558419.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921273.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921274.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921278.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646984.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646985.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646988.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646989.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646990.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009840.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/structured/3col120_5_2.shuffled.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/structured/3col140_5_9.shuffled.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/structured/3col80_5_9.shuffled.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/structured/cnt05.shuffled.cnf.wcnf,1,2
benchmarks/pms_crafted/maxone/structured/dp04s04.shuffled.cnf.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_6.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_1.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_6.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_1.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_4.wcsp.wcnf,1,2
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf,1,2
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_002_area_delay.wcnf,1,2
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_010_area_delay.wcnf,1,2
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_CEU_75.wcnf,1,2
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_JPT_75.wcnf,1,2
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.18.wcnf,1,2
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.38.wcnf,1,2
benchmarks/pms_industrial/bcp-msp/normalized-ii32d2.wcnf,1,2
benchmarks/pms_industrial/bcp-msp/normalized-ii32e1.wcnf,1,2
benchmarks/pms_industrial/bcp-msp/normalized-ii32e3.wcnf,1,2
benchmarks/pms_industrial/bcp-msp/normalized-ii8a4.wcnf,1,2
benchmarks/pms_industrial/bcp-msp/normalized-par32-3.wcnf,1,2
benchmarks/pms_industrial/bcp-mtg/c1355_F141gat@0.wcnf,1,2
benchmarks/pms_industrial/bcp-mtg/c3540_F20@1.wcnf,1,2
benchmarks/pms_industrial/bcp-mtg/c499_Fid11@1.wcnf,1,2
benchmarks/pms_industrial/bcp-mtg/c499_Fid26@0.wcnf,1,2
benchmarks/pms_industrial/bcp-syn/normalized-9sym.b.wcnf,1,2
benchmarks/pms_industrial/bcp-syn/normalized-f51m.b.wcnf,1,2
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_50_50.r.wcnf,1,2
benchmarks/pms_industrial/bcp-syn/normalized-m100_50_10_10.r.wcnf,1,2
benchmarks/pms_industrial/bcp-syn/normalized-max1024.pi.wcnf,1,2
benchmarks/pms_industrial/circuit-trace-compaction/spi.wcnf,1,2
benchmarks/pms_industrial/haplotype-assembly/splitedReads_0.matrix.wcnf,1,2
benchmarks/pms_industrial/haplotype-assembly/splitedReads_18.matrix.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1020p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree115p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree320p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree525p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree720p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree925p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree601p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree701p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1010p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree115p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree325p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree420p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree515p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree815p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree930p.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree401posib.wcnf,1,2
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree501p.wcnf,1,2
benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-1pb.wcnf,1,2
benchmarks/pms_industrial/protein_ins/1vii_.1cph_.g.wcnf.t.wcnf,1,2
benchmarks/pms_crafted/frb/frb35-17-2.partial.wcnf,1,3
benchmarks/pms_crafted/frb/frb35-17-4.partial.wcnf,1,3
benchmarks/pms_crafted/frb/frb40-19-3.partial.wcnf,1,3
benchmarks/pms_crafted/job-shop/la04-567-0696.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-10-4917-1.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-11-5364-2.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-12-5811-4.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-15-7152-4.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-16-7599-3.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-17-8046-1.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-20-9387-4.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-21-9834-4.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/random/max_clq_150-22-10281-2.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/brock800_1.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/c-fat200-1.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/c-fat200-5.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/c-fat500-1.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/san1000.clq.wcnf,1,3
benchmarks/pms_crafted/maxclicque/structured/san400_0.7_1.clq.wcnf,1,3
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558416.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284130.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646983.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009837.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372698.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/structured/3col120_5_3.shuffled.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/structured/3col80_5_1.shuffled.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/structured/3col80_5_2.shuffled.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/structured/ezfact32_1.shuffled.cnf.wcnf,1,3
benchmarks/pms_crafted/maxone/structured/ezfact32_9.shuffled.cnf.wcnf,1,3
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_1.wcsp.wcnf,1,3
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_4.wcsp.wcnf,1,3
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_2.wcsp.wcnf,1,3
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf,1,3
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_6.wcsp.wcnf,1,3
benchmarks/pms_industrial/aes/mul_8_13.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_004_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_011_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_013_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_017_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_025_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-fir04_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-fir05_area_delay.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-fir07_area_partials.wcnf,1,3
benchmarks/pms_industrial/bcp-fir/normalized-fir08_area_opers.wcnf,1,3
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_HCB_75.wcnf,1,3
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.27.wcnf,1,3
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.21.wcnf,1,3
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.86.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-ii16d2.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-ii32d3.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-ii32e2.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-ii8e1.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-par32-1.wcnf,1,3
benchmarks/pms_industrial/bcp-msp/normalized-par32-4-c.wcnf,1,3
benchmarks/pms_industrial/bcp-mtg/c1355_F183gat@0.wcnf,1,3
benchmarks/pms_industrial/bcp-mtg/c1355_F197gat-308gat@1.wcnf,1,3
benchmarks/pms_industrial/bcp-mtg/c3540_F41@1.wcnf,1,3
benchmarks/pms_industrial/bcp-mtg/c499_Fxa10@0.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-alu4.b.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-bw.b.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-ex1010.pi.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-ex5inp.r.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-fout.r.wcnf,1,3
benchmarks/pms_industrial/bcp-syn/normalized-prom2.pi.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree130p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree210p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree220p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree505posib.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree610p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree730p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree101p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree301posib.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree210p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree220p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree630p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree830p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree915p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree1001p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree201posib.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree601posib.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree801p.wcnf,1,3
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree901posib.wcnf,1,3
benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-2pb.wcnf,1,3
benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-4pb.wcnf,1,3
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-2pb.wcnf,1,3
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-7pb.wcnf,1,3
benchmarks/pms_industrial/protein_ins/3ebx_.1era_.g.wcnf.t.wcnf,1,3
benchmarks/pms_industrial/protein_ins/sandiaprotein.g.wcnf.t.wcnf,1,3
benchmarks/pms_crafted/frb/frb20-11-5.partial.wcnf,1,4
benchmarks/pms_crafted/frb/frb35-17-3.partial.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-12-5811-1.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-13-6258-4.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-19-8940-1.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-2-1341-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-21-9834-3.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-23-10728-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-3-1788-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-5-2682-3.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-5-2682-4.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/random/max_clq_150-8-4023-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/brock200_3.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/c-fat200-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/johnson8-4-4.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/p_hat1000-2.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/san400_0.5_1.clq.wcnf,1,4
benchmarks/pms_crafted/maxclicque/structured/sanr400_0.5.clq.wcnf,1,4
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558423.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558425.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009844.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372694.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/3col100_5_2.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/3col120_5_1.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/3col120_5_6.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/3col140_5_7.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/ezfact32_2.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/ezfact32_8.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/maxone/structured/med11.shuffled.cnf.wcnf,1,4
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_4.wcsp.wcnf,1,4
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_5.wcsp.wcnf,1,4
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_4.wcsp.wcnf,1,4
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_012_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_014_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_019_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_022_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_029_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-fir03_area_delay.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-fir03_area_opers.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-fir04_area_opers.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-fir09_area_opers.wcnf,1,4
benchmarks/pms_industrial/bcp-fir/normalized-fir10_area_partials.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.03.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.06.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_YRI_75.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.1.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.32.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.70.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.8.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.64.wcnf,1,4
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.72.wcnf,1,4
benchmarks/pms_industrial/bcp-msp/normalized-ii8d2.wcnf,1,4
benchmarks/pms_industrial/bcp-msp/normalized-par32-3-c.wcnf,1,4
benchmarks/pms_industrial/bcp-msp/normalized-ssa7552-159.wcnf,1,4
benchmarks/pms_industrial/bcp-mtg/c1355_F1036gat-1229gat@1.wcnf,1,4
benchmarks/pms_industrial/bcp-mtg/c1355_F1051gat@1.wcnf,1,4
benchmarks/pms_industrial/bcp-mtg/c1355_F50gat@1.wcnf,1,4
benchmarks/pms_industrial/bcp-mtg/c6288_F18gat@0.wcnf,1,4
benchmarks/pms_industrial/bcp-mtg/c6288_F35gat@1.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-bench1.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-dk512x.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-ex4inp.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-ex5.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-ex6inp.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_10_15.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_30_30.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-m100_300_10_14.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-m100_300_10_20.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-prom2.r.wcnf,1,4
benchmarks/pms_industrial/bcp-syn/normalized-rd73.b.wcnf,1,4
benchmarks/pms_industrial/haplotype-assembly/splitedReads_137.matrix.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1015p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree405posib.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree410p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree430p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree805p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree915p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree930p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree405posib.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree510p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree905p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree301p.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree301posib.wcnf,1,4
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree501posib.wcnf,1,4
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-3pb.wcnf,1,4
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-9pb.wcnf,1,4
benchmarks/pms_crafted/frb/frb20-11-1.partial.wcnf,1,5
benchmarks/pms_crafted/frb/frb25-13-4.partial.wcnf,1,5
benchmarks/pms_crafted/frb/frb30-15-5.partial.wcnf,1,5
benchmarks/pms_crafted/frb/frb35-17-1.partial.wcnf,1,5
benchmarks/pms_crafted/frb/frb40-19-5.partial.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-16-7599-1.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-16-7599-2.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-2-1341-3.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-2-1341-4.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-20-9387-2.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-23-10728-3.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/random/max_clq_150-6-3129-2.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/brock200_1.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/brock400_1.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/johnson8-2-4.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/MANN_a27.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/MANN_a9.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/p_hat1000-1.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/p_hat700-2.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/san200_0.7_1.clq.wcnf,1,5
benchmarks/pms_crafted/maxclicque/structured/sanr200_0.9.clq.wcnf,1,5
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832709.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558418.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284129.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009839.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372692.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/3col120_5_10.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/3col120_5_5.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/3col140_5_10.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/3col140_5_6.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/3col80_5_4.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/ezfact32_4.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/maxone/structured/ezfact32_6.shuffled.cnf.wcnf,1,5
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf,1,5
benchmarks/pms_crafted/pseudo/miplib/normalized-mps-v2-20-10-stein27.opb.msat.wcnf,1,5
benchmarks/pms_crafted/pseudo/miplib/normalized-mps-v2-20-10-stein45.opb.msat.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_018_area_delay.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_020_area_delay.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-fir05_area_opers.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-fir06_area_partials.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-fir07_area_delay.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-fir08_area_partials.wcnf,1,5
benchmarks/pms_industrial/bcp-fir/normalized-fir09_area_partials.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.01.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_JPT_75.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.37.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.54.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.86.wcnf,1,5
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.23.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-f1000.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii16c1.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii16e2.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii32b2.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii32b3.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii32c4.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-ii8b3.wcnf,1,5
benchmarks/pms_industrial/bcp-msp/normalized-par32-2.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F113gat-1260gat@1.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F1150gat@0.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F1183gat-1262gat@1.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F155gat@1.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F543gat@1.wcnf,1,5
benchmarks/pms_industrial/bcp-mtg/c1355_F57gat@1.wcnf,1,5
benchmarks/pms_industrial/bcp-syn/normalized-m100_50_20_20.r.wcnf,1,5
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_30_30.r.wcnf,1,5
benchmarks/pms_industrial/haplotype-assembly/splitedReads_160.matrix.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree120p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree405p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree415p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree425p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree520p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree705p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree705posib.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree715p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree810p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree830p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree905p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree910p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree601posib.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree310p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree520p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree710p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree905posib.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree601p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree701p.wcnf,1,5
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree901p.wcnf,1,5
benchmarks/pms_industrial/pbo-routing/normalized-s3-3-3-5pb.wcnf,1,5
benchmarks/pms_industrial/protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf,1,5
benchmarks/pms_crafted/frb/frb20-11-3.partial.wcnf,1,6
benchmarks/pms_crafted/frb/frb30-15-1.partial.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-1-894-3.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-1-894-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-10-4917-2.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-13-6258-1.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-13-6258-2.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-19-8940-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-22-10281-3.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-3-1788-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-4-2235-3.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-8-4023-1.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-8-4023-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/random/max_clq_150-9-4470-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/c-fat500-5.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/johnson32-2-4.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/MANN_a81.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/p_hat300-3.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/p_hat500-1.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/p_hat700-1.clq.wcnf,1,6
benchmarks/pms_crafted/maxclicque/structured/san200_0.9_3.clq.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832706.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832710.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195565.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558417.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921271.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921275.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921276.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284126.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284131.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372699.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372700.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/structured/3col100_5_9.shuffled.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/structured/cnt07.shuffled.cnf.wcnf,1,6
benchmarks/pms_crafted/maxone/structured/ezfact32_7.shuffled.cnf.wcnf,1,6
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_1.wcsp.wcnf,1,6
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_70_6.wcsp.wcnf,1,6
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_6.wcsp.wcnf,1,6
benchmarks/pms_industrial/aes/sbox_4.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_001_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_003_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_005_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_007_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_009_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_023_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-fir04_area_partials.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-fir06_area_opers.wcnf,1,6
benchmarks/pms_industrial/bcp-fir/normalized-fir10_area_delay.wcnf,1,6
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.04.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-hanoi4.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii16a1.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii16a2.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii32a1.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii8a3.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii8b2.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ii8c1.wcnf,1,6
benchmarks/pms_industrial/bcp-msp/normalized-ssa7552-158.wcnf,1,6
benchmarks/pms_industrial/bcp-mtg/c1355_F106gat@0.wcnf,1,6
benchmarks/pms_industrial/bcp-mtg/c1355_F43gat@1.wcnf,1,6
benchmarks/pms_industrial/bcp-mtg/c499_Fic0@1.wcnf,1,6
benchmarks/pms_industrial/bcp-mtg/c499_Fid20-xa10@0.wcnf,1,6
benchmarks/pms_industrial/bcp-mtg/c6288_F69gat@1.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-des.a.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-duke2.b.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-ex5.pi.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-lin.rom.r.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-m100_300_10_15.r.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-m100_50_30_30.r.wcnf,1,6
benchmarks/pms_industrial/bcp-syn/normalized-max1024.r.wcnf,1,6
benchmarks/pms_industrial/circuit-trace-compaction/mrisc_mem2wire.wcnf,1,6
benchmarks/pms_industrial/circuit-trace-compaction/sudoku.wcnf,1,6
benchmarks/pms_industrial/haplotype-assembly/splitedReads_158.matrix.wcnf,1,6
benchmarks/pms_industrial/haplotype-assembly/splitedReads_414.matrix.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree110p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree225p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree510p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree515p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree805posib.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1025p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree230p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree425p.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree505posib.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree805posib.wcnf,1,6
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree820p.wcnf,1,6
benchmarks/pms_industrial/protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf,1,6
benchmarks/pms_industrial/protein_ins/1knt_.5pti_.g.wcnf.t.wcnf,1,6
benchmarks/pms_industrial/protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf,1,6
benchmarks/pms_industrial/protein_ins/6ebx_.1era_.g.wcnf.t.wcnf,1,6
benchmarks/pms_crafted/job-shop/ft10-808-1090.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-12-5811-3.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-14-6705-2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-16-7599-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-18-8493-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-21-9834-1.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-22-10281-1.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-23-10728-1.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-23-10728-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-4-2235-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-7-3576-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-8-4023-3.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-9-4470-2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/random/max_clq_150-9-4470-3.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/brock400_4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/brock800_2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/c-fat500-2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/hamming6-4.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/keller5.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/p_hat700-3.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/san200_0.9_2.clq.wcnf,1,7
benchmarks/pms_crafted/maxclicque/structured/san400_0.7_2.clq.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832712.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832713.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558421.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921280.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284132.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284134.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372691.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/structured/3col100_5_5.shuffled.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/structured/3col100_5_7.shuffled.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/structured/3col120_5_4.shuffled.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/structured/3col120_5_7.shuffled.cnf.wcnf,1,7
benchmarks/pms_crafted/maxone/structured/ezfact32_5.shuffled.cnf.wcnf,1,7
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_1.wcsp.wcnf,1,7
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_2.wcsp.wcnf,1,7
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_5.wcsp.wcnf,1,7
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_2.wcsp.wcnf,1,7
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_3.wcsp.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_021_area_delay.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_030_area_delay.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir01_area_opers.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir02_area_opers.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir03_area_partials.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir07_area_opers.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir08_area_delay.wcnf,1,7
benchmarks/pms_industrial/bcp-fir/normalized-fir10_area_opers.wcnf,1,7
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.07.wcnf,1,7
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.34.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ii16b1.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ii16b2.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ii32b4.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ii32c2.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ii8a1.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-par32-1-c.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-par32-4.wcnf,1,7
benchmarks/pms_industrial/bcp-msp/normalized-ssa7552-160.wcnf,1,7
benchmarks/pms_industrial/bcp-mtg/c3540_F45@1.wcnf,1,7
benchmarks/pms_industrial/bcp-mtg/c499_Fic6@1.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_10_30.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_90_90.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-m100_300_10_10.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_70_70.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-maincont.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-opus.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-ricks.r.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-rot.b.wcnf,1,7
benchmarks/pms_industrial/bcp-syn/normalized-saucier.r.wcnf,1,7
benchmarks/pms_industrial/circuit-trace-compaction/ctrl.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1025p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1030p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree305p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree201p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree701posib.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree901p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1030p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree305p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree315p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree330p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree415p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree530p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree615p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree805p.wcnf,1,7
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree920p.wcnf,1,7
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-4pb.wcnf,1,7
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-8pb.wcnf,1,7
benchmarks/pms_crafted/frb/frb30-15-3.partial.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-1-894-2.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-17-8046-2.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-18-8493-3.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-20-9387-3.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-7-3576-3.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/random/max_clq_150-9-4470-1.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/structured/brock800_3.clq.wcnf,1,8
benchmarks/pms_crafted/maxclicque/structured/p_hat500-3.clq.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195564.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195566.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195567.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195569.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558420.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558422.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.350.558424.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284133.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646981.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009836.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009842.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372693.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col100_5_10.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col100_5_3.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col100_5_6.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col140_5_5.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col80_5_10.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col80_5_7.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/3col80_5_8.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/dp05s05.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/dp06s06.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/dp07s07.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/maxone/structured/ezfact32_10.shuffled.cnf.wcnf,1,8
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_40_5.wcsp.wcnf,1,8
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_3.wcsp.wcnf,1,8
benchmarks/pms_crafted/pseudo/miplib/normalized-mps-v2-20-10-stein15.opb.msat.wcnf,1,8
benchmarks/pms_industrial/aes/mul_8_11.wcnf,1,8
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_016_area_delay.wcnf,1,8
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_024_area_delay.wcnf,1,8
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_027_area_delay.wcnf,1,8
benchmarks/pms_industrial/bcp-fir/normalized-fir02_area_partials.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.08.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.29.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.30.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.62.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.69.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.7.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.53.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.58.wcnf,1,8
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.9.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-f2000.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-g125.18.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-hanoi5.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ii16c2.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ii16d1.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ii32c3.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ii32e5.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ii8e2.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-par32-5.wcnf,1,8
benchmarks/pms_industrial/bcp-msp/normalized-ssa7552-038.wcnf,1,8
benchmarks/pms_industrial/bcp-mtg/c499_Fid18@0.wcnf,1,8
benchmarks/pms_industrial/bcp-mtg/c6288_F137gat@1.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-apex6.b.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-C499.a.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-C499.b.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-C880.b.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-clip.b.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-jac3.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-m4.r.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_10_10.r.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-max512.r.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-rd84.b.wcnf,1,8
benchmarks/pms_industrial/bcp-syn/normalized-test4.pi.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree325p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree530p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree710p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree201posib.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree301p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree401p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree120p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree320p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree625p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree730p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree925p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree401p.wcnf,1,8
benchmarks/pms_industrial/pbo-mqc/nlogencdr/15tree701posib.wcnf,1,8
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-1pb.wcnf,1,8
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-5pb.wcnf,1,8
benchmarks/pms_industrial/protein_ins/p1.wcnf.t.wcnf,1,8
benchmarks/pms_crafted/frb/frb40-19-1.partial.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-1-894-1.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-10-4917-4.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-11-5364-3.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-13-6258-3.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-19-8940-3.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-21-9834-2.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-22-10281-4.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/random/max_clq_150-4-2235-2.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/structured/c-fat500-10.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/structured/hamming10-4.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/structured/hamming8-2.clq.wcnf,1,9
benchmarks/pms_crafted/maxclicque/structured/p_hat500-2.clq.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832711.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832714.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.250.832715.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921277.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646982.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646986.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.500.646987.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009838.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009845.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372697.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/structured/3col120_5_8.shuffled.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/structured/3col140_5_8.shuffled.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/structured/3col80_5_3.shuffled.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/structured/3col80_5_5.shuffled.cnf.wcnf,1,9
benchmarks/pms_crafted/maxone/structured/dp03s03.shuffled.cnf.wcnf,1,9
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_3.wcsp.wcnf,1,9
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_5.wcsp.wcnf,1,9
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_6.wcsp.wcnf,1,9
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_2.wcsp.wcnf,1,9
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_3.wcsp.wcnf,1,9
benchmarks/pms_industrial/aes/mul_8_14.wcnf,1,9
benchmarks/pms_industrial/aes/mul_8_3.wcnf,1,9
benchmarks/pms_industrial/aes/mul_8_9.wcnf,1,9
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_008_area_delay.wcnf,1,9
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_015_area_delay.wcnf,1,9
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_026_area_delay.wcnf,1,9
benchmarks/pms_industrial/bcp-fir/normalized-fir02_area_delay.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_HCB_75.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr21_CEU_75.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.10.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.50.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.33.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.38.wcnf,1,9
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.80.wcnf,1,9
benchmarks/pms_industrial/bcp-msp/normalized-g250.15.wcnf,1,9
benchmarks/pms_industrial/bcp-msp/normalized-ii16e1.wcnf,1,9
benchmarks/pms_industrial/bcp-msp/normalized-ii32b1.wcnf,1,9
benchmarks/pms_industrial/bcp-msp/normalized-ii8d1.wcnf,1,9
benchmarks/pms_industrial/bcp-mtg/c1355_F1001gat-1048gat@1.wcnf,1,9
benchmarks/pms_industrial/bcp-mtg/c1355_F1229gat@1.wcnf,1,9
benchmarks/pms_industrial/bcp-mtg/c3540_F45@0.wcnf,1,9
benchmarks/pms_industrial/bcp-mtg/c6288_F205gat@1.wcnf,1,9
benchmarks/pms_industrial/bcp-syn/normalized-apex4.a.wcnf,1,9
benchmarks/pms_industrial/bcp-syn/normalized-bbara.r.wcnf,1,9
benchmarks/pms_industrial/bcp-syn/normalized-C880.a.wcnf,1,9
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_70_70.r.wcnf,1,9
benchmarks/pms_industrial/bcp-syn/normalized-m100_50_40_40.r.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1010p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree125p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree215p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree230p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree310p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree330p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree615p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree620p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree630p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree815p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree920p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree1001posib.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree401posib.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree501p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree501posib.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree801p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree901posib.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree110p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree410p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree430p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree505p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree610p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree705p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree825p.wcnf,1,9
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree910p.wcnf,1,9
benchmarks/pms_industrial/protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf,1,9
benchmarks/pms_industrial/protein_ins/2knt_.5pti_.g.wcnf.t.wcnf,1,9
benchmarks/pms_crafted/frb/frb20-11-2.partial.wcnf,1,10
benchmarks/pms_crafted/frb/frb30-15-2.partial.wcnf,1,10
benchmarks/pms_crafted/frb/frb40-19-2.partial.wcnf,1,10
benchmarks/pms_crafted/frb/frb40-19-4.partial.wcnf,1,10
benchmarks/pms_crafted/maxclicque/random/max_clq_150-14-6705-1.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/random/max_clq_150-14-6705-3.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/random/max_clq_150-2-1341-1.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/random/max_clq_150-6-3129-3.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/random/max_clq_150-7-3576-2.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/brock400_2.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/brock400_3.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/hamming6-2.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/hamming8-4.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/san200_0.7_2.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/san200_0.9_1.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/san400_0.7_3.clq.wcnf,1,10
benchmarks/pms_crafted/maxclicque/structured/sanr200_0.7.clq.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195561.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195568.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.300.195570.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.400.921279.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.450.284128.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009841.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.550.009843.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/3sat/cnf3.150.600.372695.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/3col120_5_9.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/3col140_5_2.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/3col140_5_3.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/3col140_5_4.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/cnt06.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/dp02s02.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/maxone/structured/ezfact32_3.shuffled.cnf.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_30_6.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_50_3.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_60_4.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_1.wcsp.wcnf,1,10
benchmarks/pms_crafted/min-enc/kbtree/kbtree9_7_3_5_90_2.wcsp.wcnf,1,10
benchmarks/pms_crafted/pseudo/miplib/normalized-mps-v2-20-10-stein9.opb.msat.wcnf,1,10
benchmarks/pms_industrial/aes/sbox_8.wcnf,1,10
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_006_area_delay.wcnf,1,10
benchmarks/pms_industrial/bcp-fir/normalized-f20c10b_028_area_delay.wcnf,1,10
benchmarks/pms_industrial/bcp-fir/normalized-fir01_area_delay.wcnf,1,10
benchmarks/pms_industrial/bcp-fir/normalized-fir05_area_partials.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-ibd_50.05.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/simp/simp-test_chr10_YRI_75.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.58.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU1__simp-genos.haps.85.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.27.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.63.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.74.wcnf,1,10
benchmarks/pms_industrial/bcp-hipp-yRa1/su/SU3__simp-genos.haps.88.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-g125.17.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-g250.29.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-ii32d1.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-ii32e4.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-ii8a2.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-ii8c2.wcnf,1,10
benchmarks/pms_industrial/bcp-msp/normalized-par32-5-c.wcnf,1,10
benchmarks/pms_industrial/bcp-mtg/c1355_F1001gat@1.wcnf,1,10
benchmarks/pms_industrial/bcp-mtg/c1355_F106gat-409gat@1.wcnf,1,10
benchmarks/pms_industrial/bcp-mtg/c1355_F176gat-1278gat@1.wcnf,1,10
benchmarks/pms_industrial/bcp-mtg/c1355_F71gat@1.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-5xp1.b.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-alu2.b.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-apex7.b.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-bench1.pi.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-e64.b.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-exam.pi.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-m100_100_10_10.r.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-m50_100_90_90.r.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-pdc.r.wcnf,1,10
benchmarks/pms_industrial/bcp-syn/normalized-test1.r.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree1005p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree315p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree420p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nencdr/10tree725p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nencdr/15tree1001p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1005p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree1020p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree225p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree525p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree705posib.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree720p.wcnf,1,10
benchmarks/pms_industrial/pbo-mqc/nlogencdr/10tree810p.wcnf,1,10
benchmarks/pms_industrial/pbo-routing/normalized-s4-4-3-10pb.wcnf,1,10