« Up

Released 2064 packages

Linux, x86_64, OCaml 4.13.1, Opam 2.0.10

The summary column gives the worst case for each row. Colors:

• Success
• Not compatible
• Error with dependencies
• Error

		8.13.0	8.13.1	8.13.2	8.14.0	8.14.1	8.15.0	8.15.1	8.15.2	8.16.0	8.16.1	summary
Name	Version	1750 308	2159 432 8	2176 434 8	1814 238	1812 244 3	1847 205 1 1	1838 200 1	1879 361 5 8	2113 504 5 16	2114 483 15	1768 799 11 33
aac-tactics	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.5.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.13.2	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.14.1	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	8.15.1	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0		NC	NC						NC	NC	NC
abp	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
actuary	2.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.2	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	3 m 0 s	NC	NC	Success
	2.3		1 m 0 s	1 m 0 s					3 m 0 s	NC	NC	Success
	2.4		1 m 0 s	1 m 0 s					1 m 0 s	NC	NC	Success
	2.5		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	1 m 0 s	Success
	2.6		NC	NC						NC	NC	NC
addition-chains	0.4	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.5	3 m 0 s	4 m 0 s	2 m 0 s	4 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	0.6	4 m 0 s	3 m 0 s	1 m 0 s	4 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	8 m 0 s	NC	NC	Success
	0.9		2 m 0 s	1 m 0 s		2 m 0 s			2 m 0 s	1 m 0 s	1 m 0 s	Success
additions	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ails	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
alea	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	12 m 0 s	13 m 0 s	4 m 0 s	12 m 0 s	12 m 0 s	NC	NC	NC	NC	NC	Success
algebra	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
algorand	1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4		NC	NC					6 m 0 s	2 m 0 s	1 m 0 s	Success
almost-full	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.14.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	8.18.0									1 m 0 s		Success
amm11262	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
angles	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
antivalence	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
approx-models	1.0	NC	3 m 0 s	1 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	5 m 0 s	2 m 0 s	2 m 0 s	Success
area-method	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
async-test	0.1.0		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
atbr	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0		9 m 0 s	2 m 0 s						NC	NC	Success
	8.14.0		NC	NC						NC	NC	NC
	8.15.0		NC	NC						NC	NC	NC
	8.16.0		NC	NC						2 m 0 s	3 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0		NC	NC						NC	NC	NC
automata	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
autosubst	1.7	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	1.8		NC	NC						1 m 0 s	1 m 0 s	Success
autosubst-ocaml	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
axiomatic-abp	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
bbv	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
	1.4		NC	NC						1 m 0 s	1 m 0 s	Success
bdds	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
bedrock2	0.0.1	NC	NC	NC	NC	NC	15 m 0 s	16 m 0 s	15 m 0 s	8 m 0 s	4 m 0 s	Success
	0.0.2		NC	NC					58 m 0 s	14 m 0 s	16 m 0 s	Success
	0.0.3		NC	NC					1 h 1 m	12 m 0 s	8 m 0 s	Success
	0.0.4		NC	NC					26 m 0 s	13 m 0 s	8 m 0 s	Success
	0.0.5		NC	NC						12 m 0 s	13 m 0 s	Success
	0.0.6		NC	NC						14 m 0 s	19 m 0 s	Success
bedrock2-compiler	0.0.2		NC	NC					1 h 4 m	16 m 0 s	10 m 0 s	Success
	0.0.3		NC	NC					1 h 2 m	11 m 0 s	10 m 0 s	Success
	0.0.4		NC	NC					33 m 0 s	13 m 0 s	10 m 0 s	Success
	0.0.5		NC	NC						15 m 0 s	8 m 0 s	Success
	0.0.6		NC	NC						11 m 0 s	12 m 0 s	Success
belgames	1.0.0		NC	NC					3 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.1.1		NC	NC						1 m 0 s	1 m 0 s	Success
	2.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
bellantonicook	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
bertrand	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	2 m 0 s	1 m 0 s	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	Success
bignums	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	3 m 0 s	4 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0	NC	NC	NC	NC	NC	3 m 0 s	3 m 0 s	3 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	9.0.0+coq8.13		3 m 0 s	1 m 0 s						NC	NC	Success
	9.0.0+coq8.14		NC	NC						NC	NC	NC
	9.0.0+coq8.15		NC	NC						NC	NC	NC
	9.0.0+coq8.16		NC	NC						2 m 0 s	1 m 0 s	Success
	9.0.0+coq8.17		NC	NC						NC	NC	NC
	9.0.0+coq8.18		NC	NC						NC	NC	NC
bits	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	3 m 0 s	1 m 0 s	1 m 0 s	Success
bonsai	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
buchberger	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	8.14.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	2 m 0 s	1 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0									NC		NC
bytestring	0.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
canon-bdds	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
cantor	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
category-theory	1.0.0		NC	NC					3 h 4 m	29 m 0 s	19 m 0 s	Success
cats-in-zfc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ccs	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
cds4ltl	1.0.0		NC	NC					4 m 0 s	1 m 0 s	1 m 0 s	Success
cecoa	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ceramist	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ceres	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.4.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.4.1		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
certicoq	0.9~beta+8.14		NC	NC					NC	NC	NC	NC
cfgv	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
cfml	20180525	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20181201	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20220112	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
cfml-basis	20211215	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	3 m 0 s	6 m 0 s	1 m 0 s	1 m 0 s	Success
	20220102	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
	20220112	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
cfml-stdlib	20211215	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20220102	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
	20220112	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
chapar	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	13 m 0 s	13 m 0 s	5 m 0 s	11 m 0 s	12 m 0 s	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	11 m 0 s	12 m 0 s	12 m 0 s	11 m 0 s	12 m 0 s	NC	NC	Success
	8.15.0		NC	NC					11 m 0 s	8 m 0 s	5 m 0 s	Success
	8.16.0		NC	NC						8 m 0 s	6 m 0 s	Success
	8.17.0									8 m 0 s		Success
charge-core	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
checker	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
chick-blog	1.0.0	BL	BL	BL	BL	BL	BL	NC	BL	BL	BL	BL
	1.0.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
chinese	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
circuits	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
classical-realizability	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coalgebras	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coinduction	1.0	3 m 0 s	3 m 0 s	1 m 0 s	3 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	Success
	1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.3	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.4	NC	NC	NC	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.5	NC	NC	NC	NC	NC	3 m 0 s	3 m 0 s	3 m 0 s	NC	NC	Success
	1.6		NC	NC					NC	2 m 0 s	3 m 0 s	Success
	1.7		NC	NC						1 m 0 s	1 m 0 s	Success
	1.8		NC	NC						NC	1 m 0 s	Success
coinduction-examples	1.5	NC	NC	NC	NC	NC	5 m 0 s	5 m 0 s	10 m 0 s	2 m 0 s	1 m 0 s	Success
	1.6		NC	NC						2 m 0 s	2 m 0 s	Success
	1.7		NC	NC						1 m 0 s	1 m 0 s	Success
coinductive-examples	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coinductive-reals	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
color	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.1	17 m 0 s	19 m 0 s	4 m 0 s	19 m 0 s	17 m 0 s	NC	NC	NC	NC	NC	Success
	1.8.2	22 m 0 s	21 m 0 s	4 m 0 s	21 m 0 s	21 m 0 s	21 m 0 s	19 m 0 s	35 m 0 s	NC	NC	Success
	1.8.3		NC	NC					33 m 0 s	5 m 0 s	5 m 0 s	Success
	1.8.4		NC	NC						6 m 0 s	6 m 0 s	Success
commutative-diagrams	0.1		NC	NC					1 m 0 s	NC	NC	Success
comp-dec-modal	1.0	11 m 0 s	12 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1	12 m 0 s	13 m 0 s	2 m 0 s	10 m 0 s	11 m 0 s	11 m 0 s	11 m 0 s	18 m 0 s	NC	NC	Success
compcert	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.7.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.5+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.6+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7~coq-platform	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7~coq-platform~open-source	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7+8.12~coq_platform~open_source	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7+8.12~coq_platform	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.8	24 m 0 s	28 m 0 s	5 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.9	25 m 0 s	24 m 0 s	5 m 0 s	24 m 0 s	23 m 0 s	NC	NC	NC	NC	NC	Success
	3.10	25 m 0 s	26 m 0 s	5 m 0 s	24 m 0 s	26 m 0 s	23 m 0 s	22 m 0 s	22 m 0 s	NC	NC	Success
	3.11		27 m 0 s	5 m 0 s					36 m 0 s	9 m 0 s	7 m 0 s	Success
	3.12		27 m 0 s	5 m 0 s						8 m 0 s	4 m 0 s	Success
	3.13		26 m 0 s	5 m 0 s						7 m 0 s	6 m 0 s	Success
	3.13.1		26 m 0 s	5 m 0 s						8 m 0 s	10 m 0 s	Success
compcert-32	3.8	26 m 0 s	26 m 0 s	7 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.9	25 m 0 s	27 m 0 s	8 m 0 s	26 m 0 s	31 m 0 s	NC	NC	NC	NC	NC	Success
	3.10	26 m 0 s	26 m 0 s	5 m 0 s	26 m 0 s	29 m 0 s	23 m 0 s	23 m 0 s	25 m 0 s	NC	NC	Success
	3.11		26 m 0 s	5 m 0 s					34 m 0 s	11 m 0 s	4 m 0 s	Success
	3.12		28 m 0 s	7 m 0 s						6 m 0 s	6 m 0 s	Success
	3.13		24 m 0 s	5 m 0 s						7 m 0 s	4 m 0 s	Success
	3.13.1		27 m 0 s	5 m 0 s						8 m 0 s	6 m 0 s	Success
