Run evaluation

Small fixes and reduced verbosity for setup #15

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
eval (carbon)	1h 42m 50s
eval (dafny)	52m 43s
eval (fstar)	1h 30m 28s
eval (silicon)	25m 9s
eval (smt-comp)	2h 46m 5s
eval (verus)	14m 57s
	7h 32m 12s