Sota solver details
QBFEVAL'06

Instance: ncf_4_8_4_euad.4
Best Solver: WalkQSAT Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - semprop 0.13 ssolve-ut 0.46 openQbf 1.14
- - qube4.0 0.17 ssolve+ut 0.47 GRL 1.7
- - qube5.0 0.19 sKizzo-0.9-abs 0.77 - -
- - qube3.0 0.29 sKizzo-0.9-grn 0.8 - -
- - sSolve 0.43 sKizzo-0.9-std 0.83 - -
WalkQSAT(0.09)
semprop(0.13)
qube4.0(0.17)
qube5.0(0.19)
qube3.0(0.29)
sSolve(0.43)
ssolve-ut(0.46)
ssolve+ut(0.47)
sKizzo-0.9-abs(0.77)
sKizzo-0.9-grn(0.8)
sKizzo-0.9-std(0.83)
openQbf(1.14)
GRL(1.7)
Qbfl(10.69)
2clsQ(106.07)
SQBF(111.92)