Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_n-12
Best Solver: caqe_2017_v1 Time: 2.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v3 2.58 Qute_default 25.05 Qute_opt500 25.74
- - xb-qsts_xbqsts1.0 4.46 - - Qute_random 25.91
- - xb-qsts_bqsts2.0 4.47 - - qbfrelay-limited-depqbf 78.63
- - iProver-qbf-bloqqer-2017-07-27-v3 4.49 - - ijtihad_v2 87.16
- - xb-qsts_xbqsts2.0 4.7 - - heretiq 98.89
- - qbfrelay 4.78 - - qesto 126.27
- - dynQBF-bloqqer-hqspre 5.5 - - AIGSolve 129.31
- - caqe_2017_v2 8.38 - - - -
- - HQSpre_solver 10.95 - - - -
caqe_2017_v1(2.55)
caqe_2017_v3(2.58)
xb-qsts_xbqsts1.0(4.46)
xb-qsts_bqsts2.0(4.47)
iProver-qbf-bloqqer-2017-07-27-v3(4.49)
xb-qsts_xbqsts2.0(4.7)
qbfrelay(4.78)
dynQBF-bloqqer-hqspre(5.5)
caqe_2017_v2(8.38)
HQSpre_solver(10.95)
Qute_default(25.05)
Qute_opt500(25.74)
Qute_random(25.91)
qbfrelay-limited-depqbf(78.63)
ijtihad_v2(87.16)
heretiq(98.89)
qesto(126.27)
AIGSolve(129.31)
ijtihad_v1(320.95)