Sota solver details
QBFEVAL'06

Instance: ncf_16_32_8_d.8
Best Solver: WalkQSAT Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - sKizzo-0.9-grn 1.07
- - - - - - sKizzo-0.9-abs 1.1
- - - - - - sKizzo-0.9-std 1.18
- - - - - - openQbf 3.53
- - - - - - qube4.0 3.61
- - - - - - qube5.0 3.71
WalkQSAT(0.1)
sKizzo-0.9-grn(1.07)
sKizzo-0.9-abs(1.1)
sKizzo-0.9-std(1.18)
openQbf(3.53)
qube4.0(3.61)
qube5.0(3.71)
yQuaffle(16.81)