Sota solver details
QBFEVAL'07

Instance: biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-006
Best Solver: ncQuBE1.1 Time: 1.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ncQuBE1.0 1.51 AQME-1NN 7.53 qZilla 18.38
- - - - AQME-C4.5 7.63 - -
- - - - AQME-RIPPER 7.71 - -
- - - - qSS 11.34 - -
ncQuBE1.1(1.42)
ncQuBE1.0(1.51)
AQME-1NN(7.53)
AQME-C4.5(7.63)
AQME-RIPPER(7.71)
qSS(11.34)
qZilla(18.38)