Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: mult_bool_matrix_12_13_11.sat
Best Solver: qesto Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.62 - - xb-qsts_bqsts2.0 21.69
- - rev_qfun0.1 0.62 - - xb-qsts_xbqsts2.0 21.75
- - caqe_2017_v1 0.63 - - xb-qsts_xbqsts1.0 21.86
- - ASPQ2 0.64 - - DynQBF-bloqqer-hqspre-it 21.9
- - ijtihad_v1 0.64 - - dynQBF-bloqqer-hqspre 21.91
- - heretiq 0.65 - - DynQBF-bloqqer-variant 21.92
- - ijtihad_v2 0.65 - - iProver-qbf-bloqqer-2017-07-27-v3 21.92
- - - - - - qbfrelay 23.02
- - - - - - caqe_2017_v2 44.47
- - - - - - caqe_2017_v3 44.75
qesto(0.62)
rareqs(0.62)
rev_qfun0.1(0.62)
caqe_2017_v1(0.63)
ASPQ2(0.64)
ijtihad_v1(0.64)
heretiq(0.65)
ijtihad_v2(0.65)
xb-qsts_bqsts2.0(21.69)
xb-qsts_xbqsts2.0(21.75)
xb-qsts_xbqsts1.0(21.86)
DynQBF-bloqqer-hqspre-it(21.9)
dynQBF-bloqqer-hqspre(21.91)
DynQBF-bloqqer-variant(21.92)
iProver-qbf-bloqqer-2017-07-27-v3(21.92)
qbfrelay(23.02)
caqe_2017_v2(44.47)
caqe_2017_v3(44.75)
CADET_2017(88.39)
qbfrelay-limited-depqbf(100.95)