« Up

Released 1595 packages

Linux, x86_64, OCaml 4.02.3, Opam 2.0.1

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

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