Skip to content
Snippets Groups Projects

add some strategies

Merged add some strategies
patch-1 into master
Merged Hans-Jörg requested to merge patch-1 into master
Compare
and
1 file
+ 7
− 3
Compare changes
  • Side-by-side
  • Inline
strategies_under_test
+ 7
− 3
--ccfv-breadth
--ccfv-breadth --index-fresh-sorts --inst-deletion --index-SAT-triggers
--ccfv-breadth --index-fresh-sorts --inst-deletion --index-SAT-triggers --inst-sorts-threshold=100000 --ematch-exp=10000000 --ccfv-index=100000 --ccfv-index-full=1000
@@ -40,6 +39,11 @@
--triggers-new --triggers-sel-rm-specific --triggers-restrict-combine --inst-deletion --index-SAT-triggers --inst-deletion-loops --inst-deletion-track-vars --inst-deletion --index-SAT-triggers --inst-sorts-threshold=100000 --ematch-exp=10000000 --ccfv-index=100000 --ccfv-index-full=1000
--triggers-new --triggers-sel-rm-specific --triggers-restrict-combine --inst-deletion --index-SAT-triggers --inst-sorts-threshold=100000 --ematch-exp=10000000 --ccfv-index=100000 --ccfv-index-full=1000
--triggers-new --triggers-sel-rm-specific --triggers-restrict-combine --inst-sorts-threshold=100000 --ematch-exp=10000000 --ccfv-index=100000 --ccfv-index-full=1000
--triggers-new --triggers-sel-rm-specific --triggers-restrict-combine --mdli --limit-sk-qform=9 --limit-qform=100 --inst-sorts-threshold=100
--mdli --limit-sk-qform=9 --limit-qform=100 --inst-sorts-threshold=100
--ccfv-breadth --mdli --limit-sk-qform=9 --limit-qform=100 --inst-sorts-threshold=100
--index-SIG --mdli --limit-sk-qform=9 --limit-qform=100 --inst-sorts-threshold=100
--triggers-new --triggers-sel-rm-specific --triggers-multi-off --mdli --limit-sk-qform=9 --limit-qform=100 --inst-sorts-threshold=100
--mdli --limit-sk-qform=9 --limit-qform=1000 --inst-sorts-threshold=100
--mdli --limit-sk-qform=9 --limit-qform=1000 --inst-sorts-threshold=1000
--mdli --limit-sk-qform=15 --limit-qform=1000 --inst-sorts-threshold=10000
--triggers-new --triggers-sel-rm-specific --triggers-restrict-combine --mdli --limit-sk-qform=9 --limit-qform=500 --inst-sorts-threshold=100
--triggers-new --mdli --limit-sk-qform=9 --limit-qform=500 --inst-sorts-threshold=10000
\ No newline at end of file