« Up

Released 1595 packages

Linux, x86_64, OCaml 4.07.1, Opam 2.0.1

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
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