mirror of
https://github.com/Z3Prover/z3
synced 2025-09-07 10:11:25 +00:00
Add new configurations for SMT parallel settings
This commit is contained in:
parent
0901711629
commit
b9256ba336
1 changed files with 7 additions and 0 deletions
|
@ -302,6 +302,13 @@ threads-4-cube
|
|||
threads-4-cube-shareconflicts
|
||||
-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.never_cube=false smt_parallel.frugal_cube_only=false smt_parallel.share_conflicts=true smt_parallel.share_units=false
|
||||
|
||||
|
||||
threads-4-cube-maxdepth-10
|
||||
-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=false smt_parallel.share_units=false smt_parallel.max_cube_depth=10
|
||||
|
||||
threads-4-cube-shareconflicts
|
||||
-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=true smt_parallel.share_units=false smt_parallel.frugal_depth_splitting_only=true
|
||||
|
||||
</pre>
|
||||
|
||||
Ideas for other knobs that can be tested
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue