Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
Best Solver: rareqs Time: 1.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rev_qfun0.1 7.03 Qute_default 25.61
- - - - - - xb-qsts_bqsts2.0 30.64
- - - - - - xb-qsts_xbqsts1.0 43.9
- - - - - - xb-qsts_xbqsts2.0 44.59
- - - - - - iProver-qbf-bloqqer-2017-07-27-v3 62.39
rareqs(1.26)
rev_qfun0.1(7.03)
Qute_default(25.61)
xb-qsts_bqsts2.0(30.64)
xb-qsts_xbqsts1.0(43.9)
xb-qsts_xbqsts2.0(44.59)
iProver-qbf-bloqqer-2017-07-27-v3(62.39)