Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
Best Solver: rareqs Time: 1.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 1.96 rev_qfun0.1 8.71 Qute_random 18.43
- - caqe_2017_v3 2.02 - - Qute_opt500 18.59
- - - - - - Qute_default 19.41
- - - - - - heretiq 31.96
- - - - - - xb-qsts_bqsts2.0 40.78
- - - - - - dynQBF-bloqqer-hqspre 42.88
- - - - - - qbfrelay 49.65
- - - - - - xb-qsts_xbqsts1.0 57.35
- - - - - - xb-qsts_xbqsts2.0 57.78
rareqs(1.53)
caqe_2017_v1(1.96)
caqe_2017_v3(2.02)
rev_qfun0.1(8.71)
Qute_random(18.43)
Qute_opt500(18.59)
Qute_default(19.41)
heretiq(31.96)
xb-qsts_bqsts2.0(40.78)
dynQBF-bloqqer-hqspre(42.88)
qbfrelay(49.65)
xb-qsts_xbqsts1.0(57.35)
xb-qsts_xbqsts2.0(57.78)
qbfrelay-limited-depqbf(163.1)
prefix-opt-depqbf(268.72)