Sota solver details
QBFEVAL'05

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: QChaffLearn Time: 52.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GRL 94.66 semprop 278.18 yQuaffle 646.32
- - - - QbflHR 456.34 openQbf 733.11
QChaffLearn(52.6)
GRL(94.66)
semprop(278.18)
QbflHR(456.34)
yQuaffle(646.32)
openQbf(733.11)