Sota solver details
QBFEVAL'06

Instance: biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004
Best Solver: qube4.0 Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qube3.0 0.42 semprop 1.69 - -
- - WalkQSAT 0.44 - - - -
- - qube5.0 0.45 - - - -
- - GRL 0.66 - - - -
qube4.0(0.3)
qube3.0(0.42)
WalkQSAT(0.44)
qube5.0(0.45)
GRL(0.66)
semprop(1.69)