Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_d.10
Best Solver: semprop Time: 11.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QbflHR 505.66
- - - - - - WalkQSAT 744.79
semprop(11.77)
QbflHR(505.66)
WalkQSAT(744.79)