@relation R_data_frame

@attribute instance_id string
@attribute repetition numeric
@attribute nvarsOrig numeric
@attribute nclausesOrig numeric
@attribute nvars numeric
@attribute nclauses numeric
@attribute reducedVars numeric
@attribute reducedClauses numeric
@attribute Pre.featuretime numeric
@attribute vars.clauses.ratio numeric
@attribute POSNEG.RATIO.CLAUSE.mean numeric
@attribute POSNEG.RATIO.CLAUSE.coeff.variation numeric
@attribute POSNEG.RATIO.CLAUSE.min numeric
@attribute POSNEG.RATIO.CLAUSE.max numeric
@attribute POSNEG.RATIO.CLAUSE.entropy numeric
@attribute VCG.CLAUSE.mean numeric
@attribute VCG.CLAUSE.coeff.variation numeric
@attribute VCG.CLAUSE.min numeric
@attribute VCG.CLAUSE.max numeric
@attribute VCG.CLAUSE.entropy numeric
@attribute UNARY numeric
@attribute BINARY. numeric
@attribute TRINARY. numeric
@attribute Basic.featuretime numeric
@attribute VCG.VAR.mean numeric
@attribute VCG.VAR.coeff.variation numeric
@attribute VCG.VAR.min numeric
@attribute VCG.VAR.max numeric
@attribute VCG.VAR.entropy numeric
@attribute POSNEG.RATIO.VAR.mean numeric
@attribute POSNEG.RATIO.VAR.stdev numeric
@attribute POSNEG.RATIO.VAR.min numeric
@attribute POSNEG.RATIO.VAR.max numeric
@attribute POSNEG.RATIO.VAR.entropy numeric
@attribute HORNY.VAR.mean numeric
@attribute HORNY.VAR.coeff.variation numeric
@attribute HORNY.VAR.min numeric
@attribute HORNY.VAR.max numeric
@attribute HORNY.VAR.entropy numeric
@attribute horn.clauses.fraction numeric
@attribute VG.mean numeric
@attribute VG.coeff.variation numeric
@attribute VG.min numeric
@attribute VG.max numeric
@attribute KLB.featuretime numeric
@attribute CG.mean numeric
@attribute CG.coeff.variation numeric
@attribute CG.min numeric
@attribute CG.max numeric
@attribute CG.entropy numeric
@attribute cluster.coeff.mean numeric
@attribute cluster.coeff.coeff.variation numeric
@attribute cluster.coeff.min numeric
@attribute cluster.coeff.max numeric
@attribute cluster.coeff.entropy numeric
@attribute CG.featuretime numeric

