Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: ring_r7_ser---19_
Best Solver: QELL_default Time: 6.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QELL_unit 12.05 rareqs 61.39 heretiq 67.35
- - - - ijtihad_v2 66.16 rev_qfun0.1 162.54
- - - - ijtihad_v1 67 caqe_2017_v1 172.61
QELL_default(6.71)
QELL_unit(12.05)
rareqs(61.39)
ijtihad_v2(66.16)
ijtihad_v1(67)
heretiq(67.35)
rev_qfun0.1(162.54)
caqe_2017_v1(172.61)