« Up

Extra-dev 1298 packages

Linux, x86_64, OCaml 4.09.0, Opam 2.0.5

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

Sources are on GitHub. © Guillaume Claret.