Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: C432.blif_0.10_0.20_0_0_out_exact
Best Solver: QELL_unit Time: 0.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_default 0.15 caqe_2017_v1 1.03 ijtihad_v2 2.75
- - AIGSolve 0.21 rareqs 1.18 ijtihad_v1 2.9
- - rev_qfun0.1 0.28 - - heretiq 2.92
- - caqe_2017_v2 0.64 - - GhostQ-PG_plain 3.25
- - caqe_2017_v3 0.64 - - GhostQ-PG_cegar 3.28
- - - - - - ghostq-cegar 4.3
- - - - - - prefix-opt-depqbf 11.4
- - - - - - qbfrelay-limited-depqbf 11.55
QELL_unit(0.14)
QELL_default(0.15)
AIGSolve(0.21)
rev_qfun0.1(0.28)
caqe_2017_v2(0.64)
caqe_2017_v3(0.64)
caqe_2017_v1(1.03)
rareqs(1.18)
ijtihad_v2(2.75)
ijtihad_v1(2.9)
heretiq(2.92)
GhostQ-PG_plain(3.25)
GhostQ-PG_cegar(3.28)
ghostq-cegar(4.3)
prefix-opt-depqbf(11.4)
qbfrelay-limited-depqbf(11.55)
dynQBF-bloqqer-hqspre(93.24)
xb-qsts_xbqsts2.0(469.7)
xb-qsts_bqsts2.0(474.73)
xb-qsts_xbqsts1.0(477.62)
HQSpre_solver(633.47)