Sota solver details
QBFEVAL'07

Instance: nusmv.reactor^1.C-d3
Best Solver: sKizzo-0.10-std Time: 3.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 3.18 qSS 23.84 AQME-1NN 163.69
- - ncQuBE1.1 6.05 - - AQME-C4.5 163.81
- - ncQuBE1.0 6.08 - - AQME-RIPPER 163.87
sKizzo-0.10-std(3.08)
sKizzo-0.10-qck(3.18)
ncQuBE1.1(6.05)
ncQuBE1.0(6.08)
qSS(23.84)
AQME-1NN(163.69)
AQME-C4.5(163.81)
AQME-RIPPER(163.87)