Linux, x86_64, OCaml 4.13.1, Opam 2.0.10
The summary column gives the worst case for each row. Colors:
8.13.0 | 8.13.1 | 8.13.2 | 8.14.0 | 8.14.1 | 8.15.0 | 8.15.1 | summary | ||
Name | Version | 1750 308 | 1750 309 | 1726 306 | 1814 238 | 1804 235 | 1845 195 1 | 1838 200 1 | 1660 369 1 |
aac-tactics | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.5.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.1 | 34 s | 30 s | 34 s | NC | NC | NC | NC | Success | |
8.13.2 | 34 s | 33 s | 34 s | NC | NC | NC | NC | Success | |
8.14.0 | NC | NC | NC | 34 s | 33 s | NC | NC | Success | |
8.14.1 | NC | NC | NC | 33 s | 31 s | NC | NC | Success | |
8.15.0 | NC | NC | NC | NC | NC | 33 s | 33 s | Success | |
8.15.1 | NC | NC | NC | NC | NC | 32 s | 30 s | Success | |
abp | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
actuary | 2.1 | 59 s | 51 s | 58 s | NC | NC | NC | NC | Success |
2.2 | 53 s | 50 s | 56 s | 53 s | 49 s | 48 s | 46 s | Success | |
addition-chains | 0.4 | 2 m 11 s | 2 m 15 s | 2 m 17 s | NC | NC | NC | NC | Success |
0.5 | 3 m 0 s | 2 m 57 s | 3 m 5 s | 3 m 5 s | 2 m 59 s | NC | NC | Success | |
0.6 | 3 m 2 s | 3 m 9 s | 2 m 59 s | 3 m 1 s | 2 m 46 s | 2 m 42 s | 2 m 41 s | Success | |
additions | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ails | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
alea | 8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.12.0 | 11 m 49 s | 12 m 9 s | 12 m 16 s | 11 m 1 s | 11 m 42 s | NC | NC | Success | |
algebra | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
algorand | 1.2 | NC | NC | NC | NC | NC | NC | NC | NC |
1.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
almost-full | 8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.13.0 | 32 s | 33 s | 35 s | 32 s | 33 s | NC | NC | Success | |
8.14.0 | 33 s | 30 s | 31 s | 34 s | 31 s | 32 s | 31 s | Success | |
amm11262 | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
angles | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
antivalence | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
approx-models | 1.0 | NC | 2 m 13 s | 2 m 12 s | 2 m 2 s | 2 m 13 s | 2 m 13 s | 2 m 8 s | Success |
area-method | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
atbr | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
automata | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
autosubst | 1.7 | 22 s | 21 s | 22 s | 20 s | 23 s | 21 s | 18 s | Success |
autosubst-ocaml | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
axiomatic-abp | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
bbv | 1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2 | 1 m 19 s | 1 m 20 s | 1 m 20 s | NC | NC | NC | NC | Success | |
1.3 | 59 s | 57 s | 1 m 1 s | 56 s | 58 s | 49 s | 49 s | Success | |
bdds | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
bedrock2 | 0.0.1 | NC | NC | NC | NC | NC | 15 m 57 s | 16 m 0 s | Success |
bellantonicook | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
bertrand | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
bignums | 8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 2 m 26 s | 2 m 18 s | 2 m 17 s | NC | NC | NC | NC | Success | |
8.14.0 | NC | NC | NC | 2 m 18 s | 2 m 35 s | NC | NC | Success | |
8.15.0 | NC | NC | NC | NC | NC | 2 m 16 s | 2 m 23 s | Success | |
bits | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | 54 s | 52 s | 53 s | 48 s | 49 s | NC | NC | Success | |
bonsai | 1.0.0 | 18 s | 16 s | 18 s | 18 s | 16 s | 16 s | 17 s | Success |
buchberger | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 1 m 17 s | 1 m 14 s | 1 m 13 s | 1 m 18 s | 1 m 16 s | NC | NC | Success | |
8.14.0 | 1 m 8 s | 1 m 12 s | 1 m 14 s | 1 m 22 s | 1 m 15 s | 1 m 19 s | 1 m 13 s | Success | |
bytestring | 0.9.0 | NC | NC | NC | NC | NC | NC | NC | NC |
canon-bdds | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cantor | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cats-in-zfc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ccs | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cecoa | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
ceramist | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
ceres | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
0.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.4.0 | 31 s | 35 s | 32 s | 32 s | 32 s | 31 s | 29 s | Success | |
cfgv | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cfml | 20180525 | NC | NC | NC | NC | NC | NC | NC | NC |
20181201 | NC | NC | NC | NC | NC | NC | NC | NC | |
20220112 | 13 s | 12 s | 12 s | 11 s | 12 s | 12 s | 11 s | Success | |
cfml-basis | 20211215 | 1 m 42 s | 1 m 36 s | 1 m 37 s | 1 m 38 s | 1 m 41 s | 2 m 55 s | 2 m 32 s | Success |
20220102 | 1 m 26 s | 1 m 44 s | 1 m 32 s | 1 m 41 s | 1 m 40 s | 2 m 7 s | 2 m 19 s | Success | |
20220112 | 1 m 40 s | 1 m 41 s | 1 m 38 s | 1 m 49 s | 1 m 24 s | 2 m 22 s | 2 m 46 s | Success | |
cfml-stdlib | 20211215 | 37 s | 40 s | 38 s | 35 s | 34 s | 1 m 15 s | 1 m 22 s | Success |
20220102 | 38 s | 33 s | 37 s | 38 s | 37 s | 1 m 19 s | 1 m 11 s | Success | |
20220112 | 38 s | 36 s | 40 s | 33 s | 37 s | 1 m 25 s | 1 m 11 s | Success | |
chapar | 8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 12 m 11 s | 12 m 3 s | 12 m 17 s | 10 m 18 s | 10 m 44 s | NC | NC | Success | |
8.14.0 | NC | NC | NC | 10 m 48 s | 11 m 25 s | 11 m 0 s | 10 m 47 s | Success | |
charge-core | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
checker | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
chick-blog | 1.0.0 | BL | NC | NC | BL | NC | BL | NC | BL |
1.0.1 | 28 s | 25 s | 26 s | 27 s | 28 s | NC | NC | Success | |
chinese | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
circuits | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
classical-realizability | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
coalgebras | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
coinduction | 1.0 | 2 m 13 s | 2 m 31 s | 2 m 27 s | 2 m 8 s | 2 m 17 s | NC | NC | Success |
1.1 | 40 s | 38 s | 39 s | 38 s | 43 s | NC | NC | Success | |
1.2 | 36 s | 49 s | 43 s | 44 s | 48 s | NC | NC | Success | |
1.3 | 1 m 9 s | 1 m 12 s | 1 m 4 s | 1 m 10 s | 1 m 11 s | NC | NC | Success | |
1.4 | NC | NC | NC | 1 m 20 s | 1 m 33 s | NC | NC | Success | |
1.5 | NC | NC | NC | NC | NC | 2 m 34 s | 2 m 38 s | Success | |
coinduction-examples | 1.5 | NC | NC | NC | NC | NC | 4 m 37 s | 4 m 41 s | Success |
coinductive-examples | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
coinductive-reals | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
color | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.1 | 16 m 36 s | 17 m 5 s | 16 m 29 s | 18 m 5 s | 16 m 38 s | NC | NC | Success | |
1.8.2 | 21 m 59 s | 20 m 0 s | 20 m 37 s | 20 m 59 s | 21 m 25 s | 19 m 2 s | 18 m 56 s | Success | |
comp-dec-modal | 1.0 | 10 m 59 s | 11 m 43 s | 11 m 43 s | NC | NC | NC | NC | Success |
1.1 | 11 m 6 s | 11 m 34 s | 11 m 18 s | 9 m 41 s | 9 m 46 s | 10 m 26 s | 10 m 24 s | Success | |
compcert | 2.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.3.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.5.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.7.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.5+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.6+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7~coq-platform | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7~coq-platform~open-source | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7+8.12~coq_platform~open_source | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7+8.12~coq_platform | NC | NC | NC | NC | NC | NC | NC | NC | |
3.8 | 23 m 45 s | 25 m 45 s | 25 m 55 s | NC | NC | NC | NC | Success | |
3.9 | 24 m 43 s | 24 m 55 s | 23 m 8 s | 23 m 54 s | 23 m 34 s | NC | NC | Success | |
3.10 | 24 m 49 s | 26 m 6 s | 26 m 24 s | 23 m 54 s | 24 m 28 s | 22 m 5 s | 21 m 48 s | Success | |
compcert-32 | 3.8 | 25 m 13 s | 24 m 29 s | 27 m 26 s | NC | NC | NC | NC | Success |
3.9 | 24 m 12 s | 25 m 25 s | 26 m 4 s | 25 m 45 s | 24 m 56 s | NC | NC | Success | |
3.10 | 25 m 56 s | 24 m 45 s | 25 m 21 s | 25 m 13 s | 24 m 56 s | 21 m 41 s | 22 m 29 s | Success | |
compcert-64 | 3.7~coq-platform | NC | NC | NC | NC | NC | NC | NC | NC |
3.7~coq-platform~open-source | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7+8.12~coq_platform~open_source | NC | NC | NC | NC | NC | NC | NC | NC | |
3.7+8.12~coq_platform | NC | NC | NC | NC | NC | NC | NC | NC | |
concat | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
concurrency-pluto | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
concurrency-proxy | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
concurrency-system | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
constructive-geometry | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
constructors | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
containers | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
continuations | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
coq-in-coq | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
coq2html | 1.0 | 14 s | 13 s | 13 s | 13 s | 15 s | 12 s | 11 s | Success |
1.1 | 13 s | 14 s | 13 s | 13 s | 15 s | 14 s | 14 s | Success | |
1.2 | 16 s | 13 s | 13 s | 14 s | 14 s | 13 s | 15 s | Success | |
1.3 | 14 s | 13 s | 15 s | 14 s | 15 s | 13 s | 13 s | Success | |
coqeal | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.5 | 5 m 29 s | 5 m 51 s | 5 m 31 s | NC | NC | NC | NC | Success | |
1.0.6 | 5 m 25 s | 5 m 43 s | 6 m 8 s | 6 m 7 s | 5 m 48 s | NC | NC | Success | |
1.1.0 | 6 m 58 s | 7 m 12 s | 7 m 4 s | 6 m 37 s | 6 m 53 s | 6 m 3 s | 6 m 46 s | Success | |
coqeal-refinements | 0.9.1 | NC | NC | NC | NC | NC | NC | NC | NC |
coqeal-theory | 0.9.1 | NC | NC | NC | NC | NC | NC | NC | NC |
coqffi | 1.0.0~beta1 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.0~beta2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0~beta3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0~beta4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0~beta5 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0~beta6 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0~beta7 | NC | NC | NC | NC | NC | NC | NC | NC | |
coqoban | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 20 s | 17 s | 18 s | 20 s | 19 s | 18 s | 19 s | Success | |
coqprime | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.6 | 3 m 16 s | 3 m 19 s | 2 m 56 s | NC | NC | NC | NC | Success | |
1.1.0 | NC | NC | NC | 12 m 52 s | 12 m 26 s | 12 m 9 s | 12 m 18 s | Success | |
1.1.1 | 3 m 22 s | 3 m 7 s | 3 m 20 s | 12 m 57 s | 12 m 49 s | 12 m 34 s | 11 m 31 s | Success | |
1.2.0 | 3 m 32 s | 3 m 6 s | 3 m 6 s | 3 m 53 s | 4 m 23 s | 3 m 58 s | 4 m 20 s | Success | |
coqprime-generator | 1.1.1 | 23 s | 24 s | 23 s | 27 s | 26 s | 22 s | 27 s | Success |
coqrel | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
coqtail | 8.11.2 | NC | NC | NC | NC | NC | NC | NC | NC |
8.14 | 5 m 58 s | 6 m 31 s | 6 m 48 s | 6 m 26 s | 6 m 16 s | 6 m 3 s | 5 m 28 s | Success | |
coquelicot | 2.0.1 | NC | NC | NC | NC | NC | NC | NC | NC |
2.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.1.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.3+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.1.0 | 2 m 50 s | 2 m 35 s | 3 m 4 s | NC | NC | NC | NC | Success | |
3.2.0 | 2 m 52 s | 2 m 45 s | 3 m 8 s | 2 m 30 s | 2 m 50 s | 2 m 51 s | 2 m 41 s | Success | |
coqutil | 0.0.1 | 1 m 0 s | 1 m 9 s | 1 m 4 s | 2 m 48 s | 2 m 55 s | 2 m 55 s | 2 m 36 s | Success |
corn | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 59 m 29 s | 1 h 0 m | 58 m 47 s | 53 m 20 s | 54 m 48 s | 51 m 54 s | 47 m 0 s | Success | |
counting | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cours-de-coq | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ctltctl | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
cunit | 1.0.0 | 15 s | 15 s | 15 s | 14 s | 15 s | 16 s | 14 s | Success |
cybele | 1.3.0 | NC | NC | NC | NC | NC | NC | NC | NC |
dblib | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
demos | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
dep-map | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
deriving | 0.1.0 | 1 m 6 s | 59 s | 1 m 3 s | 56 s | 1 m 1 s | 1 m 1 s | 48 s | Success |
descente-infinie | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
dictionaries | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
dijkstra | 0.1.0 | 18 s | 15 s | 16 s | 17 s | 16 s | 16 s | 15 s | Success |
disel | 2.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
disel-examples | 2.1 | NC | NC | NC | NC | NC | NC | NC | NC |
2.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
distributed-reference-counting | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
domain-theory | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
dpdgraph | 0.4 | NC | NC | NC | NC | NC | NC | NC | NC |
0.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.5.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.6.9 | 19 s | 18 s | 35 s | NC | NC | NC | NC | Success | |
1.0+8.13 | 21 s | 18 s | 20 s | NC | NC | NC | NC | Success | |
1.0+8.14 | NC | NC | NC | 18 s | 19 s | NC | NC | Success | |
1.0+8.15 | NC | NC | NC | NC | NC | 18 s | 20 s | Success | |
elpi | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0 | NC | NC | BL | NC | NC | NC | BL | BL | |
1.4.1 | NC | NC | BL | NC | BL | NC | BL | BL | |
1.5.0 | NC | NC | BL | NC | BL | NC | BL | BL | |
1.5.1 | NC | NC | NC | NC | NC | BL | BL | BL | |
1.6.0~8.11 | NC | NC | BL | NC | BL | NC | BL | BL | |
1.6.0 | NC | NC | NC | NC | NC | BL | BL | BL | |
1.6.1~8.11 | NC | NC | BL | NC | NC | NC | BL | BL | |
1.6.2~8.11 | NC | NC | BL | NC | NC | NC | BL | BL | |
1.6.3~8.11 | NC | NC | BL | NC | NC | NC | BL | BL | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.2~8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.3~8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.13.0 | NC | NC | NC | NC | NC | 1 m 30 s | 1 m 35 s | Success | |
1.14.0 | NC | NC | NC | NC | NC | 1 m 33 s | 1 m 30 s | Success | |
equations | 1.0~beta2 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0~beta2+8.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0+8.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2~beta2+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2~beta2+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2~beta+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2~beta+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.3+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.3+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.3+8.13 | 49 s | 53 s | 56 s | NC | NC | NC | NC | Success | |
1.2.4+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.4+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.4+8.13 | 51 s | 55 s | 52 s | NC | NC | NC | NC | Success | |
1.3~beta1+8.13 | 57 s | 49 s | 49 s | NC | NC | NC | NC | Success | |
1.3~beta2+8.13 | 49 s | 55 s | 52 s | NC | NC | NC | NC | Success | |
1.3+8.13 | 48 s | 53 s | 51 s | NC | NC | NC | NC | Success | |
1.3+8.14 | NC | NC | NC | 59 s | 49 s | NC | NC | Success | |
1.3+8.15 | NC | NC | NC | NC | NC | 54 s | 52 s | Success | |
ergo | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
error-handlers | 1.0.0 | 15 s | 15 s | 15 s | 15 s | 13 s | 15 s | 15 s | Success |
1.1.0 | 15 s | 14 s | 16 s | 15 s | 16 s | 15 s | 15 s | Success | |
1.1.1 | 17 s | 14 s | 13 s | 15 s | 16 s | 16 s | 16 s | Success | |
1.2.0 | 16 s | 15 s | 20 s | 17 s | 15 s | 15 s | 15 s | Success | |
euclidean-geometry | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
euler-formula | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
exact-real-arithmetic | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
exceptions | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ext-lib | 0.9.0~beta3 | NC | NC | NC | NC | NC | NC | NC | NC |
0.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.9.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.10.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.10.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.10.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.11.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.11.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.11.3 | 1 m 3 s | 1 m 9 s | 1 m 5 s | NC | NC | NC | NC | Success | |
0.11.4 | 1 m 10 s | 1 m 2 s | 1 m 7 s | 1 m 13 s | 1 m 8 s | NC | NC | Success | |
0.11.5 | 1 m 14 s | 1 m 8 s | 1 m 8 s | 1 m 4 s | 1 m 14 s | 1 m 6 s | 1 m 8 s | Success | |
0.11.6 | 1 m 8 s | 1 m 0 s | 1 m 5 s | 1 m 6 s | 1 m 1 s | 1 m 8 s | 1 m 8 s | Success | |
extensible-records | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
extructures | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
0.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2.2 | 33 s | 36 s | 34 s | NC | NC | NC | NC | Success | |
0.3.0 | 1 m 2 s | 1 m 1 s | 1 m 7 s | NC | NC | NC | NC | Success | |
0.3.1 | 1 m 5 s | 1 m 10 s | 1 m 6 s | 1 m 11 s | 1 m 2 s | 1 m 5 s | 1 m 8 s | Success | |
fairisle | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
fcsl-pcm | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0 | 3 m 0 s | 2 m 53 s | 3 m 5 s | 3 m 5 s | 3 m 11 s | NC | NC | Success | |
1.5.1 | NC | NC | 2 m 29 s | 2 m 38 s | Success | ||||
fermat4 | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
fiat-crypto | 0.0.13 | NC | NC | NC | NC | NC | Deps | Deps | Error |
finger-tree | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
firing-squad | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
float | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
flocq | 2.2.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.5.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.1 | 6 m 15 s | 5 m 46 s | 6 m 4 s | NC | NC | NC | NC | Success | |
3.3.0 | 6 m 6 s | 6 m 22 s | 6 m 6 s | NC | NC | NC | NC | Success | |
3.3.1 | 6 m 47 s | 6 m 3 s | 6 m 10 s | NC | NC | NC | NC | Success | |
3.4.0 | 6 m 48 s | 5 m 56 s | 6 m 47 s | NC | NC | NC | NC | Success | |
3.4.1 | 5 m 29 s | 6 m 6 s | 6 m 16 s | 5 m 50 s | 5 m 40 s | NC | NC | Success | |
3.4.2 | 6 m 15 s | 5 m 57 s | 6 m 7 s | 6 m 11 s | 6 m 18 s | NC | NC | Success | |
3.4.3 | 5 m 59 s | 6 m 2 s | 6 m 21 s | 6 m 25 s | 5 m 42 s | 5 m 57 s | 5 m 51 s | Success | |
4.0.0 | 5 m 41 s | 6 m 2 s | 5 m 52 s | 5 m 43 s | 5 m 28 s | 5 m 7 s | 5 m 11 s | Success | |
4.1.0 | 6 m 4 s | 6 m 2 s | 5 m 46 s | 5 m 57 s | Success | ||||
flocq-quickchick | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
founify | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
fourcolor | 1.2 | NC | NC | NC | NC | NC | NC | NC | NC |
1.2.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.3 | 1 h 22 m | 1 h 16 m | 1 h 20 m | NC | NC | NC | NC | Success | |
1.2.4 | 1 h 28 m | 1 h 18 m | 1 h 22 m | 1 h 18 m | 1 h 20 m | 1 h 16 m | 1 h 17 m | Success | |
fpmods | 0.2.0 | NC | NC | NC | NC | NC | NC | NC | NC |
free-groups | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
freespec-core | 0.3 | 31 s | 28 s | 28 s | NC | NC | NC | NC | Success |
freespec-exec | 0.3 | NC | NC | NC | NC | NC | NC | NC | NC |
freespec-ffi | 0.3 | NC | NC | NC | NC | NC | NC | NC | NC |
fsets | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
fssec-model | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
function-ninjas | 1.0.0 | 13 s | 14 s | 14 s | 14 s | 15 s | 15 s | 16 s | Success |
functional-algebra | 1.0.2 | NC | NC | NC | NC | NC | NC | NC | NC |
functions-in-zfc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
fundamental-arithmetics | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
gaia | 1.11 | NC | NC | NC | NC | NC | NC | NC | NC |
1.12 | 26 m 53 s | 21 m 13 s | 25 m 58 s | 20 m 25 s | 22 m 21 s | NC | NC | Success | |
1.13 | 23 m 57 s | 24 m 21 s | 23 m 46 s | 20 m 6 s | 21 m 2 s | 22 m 41 s | 21 m 21 s | Success | |
gaia-hydras | 0.5 | 16 s | 18 s | 14 s | 16 s | 14 s | NC | NC | Success |
0.6 | NC | NC | NC | 1 m 6 s | 1 m 2 s | 1 m 4 s | 1 m 6 s | Success | |
gaia-numbers | 1.14 | 5 m 23 s | 5 m 17 s | 5 m 18 s | 4 m 33 s | 5 m 10 s | 4 m 41 s | 4 m 39 s | Success |
gaia-ordinals | 1.14 | 10 m 23 s | 10 m 45 s | 9 m 39 s | 9 m 56 s | 9 m 22 s | 9 m 28 s | 7 m 53 s | Success |
gaia-schutte | 1.14 | 51 s | 52 s | 54 s | 52 s | 55 s | 58 s | 54 s | Success |
gaia-stern | 1.14 | 1 m 33 s | 1 m 27 s | 1 m 16 s | 1 m 23 s | 1 m 28 s | 1 m 21 s | 1 m 24 s | Success |
gaia-theory-of-sets | 1.14 | 7 m 22 s | 7 m 22 s | 7 m 29 s | 6 m 46 s | 7 m 13 s | 6 m 41 s | 7 m 0 s | Success |
games | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
gappa | 1.2.1 | NC | NC | NC | NC | NC | NC | NC | NC |
1.3.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.5 | 1 m 4 s | 1 m 6 s | 1 m 11 s | NC | NC | NC | NC | Success | |
1.4.6 | 1 m 16 s | 1 m 3 s | 1 m 8 s | NC | NC | NC | NC | Success | |
1.5.0 | 1 m 9 s | 1 m 9 s | 1 m 11 s | 1 m 1 s | 1 m 11 s | NC | NC | Success | |
1.5.1 | 1 m 10 s | 1 m 12 s | 1 m 7 s | 1 m 4 s | 1 m 1 s | 1 m 7 s | 1 m 16 s | Success | |
gc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
generic-environments | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
geocoq | 1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.2.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
geocoq-axioms | 2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC |
geocoq-coinc | 2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC |
geocoq-elements | 2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC |
geocoq-main | 2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC |
geocoq-pof | 2.4.0 | NC | NC | NC | NC | NC | NC | NC | NC |
geometric-algebra | 0.8.8 | NC | NC | NC | NC | NC | NC | NC | NC |
0.8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.8.12 | 1 m 54 s | 1 m 48 s | 1 m 52 s | 1 m 44 s | 1 m 41 s | 1 m 40 s | 1 m 53 s | Success | |
giskard | 1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
goedel | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | 2 m 39 s | 2 m 43 s | 2 m 46 s | NC | NC | NC | NC | Success | |
8.13.0 | 55 s | 1 m 0 s | 59 s | 56 s | 1 m 2 s | NC | NC | Success | |
graph-basics | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
graph-theory | 0.7 | NC | NC | NC | NC | NC | NC | NC | NC |
0.9 | NC | NC | BL | NC | BL | BL | NC | BL | |
graphs | 8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ground | 0.01.0 | NC | NC | NC | 56 m 56 s | 54 m 37 s | 52 m 50 s | 50 m 36 s | Success |
group-theory | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
groups | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
hammer | 1.0.3 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.8+8.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.9+8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.9+8.8.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1+8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.13 | 30 s | 28 s | 29 s | NC | NC | NC | NC | Success | |
1.3.2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.13 | 28 s | 31 s | 35 s | NC | NC | NC | NC | Success | |
1.3.2+8.14 | NC | NC | NC | 33 s | 33 s | NC | NC | Success | |
1.3.2+8.15 | NC | NC | NC | NC | NC | 31 s | 31 s | Success | |
hammer-tactics | 1.1.1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1+8.13 | 22 s | 28 s | 25 s | NC | NC | NC | NC | Success | |
1.3.2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.2+8.13 | 25 s | 24 s | 25 s | NC | NC | NC | NC | Success | |
1.3.2+8.14 | NC | NC | NC | 28 s | 27 s | NC | NC | Success | |
1.3.2+8.15 | NC | NC | NC | NC | NC | 25 s | 24 s | Success | |
hanoi | 1.0.0 | NC | NC | NC | 12 m 57 s | 14 m 51 s | 14 m 37 s | 13 m 32 s | Success |
hardware | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
haskell | 1.0.0 | 1 m 2 s | 1 m 4 s | 1 m 6 s | 1 m 5 s | 1 m 3 s | 1 m 3 s | 1 m 3 s | Success |
hedges | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
hierarchy-builder | 0.9.0 | NC | NC | NC | NC | NC | NC | NC | NC |
0.9.1 | NC | NC | NC | BL | NC | NC | NC | BL | |
0.10.0 | BL | NC | BL | BL | BL | BL | NC | BL | |
1.0.0 | BL | BL | BL | BL | BL | NC | BL | BL | |
1.1.0 | BL | BL | NC | NC | NC | NC | NC | BL | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1 | NC | NC | NC | NC | NC | 31 s | 32 s | Success | |
hierarchy-builder-shim | 1.1.0 | 15 s | 14 s | 16 s | 14 s | 16 s | 15 s | 14 s | Success |
1.2.0 | 15 s | 15 s | 15 s | 15 s | 16 s | 15 s | 16 s | Success | |
high-school-geometry | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 7 m 52 s | 8 m 59 s | 9 m 12 s | 8 m 40 s | 9 m 8 s | NC | NC | Success | |
higman-cf | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
higman-nw | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
higman-s | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
historical-examples | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
hoare-tut | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
hott | 8.7 | NC | NC | NC | NC | NC | NC | NC | NC |
8.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13 | 14 m 29 s | 13 m 33 s | 15 m 9 s | 12 m 46 s | 13 m 18 s | NC | NC | Success | |
8.14 | NC | NC | NC | 13 m 31 s | 12 m 58 s | NC | NC | Success | |
8.15 | NC | NC | NC | NC | NC | 13 m 28 s | 13 m 23 s | Success | |
htt | 1.0.0 | NC | NC | 3 m 22 s | Success | ||||
http | 0.1.0 | 2 m 7 s | 1 m 59 s | 2 m 6 s | 2 m 7 s | 2 m 9 s | 1 m 36 s | 1 m 31 s | Success |
huffman | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 47 s | 50 s | 42 s | 48 s | 45 s | NC | NC | Success | |
8.14.0 | 43 s | 48 s | 44 s | 47 s | 45 s | 44 s | 46 s | Success | |
hydra-battles | 0.4 | 7 m 25 s | 7 m 4 s | 8 m 10 s | NC | NC | NC | NC | Success |
0.5 | 7 m 31 s | 6 m 53 s | 7 m 24 s | 7 m 27 s | 7 m 15 s | NC | NC | Success | |
0.6 | 7 m 21 s | 6 m 40 s | 7 m 46 s | 7 m 22 s | 6 m 59 s | 7 m 17 s | 6 m 27 s | Success | |
icharate | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
idt | 1.0.1 | 21 s | 20 s | 19 s | NC | NC | NC | NC | Success |
idxassoc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
ieee754 | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
improper-integrals | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
infotheo | 0.0.1 | NC | NC | NC | NC | NC | NC | NC | NC |
0.0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.0.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.0.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.0.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.0.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.1.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2.1 | BL | BL | BL | BL | BL | BL | BL | BL | |
0.2.2 | BL | BL | BL | BL | BL | BL | BL | BL | |
0.3 | NC | NC | BL | NC | NC | NC | BL | BL | |
0.3.1 | NC | NC | BL | NC | NC | NC | BL | BL | |
0.3.2 | BL | BL | NC | BL | BL | BL | NC | BL | |
0.3.3 | NC | NC | NC | BL | NC | NC | BL | BL | |
0.3.4 | NC | NC | NC | NC | BL | NC | NC | BL | |
0.3.5 | NC | NC | BL | NC | NC | NC | NC | BL | |
0.3.6 | NC | NC | NC | NC | NC | 18 m 43 s | 17 m 53 s | Success | |
0.3.7 | NC | NC | NC | NC | NC | 18 m 32 s | Success | ||
int-map | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
interval | 2.2.1 | NC | NC | NC | NC | NC | NC | NC | NC |
3.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.4.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.4.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
4.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
4.1.0 | 5 m 25 s | 5 m 33 s | 5 m 20 s | NC | NC | NC | NC | Success | |
4.1.1 | 5 m 18 s | 5 m 32 s | 5 m 50 s | NC | NC | NC | NC | Success | |
4.2.0 | 4 m 23 s | 6 m 19 s | 5 m 42 s | NC | NC | NC | NC | Success | |
4.3.0 | 4 m 54 s | 5 m 18 s | 5 m 44 s | 5 m 43 s | 5 m 59 s | NC | NC | Success | |
4.3.1 | 4 m 39 s | 6 m 6 s | 5 m 40 s | 5 m 42 s | 5 m 40 s | NC | NC | Success | |
4.4.0 | 5 m 7 s | 4 m 52 s | 6 m 28 s | 5 m 50 s | 6 m 0 s | 5 m 16 s | 5 m 11 s | Success | |
4.5.0 | 4 m 40 s | 5 m 14 s | 5 m 42 s | 5 m 9 s | 5 m 40 s | 5 m 46 s | 5 m 33 s | Success | |
4.5.1 | 4 m 45 s | 5 m 58 s | 6 m 2 s | 5 m 18 s | 5 m 23 s | 5 m 37 s | 5 m 12 s | Success | |
intuitionistic-nuprl | 8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC |
io | 2.0.0 | 15 s | 16 s | 16 s | 15 s | 15 s | 17 s | 16 s | Success |
2.1.0 | 16 s | 14 s | 15 s | 17 s | 18 s | 17 s | 16 s | Success | |
3.0.0 | 15 s | 14 s | 18 s | 17 s | 16 s | 16 s | 15 s | Success | |
3.1.0 | 16 s | 15 s | 17 s | 17 s | 18 s | 17 s | 14 s | Success | |
3.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
4.0.0 | 20 s | 19 s | 19 s | 18 s | 18 s | 18 s | 18 s | Success | |
io-evaluate | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
io-exception | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
io-hello-world | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | BL | BL | BL | NC | BL | NC | BL | BL | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
io-list | 1.0.0 | 15 s | 15 s | 15 s | 15 s | 15 s | 15 s | 16 s | Success |
1.1.0 | 14 s | 16 s | 16 s | 17 s | 18 s | 14 s | 15 s | Success | |
io-system | 2.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.4.0 | BL | BL | NC | BL | NC | BL | NC | BL | |
2.4.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
io-system-ocaml | 2.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.3.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
ipc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
iris | 3.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
3.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.3.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.4.0 | 15 m 27 s | 13 m 54 s | 14 m 52 s | NC | NC | NC | NC | Success | |
3.5.0 | 16 m 15 s | 15 m 39 s | 16 m 37 s | 15 m 51 s | 15 m 59 s | NC | NC | Success | |
3.6.0 | 15 m 52 s | 16 m 5 s | 17 m 10 s | 15 m 45 s | 16 m 7 s | 16 m 7 s | 15 m 10 s | Success | |
iris-heap-lang | 3.4.0 | 5 m 26 s | 5 m 25 s | 6 m 7 s | NC | NC | NC | NC | Success |
3.5.0 | 6 m 4 s | 5 m 45 s | 5 m 22 s | 5 m 6 s | 5 m 47 s | NC | NC | Success | |
3.6.0 | 6 m 0 s | 6 m 0 s | 5 m 55 s | 5 m 52 s | 6 m 2 s | 5 m 45 s | 5 m 23 s | Success | |
iris-string-ident | 0.1.0 | 18 s | 19 s | 19 s | NC | NC | NC | NC | Success |
itauto | 8.13 | 7 m 21 s | 7 m 35 s | 7 m 13 s | NC | NC | NC | NC | Success |
8.13+no | NC | NC | NC | NC | NC | NC | NC | NC | |
8.14.0 | NC | NC | NC | 6 m 5 s | 6 m 1 s | NC | NC | Success | |
8.15.0 | NC | NC | NC | NC | NC | 5 m 53 s | 5 m 30 s | Success | |
iterable | 1.0.0 | 16 s | 16 s | 17 s | 15 s | 17 s | 17 s | 15 s | Success |
itree | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.0.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
3.2.0 | 3 m 54 s | 3 m 50 s | 4 m 4 s | NC | NC | NC | NC | Success | |
4.0.0 | 4 m 40 s | 4 m 20 s | 4 m 25 s | 4 m 0 s | 4 m 10 s | 4 m 8 s | 3 m 44 s | Success | |
itree-io | 0.1.0 | 14 s | 14 s | 16 s | 16 s | 15 s | 15 s | 15 s | Success |
izf | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
jmlcoq | 8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.13.0 | 1 m 6 s | 1 m 5 s | 1 m 8 s | 59 s | 1 m 4 s | NC | NC | Success | |
jordan-curve-theorem | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
jprover | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
jsast | 1.0.7 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.8 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
2.0.0 | 18 s | 17 s | 15 s | 19 s | 17 s | 17 s | 16 s | Success | |
json | 0.1.0 | 29 s | 28 s | 27 s | 29 s | 27 s | 28 s | 26 s | Success |
0.1.1 | 26 s | 30 s | 30 s | 25 s | 27 s | 27 s | 28 s | Success | |
karatsuba | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
katamaran | 0.1.0 | 8 m 38 s | 8 m 12 s | 8 m 34 s | NC | NC | NC | NC | Success |
kildall | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
label | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
lambda | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
lambek | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
lazy-pcf | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
lc | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
legacy-ring | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
lemma-overloading | 8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
lens | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
lesniewski-mereology | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
libhyps | 1.0.1 | 17 s | 19 s | 19 s | NC | NC | NC | NC | Success |
1.0.2 | 18 s | 19 s | 19 s | NC | NC | NC | NC | Success | |
2.0.1 | 17 s | 19 s | 18 s | NC | NC | NC | NC | Success | |
2.0.2 | 18 s | 17 s | 20 s | NC | NC | NC | NC | Success | |
2.0.3 | 19 s | 18 s | 20 s | NC | NC | NC | NC | Success | |
2.0.4 | 18 s | 18 s | 19 s | 18 s | 19 s | 19 s | 20 s | Success | |
2.0.5 | 18 s | 18 s | 18 s | 19 s | 18 s | 18 s | 20 s | Success | |
library-undecidability | 1.0.0+8.12 | NC | NC | NC | NC | NC | NC | NC | NC |
libvalidsdp | 0.5 | NC | NC | NC | NC | NC | NC | NC | NC |
0.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.0 | NC | NC | NC | NC | NC | 1 m 45 s | 1 m 45 s | Success | |
lin-alg | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
list-plus | 1.0.0 | 16 s | 15 s | 16 s | 15 s | 17 s | 14 s | 16 s | Success |
1.1.0 | 15 s | 16 s | 16 s | 16 s | 16 s | 17 s | 19 s | Success | |
list-string | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
2.0.0 | 22 s | 20 s | 24 s | NC | NC | NC | NC | Success | |
2.1.0 | 22 s | 21 s | 23 s | NC | NC | NC | NC | Success | |
2.1.1 | 21 s | 23 s | 22 s | NC | NC | NC | NC | Success | |
2.1.2 | 20 s | 24 s | 22 s | 22 s | 23 s | 25 s | 20 s | Success | |
ltac-iter | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
ltac2 | 0.1 | NC | NC | NC | NC | NC | NC | NC | NC |
0.1-8.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
ltl | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
maple-mode | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
markov | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
math-classes | 1.0.3 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.6 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.7 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.12.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.13.0 | 7 m 40 s | 8 m 2 s | 8 m 18 s | 7 m 9 s | 7 m 10 s | NC | NC | Success | |
8.15.0 | 8 m 23 s | 8 m 1 s | 8 m 20 s | 7 m 8 s | 8 m 25 s | 6 m 53 s | 7 m 3 s | Success | |
mathcomp-abel | 1.0.0 | 5 m 24 s | 5 m 35 s | 5 m 38 s | NC | NC | NC | NC | Success |
1.2.0 | 4 m 43 s | 5 m 10 s | 5 m 8 s | 4 m 49 s | 5 m 22 s | 4 m 34 s | 4 m 36 s | Success | |
mathcomp-algebra | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 5 m 2 s | 5 m 29 s | 5 m 21 s | 5 m 39 s | 5 m 13 s | NC | NC | Success | |
1.13.0 | 5 m 17 s | 5 m 0 s | 5 m 7 s | 5 m 14 s | 5 m 28 s | 4 m 53 s | 4 m 19 s | Success | |
1.14.0 | 5 m 8 s | 5 m 30 s | 5 m 4 s | 5 m 6 s | 5 m 25 s | 4 m 41 s | 4 m 53 s | Success | |
mathcomp-algebra-tactics | 0.1.0 | NC | NC | NC | NC | NC | NC | BL | BL |
0.2.0 | NC | NC | NC | NC | NC | 24 s | 23 s | Success | |
0.3.0 | NC | NC | NC | NC | NC | 27 s | 29 s | Success | |
1.0.0 | NC | NC | NC | 25 s | Success | ||||
mathcomp-analysis | 0.1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
0.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.2.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
0.3.4 | BL | BL | BL | BL | BL | BL | BL | BL | |
0.3.5 | NC | NC | BL | BL | BL | BL | BL | BL | |
0.3.6 | NC | NC | BL | BL | BL | BL | BL | BL | |
0.3.7 | NC | NC | BL | NC | NC | BL | NC | BL | |
0.3.8 | NC | NC | BL | NC | NC | BL | NC | BL | |
0.3.9 | NC | NC | BL | NC | NC | BL | NC | BL | |
0.3.10 | NC | NC | BL | NC | BL | NC | NC | BL | |
0.3.11 | NC | NC | BL | BL | BL | NC | NC | BL | |
0.3.12 | NC | NC | BL | BL | BL | NC | NC | BL | |
0.3.13 | NC | NC | NC | NC | NC | 11 m 18 s | 9 m 24 s | Success | |
0.4.0 | NC | NC | NC | NC | NC | 20 m 0 s | 21 m 18 s | Success | |
0.5.0 | NC | NC | NC | NC | NC | 21 m 1 s | 21 m 8 s | Success | |
mathcomp-apery | 1.0.1 | 23 m 59 s | 24 m 8 s | 26 m 10 s | 22 m 7 s | 24 m 1 s | 22 m 12 s | 20 m 49 s | Success |
1.0.2 | NC | NC | NC | NC | |||||
mathcomp-bigenough | 1.0.0 | 15 s | 16 s | 16 s | 15 s | 17 s | NC | NC | Success |
1.0.1 | 15 s | 14 s | 15 s | 15 s | 15 s | 14 s | 16 s | Success | |
mathcomp-character | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 5 m 39 s | 5 m 33 s | 6 m 11 s | 5 m 41 s | 5 m 44 s | NC | NC | Success | |
1.13.0 | 5 m 42 s | 5 m 29 s | 6 m 28 s | 6 m 35 s | 5 m 57 s | 5 m 54 s | 5 m 43 s | Success | |
1.14.0 | 6 m 10 s | 5 m 37 s | 6 m 1 s | 5 m 46 s | 6 m 5 s | 5 m 31 s | 5 m 27 s | Success | |
mathcomp-dioid | 0.1 | 23 s | 27 s | 25 s | NC | NC | NC | NC | Success |
0.2 | NC | NC | NC | NC | NC | NC | BL | BL | |
mathcomp-field | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 8 m 29 s | 9 m 17 s | 8 m 22 s | 8 m 21 s | 8 m 31 s | NC | NC | Success | |
1.13.0 | 9 m 33 s | 8 m 47 s | 8 m 27 s | 7 m 51 s | 8 m 40 s | 8 m 0 s | 7 m 43 s | Success | |
1.14.0 | 8 m 24 s | 8 m 44 s | 8 m 13 s | 8 m 36 s | 8 m 41 s | 8 m 24 s | 8 m 16 s | Success | |
mathcomp-field-extra | 1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC |
mathcomp-fingroup | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 2 m 3 s | 1 m 59 s | 1 m 59 s | 1 m 56 s | 1 m 56 s | NC | NC | Success | |
1.13.0 | 1 m 59 s | 1 m 53 s | 2 m 6 s | 1 m 54 s | 2 m 7 s | 1 m 49 s | 1 m 48 s | Success | |
1.14.0 | 2 m 6 s | 1 m 51 s | 1 m 58 s | 1 m 59 s | 1 m 57 s | 1 m 55 s | 1 m 48 s | Success | |
mathcomp-finmap | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.0+coq-8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.1 | 1 m 20 s | 1 m 10 s | 1 m 21 s | 1 m 26 s | 1 m 22 s | 1 m 17 s | 1 m 14 s | Success | |
mathcomp-multinomials | 1.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.5.4 | 1 m 16 s | 1 m 7 s | 1 m 18 s | 1 m 10 s | 1 m 16 s | NC | NC | Success | |
1.5.5 | 1 m 21 s | 1 m 23 s | 1 m 21 s | 1 m 14 s | 1 m 16 s | 1 m 11 s | 1 m 2 s | Success | |
mathcomp-odd-order | 1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 41 m 35 s | 39 m 0 s | 41 m 47 s | 41 m 49 s | 39 m 59 s | NC | NC | Success | |
1.13.0 | 41 m 7 s | 40 m 48 s | 41 m 38 s | 39 m 9 s | 39 m 51 s | 41 m 21 s | 36 m 18 s | Success | |
mathcomp-real-closed | 1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.3 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.1.2 | 3 m 31 s | 3 m 13 s | 3 m 19 s | 3 m 15 s | 3 m 28 s | 3 m 5 s | 3 m 14 s | Success | |
mathcomp-solvable | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 7 m 13 s | 6 m 40 s | 6 m 13 s | 7 m 8 s | 6 m 46 s | NC | NC | Success | |
1.13.0 | 6 m 58 s | 6 m 42 s | 6 m 25 s | 6 m 31 s | 6 m 22 s | 6 m 45 s | 6 m 25 s | Success | |
1.14.0 | 6 m 48 s | 6 m 38 s | 7 m 35 s | 7 m 8 s | 7 m 4 s | 6 m 13 s | 6 m 14 s | Success | |
mathcomp-ssreflect | 1.6 | NC | NC | NC | NC | NC | NC | NC | NC |
1.6.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.2 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.6.4 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.11.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.12.0 | 2 m 3 s | 2 m 6 s | 2 m 8 s | 1 m 58 s | 2 m 6 s | NC | NC | Success | |
1.13.0 | 2 m 14 s | 2 m 23 s | 2 m 10 s | 2 m 16 s | 2 m 3 s | 2 m 8 s | 1 m 55 s | Success | |
1.14.0 | 2 m 4 s | 2 m 15 s | 2 m 17 s | 2 m 21 s | 2 m 15 s | 2 m 12 s | 2 m 10 s | Success | |
mathcomp-sum-of-two-square | 1.0.0 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0.1 | NC | NC | NC | NC | NC | NC | NC | NC | |
mathcomp-tarjan | 1.0.0 | 1 m 58 s | 1 m 55 s | 2 m 4 s | 1 m 54 s | 2 m 2 s | NC | NC | Success |
mathcomp-zify | 1.0.0+1.12+8.13 | 44 s | 42 s | 46 s | 29 s | 32 s | 31 s | 28 s | Success |
1.1.0+1.12+8.13 | 50 s | 48 s | 51 s | 32 s | 35 s | 31 s | 30 s | Success | |
1.2.0+1.12+8.13 | 47 s | 48 s | 46 s | 33 s | 34 s | 33 s | 28 s | Success | |
maths | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
matrices | 8.5.0 | NC | NC | NC | NC | NC | NC | NC | NC |
8.6.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.7.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.8.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.9.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
8.10.0 | NC | NC | NC | NC | NC | NC | NC | NC | |
menhirlib | 20190613 | NC | NC | NC | NC | NC | NC | NC | NC |
20190620 | NC | NC | NC | NC | NC | NC | NC | NC | |
20190626 | NC | NC | NC | NC | NC | NC | NC | NC | |
20190924 | NC | NC | NC | NC | NC | NC | NC | NC | |
20200123 | NC | NC | NC | NC | NC | NC | NC | NC | |
20200211 | NC | NC | NC | NC | NC | NC | NC | NC | |
20200525 | 34 s | 38 s | 39 s | NC | NC | NC | NC | Success | |
20200612 | 39 s | 34 s | 36 s | NC | NC | NC | NC | Success | |
20200619 | 34 s | 39 s | 41 s | NC | NC | NC | NC | Success | |
20200624 | 34 s | 35 s | 37 s | NC | NC | NC | NC | Success | |
20201122 | 36 s | 37 s | 32 s | NC | NC | NC | NC | Success | |
20201201 | 39 s | 34 s | 38 s | NC | NC | NC | NC | Success | |
20201214 | 36 s | 38 s | 34 s | NC | NC | NC | NC | Success | |
20201216 | 35 s | 33 s | 36 s | NC | NC | NC | NC | Success | |
20210310 | 36 s | 36 s | 36 s | 34 s | 37 s | 36 s | 33 s | Success | |
20210419 | 36 s | 34 s | 40 s | 33 s | 35 s | 35 s | 35 s | Success | |
20210928 | 35 s | 37 s | 39 s | 36 s | 33 s | 33 s | 36 s | Success | |
20210929 | 34 s | 35 s | 36 s | 35 s | 35 s | 35 s | 35 s | Success | |
20211012 | 37 s | 36 s | 37 s | 39 s | 37 s | 35 s | 31 s | Success | |
20211125 | 39 s | 33 s | 36 s | 34 s | 35 s | 36 s | 35 s | Success | |
20211128 | 34 s | 38 s | 37 s | 37 s | 34 s | 36 s | 35 s | Success | |
20211230 | 37 s | 40 s | 36 s | 36 s | 37 s | 41 s | 38 s | Success | |
20220210 | 37 s | 40 s | 38 s | 37 s | 41 s | 38 s | 35 s | Success | |
metacoq | 1.0~alpha1+8.8 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0~alpha1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.13 | NC | NC | NC | NC | NC | NC | NC | NC | |
metacoq-checker | 1.0~alpha1+8.8 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0~alpha1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
metacoq-erasure | 1.0~alpha1+8.8 | NC | NC | NC | NC | NC | NC | NC | NC |
1.0~alpha1+8.9 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.10 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~alpha2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta1+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.11 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.12 | NC | NC | NC | NC | NC | NC | NC | NC | |
1.0~beta2+8.13 | NC | NC | NC | NC | NC | NC | NC | NC | |
metacoq-pcuic | 1.0~alpha1+8.8 | NC | NC | NC |