obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var | |
---|---|---|---|---|---|---|---|---|---|---|
numVars | 876 | 0 | 26 | 1.6e+02 | 7.8e+02 | 6.3e+03 | 4.8e+03 | 9.1e+05 | 3.5e+04 | 5.5 |
numClauses | 876 | 0 | 46 | 1.3e+03 | 9.1e+03 | 6.2e+04 | 2.6e+04 | 3.8e+06 | 2.8e+05 | 4.6 |
perc_soft | 876 | 0 | 1e-05 | 0.013 | 0.058 | 0.16 | 0.23 | 0.98 | 0.21 | 1.3 |
soft_mean | 876 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
soft_std | 876 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
soft_min | 876 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
soft_max | 876 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
var_clauses_ratio | 876 | 0 | 0.00078 | 0.077 | 0.23 | 0.22 | 0.28 | 0.98 | 0.15 | 0.7 |
vcg_var_mean | 876 | 0 | 0 | 0.00054 | 0.0034 | 0.012 | 0.013 | 0.54 | 0.039 | 3.3 |
vcg_var_std | 876 | 0 | 0 | 0.19 | 0.58 | 0.78 | 1.1 | 7.3 | 0.87 | 1.1 |
vcg_var_min | 876 | 0 | 0 | 0.00012 | 0.00076 | 0.0064 | 0.0054 | 0.49 | 0.029 | 4.6 |
vcg_var_max | 876 | 0 | 0.00031 | 0.004 | 0.012 | 0.025 | 0.028 | 0.59 | 0.051 | 2 |
vcg_var_spread | 876 | 0 | 0 | 0.0024 | 0.0049 | 0.019 | 0.023 | 0.4 | 0.034 | 1.8 |
vcg_cls_mean | 876 | 0 | 0 | 0.00054 | 0.0034 | 0.012 | 0.013 | 0.54 | 0.039 | 3.3 |
vcg_cls_std | 876 | 0 | 0 | 0.26 | 0.35 | 0.47 | 0.43 | 7.3 | 0.49 | 1.1 |
vcg_cls_min | 876 | 0 | 0 | 0.00021 | 0.0013 | 0.003 | 0.0063 | 0.038 | 0.004 | 1.3 |
vcg_cls_max | 876 | 0 | 0 | 0.0022 | 0.013 | 0.033 | 0.02 | 0.99 | 0.098 | 2.9 |
vcg_cls_spread | 876 | 0 | 0 | 0.0013 | 0.0067 | 0.03 | 0.014 | 0.97 | 0.096 | 3.2 |
pnr_var_mean | 876 | 0 | 0.0004 | 0.44 | 0.53 | 0.59 | 0.8 | 1 | 0.25 | 0.42 |
pnr_var_std | 876 | 0 | 0 | 0.096 | 0.22 | 0.23 | 0.3 | 1.1 | 0.18 | 0.78 |
pnr_var_min | 876 | 0 | 0 | 0 | 0.25 | 0.32 | 0.41 | 1 | 0.35 | 1.1 |
pnr_var_max | 876 | 0 | 0.001 | 0.75 | 0.97 | 0.86 | 1 | 1 | 0.22 | 0.25 |
pnr_var_spread | 876 | 0 | 0 | 0.21 | 0.64 | 0.54 | 0.86 | 1 | 0.36 | 0.67 |
pnr_cls_mean | 876 | 0 | 2e-05 | 0.4 | 0.57 | 0.57 | 0.72 | 1 | 0.25 | 0.43 |
pnr_cls_std | 876 | 0 | 0 | 0.39 | 0.55 | 3.1 | 0.67 | 2.3e+02 | 21 | 6.8 |
pnr_cls_min | 876 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
pnr_cls_max | 876 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
pnr_cls_spread | 876 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
unary | 876 | 0 | 0 | 0.013 | 0.046 | 0.13 | 0.2 | 0.98 | 0.17 | 1.3 |
binary | 876 | 0 | 0.072 | 0.39 | 0.67 | 0.65 | 0.95 | 1 | 0.27 | 0.42 |
trinary | 876 | 0 | 0.072 | 0.79 | 0.95 | 0.86 | 1 | 1 | 0.21 | 0.24 |
horn_mean | 876 | 0 | 0 | 0.00016 | 0.00034 | 0.0022 | 0.0027 | 0.041 | 0.0036 | 1.6 |
horn_std | 876 | 0 | 0 | 0 | 0 | 0.044 | 0 | 1.4 | 0.15 | 3.3 |
horn_min | 876 | 0 | 0 | 4e-05 | 0.00013 | 0.00083 | 0.00082 | 0.022 | 0.0017 | 2.1 |
horn_max | 876 | 0 | 0 | 0.00045 | 0.0019 | 0.0081 | 0.0088 | 0.12 | 0.015 | 1.9 |
horn_spread | 876 | 0 | 0 | 0 | 0.0013 | 0.0073 | 0.0075 | 0.12 | 0.015 | 2 |
horn | 876 | 0 | 0.0026 | 0.32 | 0.6 | 0.53 | 0.75 | 1 | 0.3 | 0.58 |
size | ok | timeout | memout | presolved | crash | other | unknown | cost_min | cost_mean | cost_max | cost_na | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
group_basics | 37 | 1e+02 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.15 | 22 | 0 |
block | numbers | instances |
---|---|---|
1 | 2 | benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-1.clq.wcnf +++++++ benchmarks/pms_crafted/maxclicque/random/max_clq_150-0-447-2.clq.wcnf |
2 | 3 | benchmarks/pms_industrial/bcp-mtg/c1355_F106gat-409gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F120gat-414gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F127gat-418gat@1.wcnf |
3 | 3 | benchmarks/pms_industrial/bcp-mtg/c1355_F106gat@0.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F141gat@0.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F183gat@0.wcnf |
4 | 2 | benchmarks/pms_industrial/bcp-mtg/c1355_F113gat-1260gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F176gat-1278gat@1.wcnf |
5 | 5 | benchmarks/pms_industrial/bcp-mtg/c1355_F155gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F43gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F50gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F57gat@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c1355_F71gat@1.wcnf |
6 | 2 | benchmarks/pms_industrial/bcp-mtg/c3540_F45@0.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c3540_F45@1.wcnf |
7 | 3 | benchmarks/pms_industrial/bcp-mtg/c499_Fic0@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c499_Fic2@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c499_Fic6@1.wcnf |
8 | 3 | benchmarks/pms_industrial/bcp-mtg/c499_Fid11@1.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c499_Fid18@0.wcnf +++++++ benchmarks/pms_industrial/bcp-mtg/c499_Fid26@0.wcnf |