compcert-64	3.7~coq-platform	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7~coq-platform~open-source	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7+8.12~coq_platform~open_source	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.7+8.12~coq_platform	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
concat	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
concurrency-pluto	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
concurrency-proxy	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
concurrency-system	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
constructive-geometry	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
constructors	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
containers	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
continuations	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coq-in-coq	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coq2html	1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.3	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
coqeal	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.5	6 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0.6	6 m 0 s	6 m 0 s	2 m 0 s	7 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	1.1.0	7 m 0 s	8 m 0 s	3 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	11 m 0 s	NC	NC	Success
	1.1.1		8 m 0 s	3 m 0 s					11 m 0 s	2 m 0 s	3 m 0 s	Success
	1.1.2		NC	NC						2 m 0 s	2 m 0 s	Success
	1.1.3		NC	NC						4 m 0 s	3 m 0 s	Success
	2.0.0		NC	NC						Error	4 m 0 s	Error
	2.0.1									6 m 0 s		Success
coqeal-refinements	0.9.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coqeal-theory	0.9.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coqffi	1.0.0~beta1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0~beta8		1 m 0 s	1 m 0 s						NC	NC	Success
coqoban	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
coqprime	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.6	4 m 0 s	4 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1.0	NC	NC	NC	13 m 0 s	12 m 0 s	13 m 0 s	13 m 0 s	38 m 0 s	Error	Error	Error
	1.1.1	4 m 0 s	4 m 0 s	1 m 0 s	13 m 0 s	13 m 0 s	13 m 0 s	12 m 0 s	34 m 0 s	Error	Error	Error
	1.2.0	4 m 0 s	4 m 0 s	2 m 0 s	4 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	12 m 0 s	3 m 0 s	2 m 0 s	Success
	1.3.0		NC	NC						3 m 0 s	3 m 0 s	Success
	1.4.0		NC	NC						2 m 0 s	NC	Success
coqprime-generator	1.1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	Success
coqrel	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
coqtail	8.11.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.14	6 m 0 s	7 m 0 s	2 m 0 s	7 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	11 m 0 s	NC	NC	Success
	8.18		7 m 0 s	2 m 0 s						Deps	2 m 0 s	Error
coquelicot	2.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.3+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.0	3 m 0 s	3 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.2.0	3 m 0 s	3 m 0 s	2 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	Error	2 m 0 s	1 m 0 s	Error
	3.3.0		3 m 0 s	1 m 0 s					7 m 0 s	2 m 0 s	2 m 0 s	Success
	3.3.1		3 m 0 s	2 m 0 s						2 m 0 s	1 m 0 s	Success
	3.4.0		4 m 0 s	2 m 0 s						2 m 0 s	1 m 0 s	Success
	3.4.1									2 m 0 s		Success
coqutil	0.0.1	1 m 0 s	2 m 0 s	1 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	6 m 0 s	1 m 0 s	1 m 0 s	Success
	0.0.2		1 m 0 s	1 m 0 s					4 m 0 s	2 m 0 s	2 m 0 s	Success
	0.0.3		NC	NC						1 m 0 s	2 m 0 s	Success
	0.0.4		NC	NC						1 m 0 s	2 m 0 s	Success
corn	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	1 h 0 m	59 m 0 s	11 m 0 s	54 m 0 s	1 h 8 m	53 m 0 s	47 m 0 s	54 m 0 s	NC	NC	Success
	8.16.0		1 h 0 m	10 m 0 s					1 h 19 m	12 m 0 s	10 m 0 s	Success
	8.18.0		NC	NC						14 m 0 s	10 m 0 s	Success
counting	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
cours-de-coq	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ctltctl	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
cunit	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
cybele	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
dblib	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
demos	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
dep-map	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
deriving	0.1.0	2 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	1 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.1		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	0.2.0		NC	NC						NC	NC	NC
descente-infinie	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
dictionaries	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
dijkstra	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
diqt	1.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
disel	2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3		NC	NC					4 m 0 s	1 m 0 s	1 m 0 s	Success
disel-examples	2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3		NC	NC					6 m 0 s	2 m 0 s	1 m 0 s	Success
distributed-reference-counting	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
domain-theory	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
dpdgraph	0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.5.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.9	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0+8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.0+8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	1.0+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.0+8.17		NC	NC						NC	NC	NC
	1.0+8.18		NC	NC						NC	NC	NC
elpi	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.4.1	NC	NC	NC	NC	NC	NC	BL	BL	BL	NC	BL
	1.5.0	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.5.1	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL	BL
	1.6.0~8.11	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.6.0	NC	NC	NC	NC	NC	NC	BL	BL	NC	BL	BL
	1.6.1~8.11	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.6.2~8.11	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.6.3~8.11	NC	NC	NC	NC	NC	NC	BL	NC	BL	NC	BL
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.2~8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.3~8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.4	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.9.5	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.9.6	NC	BL	NC	NC	NC	NC	NC	NC	NC	NC	BL
	1.9.7	NC	BL	NC	NC	NC	NC	NC	NC	NC	NC	BL
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.13.0	NC	NC	NC	NC	NC	2 m 0 s	2 m 0 s	5 m 0 s	NC	NC	Success
	1.14.0	NC	NC	NC	NC	NC	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	1.15.0		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.15.1		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.15.2		NC	NC					NC	2 m 0 s	1 m 0 s	Success
	1.15.3		NC	NC					NC	2 m 0 s	1 m 0 s	Success
	1.15.4		NC	NC					NC	2 m 0 s	1 m 0 s	Success
	1.15.5		NC	NC					NC	2 m 0 s	2 m 0 s	Success
	1.15.6		NC	NC					NC	2 m 0 s	2 m 0 s	Success
	1.16.0		NC	NC					NC	2 m 0 s	2 m 0 s	Success
	1.17.0		NC	NC						NC	NC	NC
	1.17.1		NC	NC						NC	NC	NC
	1.18.0		NC	NC						NC	NC	NC
	1.19.0		NC	NC						NC	NC	NC
	1.19.3		NC	NC						NC	NC	NC
	2.0.0									NC	NC	NC
equations	1.0~beta2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0+8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2~beta2+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2~beta2+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2~beta+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2~beta+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.3+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.3+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.3+8.13	1 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.2.4+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.4+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.4+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3~beta1+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3~beta2+8.13	1 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3+8.13	1 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3+8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.3+8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	1.3+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.3+8.17		NC	NC						NC	NC	NC
	1.3+8.18		NC	NC						NC	NC	NC
ergo	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
error-handlers	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
euclidean-geometry	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
euler-formula	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
exact-real-arithmetic	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
exceptions	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ext-lib	0.9.0~beta3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.10.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.10.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.10.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.11.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.11.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.11.3	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.11.4	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	0.11.5	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	Error	Error	Error
	0.11.6	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
	0.11.7		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	1 m 0 s	Success
	0.11.8		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	0.12.0		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
extensible-records	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
extructures	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.2	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.3.0	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.3.1	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	0.4.0		NC	NC						NC	NC	NC
fairisle	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fcsl-pcm	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	3 m 0 s	4 m 0 s	1 m 0 s	4 m 0 s	4 m 0 s	NC	NC	NC	NC	NC	Success
	1.5.1	NC	NC	NC	3 m 0 s	5 m 0 s	3 m 0 s	3 m 0 s	7 m 0 s	NC	NC	Success
	1.6.0		NC	NC					7 m 0 s	2 m 0 s	2 m 0 s	Success
	1.7.0		NC	NC					7 m 0 s	2 m 0 s	2 m 0 s	Success
	1.8.0		NC	NC						2 m 0 s	3 m 0 s	Success
fermat4	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fiat-crypto	0.0.13	NC			NC	NC	Deps	Deps				Error
	0.0.15		NC	NC					Error	Error	Error	Error
	0.0.16		NC	NC					Error	1 h 27 m	49 m 0 s	Error
	0.0.17		NC	NC					Error	1 h 26 m	1 h 11 m	Error
	0.0.20		NC	NC						1 h 20 m	56 m 0 s	Success
	0.0.24		NC	NC						1 h 26 m	1 h 19 m	Success
file-sync	0.1.0		NC	NC					3 m 0 s	1 m 0 s	1 m 0 s	Success
finger-tree	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
firing-squad	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
float	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
flocq	2.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.5.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.1	7 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.3.0	7 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.3.1	7 m 0 s	7 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.4.0	7 m 0 s	7 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.4.1	6 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	3.4.2	7 m 0 s	6 m 0 s	2 m 0 s	7 m 0 s	7 m 0 s	NC	NC	NC	NC	NC	Success
	3.4.3	6 m 0 s	7 m 0 s	2 m 0 s	7 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	15 m 0 s	NC	NC	Success
	4.0.0	6 m 0 s	7 m 0 s	3 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	14 m 0 s	NC	NC	Success
	4.1.0	7 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	3 m 0 s	4 m 0 s	Success
	4.1.1		7 m 0 s	3 m 0 s						3 m 0 s	3 m 0 s	Success
	4.1.2		6 m 0 s	2 m 0 s						3 m 0 s	2 m 0 s	Success
	4.1.3		6 m 0 s	2 m 0 s						3 m 0 s	2 m 0 s	Success
