Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_edau.10
Best Solver: qube4.0 Time: 0.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 0.41 - - qube3.0 5.78
- - semprop 0.8 - - sSolve 8.12
- - ssolve-ut 1.08 - - ssolve+ut 15.36
qube4.0(0.38)
qube5.0(0.41)
semprop(0.8)
ssolve-ut(1.08)
qube3.0(5.78)
sSolve(8.12)
ssolve+ut(15.36)
WalkQSAT(49.11)
2clsQ(163.09)
openQbf(3839.51)