Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: genbuf10b4n.unsat
Best Solver: Caqe-bloqqer Time: 36.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 68.58 Qute_default 209.54 GhostQ-PG_cegar 422.18
- - - - Qute_random 210.6 ijtihad 630.49
- - - - Qute_opt500 218.97 - -
- - - - Caqe-bloqqer-qdo 243.61 - -
- - - - Caqe-hqspre 305.95 - -
Caqe-bloqqer(36.97)
Rareqs_2018(68.58)
Qute_default(209.54)
Qute_random(210.6)
Qute_opt500(218.97)
Caqe-bloqqer-qdo(243.61)
Caqe-hqspre(305.95)
GhostQ-PG_cegar(422.18)
ijtihad(630.49)