Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: c1_BMC_p2_k2048
Best Solver: AIGSolve Time: 19.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rev_qfun0.1 25.48 caqe_2017_v2 102.86 qbfrelay 363.94
- - rareqs 25.53 caqe_2017_v3 107.18 HQSpre_solver 770.18
- - qesto 25.64 Qute_random 108.26 - -
- - ijtihad_v1 26.44 Qute_default 108.51 - -
- - caqe_2017_v1 26.46 Qute_opt500 108.72 - -
- - heretiq 26.48 - - - -
- - ijtihad_v2 26.52 - - - -
- - prefix-opt-depqbf 62.94 - - - -
- - qbfrelay-limited-depqbf 74.23 - - - -
AIGSolve(19.23)
rev_qfun0.1(25.48)
rareqs(25.53)
qesto(25.64)
ijtihad_v1(26.44)
caqe_2017_v1(26.46)
heretiq(26.48)
ijtihad_v2(26.52)
prefix-opt-depqbf(62.94)
qbfrelay-limited-depqbf(74.23)
caqe_2017_v2(102.86)
caqe_2017_v3(107.18)
Qute_random(108.26)
Qute_default(108.51)
Qute_opt500(108.72)
qbfrelay(363.94)
HQSpre_solver(770.18)