Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: input_mouser_detect.c
Best Solver: Caqe-hqspre Time: 8.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 8.17 GhostQ___plain_pcnf_2019 56.75 Qute_default 172.95
- - - - GhostQ___cegar_pcnf_2019 57.43 - -
Caqe-hqspre(8.16)
caqe-pre(8.17)
GhostQ___plain_pcnf_2019(56.75)
GhostQ___cegar_pcnf_2019(57.43)
Qute_default(172.95)