Back to pull request #8502

Cadical with preprocessor and local search #6571

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Analyze (cpp)	47m 6s
Analyze (java)	15m 56s
Analyze (javascript)	14m 56s
Analyze (python)	14m 49s
	1h 32m 47s