flocq-quickchick	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	BL	NC	NC	NC	NC	NC	NC	NC	BL
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
formalv-check_range	1.0.0		NC	NC					1 m 0 s	NC	NC	Success
	1.0.1		NC	NC					2 m 0 s	NC	NC	Success
	1.1.0		NC	NC					2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2.0		NC	NC						1 m 0 s	1 m 0 s	Success
formalv-prim63_mathcomp	1.0.0		NC	NC					2 m 0 s	NC	NC	Success
	1.0.1		NC	NC					2 m 0 s	NC	NC	Success
	1.1.0		NC	NC					2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2.0		NC	NC						1 m 0 s	1 m 0 s	Success
formalv-time	1.0.0		NC	NC					7 m 0 s	NC	NC	Success
	1.0.1		NC	NC					17 m 0 s	NC	NC	Success
	1.1.0		NC	NC					19 m 0 s	6 m 0 s	4 m 0 s	Success
	1.2.0		NC	NC						4 m 0 s	5 m 0 s	Success
founify	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fourcolor	1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.3	1 h 23 m	1 h 14 m	13 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.2.4	1 h 29 m	1 h 24 m	14 m 0 s	1 h 19 m	1 h 35 m	1 h 20 m	1 h 18 m	2 h 7 m	NC	NC	Success
	1.2.5		1 h 22 m	13 m 0 s					1 h 16 m	22 m 0 s	15 m 0 s	Success
	1.3.0		NC	NC						20 m 0 s	20 m 0 s	Success
	1.3.1		NC	NC						26 m 0 s	13 m 0 s	Success
fpmods	0.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
free-groups	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
freesim	1.0.0		NC	NC						NC	NC	NC
freespec-core	0.3	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
freespec-exec	0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
freespec-ffi	0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fsets	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fssec-model	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
function-ninjas	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
functional-algebra	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
functions-in-zfc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
fundamental-arithmetics	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
gaia	1.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12	27 m 0 s	24 m 0 s	7 m 0 s	21 m 0 s	32 m 0 s	NC	NC	NC	NC	NC	Success
	1.13	24 m 0 s	27 m 0 s	7 m 0 s	21 m 0 s	22 m 0 s	21 m 0 s	22 m 0 s	45 m 0 s	NC	NC	Success
gaia-hydras	0.5	1 m 0 s	Error	Error	1 m 0 s	Error	NC	NC	NC	NC	NC	Error
	0.6	NC	NC	NC	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	NC	NC	Success
	0.9		NC	NC		3 m 0 s			4 m 0 s	NC	NC	Success
gaia-numbers	1.14	6 m 0 s	5 m 0 s	2 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	11 m 0 s	NC	NC	Success
	1.15		6 m 0 s	2 m 0 s					5 m 0 s	2 m 0 s	2 m 0 s	Success
	1.17		6 m 0 s	2 m 0 s						2 m 0 s	1 m 0 s	Success
	2.0		NC	NC						Deps	2 m 0 s	Error
gaia-ordinals	1.14	11 m 0 s	11 m 0 s	3 m 0 s	10 m 0 s	9 m 0 s	9 m 0 s	8 m 0 s	23 m 0 s	NC	NC	Success
	1.15		11 m 0 s	4 m 0 s					25 m 0 s	5 m 0 s	3 m 0 s	Success
	1.17		11 m 0 s	4 m 0 s						3 m 0 s	4 m 0 s	Success
	2.0		NC	NC						Deps	3 m 0 s	Error
gaia-schutte	1.14	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	3 m 0 s	NC	NC	Success
	1.15		1 m 0 s	1 m 0 s					2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.17		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.0		NC	NC						1 m 0 s	1 m 0 s	Success
gaia-stern	1.14	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	3 m 0 s	2 m 0 s	2 m 0 s	5 m 0 s	NC	NC	Success
	1.15		2 m 0 s	1 m 0 s					5 m 0 s	2 m 0 s	1 m 0 s	Success
	1.17		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.0		NC	NC						2 m 0 s	1 m 0 s	Success
gaia-theory-of-sets	1.14	8 m 0 s	8 m 0 s	3 m 0 s	7 m 0 s	13 m 0 s	7 m 0 s	7 m 0 s	21 m 0 s	NC	NC	Success
	1.15		8 m 0 s	3 m 0 s					7 m 0 s	4 m 0 s	2 m 0 s	Success
	1.17		9 m 0 s	4 m 0 s						3 m 0 s	4 m 0 s	Success
	2.0		NC	NC						Error	4 m 0 s	Error
games	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
gappa	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.5	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.4.6	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.5.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.5.1	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	NC	NC	Success
	1.5.2		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	1 m 0 s	Success
	1.5.3		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	2 m 0 s	Success
	1.5.4		2 m 0 s	1 m 0 s						1 m 0 s	2 m 0 s	Success
gc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
generic-environments	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geocoq	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geocoq-axioms	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geocoq-coinc	2.4.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
geocoq-elements	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geocoq-main	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geocoq-pof	2.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
geometric-algebra	0.8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.8.12	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	6 m 0 s	2 m 0 s	1 m 0 s	Success
giskard	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
goedel	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.13.0	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	3 m 0 s	NC	NC	Success
graph-basics	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
graph-theory	0.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9	NC	BL	NC	NC	NC	NC	NC	BL	BL	BL	BL
	0.9.1		NC	NC		NC	11 m 0 s		21 m 0 s	NC	NC	Success
	0.9.2		NC	NC						4 m 0 s	3 m 0 s	Success
	0.9.3		NC	NC						4 m 0 s	3 m 0 s	Success
graph-theory-planar	0.9.2		NC	NC						2 m 0 s	2 m 0 s	Success
	0.9.3		NC	NC						5 m 0 s	3 m 0 s	Success
graph2tac	1.0.anon									BL		BL
graphs	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ground	0.01.0	NC	NC	NC	57 m 0 s	55 m 0 s	51 m 0 s	51 m 0 s	1 h 52 m	21 m 0 s	24 m 0 s	Success
group-theory	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
groups	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
hammer	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.8+8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.9+8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.9+8.8.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3.2+8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.3.2+8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	1.3.2+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.3.2+8.17		NC	NC						NC	NC	NC
	1.3.2+8.18		NC	NC						NC	NC	NC
hammer-tactics	1.1.1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.3.2+8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.3.2+8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	1.3.2+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.3.2+8.17		NC	NC						NC	NC	NC
	1.3.2+8.18		NC	NC						NC	NC	NC
hanoi	1.0.0	NC	NC	NC	13 m 0 s	15 m 0 s	15 m 0 s	14 m 0 s	34 m 0 s	NC	NC	Success
hardware	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
haskell	1.0.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	NC	NC	Success
	1.1.0		NC	NC					3 m 0 s	1 m 0 s	1 m 0 s	Success
hedges	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
hierarchy-builder	0.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.9.1	NC	NC	NC	BL	NC	NC	NC	BL	NC	NC	BL
	0.10.0	BL	NC	BL	BL	BL	BL	NC	BL	BL	BL	BL
	1.0.0	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
	1.1.0	BL	BL	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.2.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.2.1	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	3 m 0 s	NC	NC	Success
	1.3.0		NC	NC					2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.4.0		NC	NC					2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.5.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.6.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.7.0									NC		NC
hierarchy-builder-shim	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.4.0		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.6.0		NC	NC						1 m 0 s	1 m 0 s	Success
high-school-geometry	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	8 m 0 s	9 m 0 s	3 m 0 s	9 m 0 s	9 m 0 s	NC	NC	NC	NC	NC	Success
	8.16.0		NC	NC						5 m 0 s	2 m 0 s	Success
higman-cf	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
higman-nw	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
higman-s	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
historical-examples	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
hoare-tut	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
hol-light	0.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
hott	8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12		NC	NC					NC	NC	NC	NC
	8.13	15 m 0 s	15 m 0 s	3 m 0 s	13 m 0 s	17 m 0 s	NC	NC	NC	NC	NC	Success
	8.14	NC	NC	NC	14 m 0 s	14 m 0 s	NC	NC	NC	NC	NC	Success
	8.15	NC	NC	NC	NC	NC	13 m 0 s	14 m 0 s	21 m 0 s	NC	NC	Success
	8.16		NC	NC					NC	4 m 0 s	5 m 0 s	Success
	8.17		NC	NC						6 m 0 s	4 m 0 s	Success
	8.18		NC	NC						NC	NC	NC
htt	1.0.0	NC	NC	NC	4 m 0 s	4 m 0 s	4 m 0 s		10 m 0 s	NC	NC	Success
	1.1.0		NC	NC					10 m 0 s	3 m 0 s	3 m 0 s	Success
	1.2.0		NC	NC					12 m 0 s	3 m 0 s	3 m 0 s	Success
	1.3.0		NC	NC						1 m 0 s	1 m 0 s	Success
http	0.1.0	3 m 0 s	NC	NC	3 m 0 s	Error	2 m 0 s	2 m 0 s	Error	NC	NC	Error
	0.1.2		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	1 m 0 s	Success
	0.2.0		NC	NC					2 m 0 s	1 m 0 s	2 m 0 s	Success
	0.2.1		NC	NC						1 m 0 s	1 m 0 s	Success
