Sota solver details
QBFEVAL'04

Instance: 2qbf-5cnf-100var-600cl.2
Best Solver: semprop Time: 1.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QUBE-BJ 2.12 - - QUBE-LRN 23.81
- - sSolve 3.13 - - - -
semprop(1.22)
QUBE-BJ(2.12)
sSolve(3.13)
QUBE-LRN(23.81)