Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_BMC_p2_k1024
Best Solver: AIGSolve Time: 8.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 13.68 prefix-opt-depqbf 67.53 qbfrelay 298.12
- - rev_qfun0.1 13.68 caqe_2017_v2 69.77 HQSpre_solver 378.8
- - qesto 13.72 caqe_2017_v3 72.26 - -
- - ijtihad_v1 14.1 qbfrelay-limited-depqbf 73.93 - -
- - ijtihad_v2 14.16 Qute_default 74.2 - -
- - caqe_2017_v1 14.19 Qute_random 75.08 - -
- - heretiq 14.23 Qute_opt500 75.14 - -
AIGSolve(8.73)
rareqs(13.68)
rev_qfun0.1(13.68)
qesto(13.72)
ijtihad_v1(14.1)
ijtihad_v2(14.16)
caqe_2017_v1(14.19)
heretiq(14.23)
prefix-opt-depqbf(67.53)
caqe_2017_v2(69.77)
caqe_2017_v3(72.26)
qbfrelay-limited-depqbf(73.93)
Qute_default(74.2)
Qute_random(75.08)
Qute_opt500(75.14)
qbfrelay(298.12)
HQSpre_solver(378.8)