« Up

Extra-dev 1751 packages

Linux, x86_64, OCaml 4.05.0, Opam 2.0.6

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

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

Sources are on GitHub. © Guillaume Claret.