Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: driver_a9n.sat
Best Solver: rev_qfun0.1 Time: 0.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 0.18 - - xb-qsts_xbqsts2.0 2.31
- - heretiq 0.19 - - xb-qsts_bqsts2.0 2.32
- - ijtihad_v1 0.19 - - xb-qsts_xbqsts1.0 2.32
- - ijtihad_v2 0.19 - - iProver-qbf-bloqqer-2017-07-27-v3 2.33
- - qesto 0.19 - - dynQBF-bloqqer-hqspre 2.47
- - rareqs 0.19 - - qbfrelay 2.6
- - - - - - HQSpre_solver 3.06
- - - - - - Qute_default 3.61
- - - - - - Qute_random 3.74
- - - - - - Qute_opt500 3.75
caqe_2017_v1(0.18)
rev_qfun0.1(0.18)
heretiq(0.19)
ijtihad_v1(0.19)
ijtihad_v2(0.19)
qesto(0.19)
rareqs(0.19)
xb-qsts_xbqsts2.0(2.31)
xb-qsts_bqsts2.0(2.32)
xb-qsts_xbqsts1.0(2.32)
iProver-qbf-bloqqer-2017-07-27-v3(2.33)
dynQBF-bloqqer-hqspre(2.47)
qbfrelay(2.6)
HQSpre_solver(3.06)
Qute_default(3.61)
Qute_random(3.74)
Qute_opt500(3.75)
AIGSolve(28.03)
qbfrelay-limited-depqbf(78.42)