Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: query10_query36_1344
Best Solver: caqe_2017_v1 Time: 10.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - QELL_unit 79.56 rareqs 112.6
- - - - rev_qfun0.1 100.26 QELL_default 281.64
- - - - - - caqe_2017_v3 282.79
- - - - - - caqe_2017_v2 287.4
caqe_2017_v1(10.23)
QELL_unit(79.56)
rev_qfun0.1(100.26)
rareqs(112.6)
QELL_default(281.64)
caqe_2017_v3(282.79)
caqe_2017_v2(287.4)