Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c5_BMC_p1_k32
Best Solver: ijtihad_v1 Time: 1.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - ijtihad_v2 1.81 AIGSolve 10.07 QELL_unit 19.22
- - heretiq 1.83 - - caqe_2017_v2 20.53
- - rareqs 7.06 - - caqe_2017_v3 20.62
- - caqe_2017_v1 8.67 - - QELL_default 21.34
- - - - - - rev_qfun0.1 21.49
- - - - - - Qute_opt500 24.44
- - - - - - Qute_random 24.52
- - - - - - Qute_default 24.6
- - - - - - qbfrelay 39.47
- - - - - - dynQBF-bloqqer-hqspre 45.55
- - - - - - HQSpre_solver 48.93
- - - - - - GhostQ-PG_cegar 104.83
- - - - - - ghostq-cegar 114.52
- - - - - - qbfrelay-limited-depqbf 146.87
ijtihad_v1(1.8)
ijtihad_v2(1.81)
heretiq(1.83)
rareqs(7.06)
caqe_2017_v1(8.67)
AIGSolve(10.07)
QELL_unit(19.22)
caqe_2017_v2(20.53)
caqe_2017_v3(20.62)
QELL_default(21.34)
rev_qfun0.1(21.49)
Qute_opt500(24.44)
Qute_random(24.52)
Qute_default(24.6)
qbfrelay(39.47)
dynQBF-bloqqer-hqspre(45.55)
HQSpre_solver(48.93)
GhostQ-PG_cegar(104.83)
ghostq-cegar(114.52)
qbfrelay-limited-depqbf(146.87)