x1 | x5 | x10 | x100 | ||||
---|---|---|---|---|---|---|---|
Solver | Time | Solver | Time | Solver | Time | Solver | Time |
- | - | caqe-pre | 4.66 | depqbf_prefix_opt_qdo | 17.2 | depqbf_pre_QxQBH | 25.44 |
- | - | Caqe-hqspre | 4.69 | nanoqbf_bloqqer | 17.26 | - | - |
- | - | Qute_default | 5.88 | iprover_bloqqer_schedule | 17.28 | - | - |
- | - | Qute_opt500 | 5.94 | Caqe-bloqqer-qdo | 17.69 | - | - |
- | - | Qute_rrs | 5.99 | iprover_bloqqer_single | 17.7 | - | - |
- | - | nanoqbf_hqspre | 6.78 | - | - | - | - |
Rareqs_2018(2.28) | |
caqe-pre(4.66) | |
Caqe-hqspre(4.69) | |
Qute_default(5.88) | |
Qute_opt500(5.94) | |
Qute_rrs(5.99) | |
nanoqbf_hqspre(6.78) | |
depqbf_prefix_opt_qdo(17.2) | |
nanoqbf_bloqqer(17.26) | |
iprover_bloqqer_schedule(17.28) | |
Caqe-bloqqer-qdo(17.69) | |
iprover_bloqqer_single(17.7) | |
depqbf_pre_QxQBH(25.44) |