Sota solver details
QBFEVAL'04

Instance: 4qbf-5cnf-50var-500cl.1
Best Solver: semprop Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
sSolve 0 - - - - - -
semprop(0)
sSolve(0)
QUBE-LRN(1.01)
QUBE-BJ(2.69)
openQbf(26.38)
WalkQSAT(81.21)