Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_u.7
Best Solver: sSolve Time: 1.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - WalkQSAT 40
- - - - - - QChaffLearn 53.41
- - - - - - openQbf 64.57
- - - - - - semprop 127.04
sSolve(1.34)
WalkQSAT(40)
QChaffLearn(53.41)
openQbf(64.57)
semprop(127.04)