Spying on clasp-3.0.4-p8
Generated by
SpySMAC (S. Falkner, M. Lindauer and F. Hutter).
- Final Configuration Details
-
@1:del-grow=0 @1:S:contraction=yes @1:1:del-cfl=16 @1:counter-restarts=1 @1:otfs=2 @1:heuristic=Berkmin @1:del-on-restart=17 @1:2:Luby:restarts=5 @1:F:local-restarts=no @1:S:deletion=yes @1:0:del-cfl=L @1:1:Simp:restarts=38 @1:1:lookahead=body @1:0:strengthen=recursive @1:2:deletion=100 @1:save-progress=86 @1:0:restarts=L @1:3:deletion=1 @1:F:berk-once=yes @1:contraction=5 @1:update-lbd=0 @0:S:sat-prepro=no @1:2:del-glue=1 @1:sign-def=2 @1:berk-max=49 @1:3:del-init=17373 @0:sat-prepro=0 @1:F:berk-huang=yes @1:2:lookahead=1262 @1:S:counterCond=yes @1:S:Luby:aryrestarts=2 @1:F:update-act=yes @1:counter-bump=28 @1:2:del-init=190 @1:rand-freq=0.01 @1:S:del-grow=no @1:1:strengthen=0 @1:del-max=723822861 @1:init-watches=0 @1:1:del-glue=6 @1:1:deletion=basic @1:F:init-moms=no @1:1:del-init=15.830644315582374 @1:F:sign-fix=yes @1:reverse-arcs=0
- Meta Data Details
-
Solver | clasp-3.0.4-p8 |
#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 | 81.84 | 4.68 |
PAR10 | 704.92 | 4.68 |
Timeouts | 81 / 351 | 0 / 351 |
Training Performance
| Default | Configured |
Average Runtime | 71.13 | 5.19 |
PAR10 | 573.20 | 5.19 |
Timeouts | 90 / 484 | 0 / 484 |
- Scatter Plot Details
-
- CDF Plot Details
-
- Cactus Plot Details
-
- Parameter Importance over Default Details
-
Parameter | Importance |
@1:heuristic | 36.32 |
@1:0:restarts | 2.76 |
@1:save-progress | 1.67 |
@1:S:deletion | 1.54 |
@1:reverse-arcs | 1.41 |
@1:rand-freq | 1.35 |
@1:F:update-act | 0.93 |
@1:1:lookahead | 0.55 |
@1:sign-def | 0.26 |
@1:0:strengthen | 0.19 |
- Parameter Importance over Default Plots Details
- Parameter Importance over Nothing Details
-
Parameter | Importance |
@1:heuristic | 45.15 |
@1:0:restarts | 2.67 |
@1:save-progress | 2.10 |
@1:rand-freq | 1.38 |
@1:reverse-arcs | 0.94 |
@1:S:deletion | 0.91 |
@1:1:lookahead | 0.61 |
@1:F:update-act | 0.47 |
@1:sign-def | 0.28 |
@1:0:strengthen | 0.14 |
- Parameter Importance over Nothing Plots Details