Spying on minisat-HACK-999ED-CSSC
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
ccmin-mode=2 K-val=0.9 luby=0 cp-increase=10000 R-val=1.5 cla-decay=0.999 lbd-cut-max=7 core-tolerance=0.01 lbd-cut=5
- Meta Data Details
-
| Solver | minisat-HACK-999ED-CSSC |
|---|
| #Instances (Test) | 351 |
|---|
| #Instances (Train) | 484 |
|---|
| os system | Linux |
|---|
| os release | 3.13.0-39-generic |
|---|
| cpu vendor | GenuineIntel |
|---|
| cpu brand | Intel(R) Xeon(R) CPU E5-2650 v2 @ 2.60GHz |
|---|
| cpu hz | 2.6000 GHz |
|---|
| cpu arch | X86_64 |
|---|
| cpu count | 16 |
|---|
| cutoff | 300 |
|---|
| verbosity | INFO |
|---|
| repetitions | 1 |
|---|
| budget | 86400 |
|---|
| prefix | - |
|---|
| seed | 0 |
|---|
| memory | 2000 |
|---|
| outputdir | . |
|---|
- Performance Overview Details
-
Test Performance
| Default | Configured |
|---|
| Average Runtime | 11.49 | 9.19 |
|---|
| PAR10 | 11.49 | 9.19 |
|---|
| Timeouts | 0 / 351 | 0 / 351 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 10.98 | 9.55 |
|---|
| PAR10 | 10.98 | 9.55 |
|---|
| Timeouts | 0 / 484 | 0 / 484 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| luby | 2.10 |
|---|
| ccmin-mode | 1.74 |
|---|
| cp-increase | 1.69 |
|---|
| core-tolerance | 1.24 |
|---|
| lbd-cut | 0.86 |
|---|
| K-val | 0.57 |
|---|
| cla-decay | 0.56 |
|---|
| lbd-cut-max | 0.26 |
|---|
| R-val | 0.01 |
|---|
| rfirst | 0.00 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| luby | 16.23 |
|---|
| ccmin-mode | 14.40 |
|---|
| core-tolerance | 4.97 |
|---|
| cla-decay | 4.79 |
|---|
| cp-increase | 3.85 |
|---|
| lbd-cut-max | 1.79 |
|---|
| lbd-cut | 1.66 |
|---|
| rfirst | 0.12 |
|---|
| K-val | 0.11 |
|---|
| R-val | 0.01 |
|---|
- Parameter Importance over Nothing Plots Details
