Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: klieber2017q-116-29-t1
Best Solver: rev_qfun0.1 Time: 0.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - rareqs 5.03 caqe_2017_v3 14.25
- - - - heretiq 8.37 caqe_2017_v2 14.53
- - - - ijtihad_v2 8.43 QELL_unit 18.29
- - - - ijtihad_v1 8.51 caqe_2017_v1 24.01
- - - - - - QELL_default 41.55
rev_qfun0.1(0.97)
rareqs(5.03)
heretiq(8.37)
ijtihad_v2(8.43)
ijtihad_v1(8.51)
caqe_2017_v3(14.25)
caqe_2017_v2(14.53)
QELL_unit(18.29)
caqe_2017_v1(24.01)
QELL_default(41.55)