Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c3_BMC_p1_k256
Best Solver: ijtihad_v1 Time: 4.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - heretiq 4.73 rev_qfun0.1 29.78 QELL_default 50.86
- - ijtihad_v2 4.74 - - QELL_unit 55.49
- - rareqs 5.85 - - HQSpre_solver 64.17
- - caqe_2017_v1 7.94 - - dynQBF-bloqqer-hqspre 76.63
- - AIGSolve 19.3 - - caqe_2017_v3 88.65
- - - - - - caqe_2017_v2 89.05
- - - - - - Qute_opt500 206.27
- - - - - - Qute_random 209.08
- - - - - - Qute_default 210.12
ijtihad_v1(4.71)
heretiq(4.73)
ijtihad_v2(4.74)
rareqs(5.85)
caqe_2017_v1(7.94)
AIGSolve(19.3)
rev_qfun0.1(29.78)
QELL_default(50.86)
QELL_unit(55.49)
HQSpre_solver(64.17)
dynQBF-bloqqer-hqspre(76.63)
caqe_2017_v3(88.65)
caqe_2017_v2(89.05)
Qute_opt500(206.27)
Qute_random(209.08)
Qute_default(210.12)
xb-qsts_bqsts2.0(482.61)
xb-qsts_xbqsts2.0(530.26)
xb-qsts_xbqsts1.0(536.86)
iProver-qbf-bloqqer-2017-07-27-v3(589.9)
GhostQ-PG_cegar(720.57)