Sota solver details
Prenex CNF Track

Instance: b17_PR_2_50
Best Solver: nanoqbf_hqspre Time: 5.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_pre_QxQBH 8.87 - - GhostQ___cegar_pcnf_2019 80.71
- - GhostQ___plain_pcnf_2019 17.89 - - iprover_bloqqer_single 321.92
- - Caqe-bloqqer-qdo 23.83 - - depqbf_prefix_opt_qdo 453.69
- - - - - - caqe-pre 453.94
nanoqbf_hqspre(5.61)
depqbf_pre_QxQBH(8.87)
GhostQ___plain_pcnf_2019(17.89)
Caqe-bloqqer-qdo(23.83)
GhostQ___cegar_pcnf_2019(80.71)
iprover_bloqqer_single(321.92)
depqbf_prefix_opt_qdo(453.69)
caqe-pre(453.94)