Sota solver details
QBFEVAL'05

Instance: ev-pr-6x6-7-5-0-1-2-lg
Best Solver: skizzo_v0.5 Time: 2.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - skizzo_v0.4 2.14 - - QbflHR 23.06
- - GRL 3.06 - - semprop 35.77
- - QChaffLearn 4.66 - - openQbf 67.1
- - yQuaffle 8.44 - - sSolve 129.3
skizzo_v0.5(2.08)
skizzo_v0.4(2.14)
GRL(3.06)
QChaffLearn(4.66)
yQuaffle(8.44)
QbflHR(23.06)
semprop(35.77)
openQbf(67.1)
sSolve(129.3)