huffman	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.14.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	3 m 0 s	NC	NC	Success
	8.15.0		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	8.16.0		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
hydra-battles	0.4	8 m 0 s	8 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.5	8 m 0 s	8 m 0 s	2 m 0 s	8 m 0 s	8 m 0 s	NC	NC	NC	NC	NC	Success
	0.6	8 m 0 s	8 m 0 s	2 m 0 s	8 m 0 s	7 m 0 s	8 m 0 s	7 m 0 s	11 m 0 s	NC	NC	Success
	0.9		7 m 0 s	2 m 0 s		7 m 0 s			12 m 0 s	NC	NC	Success
icharate	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
idt	1.0.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2.0									1 m 0 s		Success
idxassoc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ieee754	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
improper-integrals	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
inconsequential_modus_ponens	1.0.5		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.0.6		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
infotheo	0.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.1	BL	NC	NC	BL	BL	BL	BL	BL	BL	BL	BL
	0.2.2	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
	0.3	NC	BL	BL	NC	NC	NC	BL	BL	BL	BL	BL
	0.3.1	NC	BL	BL	NC	NC	NC	BL	BL	BL	BL	BL
	0.3.2	BL	BL	BL	BL	NC	NC	NC	BL	BL	NC	BL
	0.3.3	NC	BL	NC	BL	BL	BL	BL	BL	BL	NC	BL
	0.3.4	NC	BL	NC	NC	BL	BL	NC	BL	BL	NC	BL
	0.3.5	NC	BL	BL	NC	BL	BL	NC	BL	BL	BL	BL
	0.3.6	NC	NC	NC	NC	NC	17 m 0 s	18 m 0 s	33 m 0 s	BL	NC	Success
	0.3.7	NC	NC	NC	NC	NC	21 m 0 s	19 m 0 s	33 m 0 s	NC	NC	Success
	0.3.8		NC	NC					35 m 0 s	NC	NC	Success
	0.4.0		NC	NC					37 m 0 s	5 m 0 s	3 m 0 s	Success
	0.5.0		NC	NC					23 m 0 s	6 m 0 s	7 m 0 s	Success
	0.5.1		NC	NC						5 m 0 s	6 m 0 s	Success
	0.5.2		NC	NC						NC	NC	NC
	0.6.0		NC	NC						NC	NC	NC
int-map	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
interval	2.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.4.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.4.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.1.0	6 m 0 s	7 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.1.1	6 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.2.0	5 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.3.0	5 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	5 m 0 s	NC	NC	NC	NC	NC	Success
	4.3.1	5 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	8 m 0 s	NC	NC	NC	NC	NC	Success
	4.4.0	6 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	10 m 0 s	NC	NC	Success
	4.5.0	5 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	10 m 0 s	NC	NC	Success
	4.5.1	5 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	5 m 0 s	6 m 0 s	10 m 0 s	NC	NC	Success
	4.5.2		6 m 0 s	2 m 0 s					11 m 0 s	2 m 0 s	2 m 0 s	Success
	4.6.0		6 m 0 s	2 m 0 s					12 m 0 s	2 m 0 s	2 m 0 s	Success
	4.6.1		7 m 0 s	2 m 0 s					10 m 0 s	3 m 0 s	2 m 0 s	Success
	4.7.0		7 m 0 s	3 m 0 s						3 m 0 s	2 m 0 s	Success
	4.8.0		6 m 0 s	2 m 0 s						2 m 0 s	2 m 0 s	Success
	4.8.1		6 m 0 s	2 m 0 s						2 m 0 s	2 m 0 s	Success
	4.9.0		6 m 0 s	3 m 0 s						2 m 0 s	2 m 0 s	Success
intuitionistic-nuprl	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
io	2.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	2.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	3.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	3.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	3.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
io-evaluate	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
io-exception	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
io-hello-world	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	BL	BL	NC	NC	BL	NC	BL	BL	NC	BL	BL
	1.2.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
io-list	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
io-system	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	BL	BL
	2.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	2.4.0	BL	BL	NC	BL	NC	NC	NC	NC	NC	NC	BL
	2.4.1	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
io-system-ocaml	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ipc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
iris	3.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.0	NC	NC	NC	NC	NC	NC	NC	NC	Deps	NC	Error
	3.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.4.0	16 m 0 s	16 m 0 s	4 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.5.0	17 m 0 s	13 m 0 s	4 m 0 s	16 m 0 s	17 m 0 s	NC	NC	NC	NC	NC	Success
	3.6.0	16 m 0 s	18 m 0 s	4 m 0 s	16 m 0 s	16 m 0 s	16 m 0 s	16 m 0 s	16 m 0 s	5 m 0 s	4 m 0 s	Success
	4.0.0		BL	4 m 0 s					29 m 0 s	7 m 0 s	4 m 0 s	Success
	4.1.0		NC	NC						9 m 0 s	5 m 0 s	Success
iris-heap-lang	3.4.0	6 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	3.5.0	7 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	3.6.0	6 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	8 m 0 s	7 m 0 s	6 m 0 s	6 m 0 s	2 m 0 s	2 m 0 s	Success
	4.0.0		7 m 0 s	2 m 0 s					13 m 0 s	4 m 0 s	3 m 0 s	Success
	4.1.0		NC	NC						4 m 0 s	2 m 0 s	Success
iris-string-ident	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
itauto	8.13	8 m 0 s	8 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.13+no	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.14.0	NC	NC	NC	7 m 0 s	7 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0	NC	NC	NC	NC	NC	6 m 0 s	6 m 0 s	16 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	3 m 0 s	2 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0		NC	NC						NC	NC	NC
iterable	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
itree	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.2.0	4 m 0 s	4 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.0.0	5 m 0 s	5 m 0 s	2 m 0 s	4 m 0 s	4 m 0 s	4 m 0 s	4 m 0 s	9 m 0 s	3 m 0 s	2 m 0 s	Success
	5.0.0		6 m 0 s	2 m 0 s		9 m 0 s			13 m 0 s	3 m 0 s	2 m 0 s	Success
	5.1.0		6 m 0 s	3 m 0 s					12 m 0 s	3 m 0 s	3 m 0 s	Success
	5.1.1		7 m 0 s	2 m 0 s						4 m 0 s	4 m 0 s	Success
	5.1.2		7 m 0 s	2 m 0 s						2 m 0 s	2 m 0 s	Success
itree-extra	5.0.0		9 m 0 s	2 m 0 s		7 m 0 s			11 m 0 s	2 m 0 s	2 m 0 s	Success
	5.1.0		14 m 0 s	3 m 0 s					12 m 0 s	2 m 0 s	2 m 0 s	Success
	5.1.2		9 m 0 s	2 m 0 s						2 m 0 s	2 m 0 s	Success
itree-io	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.1		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
izf	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
jmlcoq	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	2 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0		2 m 0 s	1 m 0 s					3 m 0 s	1 m 0 s	1 m 0 s	Success
jordan-curve-theorem	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
jprover	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
jsast	1.0.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	3.0.0		1 m 0 s	1 m 0 s		1 m 0 s			1 m 0 s	1 m 0 s	1 m 0 s	Success
json	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	Error	Error	Error
	0.1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.2		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
kami	0.0.3-rv32i		NC	NC						13 m 0 s	8 m 0 s	Success
karatsuba	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
katamaran	0.1.0	9 m 0 s	9 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.2.0		NC	NC					22 m 0 s	7 m 0 s	4 m 0 s	Success
kildall	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
kruskal-finite	1.1									1 m 0 s		Success
kruskal-trees	1.0		NC	NC					1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1			NC						1 m 0 s	1 m 0 s	Success
label	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lambda	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lambek	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lazy-pcf	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
legacy-ring	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lemma-overloading	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lens	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
lesniewski-mereology	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
libhyps	1.0.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0.2	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.0.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.0.2	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.0.3	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.0.4	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	2.0.5	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	2.0.6		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	2.0.7			1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.0.8			1 m 0 s						1 m 0 s	1 m 0 s	Success
library-complexity	1.0+8.16		NC	NC					NC	1 h 9 m	25 m 0 s	Success
library-fol	1.0+8.17		NC	NC						NC	NC	NC
	1.0+8.18		NC	NC						NC	NC	NC
library-undecidability	1.0.0+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1+8.16		NC	NC					NC	14 m 0 s	16 m 0 s	Success
	1.1+8.16		NC	NC						12 m 0 s	11 m 0 s	Success
	1.1+8.17		NC	NC						NC	NC	NC
	1.1.1+8.18		NC	NC						NC	NC	NC
libvalidsdp	0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0	NC	NC	NC	NC	NC	2 m 0 s	2 m 0 s	2 m 0 s	BL	NC	Success
	1.0.1		NC	NC					3 m 0 s	1 m 0 s	2 m 0 s	Success
	1.0.2			NC						1 m 0 s	2 m 0 s	Success
