Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: genbuf9b4n.unsat
Best Solver: Rareqs_2018 Time: 32.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 36.89 - - GhostQ-PG_cegar 356.11
- - Caqe-bloqqer-qdo 67.31 - - - -
- - Caqe-hqspre 90.76 - - - -
- - Qute_random 133.71 - - - -
- - Qute_opt500 134.51 - - - -
Rareqs_2018(32.61)
Caqe-bloqqer(36.89)
Caqe-bloqqer-qdo(67.31)
Caqe-hqspre(90.76)
Qute_random(133.71)
Qute_opt500(134.51)
GhostQ-PG_cegar(356.11)