@data
aes-key-recovery/AES1-30-5.wcnf,1,21368,372734,0,0,-512,-512,273.58,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES1-40-6.wcnf,1,21368,372656,0,0,-512,-512,273.28,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES1-40-7.wcnf,1,21368,372659,0,0,-512,-512,273.22,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES1-60-17.wcnf,1,21368,372531,0,0,-512,-512,276.83,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES1-70-24.wcnf,1,21368,372458,0,0,-512,-512,280.37,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES1-76-37.wcnf,1,21368,372418,0,0,-512,-512,279.55,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES2-50-52.wcnf,1,21368,372582,0,0,-512,-512,274.96,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES2-70-61.wcnf,1,21368,372461,0,0,-512,-512,280.61,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES2-72-67.wcnf,1,21368,372421,0,0,-512,-512,281.48,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES2-74-11.wcnf,1,21368,372429,0,0,-512,-512,281.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes-key-recovery/AES2-74-73.wcnf,1,21368,372433,0,0,-512,-512,281.23,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes/mul_8_11.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
aes/mul_8_13.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
aes/mul_8_14.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
aes/mul_8_3.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
aes/mul_8_9.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
aes/sbox_4.wcnf,1,147,387,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
aes/sbox_8.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atcoss/atcoss_mesat_01.wcnf,1,321384,969761,302,301,1063.18543,3220.797342,1.62,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_mesat_03.wcnf,1,321140,969655,302,301,1062.377483,3220.445183,1.61,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0.01,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_mesat_04.wcnf,1,450890,1515125,302,301,1492.013245,5032.637874,2.51,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_mesat_05.wcnf,1,450157,1463573,302,301,1489.586093,4861.368771,2.46,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0,0,0,0,0,0,0,0,0,0,0,0.01
atcoss/atcoss_mesat_06.wcnf,1,449672,1463225,302,301,1487.980132,4860.212625,2.59,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0,0,0,0,0,0,0,0,0,0,0,0.01
atcoss/atcoss_mesat_10.wcnf,1,333864,1078680,302,301,1104.509934,3582.654485,1.82,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0.01,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_mesat_12.wcnf,1,334172,1078872,302,301,1105.529801,3583.292359,1.79,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0.02,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_mesat_18.wcnf,1,366276,1605464,302,301,1211.834437,5332.767442,2.58,1.003322,1,0,1,1,0,0.006623,0,0.006623,0.006623,0,0,1,1,0,0.006623,8.645856,0.003322,1,0.022214,1,0,1,1,0,0,0,0,0,0,0,0.006623,8.645856,0.003322,1,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_sugar_01.wcnf,1,40854,372760,0,0,-512,-512,670.89,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_sugar_02.wcnf,1,40788,377502,0,0,-512,-512,682.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_sugar_04.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atcoss/atcoss_sugar_05.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atcoss/atcoss_sugar_12.wcnf,1,44774,413168,0,0,-512,-512,754.81,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
atcoss/atcoss_sugar_15.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atcoss/atcoss_sugar_18.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
atcoss/atcoss_sugar_19.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
bcp/c5315_F1@0.wcnf,1,554,1201,356,355,0.55618,2.383099,0,1.002817,0,0,0,0,0,0.005618,0,0.005618,0.005618,0,0,1,1,0,0.005618,9.394185,0.002817,1,0.019308,1,0,1,1,0,0.005618,9.394185,0.002817,1,0.019308,1,0.005618,9.394185,0.002817,1,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-f2000.wcnf,1,4000,14500,0,0,-512,-512,0.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-f20c10b_005_area_delay.wcnf,1,17114,131856,0,0,-512,-512,97.75,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-f20c10b_024_area_delay.wcnf,1,3392,10643,0,0,-512,-512,0.37,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-fir06_area_opers.wcnf,1,11085,28831,0,0,-512,-512,1.58,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-fir09_area_opers.wcnf,1,25134,71696,0,0,-512,-512,9.36,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-ii8a3.wcnf,1,528,2344,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-m100_300_10_15.r.wcnf,1,294,361,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-par32-4.wcnf,1,6352,19841,0,0,-512,-512,0.68,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/normalized-saucier.r.wcnf,1,6207,6322,0,0,-512,-512,23.78,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
bcp/simp-ibd_50.04.wcnf,1,3065,51775,0,0,-512,-512,4.54,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
biorepair/heatShock_WT_121_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_148_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_161_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_192_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_196_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_28_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_30_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_36_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_42_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/heatShock_WT_43_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/Stat_vs_Exp_151_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/Stat_vs_Exp_58_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
biorepair/Stat_vs_Exp_72_12.lp.sm-extracted.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
causal-discovery/causal_n5_i7_N1000_uai13_harddeps_int.wcnf,1,61600,221790,0,0,-512,-512,250,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n5_i8_N10000_uai13_harddeps_int.wcnf,1,61600,221790,0,0,-512,-512,250.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n5_i9_N10000_uai13_constant_int.wcnf,1,61600,221790,0,0,-512,-512,239.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n6_i1_N500_uai13_harddeps_int.wcnf,1,328107,1206162,71,70,4620.225352,17229.885714,1.91,1.014286,0,0,0,0,0,0.028169,0,0.028169,0.028169,0,0,1,1,0,0.028169,4.123539,0.014286,1,0.074023,1,0,1,1,0,0.028169,4.123539,0.014286,1,0.074023,1,0.028169,4.123539,0.014286,1,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n6_i3_N500_uai14_harddeps_int.wcnf,1,12764,46236,0,0,-512,-512,10.15,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n6_i8_N1000_uai14_constant_int.wcnf,1,12764,46236,0,0,-512,-512,9.91,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n7_i10_N1000_uai14_constant_int.wcnf,1,40290,145910,0,0,-512,-512,125.82,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n7_i7_N1000_uai14_harddeps_int.wcnf,1,40290,145910,0,0,-512,-512,137.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n7_i8_N1000_uai14_constant_int.wcnf,1,40290,145910,0,0,-512,-512,131.36,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
causal-discovery/causal_n7_i9_N1000_uai14_harddeps_int.wcnf,1,40290,145910,0,0,-512,-512,134.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitDebuggingProblems/ac97_ctrl-debug.dimacs.wcnf,1,1058921,168471,0,0,-512,-512,1.55,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitDebuggingProblems/divider-debug.dimacs.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
CircuitDebuggingProblems/mem_ctrl-debug.dimacs.wcnf,1,381721,505547,0,0,-512,-512,13.16,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitDebuggingProblems/mrisc-debug.dimacs.wcnf,1,740161,1623572,0,0,-512,-512,6.67,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitDebuggingProblems/rsdecoder-debug.dimacs.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
CircuitDebuggingProblems/spi-debug.dimacs.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
CircuitDebuggingProblems/sudoku-debug.dimacs.wcnf,1,1304121,1554820,0,0,-512,-512,3.7,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitDebuggingProblems/vga-debug.dimacs.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
CircuitDebuggingProblems/wb-debug.dimacs.wcnf,1,399591,621323,0,0,-512,-512,1.14,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitTraceCompaction/ctrl.wcnf,1,15760,38700,0,0,-512,-512,6.31,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitTraceCompaction/mrisc_mem2wire.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
CircuitTraceCompaction/spi.wcnf,1,110200,335600,0,0,-512,-512,783.89,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
CircuitTraceCompaction/sudoku.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT_RACE06__velev-pipe-sat-1.0-b9.cnf.wcnf.2.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT_RACE08__cnf__ibm-2004-01-k90.cnf.wcnf.10.wcnf,1,64699,340910,0,0,-512,-512,251.79,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT02__industrial__biere__dinphil__dp10s10.shuffled.cnf.wcnf.8.wcnf,1,7759,30764,0,0,-512,-512,1.88,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT04__industrial__velev__pipe-sat-1-1__12pipe_bug6_q0.used-as.sat04-725.cnf.wcnf.3.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug5.cnf.wcnf.1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.3.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT09__APPLICATIONS__satComp09_BioInstances__rbcl_xits_18_SAT.cnf.wcnf.2.wcnf,1,2888,221419,0,0,-512,-512,12.28,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf,1,68779,303473,0,0,-512,-512,154.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-10.cnf.wcnf.3.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT11__application__fuhs__AProVE11__AProVE11-12.cnf.wcnf.2.wcnf,1,44805,193924,0,0,-512,-512,34.23,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf,1,68952,1097989,0,0,-512,-512,33.61,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.8.wcnf,1,68952,1097989,0,0,-512,-512,32.53,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf.wcnf.4.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT11__application__leberre__2dimensionalstrippacking__E05F18.cnf.wcnf.8.wcnf,1,7794,134621,0,0,-512,-512,3.44,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__manthey__traffic__traffic_3_uc_sat.cnf.wcnf.8.wcnf,1,142205,1454558,0,0,-512,-512,41.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
close_solutions/SAT11__application__rintanen__SATPlanning__blocks-blocks-36-0.170-NOTKNOWN.cnf.wcnf.6.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/SAT11__application__rintanen__SATPlanning__openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf.wcnf.5.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
close_solutions/teams16_l6a.cnf.wcnf,1,2969,66540,2970,66539,-0.000337,0.000015,0.83,0.044635,0.384697,0.407561,0,1,1.025312,0.001204,0.364561,0.000673,0.005387,1.051858,0,0.043072,0.620914,0.05,0.001204,14.667463,0.00003,0.962368,1.655346,0.758216,0.327084,0,1,1.44021,0.001002,15.617237,0.00003,0.853019,1.775754,0.885015,0.000634,1.694881,0.00003,0.04462,0.13,-1,0,-1,0,-512,-1,0,-1,0,0,20.05
close_solutions/TEAMS20_l10aa.cnf.wcnf,1,5471,138119,5472,138118,-0.000183,0.000007,1.81,0.039618,0.351863,0.360132,0,1,0.669541,0.000585,0.370757,0.000365,0.003655,0.619001,0,0.035586,0.833273,0.1,0.000585,22.322962,0.000014,0.965754,1.696903,0.770616,0.303278,0,1,1.431834,0.000499,23.495806,0.000014,0.867244,1.747468,0.897226,0.000398,1.783368,0.000014,0.039611,0.4,-1,0,-1,0,-512,-1,0,-1,0,0,21.71
close_solutions/teams24_l5a.cnf.wcnf,1,9061,280507,9062,280506,-0.00011,0.000004,3.99,0.032306,0.348587,0.312683,0,1,0.588146,0.000351,0.385313,0.000221,0.002648,0.555618,0,0.028908,0.855112,0.2,0.000351,29.107142,0.000007,0.971551,1.470051,0.801189,0.293589,0,1,1.21682,0.000307,30.441163,0.000007,0.889849,1.524976,0.915264,0.000239,1.895786,0.000007,0.032302,1.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.08
ConsistentQueryAnswering/real-5.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
ConsistentQueryAnswering/real-6.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
ConsistentQueryAnswering/synthetic-12.wcnf,1,89740,110410,17990,17989,3.988327,5.13764,0.47,1.000056,1,0,1,1,0,0.000111,0,0.000111,0.000111,0,0,1,1,0.02,0.000111,67.057811,0.000056,1,0.0006,1,0,1,1,0,0,0,0,0,0,0,0.000111,67.057811,0.000056,1,3.39,0,0,0,0,0,0,0,0,0,0,0.08
ConsistentQueryAnswering/synthetic-14.wcnf,1,26778,32370,3930,5728,5.81374,4.651187,0.1,0.686103,1,0,1,1,0,0.000509,0,0.000509,0.000509,0,0,1,1,0,0.000509,31.333796,0.000175,1,0.886788,1,0,1,1,0,0,0,0,0,0,0,0.000349,31.332891,0.000175,0.685929,0.17,0,0,0,0,0,0,0,0,0,0,0.03
ConsistentQueryAnswering/synthetic-21.wcnf,1,83896,105246,13804,21342,5.077659,3.931403,0.51,0.6468,1,0,1,1,0,0.000145,0,0.000145,0.000145,0,0,1,1,0.02,0.000145,58.73912,0.000047,1,0.755598,1,0,1,1,0,0,0,0,0,0,0,0.000094,58.738829,0.000047,0.646753,1.99,0,0,0,0,0,0,0,0,0,0,0.08
des/cnf.10.p.8.wcnf,1,64984,293717,0,0,-512,-512,181.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.12.t.9.wcnf,1,74960,341160,0,0,-512,-512,229.1,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.13.p.8.wcnf,1,79744,360497,0,0,-512,-512,263.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.13.p.9.wcnf,1,87124,393887,0,0,-512,-512,302.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
des/cnf.14.t.7.wcnf,1,82880,377240,0,0,-512,-512,296.45,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.15.p.7.wcnf,1,95980,433955,0,0,-512,-512,354.14,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.16.p.6.wcnf,1,99670,450650,0,0,-512,-512,379.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.16.p.7.wcnf,1,94504,427287,0,0,-512,-512,349.48,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.17.p.10.wcnf,1,113692,514091,0,0,-512,-512,466.31,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.18.d.7.wcnf,1,83240,378880,0,0,-512,-512,299.47,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.18.p.4.wcnf,1,88600,400587,0,0,-512,-512,316.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.18.p.5.wcnf,1,103360,467355,0,0,-512,-512,398.56,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.18.p.8.wcnf,1,118120,534135,0,0,-512,-512,496.18,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.18.t.9.wcnf,1,118160,537960,0,0,-512,-512,520.12,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.20.d.10.wcnf,1,97640,444480,0,0,-512,-512,389.68,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.20.p.5.wcnf,1,109264,494067,0,0,-512,-512,438.81,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.20.p.7.wcnf,1,123286,557498,0,0,-512,-512,527.7,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.8.p.7.wcnf,1,50962,230276,0,0,-512,-512,115.99,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.9.p.10.wcnf,1,60556,273683,0,0,-512,-512,159.05,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
des/cnf.9.p.8.wcnf,1,59080,267005,0,0,-512,-512,154.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
drmx-cryptogen/geffe128_1.wcnf,1,1600,9044,1600,7444,0,0.214938,0.07,0.214938,0.580624,0.255096,0,0.666667,0.921566,0.00324,0.236778,0.00125,0.00375,0.921566,0,0.027002,0.135008,0,0.00324,7.725202,0.000403,1,2.303096,1,0,1,1,0,0.00324,7.725202,0.000403,1,2.303096,1,0.002828,1.965398,0.000672,0.214804,0.04,0,0,0,0,0,0,0,0,0,0,0.02
drmx-cryptogen/geffe128_4.wcnf,1,1600,9044,1600,7444,0,0.214938,0.08,0.214938,0.580624,0.255096,0,0.666667,0.921566,0.00324,0.236778,0.00125,0.00375,0.921566,0,0.027002,0.135008,0.01,0.00324,7.725202,0.000403,1,2.303096,1,0,1,1,0,0.00324,7.725202,0.000403,1,2.303096,1,0.002828,1.965398,0.000672,0.214804,0.03,0,0,0,0,0,0,0,0,0,0,0.02
drmx-cryptogen/geffe128_5.wcnf,1,1600,9044,1600,7444,0,0.214938,0.06,0.214938,0.580624,0.255096,0,0.666667,0.921566,0.00324,0.236778,0.00125,0.00375,0.921566,0,0.027002,0.135008,0.01,0.00324,7.725202,0.000403,1,2.303096,1,0,1,1,0,0.00324,7.725202,0.000403,1,2.303096,1,0.002828,1.965398,0.000672,0.214804,0.03,0,0,0,0,0,0,0,0,0,0,0.03
drmx-cryptogen/geffe128_8.wcnf,1,1600,9044,1600,7444,0,0.214938,0.06,0.214938,0.580624,0.255096,0,0.666667,0.921566,0.00324,0.236778,0.00125,0.00375,0.921566,0,0.027002,0.135008,0.01,0.00324,7.725202,0.000403,1,2.303096,1,0,1,1,0,0.00324,7.725202,0.000403,1,2.303096,1,0.002828,1.965398,0.000672,0.214804,0.03,0,0,0,0,0,0,0,0,0,0,0.04
drmx-cryptogen/threshold128_0.wcnf,1,1600,9444,1600,7844,0,0.203978,0.07,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0.01,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.04,0,0,0,0,0,0,0,0,0,0,0.03
drmx-cryptogen/threshold128_2.wcnf,1,1600,9444,1600,7844,0,0.203978,0.06,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0.02,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.03,0,0,0,0,0,0,0,0,0,0,0.02
drmx-cryptogen/threshold128_3.wcnf,1,1600,9444,1600,7844,0,0.203978,0.07,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.04,0,0,0,0,0,0,0,0,0,0,0.02
drmx-cryptogen/threshold128_4.wcnf,1,1600,9444,1600,7844,0,0.203978,0.06,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0.01,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.03,0,0,0,0,0,0,0,0,0,0,0.03
drmx-cryptogen/threshold128_5.wcnf,1,1600,9444,1600,7844,0,0.203978,0.07,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.04,0,0,0,0,0,0,0,0,0,0,0.02
drmx-cryptogen/threshold128_6.wcnf,1,1600,9444,1600,7844,0,0.203978,0.07,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0.01,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.03,0,0,0,0,0,0,0,0,0,0,0.03
drmx-cryptogen/threshold128_8.wcnf,1,1600,9444,1600,7844,0,0.203978,0.06,0.203978,0.576492,0.252212,0,0.666667,0.953571,0.003202,0.238887,0.00125,0.00375,0.953571,0,0.025625,0.128251,0.01,0.003202,7.812845,0.00051,1,1.985141,1,0,1,1,0,0.003202,7.812845,0.00051,1,1.985141,1,0.002684,1.967747,0.00051,0.20385,0.03,0,0,0,0,0,0,0,0,0,0,0.04
drmx-cryptogen/wolfram72_1.wcnf,1,18576,82728,18576,64152,0,0.289562,0.57,0.289562,0.50226,0.172847,0,0.6,0.977263,0.000222,0.157811,0.000108,0.000269,0.977263,0,0.00226,0.151609,0.05,0.000222,33.003016,0.000031,1,0.308547,1,0,1,1,0,0.000222,33.003016,0.000031,1,0.308547,1,0.000352,6.032795,0.000047,0.289547,3.56,0,0,0,0,0,0,0,0,0,0,0.24
drmx-cryptogen/wolfram72_5.wcnf,1,18576,82728,18576,64152,0,0.289562,0.53,0.289562,0.50226,0.172847,0,0.6,0.977263,0.000222,0.157811,0.000108,0.000269,0.977263,0,0.00226,0.151609,0.05,0.000222,33.003016,0.000031,1,0.308547,1,0,1,1,0,0.000222,33.003016,0.000031,1,0.308547,1,0.000352,6.032795,0.000047,0.289547,3.55,0,0,0,0,0,0,0,0,0,0,0.25
drmx-cryptogen/wolfram72_7.wcnf,1,18576,82728,18576,64152,0,0.289562,0.54,0.289562,0.50226,0.172847,0,0.6,0.977263,0.000222,0.157811,0.000108,0.000269,0.977263,0,0.00226,0.151609,0.05,0.000222,33.003016,0.000031,1,0.308547,1,0,1,1,0,0.000222,33.003016,0.000031,1,0.308547,1,0.000352,6.032795,0.000047,0.289547,3.55,0,0,0,0,0,0,0,0,0,0,0.26
drmx-cryptogen/wolfram72_8.wcnf,1,18576,82728,18576,64152,0,0.289562,0.54,0.289562,0.50226,0.172847,0,0.6,0.977263,0.000222,0.157811,0.000108,0.000269,0.977263,0,0.00226,0.151609,0.04,0.000222,33.003016,0.000031,1,0.308547,1,0,1,1,0,0.000222,33.003016,0.000031,1,0.308547,1,0.000352,6.032795,0.000047,0.289547,3.57,0,0,0,0,0,0,0,0,0,0,0.25
drmx-cryptogen/wolfram72_9.wcnf,1,18576,82728,18576,64152,0,0.289562,0.58,0.289562,0.50226,0.172847,0,0.6,0.977263,0.000222,0.157811,0.000108,0.000269,0.977263,0,0.00226,0.151609,0.05,0.000222,33.003016,0.000031,1,0.308547,1,0,1,1,0,0.000222,33.003016,0.000031,1,0.308547,1,0.000352,6.032795,0.000047,0.289547,3.56,0,0,0,0,0,0,0,0,0,0,0.24
drmx-cryptogen/wolfram80_1.wcnf,1,22880,102000,22880,79120,0,0.289181,0.66,0.289181,0.50251,0.171925,0,0.6,0.975339,0.000181,0.157457,0.000087,0.000219,0.975339,0,0.002035,0.150733,0.06,0.000181,36.616341,0.000025,1,0.283551,1,0,1,1,0,0.000181,36.616341,0.000025,1,0.283551,1,0.000286,6.683978,0.000038,0.289168,5.39,0,0,0,0,0,0,0,0,0,0,0.29
drmx-cryptogen/wolfram80_5.wcnf,1,22880,102000,22880,79120,0,0.289181,0.67,0.289181,0.50251,0.171925,0,0.6,0.975339,0.000181,0.157457,0.000087,0.000219,0.975339,0,0.002035,0.150733,0.07,0.000181,36.616341,0.000025,1,0.283551,1,0,1,1,0,0.000181,36.616341,0.000025,1,0.283551,1,0.000286,6.683978,0.000038,0.289168,5.38,0,0,0,0,0,0,0,0,0,0,0.3
drmx-cryptogen/wolfram80_6.wcnf,1,22880,102000,22880,79120,0,0.289181,0.67,0.289181,0.50251,0.171925,0,0.6,0.975339,0.000181,0.157457,0.000087,0.000219,0.975339,0,0.002035,0.150733,0.06,0.000181,36.616341,0.000025,1,0.283551,1,0,1,1,0,0.000181,36.616341,0.000025,1,0.283551,1,0.000286,6.683978,0.000038,0.289168,5.39,0,0,0,0,0,0,0,0,0,0,0.3
drmx-cryptogen/wolfram80_9.wcnf,1,22880,102000,22880,79120,0,0.289181,0.75,0.289181,0.50251,0.171925,0,0.6,0.975339,0.000181,0.157457,0.000087,0.000219,0.975339,0,0.002035,0.150733,0.07,0.000181,36.616341,0.000025,1,0.283551,1,0,1,1,0,0.000181,36.616341,0.000025,1,0.283551,1,0.000286,6.683978,0.000038,0.289168,5.5,0,0,0,0,0,0,0,0,0,0,0.32
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_0_10_3.wcnf,1,76190,188290,0,0,-512,-512,92.85,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_1_10_0.wcnf,1,76190,188290,0,0,-512,-512,104.96,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_0.wcnf,1,76190,188290,0,0,-512,-512,104.98,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_3_10_1.wcnf,1,76190,188290,0,0,-512,-512,103.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.05_4_10_4.wcnf,1,76190,188290,0,0,-512,-512,104.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_2_10_1.wcnf,1,76190,188290,0,0,-512,-512,100.08,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_non-strict_stb_200_0.1_4_10_4.wcnf,1,76190,188290,0,0,-512,-512,98.97,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_100_0.05_0_30_3.wcnf,1,14000,168070,0,0,-512,-512,47.74,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_150_0.05_0_15_2.wcnf,1,40500,334260,0,0,-512,-512,189.92,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_150_0.05_3_30_0.wcnf,1,36000,486120,0,0,-512,-512,370.73,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_150_0.05_4_15_1.wcnf,1,40500,334260,0,0,-512,-512,198.5,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_150_0.2_4_8_3.wcnf,1,42600,225354,0,0,-512,-512,99.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_200_0.05_1_40_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
extension-enforcement/extension-enforcement_strict_com_200_0.05_4_20_3.wcnf,1,72000,756180,0,0,-512,-512,921.82,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
extension-enforcement/extension-enforcement_strict_com_200_0.2_1_10_0.wcnf,1,76000,475190,0,0,-512,-512,404.9,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38417_nan_explicit_0_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_12_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_13_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_15_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_19_0.wcnf,1,139976,835502,0,0,-512,-512,923.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_26_0.wcnf,1,143452,921338,0,0,-512,-512,1153.63,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_27_0.wcnf,1,133956,750405,0,0,-512,-512,680.14,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_29_0.wcnf,1,139028,837374,0,0,-512,-512,839.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_3_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_30_0.wcnf,1,136922,776910,0,0,-512,-512,734.99,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_31_0.wcnf,1,136236,794363,0,0,-512,-512,759.89,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_33_0.wcnf,1,131581,696606,0,0,-512,-512,574.73,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_34_0.wcnf,1,131642,689887,0,0,-512,-512,578.9,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_35_0.wcnf,1,130135,660221,0,0,-512,-512,526.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_37_0.wcnf,1,128146,635859,0,0,-512,-512,500.47,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_4_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_40_0.wcnf,1,136000,793218,0,0,-512,-512,758.5,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_41_0.wcnf,1,133973,745880,0,0,-512,-512,657.74,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_49_0.wcnf,1,129119,640355,0,0,-512,-512,493.15,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
fault-diagnosis/s38584_nan_explicit_5_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
fault-diagnosis/s38584_nan_explicit_8_0.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
frb/frb35-17-1.partial.wcnf,1,595,28548,595,27953,0,0.021286,0.16,0.021286,0.332451,0.05152,0,0.333333,0.018353,0.005038,0.017143,0.003361,0.005042,0.018353,0,0.002647,1,0.02,0.005038,8.104895,0.001789,1,4.179602,1,0,1,1,0,0.005038,8.104895,0.001789,1,4.179602,1,0.003424,0.285773,0.001789,0.02125,0.01,0,0,0,0,0,0,0,0,0,0,0.1
frb/frb35-17-2.partial.wcnf,1,595,28547,595,27952,0,0.021286,0.17,0.021286,0.332033,0.062568,0,0.333333,0.025522,0.005035,0.020802,0.003361,0.005042,0.025522,0,0.0039,1,0.02,0.005035,8.10808,0.001896,1,4.122577,1,0,1,1,0,0.005035,8.10808,0.001896,1,4.122577,1,0.00342,0.271734,0.001932,0.021251,0.02,0,0,0,0,0,0,0,0,0,0,0.1
frb/frb35-17-3.partial.wcnf,1,595,28631,595,28036,0,0.021223,0.16,0.021223,0.332168,0.059226,0,0.333333,0.023261,0.005036,0.019696,0.003361,0.005042,0.023261,0,0.003496,1,0.01,0.005036,8.107457,0.001605,1,4.292485,1,0,1,1,0,0.005036,8.107457,0.001605,1,4.292485,1,0.003421,0.300258,0.001641,0.021187,0.02,0,0,0,0,0,0,0,0,0,0,0.1
frb/frb35-17-5.partial.wcnf,1,595,28816,595,28221,0,0.021084,0.15,0.021084,0.331975,0.063966,0,0.333333,0.026491,0.005035,0.021264,0.003361,0.005042,0.026491,0,0.004075,1,0.02,0.005035,8.108709,0.001559,1,4.202499,1,0,1,1,0,0.005035,8.108709,0.001559,1,4.202499,1,0.003418,0.279523,0.001595,0.021048,0.01,0,0,0,0,0,0,0,0,0,0,0.1
frb/frb40-19-1.partial.wcnf,1,760,42173,760,41413,0,0.018352,0.24,0.018352,0.332641,0.045618,0,0.333333,0.014902,0.003945,0.015185,0.002632,0.003947,0.014902,0,0.002077,1,0.03,0.003945,9.166651,0.001352,1,4.470819,1,0,1,1,0,0.003945,9.166651,0.001352,1,4.470819,1,0.002674,0.302355,0.001376,0.018328,0.02,0,0,0,0,0,0,0,0,0,0,0.14
frb/frb40-19-2.partial.wcnf,1,760,42127,760,41367,0,0.018372,0.21,0.018372,0.3326,0.046954,0,0.333333,0.015659,0.003944,0.015628,0.002632,0.003947,0.015659,0,0.0022,1,0.04,0.003944,9.166845,0.001378,1,4.425886,1,0,1,1,0,0.003944,9.166845,0.001378,1,4.425886,1,0.002674,0.290376,0.001402,0.018348,0.02,0,0,0,0,0,0,0,0,0,0,0.16
frb/frb40-19-3.partial.wcnf,1,760,41927,760,41167,0,0.018461,0.23,0.018461,0.332499,0.050083,0,0.333333,0.017488,0.003944,0.016666,0.002632,0.003947,0.017488,0,0.002502,1,0.03,0.003944,9.167463,0.001385,1,4.205485,1,0,1,1,0,0.003944,9.167463,0.001385,1,4.205485,1,0.002674,0.268907,0.001409,0.018437,0.03,0,0,0,0,0,0,0,0,0,0,0.16
frb/frb40-19-4.partial.wcnf,1,760,42485,760,41725,0,0.018215,0.24,0.018215,0.332534,0.049014,0,0.333333,0.016854,0.003944,0.016312,0.002632,0.003947,0.016854,0,0.002397,1,0.03,0.003944,9.167155,0.001606,1,4.232651,1,0,1,1,0,0.003944,9.167155,0.001606,1,4.232651,1,0.002673,0.267512,0.00163,0.018191,0.02,0,0,0,0,0,0,0,0,0,0,0.16
frb/frb40-19-5.partial.wcnf,1,760,42499,760,41739,0,0.018208,0.22,0.018208,0.332535,0.049006,0,0.333333,0.01685,0.003944,0.016309,0.002632,0.003947,0.01685,0,0.002396,1,0.02,0.003944,9.167188,0.001629,1,4.251973,1,0,1,1,0,0.003944,9.167188,0.001629,1,4.251973,1,0.002673,0.270196,0.001629,0.018184,0.03,0,0,0,0,0,0,0,0,0,0,0.15
gen-hyper-tw/GenHyperTW_2bitcomp_5.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_aim-50-1_6-yes1-3.wcnf,1,114705,271180,0,0,-512,-512,300.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
gen-hyper-tw/GenHyperTW_dubois21.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_grid4d_3.wcnf,1,42065,118649,0,0,-512,-512,53.34,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
gen-hyper-tw/GenHyperTW_hole9.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_par8-1-c.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_par8-4-c.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_par8-5-c.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
gen-hyper-tw/GenHyperTW_s208.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
HaplotypeAssembly/splitedReads_0.matrix.wcnf,1,12962,51450,0,0,-512,-512,5.98,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
HaplotypeAssembly/splitedReads_158.matrix.wcnf,1,16983,52005,0,0,-512,-512,5.61,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0.01,0,0,0,0,0,0,0,0,0,0,0
HaplotypeAssembly/splitedReads_160.matrix.wcnf,1,19918,59200,0,0,-512,-512,6.87,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
HaplotypeAssembly/splitedReads_18.matrix.wcnf,1,13050,42665,0,0,-512,-512,4.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
HaplotypeAssembly/splitedReads_414.matrix.wcnf,1,14276,45940,0,0,-512,-512,4.83,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
hs-timetabling/GreeceWesternGreeceUniversityInstance4.xml.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
jobshop/ft10-808-1090.wcnf,1,110641,1151201,284,283,388.580986,4066.848057,1.39,1.003534,0,0,0,0,0,0.007042,0,0.007042,0.007042,0,0,1,1,0,0.007042,8.38158,0.003534,1,0.023406,1,0,1,1,0,0.007042,8.38158,0.003534,1,0.023406,1,0.007042,8.38158,0.003534,1,0,0,0,0,0,0,0,0,0,0,0,0
jobshop/orb08-894-1058.wcnf,1,107409,1121427,166,165,646.042169,6795.527273,1.29,1.006061,0,0,0,0,0,0.012048,0,0.012048,0.012048,0,0,1,1,0,0.012048,6.383691,0.006061,1,0.036801,1,0,1,1,0,0.012048,6.383691,0.006061,1,0.036801,1,0.012048,6.383691,0.006061,1,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_30_3.wcsp.wcnf,1,280,1112,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_40_1.wcsp.wcnf,1,280,1214,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_40_3.wcsp.wcnf,1,280,1223,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_50_1.wcsp.wcnf,1,280,1258,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_50_4.wcsp.wcnf,1,280,1259,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_50_6.wcsp.wcnf,1,280,1264,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_60_1.wcsp.wcnf,1,280,1298,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_70_5.wcsp.wcnf,1,280,1308,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_80_2.wcsp.wcnf,1,280,1309,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_80_5.wcsp.wcnf,1,280,1309,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_90_4.wcsp.wcnf,1,280,1309,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
kbtree/kbtree9_7_3_5_90_5.wcsp.wcnf,1,280,1309,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-5xp1.b.opb.msat.wcnf,1,464,1308,0,0,-512,-512,0.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-alu4.b.opb.msat.wcnf,1,807,2517,0,0,-512,-512,0.24,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-apex4.a.opb.msat.wcnf,1,4316,11887,0,0,-512,-512,0.45,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-bench1.pi.opb.msat.wcnf,1,4676,5074,0,0,-512,-512,0.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-count.b.opb.msat.wcnf,1,466,1160,0,0,-512,-512,0.08,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-e64.b.opb.msat.wcnf,1,607,1629,0,0,-512,-512,0.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-ex5.pi.opb.msat.wcnf,1,2459,3329,0,0,-512,-512,0.22,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-exam.pi.opb.msat.wcnf,1,4676,5185,0,0,-512,-512,0.34,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-f51m.b.opb.msat.wcnf,1,406,909,0,0,-512,-512,0.14,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-jac3.opb.msat.wcnf,1,1731,2985,0,0,-512,-512,0.33,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-max1024.pi.opb.msat.wcnf,1,1278,2357,0,0,-512,-512,0.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-prom2.pi.opb.msat.wcnf,1,2617,4570,0,0,-512,-512,0.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-rot.b.opb.msat.wcnf,1,1451,4190,0,0,-512,-512,0.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-sao2.b.opb.msat.wcnf,1,372,1021,0,0,-512,-512,0.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
logic-synthesis/normalized-test4.pi.opb.msat.wcnf,1,6139,7576,0,0,-512,-512,1.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/brock200_2.clq.wcnf,1,200,10224,0,0,-512,-512,0.3,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/brock400_4.clq.wcnf,1,400,20435,0,0,-512,-512,1.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/c-fat500-2.clq.wcnf,1,500,116111,0,0,-512,-512,31.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/keller4.clq.wcnf,1,171,5271,0,0,-512,-512,0.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/keller5.clq.wcnf,1,776,75486,0,0,-512,-512,13.17,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/p_hat300-1.clq.wcnf,1,300,34217,0,0,-512,-512,2.94,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/p_hat300-2.clq.wcnf,1,300,23222,0,0,-512,-512,1.41,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/p_hat700-3.clq.wcnf,1,700,62340,0,0,-512,-512,9.08,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/san1000.clq.wcnf,1,1000,250000,0,0,-512,-512,140.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxclique/san200_0.9_3.clq.wcnf,1,200,2190,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
maxcut/hamming8-2.clq.wcnf,1,43,1806,43,1764,0,0.02381,0,0.024376,0.674603,0.493978,0.333333,1,0.692864,0.069214,0.051225,0.046512,0.069767,0.112516,0,0.02381,1,0,0.069214,2.075071,0.047052,1,0.110453,0.035024,0.148899,0.012048,1,0.110453,0.034053,2.057378,0.023243,0.488095,0.110453,0.488095,0.02381,0,0.02381,0.02381,0,0.045932,0.078104,0.023243,0.047052,0.78916,0.02466,0.145868,0.02381,0.047619,0.112516,1.05
maxcut/maxcut-140-630-0.7-15.wcnf,1,140,1260,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxcut/maxcut-140-630-0.7-48.wcnf,1,140,1260,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0.01,0,0,0,0,0,0,0,0,0,0,0
maxcut/maxcut-140-630-0.8-34.wcnf,1,140,1258,140,1248,0,0.008013,0,0.112179,0.669338,0.497989,0.333333,1,0.693115,0.021371,0.029798,0.014286,0.021429,0.046656,0,0.008013,1,0,0.021371,3.887914,0.00641,1,2.479802,0.011912,0.085739,0,1,0.414162,0.010628,3.877418,0.003205,0.495994,2.266238,0.495994,0.008677,1.02698,0.004006,0.111378,0,0.014449,0.192331,0.003205,0.022436,2.646777,0.109198,0.227007,0.068966,0.4,2.057221,0.06
maxcut/maxcut-140-630-0.8-36.wcnf,1,140,1258,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxcut/p_hat300-3.clq.wcnf,1,43,1270,43,1244,0,0.0209,0,0.034566,0.673633,0.494721,0.333333,1,0.692929,0.069281,0.048018,0.046512,0.069767,0.101523,0,0.0209,1,0,0.069281,2.075341,0.032958,1,3.092075,0.033813,0.149339,0,1,0.975767,0.034155,2.059912,0.016077,0.48955,2.66282,0.48955,0.02434,0.155287,0.016881,0.033762,0,0.046881,0.123652,0.016077,0.059486,3.243764,0.034417,0.181186,0.026667,0.095238,0.730011,0.41
maxcut/san400_0.5_1.clq.wcnf,1,40,790,40,770,0,0.025974,0,0.051948,0.675325,0.493423,0.333333,1,0.69281,0.074351,0.053482,0.05,0.075,0.120456,0,0.025974,1,0,0.074351,1.996587,0.037662,1,2.679677,0.036945,0.154688,0,1,1.157699,0.036526,1.977784,0.018182,0.487013,2.355685,0.487013,0.026883,0.202438,0.019481,0.050649,0,0.050012,0.148711,0.018182,0.066234,3.078326,0.051933,0.185246,0.038462,0.133333,1.160184,0.12
maxcut/sanr200_0.7.clq.wcnf,1,40,1092,40,1062,0,0.028249,0,0.037665,0.676083,0.492839,0.333333,1,0.692748,0.074294,0.055752,0.05,0.075,0.1286,0,0.028249,1,0,0.074294,1.996242,0.04049,1,2.704109,0.038975,0.15409,0,1,1.05106,0.036441,1.975977,0.019774,0.485876,2.300625,0.485876,0.02613,0.11129,0.020716,0.036723,0,0.04937,0.108158,0.019774,0.059322,2.801371,0.038096,0.17242,0.03125,0.090909,0.583986,0.28
MaximumCommonSub-GraphExtraction/g2_n26e25_n48e52.wcnf,1,532,15980,0,0,-512,-512,0.53,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n37e45_n71e77.wcnf,1,1212,69272,0,0,-512,-512,7.26,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n38e39_n146e164.wcnf,1,1212,58742,0,0,-512,-512,5.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n38e52_n53e67.wcnf,1,678,21659,0,0,-512,-512,0.81,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n42e55_n44e53.wcnf,1,531,10690,0,0,-512,-512,0.24,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n44e59_n69e83.wcnf,1,889,31425,0,0,-512,-512,1.56,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n45e48_n47e54.wcnf,1,690,18611,0,0,-512,-512,0.65,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n50e50_n58e61.wcnf,1,1718,110417,0,0,-512,-512,18.42,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n61e85_n120e154.wcnf,1,1879,101119,0,0,-512,-512,15.23,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n67e83_n68e73.wcnf,1,1231,41436,0,0,-512,-512,3.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g2_n92e110_n96e105.wcnf,1,1991,75998,0,0,-512,-512,9.45,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n26e25_n27e26_n42e48.wcnf,1,779,19730,0,0,-512,-512,0.74,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n30e43_n32e44_n40e53.wcnf,1,838,23909,0,0,-512,-512,1.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n30e43_n40e53_n44e48.wcnf,1,793,20977,0,0,-512,-512,0.9,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n34e43_n59e60_n71e84.wcnf,1,1119,32442,0,0,-512,-512,1.9,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n35e48_n41e57_n56e65.wcnf,1,1143,40332,0,0,-512,-512,2.95,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n37e36_n37e35_n39e39.wcnf,1,1623,73904,0,0,-512,-512,8.99,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n39e39_n81e90_n91e99.wcnf,1,1930,84661,0,0,-512,-512,11.9,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n39e42_n61e85_n72e77.wcnf,1,1716,67129,0,0,-512,-512,7.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n52e77_n57e74_n58e75.wcnf,1,1500,45209,0,0,-512,-512,3.91,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n66e77_n66e72_n94e112.wcnf,1,3041,143849,0,0,-512,-512,35.35,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n66e77_n74e84_n94e112.wcnf,1,2927,137040,0,0,-512,-512,32.23,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g3_n67e86_n89e98_n130e150.wcnf,1,3278,171182,0,0,-512,-512,49.99,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0.01,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g4_n47e57_n58e61_n133e169_n141e184.wcnf,1,4838,342669,0,0,-512,-512,183.16,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g4_n58e71_n61e85_n100e127_n104e131.wcnf,1,4351,253944,0,0,-512,-512,105.57,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g4_n69e80_n69e80_n69e80_n79e87.wcnf,1,4533,204565,0,0,-512,-512,72.34,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g5_n39e38_n43e43_n61e61_n67e68_n82e119.wcnf,1,4254,221074,0,0,-512,-512,77.84,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g6_n25e24_n28e29_n32e33_n37e37_n38e39_n40e39.wcnf,1,3152,152260,0,0,-512,-512,38.35,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g7_n13e12_n13e12_n13e12_n13e12_n14e13_n15e14_n24e31.wcnf,1,1051,14209,0,0,-512,-512,0.38,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaximumCommonSub-GraphExtraction/g8_n44e59_n44e58_n47e63_n58e76_n67e94_n75e107_n123e161_n133e175.wcnf,1,10629,856895,0,0,-512,-512,1171.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/3col140_5_1.shuffled.cnf.wcnf,1,280,1476,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/3col140_5_10.shuffled.cnf.wcnf,1,280,1476,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/3col140_5_2.shuffled.cnf.wcnf,1,280,1476,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/3col140_5_3.shuffled.cnf.wcnf,1,280,1476,280,1190,0,0.240336,0.02,0.235294,0.401457,0.64346,0,1,1.182407,0.016939,0.142204,0.007143,0.017857,0.439019,0,0.005042,0.121849,0,0.016939,3.474598,0.008403,1,0.30378,0.251646,0.049892,0,1,0.342175,0.001381,3.913188,0,0.090756,1.251251,0.090756,0.010852,1.23362,0.009244,0.234454,0.01,0.01623,0.097759,0.005042,0.019328,0.741425,0.462776,0.22728,0.380435,0.752381,0.844869,0.06
maxone/3col140_5_4.shuffled.cnf.wcnf,1,280,1476,280,1190,0,0.240336,0.07,0.235294,0.391148,0.653788,0,1,1.170347,0.016939,0.142204,0.007143,0.017857,0.439019,0,0.005042,0.121849,0,0.016939,3.474598,0.008403,1,0.30378,0.251646,0.049892,0,1,0.342175,0.001255,4.144378,0,0.087395,1.06179,0.087395,0.010852,1.23362,0.009244,0.234454,0.01,0.01623,0.097713,0.005042,0.019328,0.726885,0.462741,0.227304,0.380435,0.752381,0.808741,0.08
maxone/3col140_5_5.shuffled.cnf.wcnf,1,280,1476,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/3col140_5_6.shuffled.cnf.wcnf,1,280,1476,280,1190,0,0.240336,0.01,0.235294,0.381737,0.649613,0,1,1.138965,0.016939,0.142204,0.007143,0.017857,0.439019,0,0.005042,0.121849,0,0.016939,3.474598,0.008403,1,0.30378,0.251646,0.049892,0,1,0.342175,0.001297,3.897653,0,0.084874,1.211137,0.084874,0.010852,1.23362,0.009244,0.234454,0,0.01623,0.097759,0.005042,0.019328,0.741425,0.462772,0.227278,0.380435,0.752381,0.844578,0.08
maxone/3col140_5_7.shuffled.cnf.wcnf,1,280,1476,280,1190,0,0.240336,0.02,0.235294,0.392997,0.666226,0,1,1.173075,0.016939,0.142204,0.007143,0.017857,0.439019,0,0.005042,0.121849,0,0.016939,3.474598,0.008403,1,0.30378,0.251646,0.049892,0,1,0.342175,0.00145,3.829697,0,0.093277,1.255952,0.093277,0.010852,1.23362,0.009244,0.234454,0,0.01623,0.097759,0.005042,0.019328,0.741425,0.462769,0.227276,0.380435,0.752381,0.838948,0.08
maxone/3col140_5_8.shuffled.cnf.wcnf,1,280,1476,280,1190,0,0.240336,0.01,0.235294,0.390028,0.661748,0,1,1.151895,0.016939,0.142204,0.007143,0.017857,0.439019,0,0.005042,0.121849,0.01,0.016939,3.474598,0.008403,1,0.30378,0.251646,0.049892,0,1,0.342175,0.001279,3.949892,0,0.084874,1.116463,0.084874,0.010852,1.23362,0.009244,0.234454,0,0.01623,0.097759,0.005042,0.019328,0.741425,0.462772,0.227278,0.380435,0.752381,0.844578,0.06
maxone/3col140_5_9.shuffled.cnf.wcnf,1,280,1476,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
maxone/dp06s06.shuffled.cnf.wcnf,1,2752,9954,0,0,-512,-512,0.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
maxone/dp07s07.shuffled.cnf.wcnf,1,3649,13291,0,0,-512,-512,0.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/adult_train_1_DNF_2_1.wcnf,1,43707,250514,0,0,-512,-512,240.95,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/adult_train_5_CNF_2_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/adult_train_8_CNF_3_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/compas_train_1_CNF_5_1.wcnf,1,24404,149513,0,0,-512,-512,60.77,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/compas_train_8_CNF_2_1.wcnf,1,13655,65837,0,0,-512,-512,14.63,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/compas_train_9_DNF_3_1.wcnf,1,15321,81588,0,0,-512,-512,19.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/credit_train_0_CNF_4_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/credit_train_1_CNF_5_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_2_1.wcnf,1,630,3986,0,0,-512,-512,0.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/heart_train_0_DNF_3_1.wcnf,1,809,5769,0,0,-512,-512,0.12,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/ilpd_train_4_CNF_2_1.wcnf,1,1300,6462,0,0,-512,-512,0.15,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_CNF_5_1.wcnf,1,1600,20803,0,0,-512,-512,1.14,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_1_DNF_1_1.wcnf,1,661,7440,0,0,-512,-512,0.27,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/ionosphere_train_2_CNF_2_1.wcnf,1,829,8578,0,0,-512,-512,0.31,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/parkinsons_train_6_DNF_4_1.wcnf,1,907,12299,0,0,-512,-512,0.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/pima_train_5_CNF_2_1.wcnf,1,1651,7083,0,0,-512,-512,0.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_1_CNF_3_1.wcnf,1,1836,10975,0,0,-512,-512,0.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/tictactoe_train_3_DNF_1_1.wcnf,1,1452,6818,0,0,-512,-512,0.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/titanic_train_0_CNF_4_1.wcnf,1,4194,21282,0,0,-512,-512,1.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_2_1.wcnf,1,2686,11594,0,0,-512,-512,0.48,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/titanic_train_1_CNF_5_1.wcnf,1,4948,26126,0,0,-512,-512,1.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/titanic_train_9_CNF_2_1.wcnf,1,2689,11608,0,0,-512,-512,0.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/toms_test_0_CNF_4_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/toms_test_1_DNF_5_1.wcnf,1,11909,453672,0,0,-512,-512,515.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/toms_train_2_CNF_5_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/twitter_test_0_CNF_2_1.wcnf,1,14947,547711,0,0,-512,-512,1147.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
MaxSATQueriesinInterpretableClassifiers/twitter_test_1_CNF_5_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/twitter_test_9_CNF_4_1.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
MaxSATQueriesinInterpretableClassifiers/wdbc_train_0_CNF_3_1.wcnf,1,1738,27667,0,0,-512,-512,2.29,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
MaxSATQueriesinInterpretableClassifiers/wdbc_train_1_CNF_1_1.wcnf,1,920,9777,0,0,-512,-512,0.42,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b14_C-mbd14-0225.wcnf,1,12248,31219,0,0,-512,-512,3.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b14_C-mbd14-0307.wcnf,1,12248,31219,0,0,-512,-512,3.61,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b17_C-mbd14-0304.wcnf,1,41290,103142,0,0,-512,-512,35.69,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b17_C-mbd14-0370.wcnf,1,41290,103142,0,0,-512,-512,41.78,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b20_C-mbd14-0255.wcnf,1,24380,62593,0,0,-512,-512,14.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b20_C-mbd14-0328.wcnf,1,24380,62593,0,0,-512,-512,19.42,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b20_C-mbd14-0354.wcnf,1,24380,62593,0,0,-512,-512,13.93,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b21_C-mbd14-0205.wcnf,1,24680,63673,0,0,-512,-512,14.54,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b21_C-mbd14-0217.wcnf,1,24680,63673,0,0,-512,-512,20.17,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b21_C-mbd14-0267.wcnf,1,24680,63673,0,0,-512,-512,20.11,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b21_C-mbd14-0295.wcnf,1,24680,63673,0,0,-512,-512,14.5,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b21_C-mbd14-0349.wcnf,1,24680,63673,0,0,-512,-512,20.58,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b22_C-mbd14-0222.wcnf,1,36295,93056,0,0,-512,-512,30.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b22_C-mbd14-0223.wcnf,1,36295,93056,0,0,-512,-512,31.59,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0.01,0,0,0,0,0,0,0,0,0,0,0
mbd/b22_C-mbd14-0240.wcnf,1,36295,93056,0,0,-512,-512,44.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b22_C-mbd14-0241.wcnf,1,36295,93056,0,0,-512,-512,44.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mbd/b22_C-mbd14-0300.wcnf,1,36295,93056,0,0,-512,-512,31.75,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_miles1500.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_mulsol.i.2.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_mulsol.i.3.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_mulsol.i.4.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_myciel4.wcnf,1,3151,17231,0,0,-512,-512,0.76,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_myciel5.wcnf,1,15416,109371,0,0,-512,-512,21.54,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_myciel6.wcnf,1,72105,702230,0,0,-512,-512,683.43,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_myciel7.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_queen11_11.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R0_queen6_6.wcnf,1,9036,53140,0,0,-512,-512,7.64,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_queen8_12.wcnf,1,73632,664848,0,0,-512,-512,925.93,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R0_queen8_8.wcnf,1,28608,212912,0,0,-512,-512,109.87,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R1_games120.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R10_anna.wcnf,1,9617,26080,0,0,-512,-512,2.26,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R3_david.wcnf,1,10032,55736,0,0,-512,-512,8.64,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
min-fill/MinFill_R3_miles1000.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R3_miles750.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
min-fill/MinFill_R4_miles500.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
mqc/10tree1020p.wcnf,1,6750,25949,0,0,-512,-512,1.83,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree115p.wcnf,1,6666,25669,0,0,-512,-512,1.93,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree125p.wcnf,1,6726,25869,0,0,-512,-512,2.27,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree315p.wcnf,1,6666,25669,0,0,-512,-512,1.82,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree320p.wcnf,1,4568,16598,0,0,-512,-512,0.97,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree425p.wcnf,1,6780,26049,0,0,-512,-512,1.85,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree430p.wcnf,1,4660,16874,0,0,-512,-512,1.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree730p.wcnf,1,6816,26169,0,0,-512,-512,1.87,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/10tree825p.wcnf,1,4632,16790,0,0,-512,-512,0.97,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/15tree101p.wcnf,1,22315,84861,0,0,-512,-512,20.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/15tree201p.wcnf,1,22660,85965,0,0,-512,-512,21.04,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/15tree301posib.wcnf,1,38765,152666,0,0,-512,-512,55.19,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/15tree401posib.wcnf,1,38248,151771,0,0,-512,-512,54.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
mqc/15tree501p.wcnf,1,38304,155931,0,0,-512,-512,54.77,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
mqc/15tree701p.wcnf,1,38403,156283,0,0,-512,-512,54.95,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_add_4_33.wcnf,1,436,13608,0,0,-512,-512,0.91,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_add_5_33.wcnf,1,1396,147495,0,0,-512,-512,69.63,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_cvc-add3-carry2-gadget_33.wcnf,1,153,1326,0,0,-512,-512,0.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_cvc-add3-carry2-gadget_399.wcnf,1,153,1194,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_cvc-add3-carry2-gadget_9999.wcnf,1,153,843,0,0,-512,-512,0.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_cvc-add7to3_9999.wcnf,1,1220,10957,0,0,-512,-512,1.5,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_cvc-plus_4_33.wcnf,1,436,12025,0,0,-512,-512,0.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_3_5_399.wcnf,1,768,8805,0,0,-512,-512,0.85,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_3_5_991.wcnf,1,768,1503,0,0,-512,-512,0.11,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_3_5_9999.wcnf,1,768,6869,0,0,-512,-512,1.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_3_6_399.wcnf,1,1044,14596,0,0,-512,-512,2.57,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_4_4_9999.wcnf,1,1254,4739,0,0,-512,-512,0.22,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_4_5_9999.wcnf,1,4754,34276,0,0,-512,-512,30.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_4_6_299.wcnf,1,11561,115570,0,0,-512,-512,68.81,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_mult_4_6_991.wcnf,1,11561,17883,0,0,-512,-512,34.96,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_square_5_299.wcnf,1,1742,45000,0,0,-512,-512,115.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
optic/gen_square_5_399.wcnf,1,1742,71050,0,0,-512,-512,294.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/2c3aece6-c8b2-11df-a040-00163e3d3b7c_l3.wcnf,1,43813,112813,0,0,-512,-512,21.1,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l3.wcnf,1,28027,61842,4296,4295,5.523976,13.398603,0.43,1.000233,0.543888,0.915758,0,1,0.68929,0.000466,0,0.000466,0.000466,0,0,1,1,0,0.000466,32.760495,0.000233,1,0.00218,1,0,1,1,0,0.000212,32.765046,0,0.456112,0.691309,0.456112,0.000466,32.760495,0.000233,1,0.19,0,0,0,0,0,0,0,0,0,0,0.02
packup/apt-cudf-universe0ea62c_l1.wcnf,1,6351,21885,0,0,-512,-512,0.44,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf,1,80046,141710,0,0,-512,-512,9.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand179_l2.wcnf,1,12007,85779,0,0,-512,-512,12.34,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand196_l2.wcnf,1,11760,83375,0,0,-512,-512,12.25,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand209_l2.wcnf,1,11872,84271,0,0,-512,-512,10.62,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand21_l2.wcnf,1,11853,83727,0,0,-512,-512,12.74,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand290_l2.wcnf,1,12450,88441,0,0,-512,-512,11.25,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand308_l2.wcnf,1,8021,51772,0,0,-512,-512,3.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand313_l2.wcnf,1,12048,85873,0,0,-512,-512,12.47,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand507_l2.wcnf,1,8100,51681,0,0,-512,-512,0.67,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand7_l2.wcnf,1,11938,86169,0,0,-512,-512,11.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand717_l2.wcnf,1,12300,87764,0,0,-512,-512,13.35,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand943_l2.wcnf,1,12758,90972,0,0,-512,-512,12.31,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
packup/rand984_l2.wcnf,1,12601,88195,0,0,-512,-512,11.67,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
protein_ins/1bpi_.2knt_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/1bpi_.5pti_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/1knt_.1bpi_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/1knt_.2knt_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/1knt_.5pti_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/2knt_.5pti_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/3ebx_.1era_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/3ebx_.6ebx_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/6ebx_.1era_.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/p1.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
protein_ins/sandiaprotein.g.wcnf.t.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
pseudoBoolean/normalized-g100x100.opb.msat.wcnf,1,10000,20000,0,0,-512,-512,1.27,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-g15x15.opb.msat.wcnf,1,225,450,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-mps-v2-20-10-stein45.opb.msat.wcnf,1,545,1143,0,0,-512,-512,0.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-par32-1.opb.msat.wcnf,1,6352,17746,0,0,-512,-512,0.38,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-par32-2.opb.msat.wcnf,1,6352,17696,0,0,-512,-512,0.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-par32-3.opb.msat.wcnf,1,6352,17743,0,0,-512,-512,0.52,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-par32-4.opb.msat.wcnf,1,6352,17749,0,0,-512,-512,0.37,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-par32-5.opb.msat.wcnf,1,6352,17761,0,0,-512,-512,0.53,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-ssa7552-038.opb.msat.wcnf,1,3002,7898,0,0,-512,-512,0.17,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-ssa7552-158.opb.msat.wcnf,1,2726,6798,0,0,-512,-512,0.16,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-ssa7552-159.opb.msat.wcnf,1,2726,6877,0,0,-512,-512,0.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
pseudoBoolean/normalized-ssa7552-160.opb.msat.wcnf,1,2782,7227,0,0,-512,-512,0.17,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
railway-transport/d4.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
railway-transport/dp43.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
railway-transport/p15.wcnf,1,31189,413459,0,0,-512,-512,338.66,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
railway-transport/pesp_18Min.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
railway-transport/pesp_5min.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
railway-transport/we.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
ramsey/ram_k3_n10.ra0.wcnf,1,45,330,45,302,0,0.092715,0,0.149007,0.827815,0.168896,0.714286,1,0.671923,0.128477,0.260987,0.066667,0.155556,0.769246,0,0,0.02649,0.01,0.128477,1.025294,0.096026,1,0.747481,0.519387,0.085287,0.448276,1,0.747481,0.093745,0.824573,0.069536,0.602649,0.747481,0.602649,0.137454,0.08072,0.122517,0.145695,0,0.159642,0.228572,0.13245,0.221854,1.026307,0.042478,0.19396,0.029412,0.04878,0.916473,0.11
ramsey/ram_k3_n11.ra0.wcnf,1,55,495,55,459,0,0.078431,0.02,0.119826,0.816993,0.167809,0.714286,1,0.653117,0.107308,0.249413,0.054545,0.127273,0.729214,0,0,0.019608,0,0.107308,1.134009,0.08061,1,0.715817,0.573018,0.068433,0.513514,1,0.715817,0.081521,0.937221,0.061002,0.640523,0.715817,0.640523,0.111943,0.073056,0.100218,0.117647,0,0.128384,0.305433,0.100218,0.1939,0.963786,0.036033,0.246814,0.022222,0.042553,0.729214,0.27
ramsey/ram_k3_n12.ra0.wcnf,1,66,715,66,670,0,0.067164,0,0.098507,0.808102,0.166038,0.714286,1,0.63301,0.090909,0.239194,0.045455,0.106061,0.693726,0,0,0.014925,0,0.090909,1.241805,0.068657,1,0.686405,0.615722,0.056056,0.565217,1,0.686405,0.071235,1.048251,0.053731,0.671642,0.686405,0.671642,0.092944,0.066419,0.083582,0.097015,0,0.104255,0.374771,0.077612,0.170149,0.907772,0.031529,0.284397,0.017391,0.037736,0.693726,0.59
ramsey/ram_k3_n13.ra0.wcnf,1,78,1001,78,946,0,0.05814,0,0.082452,0.800664,0.163887,0.714286,1,0.612822,0.077967,0.230122,0.038462,0.089744,0.662108,0,0,0.011628,0,0.077967,1.348811,0.059197,1,0.659193,0.650535,0.046714,0.607143,1,0.659193,0.062612,1.157896,0.047569,0.697674,0.659193,0.697674,0.078414,0.060663,0.070825,0.081395,0.01,0.08555,0.437645,0.061311,0.150106,0.857751,0.028176,0.31016,0.013986,0.033898,0.662108,1.16
ramsey/ram_k3_n14.ra0.wcnf,1,91,1365,91,1299,0,0.050808,0,0.070054,0.794347,0.161536,0.714286,1,0.593157,0.067584,0.222011,0.032967,0.076923,0.633763,0,0,0.009238,0,0.067584,1.455138,0.051578,1,0.634041,0.679468,0.039498,0.641791,1,0.634041,0.055368,1.266388,0.04234,0.719784,0.634041,0.719784,0.067051,0.055652,0.060816,0.069284,0.01,0.070926,0.495228,0.049269,0.133179,0.813031,0.025563,0.327424,0.011494,0.030769,0.593157,2.21
ramsey/ram_k3_n15.ra0.wcnf,1,105,1820,105,1742,0,0.044776,0.02,0.060276,0.788913,0.159093,0.714286,1,0.574302,0.059133,0.214711,0.028571,0.066667,0.60819,0,0,0.007463,0,0.059133,1.560886,0.04535,1,0.610781,0.703902,0.033816,0.670886,1,0.610781,0.049254,1.373924,0.037887,0.738806,0.610781,0.738806,0.057996,0.051268,0.052813,0.059701,0.01,0.059376,0.548472,0.040184,0.118829,0.772924,0.023455,0.33868,0.009615,0.028169,0.746615,3.8
ramsey/ram_k3_n16.ra0.wcnf,1,120,2380,120,2289,0,0.039755,0.02,0.052425,0.784185,0.156624,0.714286,1,0.556379,0.052166,0.208097,0.025,0.058333,0.58498,0,0,0.006116,0,0.052166,1.666138,0.040192,1,0.589242,0.724819,0.029264,0.695652,1,0.589242,0.044062,1.480666,0.034076,0.755352,0.589242,0.755352,0.050663,0.047413,0.046308,0.051988,0,0.050159,0.598111,0.033202,0.106597,0.736809,0.021709,0.345689,0.008163,0.025974,0.58498,6.47
ramsey/ram_k3_n17.ra0.wcnf,1,136,3060,136,2955,0,0.035533,0.02,0.046024,0.780034,0.154172,0.714286,1,0.539419,0.046357,0.202069,0.022059,0.051471,0.5638,0,0,0.005076,0,0.046357,1.770963,0.035871,1,0.56926,0.742933,0.025564,0.716981,1,0.56926,0.039626,1.586745,0.030795,0.769882,0.56926,0.769882,0.04464,0.044007,0.040948,0.045685,0.01,0.042728,0.644713,0.02775,0.096108,0.704149,0.020232,0.349679,0.007018,0.024096,0.5638,10.72
ramsey/ram_k3_n18.ra0.wcnf,1,153,3876,153,3756,0,0.031949,0.03,0.040735,0.776358,0.151762,0.714286,1,0.523408,0.041464,0.196547,0.019608,0.045752,0.544375,0,0,0.00426,0.01,0.041464,1.87542,0.032215,1,0.550683,0.758776,0.022517,0.735537,1,0.550683,0.035812,1.692266,0.027955,0.782748,0.550683,0.782748,0.039633,0.040981,0.036475,0.040469,0,0.036678,0.688724,0.023429,0.087061,0.674485,0.018962,0.351513,0.006098,0.022472,0.523408,16.62
ramsey/ram_k3_n19.ra0.wcnf,1,171,4845,171,4709,0,0.028881,0.04,0.036313,0.773079,0.149409,0.714286,1,0.508306,0.037304,0.191462,0.017544,0.040936,0.52648,0,0,0.00361,0,0.037304,1.979557,0.029093,1,0.533375,0.772754,0.019979,0.751825,1,0.533375,0.032512,1.797314,0.025483,0.794224,0.533375,0.794224,0.035426,0.038281,0.032703,0.036101,0.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
ramsey/ram_k3_n20.ra0.wcnf,1,190,5985,190,5832,0,0.026235,0.05,0.032579,0.770135,0.147122,0.714286,1,0.494063,0.033739,0.18676,0.015789,0.036842,0.509928,0,0,0.003086,0,0.033739,2.083417,0.026406,1,0.517215,0.785181,0.017844,0.766234,1,0.517215,0.02964,1.901959,0.02332,0.804527,0.517215,0.804527,0.031855,0.03586,0.029492,0.032407,0.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.01
ramsey/ram_k3_n9.ra0.wcnf,1,36,210,36,189,0,0.111111,0,0.190476,0.84127,0.16876,0.714286,1,0.686962,0.156379,0.274114,0.083333,0.194444,0.814444,0,0,0.037037,0,0.156379,0.915531,0.116402,1,0.781247,0.450056,0.109002,0.363636,1,0.781247,0.108025,0.710192,0.079365,0.555556,0.781247,0.555556,0.17284,0.08954,0.153439,0.185185,0,0.199882,0.146469,0.15873,0.253968,1.095152,0.052534,0.128647,0.040816,0.064516,0.814444,0.06
ramsey/ram_k4_n18.ra0.wcnf,1,153,6120,153,6000,0,0.02,0.06,0.0255,0.86,0.16608,0.714286,1,0.692947,0.045621,0.020057,0.039216,0.045752,0.098039,0,0,0,0,0.045621,1.696945,0.0375,1,0.550683,0.023761,0.083154,0.004184,1,0.550683,0.022418,1.692266,0.0175,0.49,0.550683,0.49,0.025333,0,0.025333,0.025333,0.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.02
ramsey/ram_k4_n19.ra0.wcnf,1,171,7752,171,7616,0,0.017857,0.09,0.022453,0.859694,0.166146,0.714286,1,0.692988,0.040831,0.018967,0.035088,0.040936,0.089578,0,0,0,0,0.040831,1.801784,0.033613,1,0.533375,0.02121,0.078649,0.00369,1,0.533375,0.020102,1.797314,0.015756,0.491071,0.533375,0.491071,0.022321,0,0.022321,0.022321,0.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.07
ramsey/ram_k4_n20.ra0.wcnf,1,190,9690,190,9537,0,0.016043,0.1,0.019922,0.859435,0.166201,0.714286,1,0.693018,0.036758,0.01799,0.031579,0.036842,0.08221,0,0,0,0.01,0.036758,1.906232,0.030303,1,0.517215,0.019049,0.074596,0.003279,1,0.517215,0.018126,1.901959,0.01426,0.491979,0.517215,0.491979,0.019818,0,0.019818,0.019818,0.01,-1,0,-1,0,-512,-1,0,-1,0,0,20.09
reversi/rev66-10.wcnf,1,8722,52464,0,0,-512,-512,6.77,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-12.wcnf,1,10452,62928,0,0,-512,-512,9.96,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-14.wcnf,1,12182,73392,0,0,-512,-512,13.32,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0.01
reversi/rev66-16.wcnf,1,13912,83856,0,0,-512,-512,17.68,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-18.wcnf,1,15642,94320,0,0,-512,-512,22.04,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-20.wcnf,1,17372,104784,0,0,-512,-512,27.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-22.wcnf,1,19102,115248,0,0,-512,-512,33.37,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-24.wcnf,1,20832,125712,0,0,-512,-512,39.17,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-26.wcnf,1,22562,136176,0,0,-512,-512,44.84,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-28.wcnf,1,24292,146640,0,0,-512,-512,53.91,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-30.wcnf,1,26022,157104,0,0,-512,-512,61.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-32.wcnf,1,27752,167568,0,0,-512,-512,68.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-6.wcnf,1,5262,31536,0,0,-512,-512,2.72,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
reversi/rev66-8.wcnf,1,6992,42000,0,0,-512,-512,4.56,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
rna-alignment/k50-23-49.rna.pre.wcnf,1,1759,116638,0,0,-512,-512,12.12,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
rna-alignment/k50-40-60.rna.pre.wcnf,1,1841,109530,0,0,-512,-512,14.47,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
scheduling/cnf_10_center.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
scheduling/cnf_10.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
scheduling/cnf_12_center.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
scheduling/cnf_12.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
scheduling/cnf_small.wcnf,1,12617,47065,0,0,-512,-512,7.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
SeanSafarpour/c6_DD_s3_f1_e2_v1-bug-fourvec-gate-0.dimacs.seq.filtered.wcnf,1,170019,454050,0,0,-512,-512,1113.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
SeanSafarpour/divider-problem.dimacs_2.filtered.wcnf,1,228874,750705,0,0,-512,-512,1.02,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
SeanSafarpour/dividers1.dimacs.filtered.wcnf,1,45552,162982,0,0,-512,-512,136.4,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
SeanSafarpour/dividers9.dimacs.filtered.wcnf,1,45552,162982,0,0,-512,-512,0.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
SeanSafarpour/fpu8-problem.dimacs_24.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/mem_ctrl1.dimacs.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/rsdecoder_fsm1.dimacs.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/rsdecoder-problem.dimacs_34.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/spi-problem.dimacs_42.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/wb_4m8s3.dimacs.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/wb_conmax3.dimacs.filtered.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
SeanSafarpour/wb1.dimacs.filtered.wcnf,1,49525,140091,0,0,-512,-512,0.27,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpclr10_maxsat.wcnf,1,210,721,0,0,-512,-512,0.04,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpclr11_maxsat.wcnf,1,330,1353,0,0,-512,-512,0.27,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpclr12_maxsat.wcnf,1,495,2542,0,0,-512,-512,2.25,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpclr13_maxsat.wcnf,1,715,4810,0,0,-512,-512,21.57,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc06_maxsat.wcnf,1,192,432,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc07_maxsat.wcnf,1,448,1120,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc08_maxsat.wcnf,1,1024,2816,0,0,-512,-512,0.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc09_maxsat.wcnf,1,2304,6912,0,0,-512,-512,0.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc10_maxsat.wcnf,1,5120,16640,0,0,-512,-512,0.4,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
set-covering/scpcyc11_maxsat.wcnf,1,11264,39424,0,0,-512,-512,2.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b14-s_PathRelaxation_FS_14.wcnf,1,12161,35100,0,0,-512,-512,7.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b14-s_PathRelaxation_FS_16.wcnf,1,12179,35154,0,0,-512,-512,7.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b14-s_PathRelaxation_FS_25.wcnf,1,12161,35092,0,0,-512,-512,7.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b14-s_PathRelaxation_FS_46.wcnf,1,12161,35092,0,0,-512,-512,7.46,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b14-s_PathRelaxation_Set_FS_47.wcnf,1,22384,83717,0,0,-512,-512,37.88,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b18-s_PathRelaxation_Set_FS_32.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
tpr/b21-s_PathRelaxation_FS_28.wcnf,1,17677,50516,0,0,-512,-512,14.95,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b21-s_PathRelaxation_FS_42.wcnf,1,17677,50524,0,0,-512,-512,15.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b21-s_PathRelaxation_FS_47.wcnf,1,17693,50564,0,0,-512,-512,16.8,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b21-s_PathRelaxation_FS_48.wcnf,1,17693,50568,0,0,-512,-512,14.94,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
tpr/b21-s_PathRelaxation_Set_FS_31.wcnf,1,49714,159713,0,0,-512,-512,151.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_1c75_N69.wcnf,1,91700,768235,0,0,-512,-512,1159.85,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_1dj7_N73.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_1dp_N76.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_1en2_N69.wcnf,1,91700,768015,0,0,-512,-512,1167.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_celar02_N100.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_celar09pp_N67.wcnf,1,84687,703259,0,0,-512,-512,987.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_david_N87.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_eil51.tsp_N51.wcnf,1,44165,316999,0,0,-512,-512,210.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_hepar2_N70.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_huck_N74.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_jean_N77.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_miles500_N128.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_mulsol.i.5-pp_N119.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_myciel4_N23.wcnf,1,6025,30519,0,0,-512,-512,2.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_myciel5_N47.wcnf,1,36283,249849,0,0,-512,-512,143.2,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_oesoca+_N67.wcnf,1,84687,703302,0,0,-512,-512,989.51,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_pathfinder_N109.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
treewidth-computation/TWComp_queen5_5_N25.wcnf,1,7274,38856,0,0,-512,-512,3.35,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_queen6_6_N36.wcnf,1,18629,114280,0,0,-512,-512,26.95,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_queen7_7_N49.wcnf,1,39542,281536,0,0,-512,-512,159.78,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_ship-ship-pp_N30.wcnf,1,11594,66448,0,0,-512,-512,10.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
treewidth-computation/TWComp_win95pts_N76.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
uaq/uaq-nr-nr130-nc43-n3-k2-rpp4-ppr2-plb50.wcnf,1,1490,2343,121,120,11.31405,18.525,0,1.008333,0,0,0,0,0,0.016529,0,0.016529,0.016529,0,0,1,1,0,0.016529,5.431582,0.008333,1,0.047865,1,0,1,1,0,0.016529,5.431582,0.008333,1,0.047865,1,0.016529,5.431582,0.008333,1,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-nr-nr150-nc50-n3-k2-rpp4-ppr2-plb50.wcnf,1,1730,2680,141,140,11.269504,18.142857,0.01,1.007143,0,0,0,0,0,0.014184,0,0.014184,0.014184,0,0,1,1,0,0.014184,5.873822,0.007143,1,0.042165,1,0,1,1,0,0.014184,5.873822,0.007143,1,0.042165,1,0.014184,5.873822,0.007143,1,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-nr-nr220-nc73-n3-k2-rpp4-ppr2-plb50.wcnf,1,2690,4049,221,220,11.171946,17.404545,0.02,1.004545,0,0,0,0,0,0.00905,0,0.00905,0.00905,0,0,1,1,0,0.00905,7.382488,0.004545,1,0.028941,1,0,1,1,0,0.00905,7.382488,0.004545,1,0.028941,1,0.00905,7.382488,0.004545,1,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-nr-nr240-nc80-n3-k2-rpp4-ppr2-plb50.wcnf,1,2930,4395,241,240,11.157676,17.3125,0.02,1.004167,0,0,0,0,0,0.008299,0,0.008299,0.008299,0,0,1,1,0,0.008299,7.713692,0.004167,1,0.026899,1,0,1,1,0,0.008299,7.713692,0.004167,1,0.026899,1,0.008299,7.713692,0.004167,1,0,0,0,0,0,0,0,0,0,0,0,0.01
uaq/uaq-nr-nr340-nc113-n3-k2-rpp4-ppr2-plb50.wcnf,1,4130,6089,341,340,11.111437,16.908824,0.04,1.002941,0,0,0,0,0,0.005865,0,0.005865,0.005865,0,0,1,1,0,0.005865,9.192428,0.002941,1,0.020031,1,0,1,1,0,0.005865,9.192428,0.002941,1,0.020031,1,0.005865,9.192428,0.002941,1,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb100.wcnf,1,2050,4274,0,0,-512,-512,0.05,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-plb-nr250-nc83-n5-k2-rpp3-ppr5-plb90.wcnf,1,2050,4281,0,0,-512,-512,0.05,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr5-plb100.wcnf,1,2046,4144,0,0,-512,-512,0.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp4-ppr6-plb100.wcnf,1,2046,4276,0,0,-512,-512,0.06,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr11-plb100.wcnf,1,2046,5192,0,0,-512,-512,0.11,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr13-plb100.wcnf,1,2046,5564,0,0,-512,-512,0.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr6-plb100.wcnf,1,2046,4561,0,0,-512,-512,0.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-ppr-nr200-nc66-n5-k2-rpp6-ppr9-plb100.wcnf,1,2046,4882,0,0,-512,-512,0.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp28-ppr2-plb20.wcnf,1,516,4964,0,0,-512,-512,0.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
uaq/uaq-rpp-nr100-nc33-n3-k2-rpp6-ppr2-plb20.wcnf,1,516,1664,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_4BitCounterPointer_true-termination_true-valid-memsafety.c_Abstraction1.wcnf,1,4278,399594,0,0,-512,-512,2.05,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c_Abstraction1.wcnf,1,210,4520,0,0,-512,-512,0.01,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_c.03-alloca_true-termination_true-no-overflow.c.i_Abstraction3.wcnf,1,4656,453744,0,0,-512,-512,2.11,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i_Abstraction3.wcnf,1,5356,559809,0,0,-512,-512,2.72,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_cstrpbrk_diffterm_alloca_true-termination.c.i_Abstraction4.wcnf,1,2016,129663,0,0,-512,-512,0.49,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_ll_append-alloca_false-termination.c.i_Abstraction1.wcnf,1,4278,399224,0,0,-512,-512,1.8,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_LogAG_true-termination_true-no-overflow.c_Abstraction2.wcnf,1,120,1982,0,0,-512,-512,0,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
vpa/UAutomizer_NestedRecursion_2b_false-termination_true-valid-memsafety.c_Abstraction2.wcnf,1,5253,544593,0,0,-512,-512,2.71,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0.01,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
wqueens/wqueens14_12.wcsp.dir.wcnf,1,196,3094,0,0,-512,-512,0.04,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
wqueens/wqueens16_14.wcsp.dir.wcnf,1,256,4640,0,0,-512,-512,0.07,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
wqueens/wqueens18_16.wcsp.dir.wcnf,1,324,6630,0,0,-512,-512,0.13,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/australian.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
xai-mindset2/bnn-last-layer-f10.wcnf,1,29987,269084,0,0,-512,-512,132.03,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/cleve.wcnf,1,19400,285696,0,0,-512,-512,354.08,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/cleveland.wcnf,1,41362,334728,0,0,-512,-512,402.33,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0.01,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/cloud.wcnf,1,18940,97364,0,0,-512,-512,36.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/diabetes.wcnf,1,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?
xai-mindset2/glass.wcnf,1,36129,248396,0,0,-512,-512,236.69,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/glass2.wcnf,1,11582,136820,2873,2872,3.031326,46.639276,5.39,1.000348,0,0,0,0,0,0.000696,0,0.000696,0.000696,0,0,1,1,0.01,0.000696,26.786192,0.000348,1,0.00312,1,0,1,1,0,0.000696,26.786192,0.000348,1,0.00312,1,0.000696,26.786192,0.000348,1,0.08,0,0,0,0,0,0,0,0,0,0,0.01
xai-mindset2/heart-h.wcnf,1,26903,358943,0,0,-512,-512,443.8,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/house-votes-84.wcnf,1,6706,66908,0,0,-512,-512,10.09,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/hungarian.wcnf,1,26903,358943,0,0,-512,-512,437.99,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/iris.wcnf,1,7095,47344,0,0,-512,-512,9.84,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/liver-disorder.wcnf,1,27115,404657,0,0,-512,-512,541.6,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/lupus.wcnf,1,6356,37580,0,0,-512,-512,6.11,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/new-thyroid.wcnf,1,13687,151668,0,0,-512,-512,84.81,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/soybean.wcnf,1,63643,478012,0,0,-512,-512,787.79,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
xai-mindset2/tae.wcnf,1,13621,70504,0,0,-512,-512,15.21,-512,0,0,0,0,0,0,0,0,0,0,-512,-512,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-512,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0