Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
Best Solver: rareqs Time: 1.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v2 3.45 rev_qfun0.1 9.4 Qute_default 40.96
- - - - - - xb-qsts_bqsts2.0 50.17
- - - - - - xb-qsts_xbqsts2.0 70.38
- - - - - - xb-qsts_xbqsts1.0 71.05
- - - - - - qbfrelay-limited-depqbf 117.75
rareqs(1.62)
caqe_2017_v2(3.45)
rev_qfun0.1(9.4)
Qute_default(40.96)
xb-qsts_bqsts2.0(50.17)
xb-qsts_xbqsts2.0(70.38)
xb-qsts_xbqsts1.0(71.05)
qbfrelay-limited-depqbf(117.75)