lin-alg	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
linearscan	1.1.0		NC	NC					7 m 0 s	2 m 0 s	2 m 0 s	Success
list-plus	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
list-string	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.1.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.1.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.1.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
ltac-iter	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ltac2	0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1-8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ltl	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
maple-mode	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
markov	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
math-classes	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	8 m 0 s	9 m 0 s	2 m 0 s	8 m 0 s	8 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0	9 m 0 s	9 m 0 s	2 m 0 s	8 m 0 s	10 m 0 s	7 m 0 s	8 m 0 s	12 m 0 s	3 m 0 s	4 m 0 s	Success
	8.17.0		9 m 0 s	2 m 0 s						3 m 0 s	2 m 0 s	Success
	8.18.0		9 m 0 s	3 m 0 s						3 m 0 s	2 m 0 s	Success
mathcomp-abel	1.0.0	6 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.2.0	5 m 0 s	5 m 0 s	2 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	14 m 0 s	NC	NC	Success
	1.2.1		6 m 0 s	2 m 0 s					6 m 0 s	3 m 0 s	2 m 0 s	Success
mathcomp-algebra	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	6 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	6 m 0 s	6 m 0 s	2 m 0 s	6 m 0 s	8 m 0 s	6 m 0 s	5 m 0 s	10 m 0 s	NC	NC	Success
	1.14.0	6 m 0 s	5 m 0 s	2 m 0 s	6 m 0 s	5 m 0 s	5 m 0 s	5 m 0 s	10 m 0 s	NC	NC	Success
	1.15.0		6 m 0 s	2 m 0 s					10 m 0 s	2 m 0 s	2 m 0 s	Success
	1.16.0		6 m 0 s	2 m 0 s					10 m 0 s	2 m 0 s	3 m 0 s	Success
	1.17.0		NC	NC						2 m 0 s	2 m 0 s	Success
	1.18.0		NC	NC						3 m 0 s	2 m 0 s	Success
	1.19.0									2 m 0 s		Success
	2.0.0		NC	NC						10 m 0 s	10 m 0 s	Success
	2.1.0		NC	NC						13 m 0 s	9 m 0 s	Success
	2.2.0									10 m 0 s		Success
mathcomp-algebra-tactics	0.1.0	NC	NC	NC	NC	NC	NC	BL	BL	NC	NC	BL
	0.2.0	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	0.3.0	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	1.0.0	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.1.1		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2.0		NC	NC						3 m 0 s	2 m 0 s	Success
	1.2.1		NC	NC						2 m 0 s	2 m 0 s	Success
	1.2.2		NC	NC						2 m 0 s	2 m 0 s	Success
	1.2.3									2 m 0 s		Success
mathcomp-analysis	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.4	BL	NC	BL	BL	BL	BL	BL	BL	BL	BL	BL
	0.3.5	NC	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
	0.3.6	NC	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
	0.3.7	NC	BL	NC	NC	BL	BL	NC	BL	BL	NC	BL
	0.3.8	NC	BL	NC	NC	BL	BL	NC	BL	BL	BL	BL
	0.3.9	NC	BL	NC	NC	BL	BL	NC	BL	BL	NC	BL
	0.3.10	NC	BL	BL	NC	BL	BL	NC	BL	BL	BL	BL
	0.3.11	NC	NC	BL	BL	BL	BL	NC	BL	BL	BL	BL
	0.3.12	NC	NC	BL	BL	BL	BL	NC	BL	BL	BL	BL
	0.3.13	NC	NC	NC	NC	NC	11 m 0 s	10 m 0 s	11 m 0 s	NC	NC	Success
	0.4.0	NC	NC	NC	NC	NC	20 m 0 s	22 m 0 s	46 m 0 s	NC	NC	Success
	0.5.0	NC	NC	NC	NC	NC	22 m 0 s	22 m 0 s	45 m 0 s	NC	NC	Success
	0.5.1		NC	NC					48 m 0 s	NC	NC	Success
	0.5.2		NC	NC					53 m 0 s	NC	NC	Success
	0.5.3		NC	NC					55 m 0 s	8 m 0 s	7 m 0 s	Success
	0.5.4		NC	NC					55 m 0 s	9 m 0 s	13 m 0 s	Success
	0.6.0		NC	NC					48 m 0 s	8 m 0 s	7 m 0 s	Success
	0.6.1		NC	NC						10 m 0 s	6 m 0 s	Success
	0.6.2		NC	NC						15 m 0 s	6 m 0 s	Success
	0.6.3		NC	NC						10 m 0 s	9 m 0 s	Success
	0.6.4		NC	NC						11 m 0 s	9 m 0 s	Success
	0.6.5		NC	NC						12 m 0 s	14 m 0 s	Success
	0.6.6		NC	NC						10 m 0 s	10 m 0 s	Success
	0.6.7									12 m 0 s		Success
	0.7.0									13 m 0 s		Success
mathcomp-apery	1.0.1	24 m 0 s	25 m 0 s	8 m 0 s	23 m 0 s	22 m 0 s	22 m 0 s	21 m 0 s	43 m 0 s	NC	NC	Success
	1.0.2	NC	NC	NC	NC	NC	16 m 0 s		39 m 0 s	12 m 0 s	6 m 0 s	Success
mathcomp-bigenough	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.0.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
mathcomp-character	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	6 m 0 s	7 m 0 s	2 m 0 s	6 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	6 m 0 s	7 m 0 s	2 m 0 s	7 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	14 m 0 s	NC	NC	Success
	1.14.0	7 m 0 s	7 m 0 s	3 m 0 s	6 m 0 s	7 m 0 s	6 m 0 s	6 m 0 s	6 m 0 s	NC	NC	Success
	1.15.0		6 m 0 s	3 m 0 s					6 m 0 s	3 m 0 s	3 m 0 s	Success
	1.16.0		6 m 0 s	2 m 0 s					14 m 0 s	3 m 0 s	4 m 0 s	Success
	1.17.0		NC	NC						4 m 0 s	4 m 0 s	Success
	1.18.0		NC	NC						3 m 0 s	3 m 0 s	Success
	1.19.0									3 m 0 s		Success
	2.0.0		NC	NC						6 m 0 s	4 m 0 s	Success
	2.1.0		NC	NC						4 m 0 s	4 m 0 s	Success
	2.2.0									4 m 0 s		Success
mathcomp-classical	0.6.0		NC	NC					12 m 0 s	2 m 0 s	2 m 0 s	Success
	0.6.1		NC	NC						2 m 0 s	3 m 0 s	Success
	0.6.2		NC	NC						3 m 0 s	2 m 0 s	Success
	0.6.3		NC	NC						2 m 0 s	3 m 0 s	Success
	0.6.4		NC	NC						3 m 0 s	3 m 0 s	Success
	0.6.5		NC	NC						3 m 0 s	2 m 0 s	Success
	0.6.6		NC	NC						4 m 0 s	3 m 0 s	Success
	0.6.7									3 m 0 s		Success
	0.7.0									3 m 0 s		Success
mathcomp-dioid	0.1	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.2	NC	NC	NC	NC	NC	NC	BL	BL	NC	BL	BL
mathcomp-field	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	9 m 0 s	9 m 0 s	3 m 0 s	9 m 0 s	9 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	10 m 0 s	9 m 0 s	5 m 0 s	8 m 0 s	9 m 0 s	9 m 0 s	8 m 0 s	23 m 0 s	NC	NC	Success
	1.14.0	9 m 0 s	10 m 0 s	4 m 0 s	9 m 0 s	9 m 0 s	9 m 0 s	9 m 0 s	22 m 0 s	NC	NC	Success
	1.15.0		9 m 0 s	3 m 0 s					8 m 0 s	5 m 0 s	6 m 0 s	Success
	1.16.0		9 m 0 s	3 m 0 s					9 m 0 s	5 m 0 s	3 m 0 s	Success
	1.17.0		NC	NC						4 m 0 s	4 m 0 s	Success
	1.18.0		NC	NC						6 m 0 s	5 m 0 s	Success
	1.19.0									4 m 0 s		Success
	2.0.0		NC	NC						8 m 0 s	6 m 0 s	Success
	2.1.0		NC	NC						9 m 0 s	8 m 0 s	Success
	2.2.0									9 m 0 s		Success
mathcomp-field-extra	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mathcomp-fingroup	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	3 m 0 s	3 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	NC	NC	Success
	1.14.0	3 m 0 s	3 m 0 s	1 m 0 s	2 m 0 s	5 m 0 s	3 m 0 s	2 m 0 s	6 m 0 s	NC	NC	Success
	1.15.0		2 m 0 s	2 m 0 s					7 m 0 s	2 m 0 s	2 m 0 s	Success
	1.16.0		3 m 0 s	1 m 0 s					3 m 0 s	2 m 0 s	1 m 0 s	Success
	1.17.0		NC	NC						2 m 0 s	2 m 0 s	Success
	1.18.0		NC	NC						2 m 0 s	1 m 0 s	Success
	1.19.0									2 m 0 s		Success
	2.0.0		NC	NC						2 m 0 s	2 m 0 s	Success
	2.1.0		NC	NC						2 m 0 s	2 m 0 s	Success
	2.2.0									2 m 0 s		Success
mathcomp-finmap	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0+coq-8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.1	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	1.5.2		2 m 0 s	1 m 0 s					2 m 0 s	1 m 0 s	1 m 0 s	Success
	2.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
	2.1.0									1 m 0 s		Success
mathcomp-multinomials	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.4	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.5.5	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
	1.5.6		2 m 0 s	1 m 0 s					4 m 0 s	1 m 0 s	1 m 0 s	Success
	1.6.0		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.0.0		NC	NC						3 m 0 s	3 m 0 s	Success
	2.1.0		NC	NC						3 m 0 s	3 m 0 s	Success
	2.2.0									3 m 0 s		Success
