« Up

Released 376 packages

Linux, x86_64, OCaml 4.05.0, Opam 1.2.2

The best column is the best result obtained for each package. Colors:

  • Success
  • Not compatible with this Coq
  • Error with dependencies
  • Error
8.5.1 8.5.2 8.5.3 8.5.dev 8.6 8.6.1 8.6.dev 8.7.0 8.7.dev dev best
Name Version 224 53 27 78 225 51 27 79 226 52 27 79 225 53 27 79 58 220 24 74 62 222 25 75 62 224 25 73 41 245 23 73 41 244 23 76 32 243 33 76 243 31 28 85
aac-tactics 8.5.0 1 m 9 s 58 s 59 s 59 s NA NA NA NA NA NA Success
8.5.1 59 s 59 s 1 m 0 s 59 s NA NA NA NA NA NA Success
8.6.1 NA NA NA NA 55 s 55 s 56 s NA NA NA Success
abp 8.5.0 55 s 46 s 45 s 45 s NA NA NA NA NA NA Success
additions 8.5.0 1 m 21 s 1 m 10 s 1 m 11 s 1 m 11 s 1 m 1 s 1 m 2 s 1 m 3 s Error Error Error Success
ails 8.5.0 1 m 42 s 1 m 45 s 1 m 41 s 1 m 42 s 1 m 20 s 1 m 20 s 1 m 21 s Error Error Error Success
algebra 8.5.0 2 m 7 s 1 m 58 s 1 m 52 s 1 m 52 s NA NA NA NA NA NA Success
amm11262 8.5.0 56 s 58 s 57 s 56 s NA NA NA NA NA NA Success
angles 8.5.0 47 s 47 s 47 s 47 s NA NA NA NA NA NA Success
area-method 8.5.0 25 m 50 s 25 m 34 s 25 m 50 s 26 m 15 s NA NA NA NA NA NA Success
atbr 8.5.0 13 m 24 s 13 m 13 s 13 m 25 s 13 m 21 s NA NA NA NA NA NA Success
automata 8.5.0 52 s 51 s 52 s 52 s NA NA NA NA NA NA Success
axiomatic-abp 8.5.0 48 s 47 s 48 s 47 s NA NA NA NA NA NA Success
bdds 8.5.0 2 m 21 s 2 m 19 s 2 m 21 s 2 m 21 s NA NA NA NA NA NA Success
bertrand 8.5.0 2 m 0 s 1 m 59 s 2 m 1 s 2 m 2 s NA NA NA NA NA NA Success
bignums 8.6.0 NA NA NA NA 4 m 28 s 4 m 24 s 4 m 33 s NA NA NA Success
8.7.0 NA NA NA NA NA NA NA 4 m 4 s 4 m 4 s NA Success
buchberger 8.5.0 2 m 1 s 2 m 7 s 2 m 1 s 2 m 2 s NA NA NA NA NA NA Success
canon-bdds 8.5.0 58 s 1 m 1 s 58 s 58 s NA NA NA NA NA NA Success
cantor 8.5.0 1 m 52 s 1 m 47 s 1 m 45 s 1 m 45 s NA NA NA NA NA NA Success
cats-in-zfc 8.5.0 4 m 57 s 4 m 54 s 4 m 57 s 4 m 58 s NA NA NA NA NA NA Success
ccs 8.5.0 52 s 36 s 36 s 36 s NA NA NA NA NA NA Success
cfgv 8.5.0 6 m 38 s 6 m 36 s 6 m 38 s 6 m 45 s NA NA NA NA NA NA Success
charge-core 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.0.1 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.0 NA NA NA NA Error Error Error NA NA NA Error
checker 8.5.0 38 s 35 s 39 s 35 s NA NA NA NA NA NA Success
chinese 8.5.0 1 m 6 s 52 s 56 s 52 s NA NA NA NA NA NA Success
circuits 8.5.0 57 s 51 s 52 s 52 s NA NA NA NA NA NA Success
classical-realizability 8.5.0 4 m 13 s 4 m 11 s 4 m 13 s 4 m 13 s NA NA NA NA NA NA Success
coalgebras 8.5.0 1 m 0 s 54 s 54 s 54 s NA NA NA NA NA NA Success
coinductive-examples 8.5.0 38 s 38 s 37 s 37 s NA NA NA NA NA NA Success
coinductive-reals 8.5.0 5 m 24 s 5 m 12 s 5 m 21 s 5 m 22 s NA NA NA NA NA NA Success
color 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.0 Error Error Error Error NA NA NA NA NA NA Error
1.3.0 NA NA NA NA Error Error Error NA NA NA Error
1.4.0 NA NA NA NA Error Error NA Error
compcert 2.0.0 Error Error Error Error Error Error Error Error Error Error Error
2.3.2 Error Error Error Error Error Error Error Error Error Error Error
2.4.0 Error Error Error Error Error Error Error Error Error Error Error
2.5.0 Error Error Error Error Error Error Error Error Error Error Error
2.6.0 Error Error Error Error Error Error Error Error Error Error Error
2.7.1 NA 53 m 5 s 53 m 46 s 53 m 49 s NA NA NA NA NA NA Success
3.0.0 Error Error Error Error NA NA NA NA NA NA Error
3.0.1 NA NA NA NA Error NA NA NA NA NA Error
3.1.0 NA NA NA NA Error Error Error NA NA NA Error
concat 8.5.0 1 m 21 s 1 m 17 s 1 m 15 s 1 m 15 s NA NA NA NA NA NA Success
concurrency-pluto 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
concurrency-proxy 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
concurrency-system 1.0.0 47 s 47 s 48 s 47 s Error Error Error Error Error Error Success
1.1.0 48 s 47 s 48 s 48 s Error Error Error Error Error Error Success
constructive-geometry 8.5.0 38 s 37 s 38 s 41 s NA NA NA NA NA NA Success
constructors 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
containers 8.5.0 7 m 6 s 7 m 5 s 7 m 15 s 7 m 16 s NA NA NA NA NA NA Success
continuations 8.5.0 54 s 54 s 59 s 55 s NA NA NA NA NA NA Success
coq-in-coq 8.5.0 1 m 26 s 1 m 25 s 1 m 31 s 1 m 27 s NA NA NA NA NA NA Success
coq2html 1.0 35 s 35 s 36 s 35 s 35 s 35 s 39 s 36 s 36 s 36 s Success
coqeal-refinements 0.9.1 Error Error Error Error Error Error Error Error Error Error Error
coqeal-theory 0.9.1 Error Error Error Error Error Error Error Error Error Error Error
coqoban 8.5.0 39 s 39 s 39 s 39 s NA NA NA NA NA NA Success
coqprime 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.0.1 Error Error Error Error Error Error Error Error Error Error Error
coqrel 0.1.0 55 s 55 s 56 s 55 s NA NA NA NA NA NA Success
coquelicot 2.0.1 Error Error Error Error Error Error Error Error Error Error Error
2.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.1.1 5 m 25 s 5 m 22 s 5 m 25 s 5 m 27 s NA NA NA NA NA NA Success
2.1.2 5 m 25 s 5 m 22 s 5 m 25 s 5 m 27 s 3 m 51 s 4 m 2 s 3 m 50 s Error Error Error Success
3.0.0 5 m 32 s 5 m 34 s 5 m 31 s 5 m 33 s 3 m 47 s 3 m 45 s 3 m 44 s Error Error Error Success
3.0.1 5 m 50 s 5 m 35 s 5 m 31 s 5 m 34 s 3 m 47 s 3 m 44 s 3 m 45 s 4 m 3 s 3 m 49 s 3 m 55 s Success
corn 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error NA NA NA NA NA NA NA NA Error
1.2.0 NA NA NA NA Error Error Error Error Error NA Error
counting 8.5.0 36 s 36 s 37 s 39 s NA NA NA NA NA NA Success
cours-de-coq 8.5.0 40 s 40 s 40 s 43 s NA NA NA NA NA NA Success
ctltctl 8.5.0 41 s 41 s 41 s 44 s NA NA NA NA NA NA Success
cunit 1.0.0 35 s 35 s 36 s 39 s 35 s 36 s 40 s 36 s 36 s 36 s Success
cybele 1.3.0 50 s 50 s 53 s 51 s Error Error Error Error Error Error Success
dblib 8.5.0 1 m 12 s 1 m 11 s 1 m 18 s 1 m 12 s NA NA NA NA NA NA Success
8.6.0 NA NA NA NA 1 m 5 s 1 m 9 s 1 m 6 s NA NA NA Success
demos 8.5.0 41 s 41 s 44 s 41 s NA NA NA NA NA NA Success
dep-map 8.5.0 56 s 56 s 58 s 57 s NA NA NA NA NA NA Success
descente-infinie 8.5.0 37 s 37 s 37 s 37 s NA NA NA NA NA NA Success
dictionaries 8.5.0 40 s 40 s 41 s 41 s NA NA NA NA NA NA Success
distributed-reference-counting 8.5.0 3 m 11 s 3 m 10 s 3 m 11 s 3 m 13 s NA NA NA NA NA NA Success
domain-theory 8.5.0 43 s 43 s 44 s 44 s NA NA NA NA NA NA Success
dpdgraph 0.4 39 s 39 s 40 s 39 s NA NA NA NA NA NA Success
0.5 39 s 38 s 39 s 39 s NA NA NA NA NA NA Success
0.5.1 39 s 39 s 39 s 39 s NA NA NA NA NA NA Success
0.6 39 s 39 s 39 s 39 s NA NA NA NA NA NA Success
0.6.1 NA NA NA NA 38 s 39 s 39 s NA NA NA Success
0.6.2 NA NA NA NA NA NA NA 42 s 39 s NA Success
equations 0.9~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.0~beta NA NA NA NA Error Error Error NA NA NA Error
1.0~beta2 Error Error
1.0~beta2+8.7 NA NA
ergo 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
error-handlers 1.0.0 35 s 35 s 35 s 36 s 37 s 35 s 36 s 36 s 35 s 35 s Success
1.1.0 35 s 35 s 35 s 38 s 37 s 35 s 36 s 36 s 36 s 36 s Success
1.1.1 35 s 35 s 35 s 37 s 38 s 35 s 36 s 36 s 36 s 36 s Success
1.2.0 35 s 35 s 35 s 38 s 34 s 35 s 36 s 36 s 35 s 36 s Success
euclidean-geometry 8.5.0 3 m 7 s 3 m 5 s 3 m 13 s 3 m 9 s NA NA NA NA NA NA Success
euler-formula 8.5.0 1 m 0 s 1 m 0 s 1 m 5 s 1 m 1 s NA NA NA NA NA NA Success
exact-real-arithmetic 8.5.0 2 m 3 s 2 m 2 s 2 m 10 s 2 m 4 s NA NA NA NA NA NA Success
exceptions 8.5.0 38 s 36 s 37 s 37 s NA NA NA NA NA NA Success
ext-lib 0.9.0 NA NA NA NA NA NA NA NA NA NA NA
0.9.0~beta3 NA NA NA NA NA NA NA NA NA NA NA
0.9.1 NA NA NA NA NA NA NA NA NA NA NA
0.9.2 NA NA NA NA NA NA NA NA NA NA NA
0.9.3 2 m 2 s 2 m 2 s 2 m 3 s 2 m 4 s Error Error NA NA Error Error Success
0.9.4 2 m 3 s 2 m 2 s 2 m 3 s 2 m 4 s NA NA NA NA NA NA Success
0.9.5 NA NA NA NA 1 m 50 s 1 m 53 s 1 m 53 s NA 1 m 50 s 1 m 52 s Success
0.9.6 NA NA NA NA 1 m 50 s 1 m 52 s 1 m 53 s NA NA NA Success
0.9.7 NA 1 m 50 s Success
extensible-records 1.0.0 39 s 38 s 39 s 39 s 37 s 38 s 42 s 38 s 38 s 38 s Success
1.1.0 38 s 38 s 39 s 39 s 37 s 38 s 42 s 38 s 38 s 38 s Success
1.2.0 39 s 39 s 39 s 39 s 37 s 38 s 41 s 38 s 38 s 38 s Success
fairisle 8.5.0 3 m 24 s 3 m 27 s 3 m 25 s 3 m 25 s NA NA NA NA NA NA Success
fermat4 8.5.0 1 m 14 s 1 m 15 s 1 m 12 s 1 m 12 s NA NA NA NA NA NA Success
finger-tree 8.5.0 6 m 35 s 6 m 26 s 3 m 43 s 3 m 43 s NA NA NA NA NA NA Success
firing-squad 8.5.0 1 m 4 s 1 m 3 s 1 m 4 s 1 m 4 s NA NA NA NA NA NA Success
float 8.5.0 3 m 33 s 3 m 32 s 3 m 33 s 3 m 35 s NA NA NA NA NA NA Success
flocq 2.2.0 Error Error Error Error Error Error Error Error Error Error Error
2.3.0 Error Error Error Error Error Error Error Error Error Error Error
2.4.0 Error Error Error Error Error Error Error Error Error Error Error
2.5.1 Error Error Error Error Error Error Error Error Error Error Error
2.5.2 3 m 43 s 3 m 42 s 3 m 44 s 3 m 48 s 2 m 54 s 2 m 54 s 2 m 53 s Error Error Error Success
2.6.0 3 m 53 s 3 m 52 s 3 m 53 s 4 m 7 s 2 m 58 s 2 m 56 s 2 m 57 s 3 m 4 s 3 m 9 s 3 m 8 s Success
force-84 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
force-85 1.0.0 33 s 33 s 36 s 34 s NA NA NA NA NA NA Success
founify 8.5.0 46 s 46 s 50 s 47 s NA NA NA NA NA NA Success
fpmods 0.2.0 Error Error Error Error Error Error Error Error Error Error Error
free-groups 8.5.0 36 s 36 s 40 s 36 s NA NA NA NA NA NA Success
fsets 8.5.0 11 m 12 s 11 m 7 s 11 m 12 s 11 m 15 s NA NA NA NA NA NA Success
fssec-model 8.5.0 1 m 43 s 1 m 43 s 1 m 44 s 1 m 44 s NA NA NA NA NA NA Success
function-ninjas 1.0.0 35 s 35 s 35 s 35 s 35 s 36 s 36 s 39 s 36 s 37 s Success
functions-in-zfc 8.5.0 37 s 37 s 38 s 38 s NA NA NA NA NA NA Success
fundamental-arithmetics 8.5.0 59 s 59 s 59 s 59 s NA NA NA NA NA NA Success
gappa 1.2.1 2 m 7 s 2 m 6 s 2 m 7 s 2 m 8 s Error Error Error Error Error Error Success
1.3.2 2 m 8 s 2 m 14 s 2 m 8 s 2 m 9 s 1 m 39 s 1 m 35 s 1 m 35 s Error Error Error Success
gc 8.5.0 5 m 42 s 5 m 35 s 5 m 29 s 5 m 30 s NA NA NA NA NA NA Success
generic-environments 8.5.0 42 s 42 s 42 s 43 s NA NA NA NA NA NA Success
geocoq 1.0.1 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.0.0 Error Error Error Error Error Error Error Error Error Error Error
2.1.0 NA NA NA NA NA NA NA NA NA NA NA
2.2.0 1 h 10 m 1 h 10 m 1 h 10 m 1 h 11 m NA NA NA NA NA NA Success
2.2.1 1 h 40 m 1 h 40 m 1 h 40 m 1 h 40 m 2 h 39 m 1 h 39 m 1 h 39 m NA NA NA Success
2.3.0 2 h 40 m 2 h 39 m 2 h 38 m 2 h 40 m NA 2 h 41 m 2 h 41 m 2 h 36 m 2 h 35 m NA Success
goedel 8.5.0 4 m 54 s 4 m 51 s 4 m 52 s 4 m 52 s NA NA NA NA NA NA Success
graph-basics 8.5.0 1 m 2 s 1 m 2 s 59 s 59 s NA NA NA NA NA NA Success
graphs 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
group-theory 8.5.0 51 s 50 s 47 s 47 s NA NA NA NA NA NA Success
groups 8.5.0 37 s 35 s 36 s 35 s NA NA NA NA NA NA Success
hammer 1.0.3 NA NA NA NA Error Error Error NA NA NA Error
hardware 8.5.0 1 m 21 s 1 m 20 s 1 m 21 s 1 m 22 s NA NA NA NA NA NA Success
hedges 8.5.0 41 s 41 s 41 s 42 s NA NA NA NA NA NA Success
high-school-geometry 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
higman-cf 8.5.0 39 s 39 s 40 s 40 s NA NA NA NA NA NA Success
higman-nw 8.5.0 39 s 39 s 39 s 39 s NA NA NA NA NA NA Success
higman-s 8.5.0 48 s 48 s 49 s 52 s NA NA NA NA NA NA Success
historical-examples 8.5.0 37 s 38 s 38 s 41 s NA NA NA NA NA NA Success
hoare-tut 8.5.0 42 s 42 s 42 s 46 s NA NA NA NA NA NA Success
huffman 8.5.0 1 m 29 s 1 m 29 s 1 m 30 s 1 m 34 s NA NA NA NA NA NA Success
icharate 8.5.0 2 m 1 s 2 m 0 s 2 m 7 s 2 m 2 s NA NA NA NA NA NA Success
idxassoc 8.5.0 37 s 37 s 40 s 37 s NA NA NA NA NA NA Success
ieee754 8.5.0 46 s 46 s 50 s 47 s NA NA NA NA NA NA Success
int-map 8.5.0 1 m 7 s 1 m 6 s 1 m 7 s 1 m 7 s NA NA NA NA NA NA Success
interval 1.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.0.0 Error Error Error Error Error Error Error Error Error Error Error
2.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.2.0 Error Error Error Error Error Error Error Error Error Error Error
2.2.1 Error Error Error Error Error Error Error Error Error Error Error
3.1.0 Error Error Error Error NA NA NA NA NA NA Error
3.1.1 5 m 8 s 5 m 7 s 5 m 9 s 5 m 10 s 3 m 24 s 3 m 21 s 3 m 23 s NA NA NA Success
3.2.0 5 m 43 s 5 m 47 s 5 m 43 s 5 m 44 s 3 m 54 s 3 m 39 s 3 m 54 s NA NA NA Success
3.3.0 5 m 49 s 5 m 44 s 5 m 47 s 5 m 47 s 3 m 44 s 3 m 55 s 3 m 42 s 4 m 2 s 3 m 49 s NA Success
intuitionistic-nuprl 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
io 2.0.0 36 s 35 s 36 s 36 s 35 s 36 s 37 s 37 s 36 s 36 s Success
2.1.0 36 s 36 s 36 s 36 s 35 s 36 s 37 s 37 s 37 s 36 s Success
3.0.0 36 s 36 s 36 s 37 s 35 s 36 s 37 s 36 s 36 s 37 s Success
3.1.0 36 s 35 s 36 s 36 s 36 s 36 s 37 s 36 s 36 s 36 s Success
3.2.0 NA NA NA NA NA NA NA NA NA NA NA
3.3.0 44 s 44 s 45 s 45 s NA NA NA NA NA NA Success
io-evaluate 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
io-exception 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.1.0 NA NA NA NA NA NA NA NA NA NA NA
io-hello-world 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
io-list 1.0.0 36 s 35 s 36 s 36 s 35 s Error Error Error Error Error Success
1.1.0 37 s 36 s 39 s 37 s 35 s Error Error Error Error Error Success
io-system 2.0.0 NA NA NA NA NA NA NA NA NA NA NA
2.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.2.0 Error Error Error Error Error Error Error Error Error Error Error
2.3.0 Error Error Error Error Error Error Error Error Error Error Error
2.4.0 Error Error Error Error NA NA NA NA NA NA Error
io-system-ocaml 2.0.0 Error Error Error Error Error Error Error Error Error Error Error
2.1.0 Error Error Error Error Error Error Error Error Error Error Error
2.2.0 Error Error Error Error Error Error Error Error Error Error Error
2.3.0 Error Error Error Error Error Error Error Error Error Error Error
ipc 8.5.0 1 m 19 s 1 m 18 s 1 m 19 s 1 m 19 s NA NA NA NA NA NA Success
iris 3.0.0 29 m 25 s 29 m 35 s 29 m 19 s 29 m 33 s 20 m 56 s 20 m 21 s 20 m 43 s NA NA 17 m 20 s Success
iterable 1.0.0 36 s 36 s 36 s 39 s 35 s 39 s 37 s 36 s 36 s 36 s Success
izf 8.5.0 38 s 38 s 41 s 39 s NA NA NA NA NA NA Success
jordan-curve-theorem 8.5.0 Error Error Error Error Error Error Error Error Error Error Error
jprover 8.5.0 41 s 40 s 44 s 41 s NA NA NA NA NA NA Success
karatsuba 8.5.0 58 s 58 s 1 m 3 s 59 s NA NA NA NA NA NA Success
kildall 8.5.0 2 m 29 s 2 m 28 s 2 m 31 s 2 m 30 s NA NA NA NA NA NA Success
lambda 8.5.0 54 s 54 s 54 s 55 s NA NA NA NA NA NA Success
lambek 8.5.0 48 s 48 s 48 s 48 s NA NA NA NA NA NA Success
lazy-pcf 8.5.0 45 s 45 s 45 s 45 s NA NA NA NA NA NA Success
lc 8.5.0 44 s 44 s 44 s 45 s NA NA NA NA NA NA Success
legacy-ring 8.5.0 50 s 50 s 51 s 51 s NA NA NA NA NA NA Success
lesniewski-mereology 8.5.0 39 s 38 s 39 s 39 s NA NA NA NA NA NA Success
lin-alg 8.5.0 6 m 14 s 6 m 13 s 6 m 14 s 6 m 16 s NA NA NA NA NA NA Success
list-plus 1.0.0 35 s 35 s 36 s 36 s 35 s 35 s 36 s 38 s 36 s 38 s Success
1.1.0 37 s 39 s 37 s 37 s 36 s 37 s 37 s 40 s 37 s 40 s Success
list-string 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
2.0.0 52 s 52 s 49 s 49 s 44 s 45 s 46 s 45 s 44 s 48 s Success
2.1.0 52 s 51 s 49 s 49 s 44 s 45 s 45 s 45 s 44 s 45 s Success
2.1.1 50 s 49 s 49 s 49 s 44 s 45 s 46 s 45 s 45 s 45 s Success
ltac-iter 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
ltl 8.5.0 37 s 37 s 38 s 38 s NA NA NA NA NA NA Success
maple-mode 8.5.0 56 s 56 s 57 s 57 s NA NA NA NA NA NA Success
markov 8.5.0 40 s 40 s 40 s 40 s NA NA NA NA NA NA Success
math-classes 1.0.3 Error Error Error Error Error Error Error Error Error Error Error
1.0.4 11 m 54 s 11 m 53 s 11 m 57 s 12 m 23 s Error Error Error Error Error Error Success
1.0.5 11 m 54 s 11 m 53 s 12 m 19 s 11 m 58 s NA NA NA NA NA NA Success
1.0.6 NA NA NA NA 11 m 9 s 11 m 9 s 11 m 9 s NA NA NA Success
1.0.7 NA NA NA NA 11 m 38 s 11 m 17 s 11 m 42 s 10 m 16 s 10 m 17 s NA Success
math-comp 1.5.0 Error Error Error Error Error Error Error Error Error Error Error
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
mathcomp-algebra 1.6 10 m 30 s 10 m 26 s 10 m 28 s 10 m 27 s NA NA NA NA NA Error Success
1.6.1 10 m 53 s 10 m 51 s 10 m 27 s 10 m 27 s 7 m 54 s 7 m 49 s 7 m 46 s NA NA Error Success
1.6.2 10 m 30 s 10 m 26 s 10 m 28 s 10 m 38 s 7 m 54 s 7 m 46 s 7 m 46 s 7 m 47 s 7 m 48 s 7 m 53 s Success
1.6.4 10 m 30 s 10 m 27 s 10 m 46 s 10 m 27 s 7 m 45 s 7 m 45 s 7 m 46 s 7 m 58 s NA Success
mathcomp-character 1.6 Error Error Error Error NA NA NA NA NA Error Error
1.6.1 Error Error Error Error Error Error Error NA NA Error Error
1.6.2 Error Error Error Error Error Error Error Error Error Error Error
1.6.4 Error Error Error Error Error Error Error Error NA Error
mathcomp-field 1.6 Error Error Error Error NA NA NA NA NA Error Error
1.6.1 Error Error Error Error 21 m 49 s 22 m 5 s 21 m 44 s NA NA Error Success
1.6.2 Error Error Error Error 23 m 53 s 23 m 47 s 24 m 7 s 22 m 57 s 22 m 46 s 22 m 48 s Success
1.6.4 Error Error Error Error 23 m 47 s 23 m 48 s 22 m 33 s 22 m 36 s NA Success
mathcomp-fingroup 1.6 3 m 38 s 3 m 37 s 3 m 37 s 3 m 38 s NA NA NA NA NA Error Success
1.6.1 3 m 38 s 3 m 36 s 3 m 37 s 3 m 38 s 3 m 3 s 2 m 58 s 3 m 8 s NA NA Error Success
1.6.2 3 m 38 s 3 m 36 s 3 m 37 s 3 m 38 s 3 m 3 s 3 m 5 s 2 m 59 s 3 m 4 s 3 m 4 s 3 m 6 s Success
1.6.4 3 m 45 s 3 m 42 s 3 m 37 s 3 m 38 s 3 m 7 s 2 m 59 s 3 m 4 s 3 m 4 s NA Success
mathcomp-multinomials 1.0 Error Error Error Error Error Error Error Error
mathcomp-odd-order 1.6.1 Error Error Error Error Error Error Error NA NA Error Error
1.6.2 Error Error Error Error Error Error Error Error Error Error Error
mathcomp-solvable 1.6 11 m 38 s 11 m 32 s 11 m 13 s 11 m 16 s NA NA NA NA NA Error Success
1.6.1 11 m 15 s 11 m 13 s 11 m 25 s 11 m 34 s 9 m 0 s 9 m 2 s 8 m 50 s NA NA Error Success
1.6.2 11 m 15 s 11 m 13 s 11 m 14 s 11 m 17 s 8 m 51 s 8 m 49 s 8 m 50 s 8 m 41 s 8 m 53 s 8 m 33 s Success
1.6.4 11 m 15 s 11 m 13 s 11 m 14 s 11 m 17 s 8 m 50 s 8 m 50 s 8 m 30 s 8 m 31 s NA Success
mathcomp-ssreflect 1.6 3 m 10 s 3 m 9 s 3 m 16 s 3 m 10 s NA NA NA NA NA Error Success
1.6.1 3 m 10 s 3 m 9 s 3 m 10 s 3 m 10 s 2 m 27 s 2 m 30 s 2 m 23 s NA NA Error Success
1.6.2 3 m 11 s 3 m 10 s 3 m 11 s 3 m 11 s 2 m 28 s 2 m 32 s 2 m 24 s 2 m 7 s 2 m 7 s 2 m 8 s Success
1.6.4 3 m 13 s 3 m 10 s 3 m 11 s 3 m 12 s 2 m 24 s 2 m 24 s 2 m 7 s 2 m 7 s NA Success
mathcomp-sum-of-two-square 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
maths 8.5.0 45 s 44 s 45 s 45 s NA NA NA NA NA NA Success
matrices 8.5.0 44 s 44 s 45 s 44 s NA NA NA NA NA NA Success
min-imports 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
mini-compiler 8.5.0 37 s 37 s 37 s 37 s NA NA NA NA NA NA Success
minic 8.5.0 55 s 55 s 56 s 56 s NA NA NA NA NA NA Success
miniml 8.5.0 43 s 42 s 40 s 40 s NA NA NA NA NA NA Success
mirror-core 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.0.1 29 m 2 s NA NA NA NA NA NA NA NA NA Success
1.0.2 NA 28 m 56 s 29 m 4 s 29 m 19 s NA NA NA NA NA NA Success
mod-red 8.5.0 1 m 27 s 1 m 27 s 1 m 33 s 1 m 28 s NA NA NA NA NA NA Success
moment 1.0.0 46 s 45 s 46 s 46 s 42 s 42 s 43 s 43 s 45 s 45 s Success
msets-extra 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.1.0 1 m 26 s 1 m 25 s 1 m 26 s 1 m 26 s NA NA NA NA NA NA Success
mtac 1.3.0 1 m 0 s 1 m 0 s 1 m 0 s 1 m 1 s NA NA NA NA NA NA Success
multiplier 8.5.0 38 s 38 s 38 s 38 s NA NA NA NA NA NA Success
mutual-exclusion 8.5.0 37 s 39 s 38 s 37 s NA NA NA NA NA NA Success
nfix 8.5.0 37 s 37 s 38 s 37 s NA NA NA NA NA NA Success
of-ocaml 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
opam-website 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.1.0 NA NA NA NA NA NA NA NA NA NA NA
1.2.0 NA NA NA NA NA NA NA NA NA NA NA
1.2.1 NA NA NA NA NA NA NA NA NA NA NA
1.3.0 NA NA NA NA NA NA NA NA NA NA NA
1.3.1 NA NA NA NA NA NA NA NA NA NA NA
1.3.2 NA NA NA NA NA NA NA NA NA NA NA
1.4.0 NA NA NA NA NA NA NA NA NA NA NA
orb-stab 8.5.0 43 s 42 s 40 s 39 s NA NA NA NA NA NA Success
ott 0.26 55 s 56 s 56 s 57 s 51 s 51 s 52 s NA NA NA Success
otway-rees 8.5.0 50 s 50 s 50 s 50 s NA NA NA NA NA NA Success
paco 8.5.0 1 m 47 s 1 m 47 s 1 m 48 s 1 m 48 s NA NA NA NA NA NA Success
8.6.0 NA NA NA NA 2 m 18 s 1 m 47 s 1 m 54 s 1 m 47 s 1 m 46 s 1 m 46 s Success
paradoxes 8.5.0 38 s 38 s 38 s 38 s NA NA NA NA NA NA Success
param-pi 8.5.0 45 s 45 s 45 s 48 s NA NA NA NA NA NA Success
pautomata 8.5.0 1 m 20 s 1 m 19 s 1 m 20 s 1 m 25 s NA NA NA NA NA NA Success
persistent-union-find 8.5.0 1 m 28 s 1 m 28 s 1 m 29 s 1 m 33 s NA NA NA NA NA NA Success
pi-agm 1.0.0 NA NA NA NA NA NA NA NA NA NA NA
1.1.0 Error Error Error Error Error Error Error NA NA NA Error
1.2.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.1 Error Error Error Error Error Error Error Error Error Error Error
pi-calc 8.5.0 2 m 54 s 2 m 53 s 3 m 14 s 3 m 15 s NA NA NA NA NA NA Success
plouffe 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.1 Error Error Error Error Error Error Error Error Error Error Error
1.3.0 Error Error Error Error Error Error Error Error Error Error Error
1.4.0 Error Error Error Error Error Error Error Error Error Error Error
plugin-utils 1.1.0 Error Error Error Error Error Error Error Error Error Error Error
1.2.0 Error Error Error Error Error Error Error Error Error Error Error
1.3.0 Error Error Error Error Error Error Error Error Error Error Error
pocklington 8.5.0 1 m 2 s 1 m 2 s 1 m 2 s 1 m 2 s NA NA NA NA NA NA Success
presburger 8.5.0 2 m 2 s 2 m 1 s 2 m 3 s 2 m 3 s NA NA NA NA NA NA Success
prfx 8.5.0 1 m 15 s 1 m 15 s 1 m 15 s 1 m 15 s NA NA NA NA NA NA Success
projective-geometry 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
propcalc 8.5.0 44 s 44 s 45 s 45 s NA NA NA NA NA NA Success
pts 8.5.0 1 m 5 s 1 m 4 s 1 m 4 s 1 m 5 s NA NA NA NA NA NA Success
ptsatr 8.5.0 1 m 48 s 1 m 47 s 1 m 48 s 1 m 48 s NA NA NA NA NA NA Success
ptsf 8.5.0 1 m 9 s 1 m 5 s 1 m 6 s 1 m 5 s NA NA NA NA NA NA Success
qarith 8.5.0 43 s 43 s 43 s 43 s NA NA NA NA NA NA Success
qarith-stern-brocot 8.5.0 5 m 48 s 5 m 46 s 5 m 36 s 5 m 36 s NA NA NA NA NA NA Success
quicksort-complexity 8.5.0 3 m 40 s 3 m 39 s 3 m 40 s 3 m 41 s NA NA NA NA NA NA Success
railroad-crossing 8.5.0 45 s 43 s 43 s 43 s NA NA NA NA NA NA Success
ramsey 8.5.0 36 s 36 s 36 s 36 s NA NA NA NA NA NA Success
random 8.5.0 1 m 58 s 1 m 55 s 1 m 57 s 2 m 2 s NA NA NA NA NA NA Success
rational 8.5.0 1 m 10 s 1 m 9 s 1 m 10 s 1 m 14 s NA NA NA NA NA NA Success
recursive-definition 8.5.0 53 s 53 s 53 s 57 s NA NA NA NA NA NA Success
reflexive-first-order 8.5.0 1 m 2 s 1 m 2 s 1 m 6 s 1 m 2 s NA NA NA NA NA NA Success
regexp 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
relation-algebra 1.3 Error Error Error Error Error Error Error Error Error Error Error
1.4 Error Error Error Error Error Error Error Error Error Error Error
1.5 Error Error Error Error Error Error Error Error Error Error Error
1.6 Error Error Error Error Error Error Error Error Error Error Error
relation-extraction 8.5.0 39 s 39 s 39 s 40 s NA NA NA NA NA NA Success
rem 8.5.0 36 s 35 s 36 s 36 s NA NA NA NA NA NA Success
rsa 8.5.0 47 s 46 s 46 s 46 s NA NA NA NA NA NA Success
ruler-compass-geometry 8.5.0 1 m 50 s 1 m 49 s 1 m 50 s 1 m 50 s NA NA NA NA NA NA Success
schroeder 8.5.0 37 s 36 s 37 s 37 s NA NA NA NA NA NA Success
search-trees 8.5.0 44 s 44 s 45 s 45 s NA NA NA NA NA NA Success
semantics 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
shuffle 8.5.0 37 s 37 s 38 s 37 s NA NA NA NA NA NA Success
smc 8.5.0 1 m 51 s 1 m 49 s 1 m 51 s 1 m 51 s NA NA NA NA NA NA Success
smt-check 1.0.0 Error Error Error Error Error Error Error Error Error Error Error
2.0.0 Error Error Error Error Error Error Error Error Error Error Error
square-matrices 8.5.0 39 s 36 s 37 s 37 s NA NA NA NA NA NA Success
squiggle-eq 1.0.1 8 m 58 s 9 m 0 s 8 m 41 s 8 m 42 s NA NA NA NA NA NA Success
1.0.2 NA NA NA NA 13 m 21 s 13 m 17 s 13 m 40 s NA NA NA Success
ssreflect 1.5.0 Error Error Error Error Error Error Error Error Error Error Error
1.5.1~beta2 NA NA NA NA NA NA NA NA NA NA NA
stalmarck 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
stdpp 1.0.0 NA NA 5 m 50 s 5 m 45 s 3 m 59 s 3 m 58 s 3 m 54 s 3 m 48 s 3 m 48 s 3 m 51 s Success
streams 8.5.0 38 s 38 s 38 s 38 s NA NA NA NA NA NA Success
string 8.5.0 46 s 44 s 45 s 45 s NA NA NA NA NA NA Success
subst 8.5.0 1 m 4 s 1 m 4 s 1 m 4 s 1 m 4 s NA NA NA NA NA NA Success
sudoku 8.5.0 2 m 13 s 2 m 12 s 2 m 12 s 2 m 13 s NA NA NA NA NA NA Success
sum-of-two-square 8.5.0 1 m 32 s 1 m 30 s 1 m 31 s 1 m 31 s NA NA NA NA NA NA Success
tait 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
tarski-geometry 8.5.0 1 m 37 s 1 m 35 s 1 m 36 s 1 m 36 s NA NA NA NA NA NA Success
template-coq 1.0.0~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.1.0~beta2 NA NA NA NA NA NA NA NA NA NA NA
1.1.0~beta3 39 s 39 s 40 s NA NA NA NA NA NA NA Success
three-gap 8.5.0 58 s 58 s 59 s 59 s NA NA NA NA NA NA Success
tlc 20161010 Error Error Error Error Error Error Error Error Error Error Error
toolbox 0.9.0 NA Error Error Error Error NA NA NA Error
topology 8.5.0 2 m 39 s 2 m 32 s 2 m 32 s 2 m 32 s NA NA NA NA NA NA Success
tortoise-hare-algorithm 8.5.0 Error Error Error Error NA NA NA NA NA NA Error
traversable-fincontainer 8.5.0 44 s 44 s 42 s 42 s NA NA NA NA NA NA Success
tree-automata 8.5.0 1 m 54 s 1 m 55 s 1 m 54 s 1 m 54 s NA NA NA NA NA NA Success
tree-diameter 8.5.0 42 s 42 s 43 s 43 s NA NA NA NA NA NA Success
unicoq 1.0.0 Error Error Error Error NA NA NA NA NA NA Error
1.1.0+coq8.5 Error Error Error Error Error Error Error Error Error
1.1.0+coq8.6 Error Error Error Error Error Error Error Error Error
unimath-category-theory 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
unimath-dedekind 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
unimath-foundations 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
unimath-ktheory 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
unimath-substitution-systems 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
unimath-tactics 0.1.0 Error Error Error Error Error Error Error Error Error Error Error
universe-comparator 1.0.1 Error Error Error Error Error Error Error Error Error Error Error
1.1.0 Error Error Error Error Error Error Error Error Error Error Error
weak-up-to 8.5.0 41 s 41 s 45 s 42 s NA NA NA NA NA NA Success
zchinese 8.5.0 43 s 42 s 47 s 43 s NA NA NA NA NA NA Success
zf 8.5.0 45 s 44 s 48 s 45 s NA NA NA NA NA NA Success
zfc 8.5.0 46 s 45 s 45 s 45 s NA NA NA NA NA NA Success
zorns-lemma 8.5.0 1 m 5 s 1 m 3 s 1 m 4 s 1 m 4 s NA NA NA NA NA NA Success
zsearch-trees 8.5.0 40 s 40 s 41 s 41 s NA NA NA NA NA NA Success