Sota solver details
QBFEVAL'05

Instance: ncf_4_32_2_d.2
Best Solver: skizzo_v0.5 Time: 7.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUANTOR 14.22 - - QChaffLearn 359.96
- - semprop 20.27 - - - -
- - WalkQSAT 24.82 - - - -
skizzo_v0.5(7.81)
QUANTOR(14.22)
semprop(20.27)
WalkQSAT(24.82)
QChaffLearn(359.96)
sSolve(872.4)