SMT2: bvnor, bvnand are binary only; add bvxnor #6582

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	30m 31s
Analyze (java)	14m 57s
Analyze (javascript)	15m 20s
Analyze (python)	15m 6s
	1h 15m 54s