Sota solver details
QBFEVAL'07

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-std 6.72 qSS 27.53 AQME-1NN 165.39
- - - - ncQuBE1.1 30.92 AQME-C4.5 165.54
- - - - ncQuBE1.0 31.55 AQME-RIPPER 165.64
sKizzo-0.10-qck(4.94)
sKizzo-0.10-std(6.72)
qSS(27.53)
ncQuBE1.1(30.92)
ncQuBE1.0(31.55)
AQME-1NN(165.39)
AQME-C4.5(165.54)
AQME-RIPPER(165.64)