Sota solver details
QBFEVAL'07

Instance: nusmv.reactor^3.C-f3
Best Solver: sKizzo-0.10-qck Time: 69.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.1 121.02 - - - -
- - ncQuBE1.0 124.87 - - - -
sKizzo-0.10-qck(69.35)
ncQuBE1.1(121.02)
ncQuBE1.0(124.87)