Sota solver details
QBFEVAL'04

Instance: 3qbf-5cnf-50var-400cl.1
Best Solver: semprop Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QUBE-LRN 1 sSolve 1.8
- - - - QUBE-BJ 1.51 CLearn 2.94
- - - - - - GRL 8.09
- - - - - - CSBJ 11.74
- - - - - - WalkQSAT 13.67
semprop(0.16)
QUBE-LRN(1)
QUBE-BJ(1.51)
sSolve(1.8)
CLearn(2.94)
GRL(8.09)
CSBJ(11.74)
WalkQSAT(13.67)