Sota solver details
QBFEVAL'06

Instance: 1qbf-5cnf-80var-2560cl.1
Best Solver: ssolve-ut Time: 40.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - sSolve 40.3 QUANTOR_hc 305.88 - -
- - ssolve+ut 57.77 QUANTOR 316.96 - -
- - sKizzo-0.9-abs 62.7 - - - -
- - sKizzo-0.9-grn 65.83 - - - -
- - sKizzo-0.9-std 69.16 - - - -
- - openQbf 192.56 - - - -
ssolve-ut(40.18)
sSolve(40.3)
ssolve+ut(57.77)
sKizzo-0.9-abs(62.7)
sKizzo-0.9-grn(65.83)
sKizzo-0.9-std(69.16)
openQbf(192.56)
QUANTOR_hc(305.88)
QUANTOR(316.96)
2clsQ(4395.48)