obs | nas | min | qu_1st | med | mean | qu_3rd | max | sd | coeff_var | |
---|---|---|---|---|---|---|---|---|---|---|
f_1 | 601 | 0 | 61 | 4.6e+03 | 1.2e+04 | 5.7e+04 | 5.1e+04 | 9.1e+05 | 1.1e+05 | 1.9 |
f_2 | 601 | 0 | 1.1e+02 | 2.6e+04 | 8.5e+04 | 4.9e+05 | 3.7e+05 | 1.4e+07 | 1.5e+06 | 3.1 |
f_3 | 601 | 0 | 1e-05 | 0.0036 | 0.013 | 0.083 | 0.097 | 0.98 | 0.15 | 1.8 |
f_4 | 601 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
f_5 | 601 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
f_6 | 601 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
f_7 | 601 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
f_8 | 601 | 0 | 0.00078 | 0.13 | 0.23 | 0.24 | 0.33 | 0.98 | 0.14 | 0.61 |
f_9 | 601 | 0 | 0 | 5e-05 | 0.0002 | 0.002 | 0.00055 | 0.15 | 0.011 | 5.4 |
f_10 | 601 | 0 | 0 | 0.63 | 1.1 | 1.5 | 1.4 | 29 | 1.7 | 1.2 |
f_11 | 601 | 0 | 0 | 1e-05 | 2e-05 | 0.0006 | 0.00011 | 0.095 | 0.0048 | 7.9 |
f_12 | 601 | 0 | 5e-05 | 0.0013 | 0.003 | 0.015 | 0.0091 | 0.23 | 0.031 | 2 |
f_13 | 601 | 0 | 4e-05 | 0.0013 | 0.003 | 0.015 | 0.0087 | 0.2 | 0.029 | 2 |
f_14 | 601 | 0 | 0 | 5e-05 | 0.0002 | 0.002 | 0.00055 | 0.15 | 0.011 | 5.4 |
f_15 | 601 | 0 | 0 | 0.3 | 0.37 | 0.56 | 0.7 | 7.3 | 0.59 | 1.1 |
f_16 | 601 | 0 | 0 | 2e-05 | 8e-05 | 0.00039 | 0.00022 | 0.016 | 0.0013 | 3.3 |
f_17 | 601 | 0 | 0 | 0.00029 | 0.0036 | 0.015 | 0.015 | 0.67 | 0.048 | 3.2 |
f_18 | 601 | 0 | 0 | 0.00025 | 0.0033 | 0.014 | 0.015 | 0.67 | 0.047 | 3.2 |
f_19 | 601 | 0 | 0.0004 | 0.4 | 0.45 | 0.47 | 0.5 | 1 | 0.17 | 0.35 |
f_20 | 601 | 0 | 0.002 | 0.18 | 0.25 | 0.34 | 0.43 | 1.5 | 0.24 | 0.72 |
f_21 | 601 | 0 | 0 | 0 | 0.0053 | 0.12 | 0.22 | 0.99 | 0.18 | 1.6 |
f_22 | 601 | 0 | 0.001 | 0.82 | 0.97 | 0.89 | 1 | 1 | 0.17 | 0.2 |
f_23 | 601 | 0 | 0.00065 | 0.61 | 0.82 | 0.77 | 1 | 1 | 0.25 | 0.33 |
f_24 | 601 | 0 | 2e-05 | 0.4 | 0.44 | 0.46 | 0.54 | 0.95 | 0.17 | 0.38 |
f_25 | 601 | 0 | 0 | 0.35 | 0.64 | 4.2 | 0.81 | 2.3e+02 | 26 | 6.1 |
f_26 | 601 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
f_27 | 601 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
f_28 | 601 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
f_29 | 601 | 0 | 0 | 0.0048 | 0.034 | 0.093 | 0.11 | 0.98 | 0.15 | 1.6 |
f_30 | 601 | 0 | 0.032 | 0.45 | 0.66 | 0.59 | 0.76 | 1 | 0.24 | 0.4 |
f_31 | 601 | 0 | 0.072 | 0.8 | 0.94 | 0.86 | 0.99 | 1 | 0.18 | 0.21 |
f_32 | 601 | 0 | 0 | 3e-05 | 0.0001 | 0.00032 | 0.00024 | 0.012 | 0.00084 | 2.6 |
f_33 | 601 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
f_34 | 601 | 0 | 0 | 0 | 0 | 0.00015 | 4e-05 | 0.009 | 0.00069 | 4.7 |
f_35 | 601 | 0 | 0 | 0.00057 | 0.0014 | 0.0073 | 0.0045 | 0.12 | 0.016 | 2.2 |
f_36 | 601 | 0 | 0 | 0.00037 | 0.0013 | 0.0071 | 0.0045 | 0.12 | 0.016 | 2.2 |
f_37 | 601 | 0 | 0.046 | 0.47 | 0.71 | 0.65 | 0.79 | 1 | 0.22 | 0.34 |
size | ok | timeout | memout | presolved | crash | other | unknown | cost_min | cost_mean | cost_max | cost_na | |
---|---|---|---|---|---|---|---|---|---|---|---|---|
base | 1 | 1e+02 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0.6 | 18 | 0 |
block | numbers | instances |
---|---|---|
1 | 2 | 1aabfc32-d491-11df-9a24-00163e3d3b7c_l3.wcnf +++++++ ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l3.wcnf |
2 | 2 | b21-s_PathRelaxation_FS_10.wcnf +++++++ b21-s_PathRelaxation_FS_8.wcnf |
3 | 4 | b21-s_PathRelaxation_FS_11.wcnf +++++++ b21-s_PathRelaxation_FS_17.wcnf +++++++ b21-s_PathRelaxation_FS_24.wcnf +++++++ b21-s_PathRelaxation_FS_6.wcnf |
4 | 2 | b21-s_PathRelaxation_FS_12.wcnf +++++++ b21-s_PathRelaxation_FS_16.wcnf |
5 | 2 | b21-s_PathRelaxation_FS_13.wcnf +++++++ b21-s_PathRelaxation_FS_14.wcnf |
6 | 4 | b21-s_PathRelaxation_FS_18.wcnf +++++++ b21-s_PathRelaxation_FS_5.wcnf +++++++ b21-s_PathRelaxation_FS_7.wcnf +++++++ b21-s_PathRelaxation_FS_9.wcnf |
7 | 3 | b21-s_PathRelaxation_FS_19.wcnf +++++++ b21-s_PathRelaxation_FS_21.wcnf +++++++ b21-s_PathRelaxation_FS_23.wcnf |
8 | 3 | c1355_F106gat-409gat@1.wcnf +++++++ c1355_F120gat-414gat@1.wcnf +++++++ c1355_F127gat-418gat@1.wcnf |
9 | 3 | c1355_F106gat@0.wcnf +++++++ c1355_F141gat@0.wcnf +++++++ c1355_F183gat@0.wcnf |
10 | 2 | c1355_F113gat-1260gat@1.wcnf +++++++ c1355_F176gat-1278gat@1.wcnf |
11 | 5 | c1355_F155gat@1.wcnf +++++++ c1355_F43gat@1.wcnf +++++++ c1355_F50gat@1.wcnf +++++++ c1355_F57gat@1.wcnf +++++++ c1355_F71gat@1.wcnf |
12 | 2 | c3540_F45@0.wcnf +++++++ c3540_F45@1.wcnf |
13 | 2 | cnf.20.d.10.wcnf +++++++ cnf.20.d.9.wcnf |
14 | 3 | SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.1.wcnf +++++++ SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.4.wcnf +++++++ SAT07__industrial__vliw_sat_4.0__9vliw_m_9stages_iq3_C1_bug6.cnf.wcnf.7.wcnf |
15 | 2 | SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.4.wcnf +++++++ SAT11__application__fuhs__AProVE11__AProVE11-09.cnf.wcnf.8.wcnf |
16 | 2 | SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.2.wcnf +++++++ SAT11__application__jarvisalo__AAAI2010-SATPlanning__aaai10-planning-ipc5-pipesworld-12-step16.cnf.wcnf.7.wcnf |
17 | 2 | SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.10.wcnf +++++++ SAT11__application__jarvisalo__smtqfbv-aigs__smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf.wcnf.2.wcnf |
18 | 2 | TWComp_barle_N48.wcnf +++++++ TWComp_barley2_N48.wcnf |