mathcomp-odd-order	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	42 m 0 s	41 m 0 s	13 m 0 s	42 m 0 s	1 h 10 m	NC	NC	NC	NC	NC	Success
	1.13.0	42 m 0 s	40 m 0 s	14 m 0 s	40 m 0 s	40 m 0 s	41 m 0 s	37 m 0 s	1 h 34 m	NC	NC	Success
	1.14.0		40 m 0 s	13 m 0 s					Error	23 m 0 s	12 m 0 s	Error
	2.0.0		NC	NC						Error	26 m 0 s	Error
mathcomp-real-closed	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2	4 m 0 s	4 m 0 s	1 m 0 s	4 m 0 s	4 m 0 s	4 m 0 s	4 m 0 s	4 m 0 s	NC	NC	Success
	1.1.3		4 m 0 s	1 m 0 s					8 m 0 s	2 m 0 s	1 m 0 s	Success
	1.1.4		4 m 0 s	1 m 0 s						2 m 0 s	1 m 0 s	Success
	2.0.0		NC	NC						5 m 0 s	4 m 0 s	Success
mathcomp-solvable	1.6	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	8 m 0 s	7 m 0 s	3 m 0 s	8 m 0 s	8 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	7 m 0 s	8 m 0 s	3 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	16 m 0 s	NC	NC	Success
	1.14.0	7 m 0 s	7 m 0 s	2 m 0 s	8 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	7 m 0 s	NC	NC	Success
	1.15.0		7 m 0 s	2 m 0 s					16 m 0 s	3 m 0 s	3 m 0 s	Success
	1.16.0		7 m 0 s	3 m 0 s					16 m 0 s	3 m 0 s	3 m 0 s	Success
	1.17.0		NC	NC						3 m 0 s	3 m 0 s	Success
	1.18.0		NC	NC						4 m 0 s	3 m 0 s	Success
	1.19.0									3 m 0 s		Success
	2.0.0		NC	NC						5 m 0 s	4 m 0 s	Success
	2.1.0		NC	NC						6 m 0 s	5 m 0 s	Success
	2.2.0									5 m 0 s		Success
mathcomp-ssreflect	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.12.0	3 m 0 s	3 m 0 s	1 m 0 s	2 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	Success
	1.13.0	3 m 0 s	3 m 0 s	1 m 0 s	3 m 0 s	2 m 0 s	3 m 0 s	2 m 0 s	6 m 0 s	NC	NC	Success
	1.14.0	3 m 0 s	3 m 0 s	1 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	6 m 0 s	NC	NC	Success
	1.15.0		3 m 0 s	1 m 0 s					3 m 0 s	2 m 0 s	2 m 0 s	Success
	1.16.0		3 m 0 s	1 m 0 s					3 m 0 s	2 m 0 s	2 m 0 s	Success
	1.17.0		NC	NC						2 m 0 s	2 m 0 s	Success
	1.18.0		NC	NC						2 m 0 s	2 m 0 s	Success
	1.19.0									2 m 0 s		Success
	2.0.0		NC	NC						6 m 0 s	5 m 0 s	Success
	2.1.0		NC	NC						6 m 0 s	6 m 0 s	Success
	2.2.0									6 m 0 s		Success
mathcomp-sum-of-two-square	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mathcomp-tarjan	1.0.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.0.1		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	1.0.2		NC	NC						1 m 0 s	2 m 0 s	Success
mathcomp-word	1.1		1 m 0 s	1 m 0 s					2 m 0 s	1 m 0 s	1 m 0 s	Success
	2.0		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	2.1		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.2		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	3.0		NC	NC						1 m 0 s	1 m 0 s	Success
mathcomp-zify	1.0.0+1.12+8.13	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0+1.12+8.13	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.2.0+1.12+8.13	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.3.0+1.12+8.13		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.4.0+2.0+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
	1.5.0+2.0+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
maths	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
matrices	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
matrix	1.0.2		Error	Error					5 m 0 s	1 m 0 s	1 m 0 s	Error
	1.0.3		Error	Error						2 m 0 s	1 m 0 s	Error
	1.0.4		NC	NC						2 m 0 s	1 m 0 s	Success
	1.0.5		NC	NC						NC	NC	NC
	1.0.6									NC		NC
menhirlib	20190613	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20190620	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20190626	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20190924	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20200123	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20200211	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20200525	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20200612	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20200619	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20200624	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20201122	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20201201	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20201214	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20201216	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	20210310	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20210419	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20210928	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	20210929	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20211012	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	20211125	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20211128	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20211230	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20220210	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	20230415		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	20230608		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	20231231									1 m 0 s		Success
metacoq	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					1 m 0 s	NC	NC	Success
	1.0+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					1 m 0 s	NC	NC	Success
	1.1+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					Deps	NC	NC	Error
	1.1.1+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.2+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-checker	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
metacoq-common	1.2+8.16		NC	NC						4 m 0 s	2 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-erasure	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					Deps	NC	NC	Error
	1.0+8.16		NC	NC					NC	7 m 0 s	10 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					Deps	NC	NC	Error
	1.1+8.16		NC	NC					NC	8 m 0 s	5 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					Deps	NC	NC	Error
	1.1.1+8.16		NC	NC					NC	8 m 0 s	5 m 0 s	Success
	1.2+8.16		NC	NC						11 m 0 s	13 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-erasure-plugin	1.2+8.16		NC	NC						2 m 0 s	1 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-pcuic	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	39 m 0 s	39 m 0 s	13 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					3 h 4 m	NC	NC	Success
	1.0+8.16		NC	NC					NC	24 m 0 s	29 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					3 h 6 m	NC	NC	Success
	1.1+8.16		NC	NC					NC	20 m 0 s	17 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					3 h 3 m	NC	NC	Success
	1.1.1+8.16		NC	NC					NC	18 m 0 s	17 m 0 s	Success
	1.2+8.16		NC	NC						23 m 0 s	19 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-quotation	1.2+8.16		NC	NC						11 m 0 s	11 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-safechecker	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					49 m 0 s	NC	NC	Success
	1.0+8.16		NC	NC					NC	8 m 0 s	11 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					47 m 0 s	NC	NC	Success
	1.1+8.16		NC	NC					NC	8 m 0 s	8 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					2 h 5 m	NC	NC	Success
	1.1.1+8.16		NC	NC					NC	16 m 0 s	11 m 0 s	Success
	1.2+8.16		NC	NC						16 m 0 s	19 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-safechecker-plugin	1.2+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-template	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	6 m 0 s	7 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					27 m 0 s	NC	NC	Success
	1.0+8.16		NC	NC					NC	5 m 0 s	4 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					28 m 0 s	NC	NC	Success
	1.1+8.16		NC	NC					NC	5 m 0 s	5 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					30 m 0 s	NC	NC	Success
	1.1.1+8.16		NC	NC					NC	6 m 0 s	3 m 0 s	Success
	1.2+8.16		NC	NC						7 m 0 s	6 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-template-pcuic	1.2+8.16		NC	NC						2 m 0 s	2 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-translations	1.0~alpha1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~alpha2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta2+8.13	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0+8.14		NC	NC					NC	NC	NC	NC
	1.0+8.15		NC	NC					3 m 0 s	NC	NC	Success
	1.0+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1+8.15		NC	NC					3 m 0 s	NC	NC	Success
	1.1+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.1.1+8.14		NC	NC					NC	NC	NC	NC
	1.1.1+8.15		NC	NC					3 m 0 s	NC	NC	Success
	1.1.1+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.2+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
metacoq-utils	1.2+8.16		NC	NC						2 m 0 s	2 m 0 s	Success
	1.2+8.17		NC	NC						NC	NC	NC
	1.2.1+8.17		NC	NC						NC	NC	NC
	1.2.1+8.18		NC	NC						NC	NC	NC
mi-cho-coq	0.1	NC	NC	NC	NC	Error	Error	NC	NC	NC	NC	Error
	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
min-imports	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.0.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.0.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
mini-compiler	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
minic	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
miniml	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mirror-core	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mmaps	1.0		2 m 0 s	1 m 0 s					4 m 0 s	2 m 0 s	1 m 0 s	Success
	1.1									1 m 0 s		Success
mod-red	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
moment	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.2.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.2.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
monae	0.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.2.1	BL	BL	BL	BL	NC	NC	BL	BL	BL	NC	BL
	0.2.2	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
	0.3	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	0.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.2	NC	BL	NC	NC	NC	NC	NC	BL	NC	NC	BL
	0.3.3	NC	BL	NC	NC	NC	NC	NC	BL	NC	NC	BL
	0.3.4	NC	BL	NC	BL	BL	BL	BL	BL	BL	BL	BL
	0.4	NC	NC	NC	NC	NC	11 m 0 s	10 m 0 s	12 m 0 s	NC	NC	Success
	0.4.1	NC	NC	NC	NC	NC	21 m 0 s	21 m 0 s	22 m 0 s	NC	NC	Success
	0.4.2		NC	NC					42 m 0 s	NC	NC	Success
	0.4.3		NC	NC					43 m 0 s	NC	NC	Success
	0.4.4		NC	NC					1 h 12 m	NC	NC	Success
	0.4.5		NC	NC						Error	Error	Error
	0.5		NC	NC						12 m 0 s	8 m 0 s	Success
	0.6.0			NC						NC	NC	NC
