Spying on probSAT
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
randomc=1 fct=0 eps=1.208707710160179 luby=1 base=225984 caching=1 xor=1 cb1=2.8616517196556837
- Meta Data Details
-
| Solver | probSAT |
|---|
| #Instances (Test) | 250 |
|---|
| #Instances (Train) | 250 |
|---|
| 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 | 24.22 | 9.72 |
|---|
| PAR10 | 132.22 | 52.92 |
|---|
| Timeouts | 10 / 250 | 4 / 250 |
|---|
Training Performance
| Default | Configured |
|---|
| Average Runtime | 19.42 | 7.06 |
|---|
| PAR10 | 138.22 | 28.66 |
|---|
| Timeouts | 11 / 250 | 2 / 250 |
|---|
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
| Parameter | Importance |
|---|
| cb1 | 30.95 |
|---|
| fct | 9.24 |
|---|
| luby | 4.89 |
|---|
| caching | 2.10 |
|---|
| eps | 0.54 |
|---|
| base | 0.47 |
|---|
| randomc | 0.27 |
|---|
| xor | 0.04 |
|---|
| cb2 | 0.00 |
|---|
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
| Parameter | Importance |
|---|
| cb1 | 50.30 |
|---|
| fct | 12.70 |
|---|
| luby | 5.22 |
|---|
| caching | 2.08 |
|---|
| randomc | 0.67 |
|---|
| eps | 0.43 |
|---|
| base | 0.36 |
|---|
| xor | 0.05 |
|---|
| cb2 | 0.01 |
|---|
- Parameter Importance over Nothing Plots Details
