Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:S:contraction=no @1:1:del-cfl=23 @1:otfs=1 @1:heuristic=Berkmin @1:del-on-restart=50 @1:F:local-restarts=no @1:3:del-cfl=5620 @1:2:del-grow=1.6492359130220295 @1:0:del-cfl=+ @1:1:lookahead=no @1:0:strengthen=no @1:S:deletion=yes @1:2:deletion=48 @1:save-progress=23 @1:0:restarts=no @1:3:deletion=2 @1:F:berk-once=no @1:update-lbd=3 @0:S:sat-prepro=no @1:2:del-glue=1 @1:1:del-grow=3.8954773171729027 @1:del-max=1433212832 @1:berk-max=2 @1:3:del-init=29008 @0:sat-prepro=0 @1:F:berk-huang=yes @1:S:counterCond=no @1:F:update-act=yes @1:sign-def=0 @1:2:del-init=688 @1:rand-freq=0.0 @1:S:del-grow=yes @1:No:contraction=no @1:S:growSched=no @1:2:A:del-cfl=549 @1:init-watches=2 @1:1:del-glue=0 @1:1:deletion=sort @1:F:init-moms=no @1:1:del-init=14.834274912830175 @1:F:sign-fix=no @1:reverse-arcs=2
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#Instances (Test) | 250 |
#Instances (Train) | 500 |
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 | 115.05 | 35.03 |
PAR10 | 309.45 | 35.03 |
Timeouts | 18 / 250 | 0 / 250 |
Training Performance
| Default | Configured |
Average Runtime | 114.52 | 35.83 |
PAR10 | 335.92 | 35.83 |
Timeouts | 41 / 500 | 0 / 500 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:heuristic | 33.76 |
@1:0:restarts | 11.48 |
@1:S:del-grow | 1.49 |
@1:rand-freq | 0.25 |
@1:save-progress | 0.23 |
@1:1:lookahead | 0.09 |
@1:berk-max | 0.08 |
@1:sign-def | 0.07 |
@1:1:del-grow | 0.04 |
@1:S:counterCond | 0.04 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:heuristic | 45.03 |
@1:0:restarts | 12.84 |
@1:S:del-grow | 6.41 |
@1:rand-freq | 1.58 |
@1:save-progress | 1.08 |
@1:update-lbd | 0.33 |
@1:sign-def | 0.26 |
@1:1:lookahead | 0.22 |
@1:reverse-arcs | 0.22 |
@1:berk-max | 0.20 |
- Parameter Importance over Nothing Plots Details