Sota solver details
QBFEVAL'04

Instance: 5qbf-5cnf-100var-1400cl.1
Best Solver: sSolve Time: 0.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-LRN 2.48 - - semprop 11.13
sSolve(0.54)
QUBE-LRN(2.48)
semprop(11.13)
QUBE-BJ(133.76)