Sota solver details
QBFEVAL'07

Instance: nusmv.tcas-t^6.B-f2
Best Solver: sKizzo-0.10-std Time: 0.47 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sKizzo-0.10-qck 0.53 - - ncQuBE1.1 10.97
- - - - - - ncQuBE1.0 11.11
- - - - - - qSS 21.15
sKizzo-0.10-std(0.47)
sKizzo-0.10-qck(0.53)
ncQuBE1.1(10.97)
ncQuBE1.0(11.11)
qSS(21.15)
AQME-1NN(165.89)
AQME-RIPPER(165.89)
AQME-C4.5(165.99)