Spying on probSAT
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
randomc=1 fct=1 luby=0 cb2=1.1157334857297916 cb1=3.8734883171825873 caching=0
- 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 | 300.00 | 1.97 |
PAR10 | 3000.00 | 1.97 |
Timeouts | 250 / 250 | 0 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 300.00 | 1.88 |
PAR10 | 3000.00 | 1.88 |
Timeouts | 250 / 250 | 0 / 250 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
cb1 | 90.04 |
caching | 0.44 |
randomc | 0.14 |
fct | 0.09 |
luby | 0.08 |
eps | 0.02 |
xor | 0.01 |
cb2 | 0.00 |
base | 0.00 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
cb1 | 89.29 |
caching | 0.44 |
randomc | 0.14 |
luby | 0.08 |
fct | 0.08 |
eps | 0.03 |
xor | 0.01 |
cb2 | 0.00 |
base | 0.00 |
- Parameter Importance over Nothing Plots Details