msets-extra	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mtac	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mtac2	1.0.0+8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4+8.13	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.4+8.14	NC	NC	NC	3 m 0 s	3 m 0 s	NC	NC	NC	NC	NC	Success
	1.4+8.15	NC	NC	NC	NC	NC	3 m 0 s	3 m 0 s	3 m 0 s	NC	NC	Success
	1.4+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.4+8.17		NC	NC						NC	NC	NC
	1.4+8.18		NC	NC						NC	NC	NC
multiplier	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
mutual-exclusion	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
nfix	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
num-analysis	1.0.0		NC	NC					Deps	3 m 0 s	BL	Error
of-ocaml	1.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ollibs	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.1	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.0.2	NC	NC	NC	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	2.0.3		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	2.0.4		NC	NC						NC	NC	NC
	2.0.5		NC	NC						NC	NC	NC
opam-website	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.2.1	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.3.0	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
operads	1.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.1.0		NC	NC						1 m 0 s	1 m 0 s	Success
orb-stab	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ordinal	0.5.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	0.5.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	0.5.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	0.5.3		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
ott	0.26	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.27	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.28	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.29	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.30	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.31	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.32		1 m 0 s	1 m 0 s		1 m 0 s	1 m 0 s		2 m 0 s	1 m 0 s	1 m 0 s	Success
	0.33		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
otway-rees	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
paco	1.2.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	3.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	4.0.4	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.1.0	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.1.1	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	4.1.2	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	3 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
	4.2.0		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
paradoxes	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
param-pi	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
paramcoq	1.0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+coq8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+coq8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1+coq8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2+coq8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1.3+coq8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.3+coq8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.3+coq8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.3+coq8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1.3+coq8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.1.3+coq8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	1.1.3+coq8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.1.3+coq8.17		NC	NC						NC	NC	NC
	1.1.3+coq8.18		NC	NC						NC	NC	NC
parsec	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.2		NC	NC					2 m 0 s	1 m 0 s	1 m 0 s	Success
parseque	0.1.0		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	0.1.1		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	0.1.2		NC	NC						1 m 0 s	1 m 0 s	Success
	0.2.0		NC	NC						1 m 0 s	1 m 0 s	Success
	0.2.1									1 m 0 s		Success
pautomata	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
persistent-union-find	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
pi-agm	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.6	3 m 0 s	Error	Error	3 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	6 m 0 s	Error	Error	Error
pi-calc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
plouffe	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
plugin-utils	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
pocklington	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	Success
poltac	0.8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.8.12	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
ppsimpl	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
presburger	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
prfx	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
printf	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
procrastination	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
projective-geometry	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
propcalc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
prosa	0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.5		Error	Error					39 m 0 s	15 m 0 s	13 m 0 s	Error
pts	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ptsatr	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ptsf	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
qarith	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
qarith-stern-brocot	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	4 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	3 m 0 s	3 m 0 s	NC	NC	7 m 0 s	2 m 0 s	2 m 0 s	Success
	8.18.0		NC	NC						NC	NC	NC
qcert	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.2.0		NC	NC		NC	NC		NC	NC	NC	NC
quantumlib	1.1.0		33 m 0 s	12 m 0 s					28 m 0 s	16 m 0 s	14 m 0 s	Success
quickchick	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.0	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.5.1	3 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	1.6.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	1.6.1	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	1.6.2	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	5 m 0 s	NC	NC	Success
	1.6.3		2 m 0 s	1 m 0 s		3 m 0 s			5 m 0 s	NC	NC	Success
	1.6.4		3 m 0 s	1 m 0 s					4 m 0 s	1 m 0 s	1 m 0 s	Success
	1.6.5		3 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	2.0.0		NC	NC						1 m 0 s	1 m 0 s	Success
	2.0.1		NC	NC						2 m 0 s	1 m 0 s	Success
	2.0.2									1 m 0 s		Success
quicksort-complexity	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
railroad-crossing	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ramsey	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
random	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
rational	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
record-update	0.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.3.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.3.1		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.3.2		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	0.3.3		NC	NC						1 m 0 s	1 m 0 s	Success
recursive-definition	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
reduction-effects	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.1.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Error	Error	Error
	0.1.3	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Error	Error	Error
	0.1.4		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.1.5		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
reflexive-first-order	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
regexp	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
regexp-brzozowski	1.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	1.2		NC	NC						1 m 0 s	1 m 0 s	Success
reglang	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.2	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	4 m 0 s	NC	NC	Success
	1.1.3	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	Deps	1 m 0 s	Error
	1.2.0		NC	NC						1 m 0 s	1 m 0 s	Success
	1.2.1									2 m 0 s		Success
relation-algebra	1.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.7.5	7 m 0 s	6 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.7.6	NC	NC	NC	6 m 0 s	6 m 0 s	NC	NC	NC	NC	NC	Success
	1.7.7	NC	NC	NC	NC	NC	6 m 0 s	6 m 0 s	6 m 0 s	NC	NC	Success
	1.7.8		NC	NC					NC	3 m 0 s	3 m 0 s	Success
	1.7.9		NC	NC						NC	NC	NC
	1.7.10		NC	NC						NC	NC	NC
relation-extraction	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
rem	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
rewriter	0.0.2	29 m 0 s	28 m 0 s	12 m 0 s	29 m 0 s	43 m 0 s	25 m 0 s	24 m 0 s	25 m 0 s	11 m 0 s	6 m 0 s	Success
	0.0.6		NC	NC					56 m 0 s	9 m 0 s	9 m 0 s	Success
	0.0.7		NC	NC					1 h 7 m	9 m 0 s	10 m 0 s	Success
	0.0.8		NC	NC						11 m 0 s	12 m 0 s	Success
	0.0.9		NC	NC						12 m 0 s	9 m 0 s	Success
	0.0.10									16 m 0 s	11 m 0 s	Success
riscv	0.0.2		NC	NC					33 m 0 s	18 m 0 s	16 m 0 s	Success
	0.0.3		NC	NC					34 m 0 s	15 m 0 s	14 m 0 s	Success
	0.0.4		NC	NC						19 m 0 s	8 m 0 s	Success
robot	0.1	NC	BL	BL	BL	BL	BL	BL	BL	BL	BL	BL
rsa	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ruler-compass-geometry	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
rupicola	0.0.4	NC	NC	NC	NC	NC	10 m 0 s	10 m 0 s	11 m 0 s	4 m 0 s	3 m 0 s	Success
	0.0.5		NC	NC					14 m 0 s	2 m 0 s	5 m 0 s	Success
	0.0.6		NC	NC					14 m 0 s	4 m 0 s	3 m 0 s	Success
	0.0.7		NC	NC						4 m 0 s	2 m 0 s	Success
	0.0.8		NC	NC						2 m 0 s	4 m 0 s	Success
sail	0.16		NC	NC						1 m 0 s	2 m 0 s	Success
	0.17.1		NC	NC						1 m 0 s	1 m 0 s	Success
scev	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
schroeder	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
search-trees	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
semantics	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.1	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
shuffle	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
simple-io	0.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	0.2	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.6.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	NC	NC	Success
	1.7.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	2 m 0 s	1 m 0 s	1 m 0 s	Success
	1.8.0		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
smc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
smlms	1.0.0		NC	NC						5 m 0 s	3 m 0 s	Success
smpl	8.10.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
smt-check	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
smtcoq	2.0+8.11	NC	NC	NC	NC	NC	NC		NC	NC	NC	NC
	2.0+8.12	NC	NC	NC	NC	NC	NC		NC	NC	NC	NC
	2.0+8.13	5 m 0 s	5 m 0 s	2 m 0 s	NC	NC	NC		NC	NC	NC	Success
	2.1+8.13		4 m 0 s	2 m 0 s						NC	NC	Success
	2.1+8.14		NC	NC						NC	NC	NC
	2.1+8.15		NC	NC						NC	NC	NC
	2.1+8.16		NC	NC						2 m 0 s	2 m 0 s	Success
sniper	1.0+8.13	BL	NC	NC	NC	BL	NC		BL	NC	BL	BL
	1.1+8.13		BL	NC						BL	BL	BL
	1.1+8.14		NC	NC						NC	NC	NC
	1.1+8.15		NC	NC						NC	NC	NC
	1.1+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
square-matrices	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
squiggle-eq	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
ssreflect	1.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
stalmarck	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.13.0	2 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0		NC	NC					3 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0		NC	NC						NC	NC	NC
stalmarck-tactic	8.13.0	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	8.14.0	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	8.15.0		NC	NC					2 m 0 s	NC	NC	Success
	8.16.0		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	8.17.0		NC	NC						NC	NC	NC
	8.18.0		NC	NC						NC	NC	NC
stdpp	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.2.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.4.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5.0	4 m 0 s	4 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.6.0	4 m 0 s	5 m 0 s	2 m 0 s	4 m 0 s	7 m 0 s	NC	NC	NC	NC	NC	Success
	1.7.0	5 m 0 s	5 m 0 s	2 m 0 s	5 m 0 s	4 m 0 s	5 m 0 s	4 m 0 s	10 m 0 s	3 m 0 s	2 m 0 s	Success
	1.8.0		5 m 0 s	2 m 0 s					4 m 0 s	2 m 0 s	3 m 0 s	Success
	1.9.0		NC	NC						2 m 0 s	2 m 0 s	Success
