Sota solver details
QBFEVAL'05

Instance: ncf_4_16_2_d.3
Best Solver: semprop Time: 1.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - sSolve 8.98 QbflHR 106.28
- - - - QChaffLearn 12.08 - -
semprop(1.54)
sSolve(8.98)
QChaffLearn(12.08)
QbflHR(106.28)
openQbf(184.23)
skizzo_v0.5(573.22)