Sota solver details
QBFEVAL'07

Instance: c2_BMC_p2_k2048
Best Solver: sKizzo-0.10-std Time: 45.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qSS 48.86 - - - -
- - qZilla 62.47 - - - -
- - Adaptive2clsQ 62.64 - - - -
sKizzo-0.10-std(45.99)
qSS(48.86)
qZilla(62.47)
Adaptive2clsQ(62.64)