streams	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
string	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
subst	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
sudoku	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.16.0		1 m 0 s	1 m 0 s					1 m 0 s	1 m 0 s	1 m 0 s	Success
sum-of-two-square	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
switch	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.4	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.5	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0.6			NC						NC	NC	NC
tactician	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.13	1 m 0 s	2 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0~beta2~neural+8.11									NC		NC
	1.0~beta2+8.11		NC	NC						NC	NC	NC
	1.0~beta2.1+8.12		NC	NC						NC	NC	NC
	1.0~beta2.1+8.13		1 m 0 s	1 m 0 s						NC	NC	Success
	1.0~beta2.1+8.14		NC	NC						NC	NC	NC
	1.0~beta2.1+8.15		NC	NC						NC	NC	NC
	1.0~beta2.1+8.16		NC	NC						1 m 0 s	1 m 0 s	Success
	1.0~beta2.1+8.17		NC	NC						NC	NC	NC
	1.0~beta2.1+8.18		NC	NC						NC	NC	NC
tactician-api	15.0+8.11									BL		BL
tactician-dummy	1.0~beta1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
	1.0~beta2+8.11		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	1.0~beta2+8.17		NC	NC						NC	NC	NC
tactician-stdlib	1.0~beta1+8.11	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0~beta1+8.13	29 m 0 s	29 m 0 s	9 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.0~beta2+8.11		NC	NC						NC	NC	NC
	1.0~beta2+8.12		NC	NC						NC	NC	NC
	1.0~beta2+8.13		31 m 0 s	6 m 0 s						NC	NC	Success
	1.0~beta2+8.14		NC	NC						NC	NC	NC
	1.0~beta2+8.15		NC	NC						NC	NC	NC
	1.0~beta2+8.16		NC	NC						11 m 0 s	7 m 0 s	Success
tait	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
tarski-geometry	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
template-coq	1.1.0~beta3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.1~beta3	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
text2tac	1.0									BL		BL
three-gap	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
tlc	20161010	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20171128	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20171206	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	20180316	NC	NC	NC	NC	NC	NC	NC	BL	NC	NC	BL
	20181116	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20200328	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	20210316	4 m 0 s	3 m 0 s	2 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	2 m 0 s	2 m 0 s	Success
	20211215	3 m 0 s	4 m 0 s	2 m 0 s	3 m 0 s	6 m 0 s	3 m 0 s	3 m 0 s	9 m 0 s	2 m 0 s	2 m 0 s	Success
topology	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.12.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	9.0.0	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	Success
	10.0.1	2 m 0 s	2 m 0 s	1 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	2 m 0 s	3 m 0 s	NC	NC	Success
	10.1.0		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	10.2.0		2 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
tortoise-hare-algorithm	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
trakt	1.1	NC	NC	NC		NC	1 m 0 s		2 m 0 s	NC	NC	Success
traversable-fincontainer	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
tree-automata	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
tree-calculus	1.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	Success
tree-diameter	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
type-infer	0.1.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	3 m 0 s	1 m 0 s	1 m 0 s	Success
typing-flags	1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unicoq	1.0.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.7	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.8	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.9	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.3.2+8.10	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5+8.12	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.5+8.13	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.6+8.14	NC	NC	NC	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	1.6+8.15	NC	NC	NC	NC	NC	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	1.6+8.16		NC	NC					NC	1 m 0 s	1 m 0 s	Success
	1.6+8.17		NC	NC						NC	NC	NC
	1.6+8.18		NC	NC						NC	NC	NC
unimath	20210807	3 h 14 m	3 h 16 m	31 m 0 s	3 h 17 m	3 h 52 m	3 h 19 m	3 h 6 m	4 h 39 m	Error	Error	Error
	20220204	5 h 1 m	4 h 57 m	50 m 0 s	4 h 49 m	4 h 43 m	4 h 25 m	4 h 28 m	6 h 26 m	Error	Error	Error
	20220816		6 h 56 m	1 h 2 m					Error	1 h 32 m	1 h 19 m	Error
	20230321		NC	NC						NC	Error	Error
	20231010		NC	NC						NC	Error	Error
unimath-category-theory	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unimath-dedekind	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unimath-foundations	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unimath-ktheory	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unimath-substitution-systems	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
unimath-tactics	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
universe-comparator	1.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
validsdp	0.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	0.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	1.0.0	NC	BL	BL	NC	NC	8 m 0 s	8 m 0 s	11 m 0 s	NC	NC	Success
	1.0.1		NC	NC					9 m 0 s	Error	Error	Error
	1.0.2			NC						2 m 0 s	2 m 0 s	Success
vcfloat	2.1		NC	NC						2 m 0 s	2 m 0 s	Success
	2.1.1		NC	NC						2 m 0 s	2 m 0 s	Success
vlsm	1.0	5 m 0 s	5 m 0 s	2 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1	5 m 0 s	5 m 0 s	2 m 0 s	4 m 0 s	4 m 0 s	NC	NC	NC	NC	NC	Success
	1.2		NC	NC					13 m 0 s	4 m 0 s	2 m 0 s	Success
	1.3			NC						3 m 0 s	3 m 0 s	Success
void	0.1.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
vst	2.2	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.7	1 h 41 m	1 h 39 m	26 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.7.1	1 h 40 m	1 h 41 m	26 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.8	1 h 49 m	1 h 50 m	31 m 0 s	1 h 42 m	1 h 40 m	NC	NC	NC	NC	NC	Success
	2.9	1 h 59 m	2 h 7 m	42 m 0 s	1 h 47 m	1 h 47 m	1 h 42 m	1 h 45 m	1 h 42 m	NC	NC	Success
	2.9.1	1 h 31 m	1 h 27 m	24 m 0 s	1 h 24 m	1 h 20 m	1 h 19 m	1 h 20 m	2 h 57 m	NC	NC	Success
	2.10		Error	Error					1 h 20 m	35 m 0 s	41 m 0 s	Error
	2.11		NC	NC					1 h 17 m	42 m 0 s	29 m 0 s	Success
	2.11.1		NC	NC					2 h 41 m	28 m 0 s	29 m 0 s	Success
	2.12		NC	NC						40 m 0 s	18 m 0 s	Success
	2.13		NC	NC						NC	20 m 0 s	Success
vst-32	2.7	2 h 41 m	2 h 11 m	NC	NC	NC	NC	NC	NC	NC	NC	Success
	2.7.1	2 h 40 m	2 h 42 m	56 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	2.8	3 h 2 m	2 h 58 m	56 m 0 s	2 h 47 m	2 h 57 m	NC	NC	NC	NC	NC	Success
	2.9	3 h 0 m	2 h 59 m	39 m 0 s	2 h 48 m	2 h 43 m	2 h 47 m	2 h 36 m	Error	NC	NC	Error
	2.9.1	1 h 40 m	1 h 47 m	28 m 0 s	1 h 36 m	1 h 36 m	1 h 36 m	1 h 38 m	3 h 42 m	NC	NC	Success
	2.10		Error	Error					3 h 22 m	55 m 0 s	33 m 0 s	Error
	2.11		NC	NC					1 h 35 m	50 m 0 s	30 m 0 s	Success
	2.11.1		NC	NC					1 h 28 m	49 m 0 s	33 m 0 s	Success
	2.12		NC	NC						38 m 0 s	22 m 0 s	Success
	2.13		NC	NC						NC	30 m 0 s	Success
vst-64	2.6	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
vst-iris	2.11.1		NC	NC					1 h 55 m	Error	Error	Error
vst-lib	2.12		NC	NC						2 m 0 s	2 m 0 s	Success
	2.13		NC	NC						2 m 0 s	3 m 0 s	Success
vst-zlist	2.11		Error	Error					1 m 0 s	1 m 0 s	1 m 0 s	Error
	2.12		NC	NC						1 m 0 s	1 m 0 s	Success
	2.13		NC	NC						NC	1 m 0 s	Success
wasm	0.1		NC	NC						4 m 0 s	2 m 0 s	Success
waterproof	1.0.0	3 m 0 s	3 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	NC	NC	Success
	1.1.2	3 m 0 s	3 m 0 s	1 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	3 m 0 s	5 m 0 s	NC	NC	Success
	1.2.4		NC	NC					5 m 0 s	NC	NC	Success
	2.0.1+8.17		NC	NC						NC	NC	NC
weak-up-to	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
yalla	2.0.1	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	2.0.2	8 m 0 s	8 m 0 s	3 m 0 s	8 m 0 s	8 m 0 s	NC	NC	NC	NC	NC	Success
	2.0.3	NC	NC	NC	NC	NC	8 m 0 s	7 m 0 s	16 m 0 s	NC	NC	Success
	2.0.4		NC	NC						2 m 0 s	2 m 0 s	Success
zchinese	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
zf	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
zfc	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
zorns-lemma	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.11.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	9.0.0	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	NC	NC	NC	Success
	10.0.1	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	1 m 0 s	NC	NC	Success
	10.1.0		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
	10.2.0		1 m 0 s	1 m 0 s						1 m 0 s	1 m 0 s	Success
zsearch-trees	8.5.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.6.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.7.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.8.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.9.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC
	8.10.0	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC	NC