Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_euad.7
Best Solver: semprop Time: 6.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QChaffLearn 11.38 - - openQbf 81.96
- - sSolve 25.91 - - WalkQSAT 241.9
semprop(6.18)
QChaffLearn(11.38)
sSolve(25.91)
openQbf(81.96)
WalkQSAT(241.9)