Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_euad.2
Best Solver: qube4.0 Time: 1.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 1.5 - - semprop 36.67
- - WalkQSAT 1.77 - - ssolve-ut 45.96
- - - - - - qube3.0 49.47
- - - - - - sSolve 52.92
- - - - - - ssolve+ut 58.08
- - - - - - 2clsQ 70.25
- - - - - - openQbf 123.94
qube4.0(1.47)
qube5.0(1.5)
WalkQSAT(1.77)
semprop(36.67)
ssolve-ut(45.96)
qube3.0(49.47)
sSolve(52.92)
ssolve+ut(58.08)
2clsQ(70.25)
openQbf(123.94)
sKizzo-0.9-std(440.52)
sKizzo-0.9-abs(454.55)
sKizzo-0.9-grn(1353.01)