Sota solver details
QBFEVAL'06

Instance: ncf_4_8_8_u.7
Best Solver: ssolve-ut Time: 1.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube5.0 3.29 sSolve 8.56 openQbf 63.49
- - qube4.0 3.33 ssolve+ut 9.59 2clsQ 116.48
- - - - - - semprop 127.38
ssolve-ut(1.43)
qube5.0(3.29)
qube4.0(3.33)
sSolve(8.56)
ssolve+ut(9.59)
openQbf(63.49)
2clsQ(116.48)
semprop(127.38)
qube3.0(243.18)
WalkQSAT(306.19)