Sota solver details
Prenex non-CNF Track

Instance: SR-sat-03-01-08-2
Best Solver: Quabs_2018 Time: 430.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cqesto_2018 577.96 - - - -
- - quabs___caqe-hqspre 764.61 - - - -
Quabs_2018(430.75)
Cqesto_2018(577.96)
quabs___caqe-hqspre(764.61)