Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
Best Solver: caqe_2017_v2 Time: 1.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 1.29 rev_qfun0.1 8.59 dynQBF-bloqqer-hqspre 49.79
- - Qute_default 1.3 - - xb-qsts_bqsts2.0 52.22
- - Qute_opt500 1.32 - - qbfrelay 53.23
- - rareqs 1.4 - - iProver-qbf-bloqqer-2017-07-27-v3 61.96
- - ijtihad_v1 1.44 - - xb-qsts_xbqsts1.0 67.47
- - ijtihad_v2 1.44 - - xb-qsts_xbqsts2.0 67.95
- - heretiq 1.46 - - - -
- - HQSpre_solver 2.37 - - - -
- - caqe_2017_v1 4.56 - - - -
- - caqe_2017_v3 4.64 - - - -
- - prefix-opt-depqbf 4.92 - - - -
- - qbfrelay-limited-depqbf 5.19 - - - -
caqe_2017_v2(1.25)
Qute_random(1.29)
Qute_default(1.3)
Qute_opt500(1.32)
rareqs(1.4)
ijtihad_v1(1.44)
ijtihad_v2(1.44)
heretiq(1.46)
HQSpre_solver(2.37)
caqe_2017_v1(4.56)
caqe_2017_v3(4.64)
prefix-opt-depqbf(4.92)
qbfrelay-limited-depqbf(5.19)
rev_qfun0.1(8.59)
dynQBF-bloqqer-hqspre(49.79)
xb-qsts_bqsts2.0(52.22)
qbfrelay(53.23)
iProver-qbf-bloqqer-2017-07-27-v3(61.96)
xb-qsts_xbqsts1.0(67.47)
xb-qsts_xbqsts2.0(67.95)
iProver-qbf-2017-07-27-v3(278.03)