Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_euad.10
Best Solver: QbflHR Time: 3.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 4.82 semprop 21.42 WalkQSAT 101.01
- - - - - - openQbf 196.71
QbflHR(3.81)
sSolve(4.82)
semprop(21.42)
WalkQSAT(101.01)
openQbf(196.71)