Linux, x86_64, OCaml 4.07.1, Opam 2.0.1
The summary column gives the worst case for each row. Colors:
8.10.0 | summary | ||
Name | Version | 1228 365 1 1 | 1228 365 1 1 |
aac-tactics | 8.5.0 | NC | NC |
8.5.1 | NC | NC | |
8.6.1 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 41 s | Success | |
8.11.0 | NC | NC | |
8.12.0 | NC | NC | |
abp | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
additions | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 58 s | Success | |
ails | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 8 s | Success | |
alea | 8.11.0 | NC | NC |
algebra | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 55 s | Success | |
algorand | 1.2 | NC | NC |
1.3 | NC | NC | |
almost-full | 8.12.0 | 39 s | Success |
amm11262 | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
angles | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 26 s | Success | |
antivalence | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
area-method | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
atbr | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 9 m 18 s | Success | |
8.11.0 | NC | NC | |
automata | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 24 s | Success | |
axiomatic-abp | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 25 s | Success | |
bbv | 1.0 | NC | NC |
1.1 | 1 m 37 s | Success | |
bdds | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 59 s | Success | |
bellantonicook | 1.0.0 | NC | NC |
bertrand | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 46 s | Success | |
8.11.0 | 51 s | Success | |
bignums | 8.6.0 | NC | NC |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 3 m 20 s | Success | |
8.11.0 | NC | NC | |
8.12.0 | NC | NC | |
bits | 1.0.0 | 1 m 6 s | Success |
buchberger | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 28 s | Success | |
8.11.0 | 1 m 27 s | Success | |
bytestring | 0.9.0 | NC | NC |
canon-bdds | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 36 s | Success | |
cantor | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 11 s | Success | |
cats-in-zfc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 3 m 36 s | Success | |
ccs | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 10 s | Success | |
cecoa | 1.0.0 | NC | NC |
ceramist | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
ceres | 0.1.0 | 22 s | Success |
0.2.0 | 24 s | Success | |
cfgv | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 5 m 13 s | Success | |
cfml | 20180525 | NC | NC |
20181201 | 1 m 51 s | Success | |
chapar | 8.9.0 | NC | NC |
8.10.0 | 8 m 25 s | Success | |
8.11.0 | 13 m 37 s | Success | |
charge-core | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
checker | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 13 s | Success | |
chick-blog | 1.0.0 | NC | NC |
1.0.1 | 29 s | Success | |
chinese | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 28 s | Success | |
circuits | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 25 s | Success | |
classical-realizability | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
coalgebras | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 35 s | Success | |
coinductive-examples | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 10 s | Success | |
coinductive-reals | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 3 m 38 s | Success | |
color | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.3.0 | NC | NC | |
1.4.0 | NC | NC | |
1.5.0 | NC | NC | |
1.6.0 | NC | NC | |
1.7.0 | 21 m 11 s | Success | |
compcert | 2.0.0 | NC | NC |
2.3.2 | NC | NC | |
2.4.0 | NC | NC | |
2.5.0 | NC | NC | |
2.6.0 | NC | NC | |
2.7.1 | NC | NC | |
3.0.0 | NC | NC | |
3.0.1 | NC | NC | |
3.1.0 | NC | NC | |
3.2.0 | NC | NC | |
3.3.0 | NC | NC | |
3.4 | NC | NC | |
3.5 | NC | NC | |
3.5+8.10 | 26 m 4 s | Success | |
3.6 | 37 m 39 s | Success | |
3.6+8.11 | NC | NC | |
3.7~coq-platform | 23 m 29 s | Success | |
3.7~coq-platform~open-source | 11 m 42 s | Success | |
3.7 | 35 m 24 s | Success | |
3.7+8.12~coq_platform~open_source | NC | NC | |
3.7+8.12~coq_platform | NC | NC | |
compcert-64 | 3.7~coq-platform | 16 m 7 s | Success |
3.7~coq-platform~open-source | 10 m 24 s | Success | |
3.7 | 35 m 26 s | Success | |
3.7+8.12~coq_platform~open_source | NC | NC | |
3.7+8.12~coq_platform | NC | NC | |
concat | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 57 s | Success | |
concurrency-pluto | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
concurrency-proxy | 1.0.0 | NC | NC |
concurrency-system | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
constructive-geometry | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 11 s | Success | |
constructors | 1.0.0 | NC | NC |
containers | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
continuations | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 29 s | Success | |
coq-in-coq | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 47 s | Success | |
coq2html | 1.0 | 13 s | Success |
1.1 | 15 s | Success | |
1.2 | 8 s | Success | |
coqeal | 1.0.0 | NC | NC |
1.0.1 | 6 m 1 s | Success | |
1.0.2 | 4 m 45 s | Success | |
1.0.3 | 8 m 13 s | Success | |
1.0.4 | 8 m 19 s | Success | |
coqeal-refinements | 0.9.1 | NC | NC |
coqeal-theory | 0.9.1 | NC | NC |
coqoban | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
8.11.0 | 17 s | Success | |
coqprime | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
1.0.2 | NC | NC | |
1.0.3 | 3 m 46 s | Success | |
1.0.4 | 2 m 18 s | Success | |
1.0.5 | 3 m 4 s | Success | |
1.0.6 | NC | NC | |
coqrel | 0.1.0 | NC | NC |
coquelicot | 2.0.1 | NC | NC |
2.1.0 | NC | NC | |
2.1.1 | NC | NC | |
2.1.2 | NC | NC | |
3.0.2 | NC | NC | |
3.0.3 | 3 m 34 s | Success | |
3.0.3+8.11 | NC | NC | |
3.1.0 | 3 m 48 s | Success | |
corn | 1.0.0 | NC | NC |
1.2.0 | NC | NC | |
8.8.1 | NC | NC | |
8.12.0 | 1 h 15 m | Success | |
counting | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
cours-de-coq | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 21 s | Success | |
ctltctl | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 13 s | Success | |
cunit | 1.0.0 | 10 s | Success |
cybele | 1.3.0 | NC | NC |
dblib | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
demos | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 11 s | Success | |
dep-map | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 31 s | Success | |
descente-infinie | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
dictionaries | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 13 s | Success | |
disel | 2.0 | NC | NC |
2.1 | 1 m 29 s | Success | |
2.2 | 1 m 4 s | Success | |
disel-examples | 2.1 | 3 m 16 s | Success |
2.2 | 3 m 50 s | Success | |
distributed-reference-counting | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 4 s | Success | |
domain-theory | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
dpdgraph | 0.4 | NC | NC |
0.5 | NC | NC | |
0.5.1 | NC | NC | |
0.6 | NC | NC | |
0.6.1 | NC | NC | |
0.6.2 | NC | NC | |
0.6.3 | NC | NC | |
0.6.4 | NC | NC | |
0.6.5 | NC | NC | |
0.6.6 | 17 s | Success | |
0.6.7 | NC | NC | |
0.6.8 | NC | NC | |
elpi | 1.0.0 | 2 m 55 s | Success |
1.1.0 | 2 m 44 s | Success | |
1.2.0 | 3 m 20 s | Success | |
1.3.0 | 4 m 59 s | Success | |
1.3.1 | NC | NC | |
1.4.0 | NC | NC | |
1.4.1 | NC | NC | |
1.5.0 | NC | NC | |
1.5.1 | NC | NC | |
1.6.0~8.11 | NC | NC | |
1.6.0 | NC | NC | |
equations | 1.0~beta2 | NC | NC |
1.0~beta2+8.7 | NC | NC | |
1.0 | NC | NC | |
1.0+8.7 | NC | NC | |
1.0+8.8 | NC | NC | |
1.1+8.8 | NC | NC | |
1.2~beta2+8.8 | NC | NC | |
1.2~beta2+8.9 | NC | NC | |
1.2~beta+8.8 | NC | NC | |
1.2~beta+8.9 | NC | NC | |
1.2+8.8 | NC | NC | |
1.2+8.9 | NC | NC | |
1.2+8.10 | 46 s | Success | |
1.2.1+8.9 | NC | NC | |
1.2.1+8.10 | 47 s | Success | |
1.2.1+8.11 | NC | NC | |
1.2.2+8.11 | NC | NC | |
1.2.3+8.11 | NC | NC | |
1.2.3+8.12 | NC | NC | |
ergo | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
error-handlers | 1.0.0 | 13 s | Success |
1.1.0 | 13 s | Success | |
1.1.1 | 10 s | Success | |
1.2.0 | 9 s | Success | |
euclidean-geometry | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 30 s | Success | |
euler-formula | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 39 s | Success | |
exact-real-arithmetic | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 9 s | Success | |
exceptions | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
ext-lib | 0.9.0~beta3 | NC | NC |
0.9.0 | NC | NC | |
0.9.1 | NC | NC | |
0.9.2 | NC | NC | |
0.9.3 | NC | NC | |
0.9.4 | NC | NC | |
0.9.5 | NC | NC | |
0.9.6 | NC | NC | |
0.9.7 | NC | NC | |
0.9.8 | NC | NC | |
0.10.0 | NC | NC | |
0.10.1 | NC | NC | |
0.10.2 | NC | NC | |
0.10.3 | 1 m 37 s | Success | |
0.11.0 | 1 m 13 s | Success | |
0.11.1 | 57 s | Success | |
0.11.2 | 1 m 2 s | Success | |
extensible-records | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
extructures | 0.1.0 | NC | NC |
0.2.0 | NC | NC | |
0.2.1 | 42 s | Success | |
0.2.2 | 44 s | Success | |
fairisle | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 22 s | Success | |
fcsl-pcm | 1.0.0 | NC | NC |
1.1.0 | 1 m 4 s | Success | |
1.1.1 | 1 m 33 s | Success | |
1.2.0 | 1 m 23 s | Success | |
fermat4 | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 42 s | Success | |
finger-tree | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 45 s | Success | |
firing-squad | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.10.0 | 41 s | Success | |
float | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 27 s | Success | |
flocq | 2.2.0 | NC | NC |
2.3.0 | NC | NC | |
2.4.0 | NC | NC | |
2.5.2 | NC | NC | |
2.6.1 | NC | NC | |
3.0.0 | NC | NC | |
3.1.0 | NC | NC | |
3.2.0 | 23 m 45 s | Success | |
3.2.0+8.11 | NC | NC | |
3.2.1 | 21 m 11 s | Success | |
3.3.0 | 24 m 10 s | Success | |
3.3.1 | 14 m 30 s | Success | |
flocq-quickchick | 1.0.0 | NC | NC |
1.0.1 | 17 s | Success | |
1.0.2 | NC | NC | |
founify | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
fourcolor | 1.2 | NC | NC |
1.2.1 | 1 h 28 m | Success | |
1.2.2 | 54 m 0 s | Success | |
fpmods | 0.2.0 | NC | NC |
free-groups | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 12 s | Success | |
fsets | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 6 m 10 s | Success | |
fssec-model | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 10 s | Success | |
function-ninjas | 1.0.0 | 9 s | Success |
functional-algebra | 1.0.2 | 45 s | Success |
functions-in-zfc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 14 s | Success | |
fundamental-arithmetics | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 31 s | Success | |
gaia | 1.11 | 34 m 11 s | Success |
games | 0.1.0 | 2 m 48 s | Success |
gappa | 1.2.1 | NC | NC |
1.3.2 | NC | NC | |
1.3.3 | NC | NC | |
1.3.4 | NC | NC | |
1.4.0 | NC | NC | |
1.4.1 | NC | NC | |
1.4.2 | NC | NC | |
1.4.2+8.11 | NC | NC | |
1.4.3 | 1 m 37 s | Success | |
1.4.4 | 1 m 21 s | Success | |
gc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 52 s | Success | |
generic-environments | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
geocoq | 1.0.1 | NC | NC |
1.1.0 | NC | NC | |
2.0.0 | NC | NC | |
2.1.0 | NC | NC | |
2.2.0 | NC | NC | |
2.2.1 | NC | NC | |
2.3.0 | NC | NC | |
2.4.0 | NC | NC | |
geocoq-axioms | 2.4.0 | NC | NC |
geocoq-coinc | 2.4.0 | NC | NC |
geocoq-elements | 2.4.0 | NC | NC |
geocoq-main | 2.4.0 | NC | NC |
geocoq-pof | 2.4.0 | NC | NC |
geometric-algebra | 0.8.8 | 2 m 4 s | Success |
0.8.11 | NC | NC | |
0.8.12 | NC | NC | |
goedel | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 23 s | Success | |
graph-basics | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 29 s | Success | |
graph-theory | 0.7 | 7 m 56 s | Success |
graphs | 8.6.0 | NC | NC |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 17 s | Success | |
group-theory | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
groups | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 14 s | Success | |
hammer | 1.0.3 | NC | NC |
1.0.8+8.7 | NC | NC | |
1.0.9+8.8.0 | NC | NC | |
1.0.9+8.8.1 | NC | NC | |
1.1+8.8 | NC | NC | |
1.1+8.9 | NC | NC | |
1.1.1+8.9 | NC | NC | |
1.1.1+8.10 | 35 s | Success | |
1.2+8.10 | 22 s | Success | |
1.2+8.11 | NC | NC | |
1.2.1+8.10 | 21 s | Success | |
1.2.1+8.11 | NC | NC | |
1.3+8.10 | 31 s | Success | |
1.3+8.11 | NC | NC | |
1.3+8.12 | NC | NC | |
hammer-tactics | 1.1.1+8.9 | NC | NC |
1.1.1+8.10 | 9 s | Success | |
1.2+8.10 | 38 s | Success | |
1.2+8.11 | NC | NC | |
1.2.1+8.10 | 25 s | Success | |
1.2.1+8.11 | NC | NC | |
1.3+8.10 | 24 s | Success | |
1.3+8.11 | NC | NC | |
1.3+8.12 | NC | NC | |
hardware | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 46 s | Success | |
hedges | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
hierarchy-builder | 0.9.0 | 1 m 35 s | Success |
0.9.1 | NC | NC | |
0.10.0 | NC | NC | |
high-school-geometry | 1.0.0 | NC | NC |
8.6.0 | NC | NC | |
8.11.0 | NC | NC | |
higman-cf | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 23 s | Success | |
higman-nw | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 17 s | Success | |
higman-s | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 16 s | Success | |
historical-examples | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 13 s | Success | |
hoare-tut | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.11.1 | 18 s | Success | |
hott | 8.7 | NC | NC |
8.8 | NC | NC | |
8.9 | NC | NC | |
8.10 | 12 m 17 s | Success | |
8.11 | NC | NC | |
huffman | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 55 s | Success | |
8.11.0 | 58 s | Success | |
8.12.0 | 54 s | Success | |
icharate | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 19 s | Success | |
idxassoc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 14 s | Success | |
ieee754 | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
improper-integrals | 0.1.0 | NC | NC |
infotheo | 0.0.1 | NC | NC |
0.0.3 | NC | NC | |
0.0.4 | NC | NC | |
0.0.5 | 24 m 0 s | Success | |
0.0.6 | 23 m 59 s | Success | |
0.0.7 | 24 m 47 s | Success | |
0.1 | 23 m 4 s | Success | |
0.1.1 | NC | NC | |
0.1.2 | NC | NC | |
int-map | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 39 s | Success | |
interval | 2.2.1 | NC | NC |
3.1.1 | NC | NC | |
3.2.0 | NC | NC | |
3.3.0 | NC | NC | |
3.4.0 | NC | NC | |
3.4.1 | 2 m 55 s | Success | |
3.4.1+8.11 | NC | NC | |
3.4.2 | 2 m 29 s | Success | |
4.0.0 | 6 m 11 s | Success | |
intuitionistic-nuprl | 8.6.0 | NC | NC |
io | 2.0.0 | 9 s | Success |
2.1.0 | 13 s | Success | |
3.0.0 | 26 s | Success | |
3.1.0 | 14 s | Success | |
3.2.0 | NC | NC | |
3.3.0 | NC | NC | |
4.0.0 | 12 s | Success | |
io-evaluate | 1.0.0 | NC | NC |
io-exception | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
io-hello-world | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | 11 s | Success | |
io-list | 1.0.0 | 10 s | Success |
1.1.0 | 12 s | Success | |
io-system | 2.0.0 | NC | NC |
2.1.0 | 20 s | Success | |
2.2.0 | NC | NC | |
2.3.0 | 15 s | Success | |
2.4.0 | NC | NC | |
2.4.1 | 13 s | Success | |
io-system-ocaml | 2.0.0 | NC | NC |
2.1.0 | NC | NC | |
2.2.0 | NC | NC | |
2.3.0 | NC | NC | |
2.3.1 | 9 s | Success | |
ipc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 33 s | Success | |
iris | 3.0.0 | NC | NC |
3.1.0 | NC | NC | |
3.2.0 | 26 m 42 s | Success | |
3.3.0 | 23 m 6 s | Success | |
iris-string-ident | 0.1.0 | NC | NC |
iterable | 1.0.0 | 14 s | Success |
itree | 1.0.0 | NC | NC |
2.0.0 | NC | NC | |
3.0.0 | 5 m 3 s | Success | |
3.1.0 | 4 m 35 s | Success | |
3.2.0 | 4 m 59 s | Success | |
izf | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 12 s | Success | |
jmlcoq | 8.12.0 | 1 m 21 s | Success |
jordan-curve-theorem | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 11 m 5 s | Success | |
jprover | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
jsast | 1.0.7 | NC | NC |
1.0.8 | NC | NC | |
1.0.9 | NC | NC | |
2.0.0 | NC | NC | |
karatsuba | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 35 s | Success | |
kildall | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 52 s | Success | |
label | 1.0.0 | NC | NC |
lambda | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 29 s | Success | |
lambek | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 39 s | Success | |
lazy-pcf | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
lc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
legacy-ring | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
lemma-overloading | 8.8.0 | NC | NC |
8.9.0 | NC | NC | |
8.10.0 | 1 m 25 s | Success | |
8.11.0 | 1 m 16 s | Success | |
8.12.0 | 1 m 17 s | Success | |
lens | 1.0.0 | NC | NC |
lesniewski-mereology | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 17 s | Success | |
libhyps | 1.0.1 | 18 s | Success |
libvalidsdp | 0.5 | NC | NC |
0.6.0 | 1 m 36 s | Success | |
0.7.0 | 1 m 37 s | Success | |
lin-alg | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
list-plus | 1.0.0 | 10 s | Success |
1.1.0 | 14 s | Success | |
list-string | 1.0.0 | NC | NC |
2.0.0 | 23 s | Success | |
2.1.0 | 16 s | Success | |
2.1.1 | 19 s | Success | |
2.1.2 | 15 s | Success | |
ltac-iter | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.1.1 | NC | NC | |
1.1.2 | NC | NC | |
ltac2 | 0.1 | NC | NC |
0.1-8.7 | NC | NC | |
0.2 | NC | NC | |
0.3 | 20 s | Success | |
ltl | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 9 s | Success | |
maple-mode | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
markov | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 11 s | Success | |
math-classes | 1.0.3 | NC | NC |
1.0.4 | NC | NC | |
1.0.5 | NC | NC | |
1.0.6 | NC | NC | |
1.0.7 | NC | NC | |
8.8.1 | NC | NC | |
8.9.1 | 7 m 13 s | Success | |
8.11.0 | 7 m 38 s | Success | |
8.12.0 | 10 m 10 s | Success | |
mathcomp-algebra | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 7 m 22 s | Success | |
1.10.0 | 4 m 45 s | Success | |
1.11.0 | 4 m 18 s | Success | |
mathcomp-analysis | 0.1.0 | NC | NC |
0.2.0 | NC | NC | |
0.2.2 | 7 m 45 s | Success | |
0.2.3 | 5 m 2 s | Success | |
0.3.1 | 9 m 28 s | Success | |
0.3.2 | 11 m 21 s | Success | |
mathcomp-bigenough | 1.0.0 | 15 s | Success |
mathcomp-character | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 8 m 19 s | Success | |
1.10.0 | 8 m 36 s | Success | |
1.11.0 | 8 m 11 s | Success | |
mathcomp-dioid | 0.1 | 25 s | Success |
mathcomp-field | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 10 m 23 s | Success | |
1.10.0 | 10 m 17 s | Success | |
1.11.0 | 7 m 55 s | Success | |
mathcomp-field-extra | 1.6.1 | NC | NC |
mathcomp-fingroup | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 2 m 1 s | Success | |
1.10.0 | 2 m 1 s | Success | |
1.11.0 | 2 m 20 s | Success | |
mathcomp-finmap | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | 1 m 2 s | Success | |
1.3.1 | 1 m 43 s | Success | |
1.3.3 | 1 m 43 s | Success | |
1.3.4 | 1 m 39 s | Success | |
1.4.0 | 1 m 49 s | Success | |
1.4.0+coq-8.11 | NC | NC | |
1.4.1 | 1 m 18 s | Success | |
1.5.0 | 1 m 30 s | Success | |
mathcomp-multinomials | 1.0 | NC | NC |
1.1 | NC | NC | |
1.2 | NC | NC | |
1.3 | 1 m 43 s | Success | |
1.4 | 1 m 35 s | Success | |
1.5 | 1 m 7 s | Success | |
1.5.2 | 1 m 41 s | Success | |
mathcomp-odd-order | 1.6.1 | NC | NC |
1.6.2 | NC | NC | |
1.7.0 | NC | NC | |
1.10.0 | 39 m 56 s | Success | |
mathcomp-real-closed | 1.0.1 | NC | NC |
1.0.2 | NC | NC | |
1.0.3 | 5 m 11 s | Success | |
1.0.4 | 4 m 42 s | Success | |
1.1.1 | 5 m 15 s | Success | |
mathcomp-solvable | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 8 m 44 s | Success | |
1.10.0 | 6 m 46 s | Success | |
1.11.0 | 8 m 29 s | Success | |
mathcomp-ssreflect | 1.6 | NC | NC |
1.6.1 | NC | NC | |
1.6.2 | NC | NC | |
1.6.4 | NC | NC | |
1.7.0 | NC | NC | |
1.8.0 | NC | NC | |
1.9.0 | 1 m 59 s | Success | |
1.10.0 | 2 m 12 s | Success | |
1.11.0 | 2 m 45 s | Success | |
mathcomp-sum-of-two-square | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
maths | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
matrices | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
menhirlib | 20190613 | NC | NC |
20190620 | NC | NC | |
20190626 | NC | NC | |
20190924 | 58 s | Success | |
20200123 | 41 s | Success | |
20200211 | 45 s | Success | |
20200525 | 26 s | Success | |
20200612 | 42 s | Success | |
20200619 | 25 s | Success | |
20200624 | 45 s | Success | |
metacoq | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 9 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-checker | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 10 m 11 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-erasure | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 7 m 24 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-pcuic | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 16 m 21 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-safechecker | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 6 m 56 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-template | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 7 m 0 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
metacoq-translations | 1.0~alpha1+8.8 | NC | NC |
1.0~alpha1+8.9 | NC | NC | |
1.0~alpha2+8.10 | 2 m 9 s | Success | |
1.0~alpha2+8.11 | NC | NC | |
min-imports | 1.0.0 | 19 s | Success |
1.0.1 | 27 s | Success | |
1.0.2 | 12 s | Success | |
mini-compiler | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 15 s | Success | |
minic | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
miniml | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
mirror-core | 1.0.1 | NC | NC |
1.0.2 | NC | NC | |
mod-red | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 54 s | Success | |
moment | 1.0.0 | NC | NC |
1.1.0 | 22 s | Success | |
1.2.0 | 22 s | Success | |
monae | 0.0.1 | NC | NC |
0.0.2 | NC | NC | |
0.0.3 | 4 m 48 s | Success | |
0.0.4 | 2 m 41 s | Success | |
0.0.6 | 3 m 12 s | Success | |
0.1 | 5 m 29 s | Success | |
0.1.1 | NC | NC | |
0.1.2 | NC | NC | |
msets-extra | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
mtac | 1.3.0 | NC | NC |
mtac2 | 1.0.0+8.7 | NC | NC |
1.0.1+8.8 | NC | NC | |
1.1+8.8 | NC | NC | |
1.1+8.9 | NC | NC | |
1.1+8.10 | 2 m 6 s | Success | |
multiplier | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
mutual-exclusion | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
nfix | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
of-ocaml | 1.1.1 | NC | NC |
1.2.1 | NC | NC | |
2.0.0 | 1 m 9 s | Success | |
2.1.0 | NC | NC | |
ollibs | 2.0.0 | NC | NC |
opam-website | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | NC | NC | |
1.3.0 | NC | NC | |
1.3.1 | NC | NC | |
1.3.2 | NC | NC | |
1.4.0 | NC | NC | |
orb-stab | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
ott | 0.26 | NC | NC |
0.27 | NC | NC | |
0.28 | NC | NC | |
0.29 | 19 s | Success | |
0.30 | 28 s | Success | |
otway-rees | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 24 s | Success | |
paco | 1.2.8 | NC | NC |
1.2.9 | NC | NC | |
2.0.0 | NC | NC | |
2.0.1 | NC | NC | |
2.0.2 | NC | NC | |
2.0.3 | NC | NC | |
2.1.0 | NC | NC | |
3.0.0 | NC | NC | |
4.0.0 | 2 m 5 s | Success | |
paradoxes | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
param-pi | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 17 s | Success | |
paramcoq | 1.0.5 | NC | NC |
1.0.6 | NC | NC | |
1.0.9 | NC | NC | |
1.1.0 | NC | NC | |
1.1.1+coq8.7 | NC | NC | |
1.1.1+coq8.8 | NC | NC | |
1.1.1+coq8.9 | NC | NC | |
1.1.2+coq8.7 | NC | NC | |
1.1.2+coq8.8 | NC | NC | |
1.1.2+coq8.9 | NC | NC | |
1.1.2+coq8.10 | 12 s | Success | |
1.1.2+coq8.11 | NC | NC | |
1.1.2+coq8.12 | NC | NC | |
pautomata | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 45 s | Success | |
persistent-union-find | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 35 s | Success | |
pi-agm | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | NC | NC | |
1.2.2 | NC | NC | |
1.2.3 | NC | NC | |
1.2.4 | 3 m 13 s | Success | |
1.2.5 | 3 m 24 s | Success | |
1.2.6 | NC | NC | |
pi-calc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 8 s | Success | |
plouffe | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | NC | NC | |
1.3.0 | NC | NC | |
1.4.0 | NC | NC | |
plugin-utils | 1.1.0 | NC | NC |
1.2.0 | NC | NC | |
1.3.0 | NC | NC | |
pocklington | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 34 s | Success | |
poltac | 0.8.8 | 1 m 24 s | Success |
0.8.11 | NC | NC | |
0.8.12 | NC | NC | |
ppsimpl | 1.0.0 | NC | NC |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 3 m 28 s | Success | |
presburger | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 17 s | Success | |
prfx | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 50 s | Success | |
printf | 1.0.0 | NC | NC |
1.0.1 | 20 s | Success | |
1.0.2 | 33 s | Success | |
2.0.0 | NC | NC | |
procrastination | 1.0 | NC | NC |
1.1 | NC | NC | |
1.2 | NC | NC | |
projective-geometry | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 21 m 57 s | Success | |
propcalc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 18 s | Success | |
prosa | 0.4 | 11 s | Success |
pts | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 39 s | Success | |
ptsatr | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 24 s | Success | |
ptsf | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 23 s | Success | |
qarith | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
qarith-stern-brocot | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 2 m 9 s | Success | |
qcert | 1.0.4 | NC | NC |
1.0.5 | NC | NC | |
1.0.6 | NC | NC | |
1.0.7 | NC | NC | |
1.0.9 | NC | NC | |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.3.0 | NC | NC | |
1.4.0 | NC | NC | |
1.4.1 | NC | NC | |
2.0.0 | NC | NC | |
2.1.0 | NC | NC | |
quickchick | 1.0.0 | NC | NC |
1.0.1 | NC | NC | |
1.0.2 | NC | NC | |
1.1.0 | NC | NC | |
1.2.0 | 2 m 43 s | Success | |
1.2.1 | 2 m 37 s | Success | |
1.3.0 | NC | NC | |
1.3.1 | NC | NC | |
1.3.2 | NC | NC | |
1.4.0 | NC | NC | |
quicksort-complexity | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 53 s | Success | |
railroad-crossing | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 18 s | Success | |
ramsey | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 10 s | Success | |
random | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 17 s | Success | |
rational | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
record-update | 0.2.0 | 17 s | Success |
recursive-definition | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
reduction-effects | 0.1.0 | NC | NC |
0.1.1 | NC | NC | |
0.1.2 | 15 s | Success | |
reflexive-first-order | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 32 s | Success | |
regexp | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 26 s | Success | |
reglang | 1.0 | NC | NC |
1.1 | 1 m 39 s | Success | |
relation-algebra | 1.3 | NC | NC |
1.4 | NC | NC | |
1.5 | NC | NC | |
1.6 | NC | NC | |
1.7 | NC | NC | |
1.7.1 | NC | NC | |
1.7.2 | 6 m 57 s | Success | |
1.7.3 | NC | NC | |
relation-extraction | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
rem | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 18 s | Success | |
rsa | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | 24 s | Success | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
ruler-compass-geometry | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 58 s | Success | |
scev | 1.0.1 | NC | NC |
schroeder | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 14 s | Success | |
search-trees | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
semantics | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.11.1 | 1 m 8 s | Success | |
shuffle | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 15 s | Success | |
simple-io | 0.1 | 19 s | Success |
0.2 | 12 s | Success | |
1.0.0 | 18 s | Success | |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | 22 s | Success | |
1.3.0 | 29 s | Success | |
smc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 48 s | Success | |
smt-check | 1.0.0 | NC | NC |
2.0.0 | NC | NC | |
square-matrices | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 10 s | Success | |
squiggle-eq | 1.0.1 | NC | NC |
1.0.2 | NC | NC | |
1.0.3 | NC | NC | |
1.0.4 | NC | NC | |
ssreflect | 1.5.0 | NC | NC |
stalmarck | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 45 s | Success | |
8.11.0 | NC | NC | |
8.12.0 | NC | NC | |
stdpp | 1.0.0 | NC | NC |
1.1.0 | NC | NC | |
1.2.0 | NC | NC | |
1.2.1 | 4 m 52 s | Success | |
1.3.0 | 3 m 53 s | Success | |
1.4.0 | 5 m 41 s | Success | |
streams | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 14 s | Success | |
string | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
subst | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 28 s | Success | |
sudoku | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 57 s | Success | |
sum-of-two-square | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 55 s | Success | |
switch | 1.0.0 | NC | NC |
1.0.1 | Deps | Error | |
1.0.2 | NC | NC | |
tait | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 39 s | Success | |
tarski-geometry | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 53 s | Success | |
template-coq | 1.1.0~beta3 | NC | NC |
2.1~beta3 | NC | NC | |
three-gap | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 33 s | Success | |
tlc | 20161010 | NC | NC |
20171128 | NC | NC | |
20171206 | NC | NC | |
20180316 | NC | NC | |
20181116 | 3 m 1 s | Success | |
20200328 | 2 m 52 s | Success | |
topology | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 1 m 1 s | Success | |
tortoise-hare-algorithm | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 22 s | Success | |
traversable-fincontainer | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 20 s | Success | |
tree-automata | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 48 s | Success | |
tree-calculus | 1.0.0 | NC | NC |
tree-diameter | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 18 s | Success | |
typing-flags | 1.0 | NC | NC |
unicoq | 1.0.0 | NC | NC |
1.3+8.6 | NC | NC | |
1.3+8.7 | NC | NC | |
1.3+8.8 | NC | NC | |
1.3+8.9 | NC | NC | |
1.3+8.10 | 20 s | Success | |
1.3.2+8.10 | 20 s | Success | |
unimath-category-theory | 0.1.0 | NC | NC |
unimath-dedekind | 0.1.0 | NC | NC |
unimath-foundations | 0.1.0 | NC | NC |
unimath-ktheory | 0.1.0 | NC | NC |
unimath-substitution-systems | 0.1.0 | NC | NC |
unimath-tactics | 0.1.0 | NC | NC |
universe-comparator | 1.1.0 | NC | NC |
validsdp | 0.6.0 | Error | Error |
0.7.0 | 59 m 10 s | Success | |
void | 0.1.0 | 12 s | Success |
vst | 2.2 | NC | NC |
2.6 | NC | NC | |
vst-64 | 2.6 | NC | NC |
weak-up-to | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
yalla | 2.0.1 | NC | NC |
zchinese | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 19 s | Success | |
zf | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 28 s | Success | |
zfc | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 18 s | Success | |
zorns-lemma | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 33 s | Success | |
8.11.0 | 34 s | Success | |
zsearch-trees | 8.5.0 | NC | NC |
8.6.0 | NC | NC | |
8.7.0 | NC | NC | |
8.8.0 | NC | NC | |
8.9.0 | NC | NC | |
8.10.0 | 43 s | Success |