Live Provers

Live Provers #875

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
T2 / hol-light	1m 22s
T1 / cvc5	1m 29s
T1 / glpk	1m 27s
T2 / tlaps	1m 49s
T2 / lean4	1m 41s
T2 / dafny	1m 22s
T2 / why3	1m 26s
T1 / chuffed	1m 40s
T2 / fstar	1m 47s
T1 / eprover	1m 24s
T1 / z3	1m 34s
T2 / coq	1m 45s
T1 / minizinc	1m 28s
T1 / alt-ergo	1m 32s
T2 / agda	2m 3s
T1 / vampire	1m 24s
T2 / isabelle	1m 27s
T1 / spass	1m 29s
T2 / idris2	9m 18s
T4 / ${{ matrix.backend }}	-1s
T4 niche provers	-1s
T1 Guix manifest check	-1s
T3 / ${{ matrix.backend }}	-1s
	37m 23s