Sota solver details
QBFEVAL'06

Instance: nusmv.syncarb5^2.B-f2
Best Solver: sKizzo-0.9-std Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.9-abs 0.19 qube5.0 1.44 QUANTOR_hc 3.51
- - sKizzo-0.9-grn 0.2 - - QUANTOR 3.62
- - - - - - SQBF 4.12
- - - - - - preQuantor 4.13
- - - - - - 2clsQ 4.15
- - - - - - ssolve-ut 7
- - - - - - sSolve 8.3
- - - - - - ssolve+ut 8.35
- - - - - - Quaffle 8.61
- - - - - - WalkQSAT 15.13
sKizzo-0.9-std(0.18)
sKizzo-0.9-abs(0.19)
sKizzo-0.9-grn(0.2)
qube5.0(1.44)
QUANTOR_hc(3.51)
QUANTOR(3.62)
SQBF(4.12)
preQuantor(4.13)
2clsQ(4.15)
ssolve-ut(7)
sSolve(8.3)
ssolve+ut(8.35)
Quaffle(8.61)
WalkQSAT(15.13)
semprop(34.06)
Qbfl(175.77)