Sota solver details
Prenex non-CNF Track

Instance: DW-unsat-11-26-1
Best Solver: Cqesto_2018 Time: 448.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Quabs_2018 576.97 - - - -
- - quabs___caqe-hqspre 875.95 - - - -
Cqesto_2018(448.03)
Quabs_2018(576.97)
quabs___caqe-hqspre(875.95)