Sota solver details
QBFEVAL'07

Instance: test3_quant2
Best Solver: ncQuBE1.1 Time: 16.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 37.32 - - sKizzo-0.10-std 289.53
- - - - - - qZilla 592.1
ncQuBE1.1(16.31)
ncQuBE1.0(37.32)
sKizzo-0.10-std(289.53)
qZilla(592.1)