Sota solver details
QBFEVAL'05

Instance: ncf_4_8_8_edau.2
Best Solver: sSolve Time: 5.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - skizzo_v0.5 37.19 skizzo_v0.4 117.32
- - - - - - semprop 159.78
- - - - - - openQbf 366.81
sSolve(5.21)
skizzo_v0.5(37.19)
skizzo_v0.4(117.32)
semprop(159.78)
openQbf(366.81)