Sota solver details
QBFEVAL'16 - Prenex CNF Track.

Instance: ev-pr-6x6-15-5-0-1-2-lg
Best Solver: hiqqer1 Time: 148.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - hiqqer3 260.15 - - - -
hiqqer1(148.75)
hiqqer3(260.15)