« Up

Released 1001 packages

Linux, x86_64, OCaml 4.05.0, Opam 2.0.1

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

  • Success
  • Not compatible
  • Error with dependencies
  • Error
8.5.3 8.6.1 8.7.2 8.8.1 8.8.2 8.9.0 8.9.1 summary
Name Version 706 289 5 4 702 295 1 4 682 318 1 0 683 321 1 2 679 326 1 2 863 142 1 2 863 141 1 2 57 937 5 9
aac-tactics 8.5.0 27 s NC NC NC NC NC NC Success
8.5.1 27 s NC NC NC NC NC NC Success
8.6.1 NC 25 s NC NC NC NC NC Success
8.8.0 NC NC NC 24 s 24 s NC NC Success
8.9.0 NC NC NC NC NC 28 s 24 s Success
abp 8.5.0 13 s NC NC NC NC NC NC Success
8.6.0 NC 13 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 13 s NC NC Success
additions 8.5.0 24 s 21 s NC NC NC NC NC Success
8.6.0 NC 21 s NC NC NC NC NC Success
8.7.0 NC NC 24 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 21 s NC NC Success
ails 8.5.0 57 s 50 s NC NC NC NC NC Success
8.6.0 NC 50 s NC NC NC NC NC Success
8.7.0 NC NC 56 s NC NC NC NC Success
8.8.0 NC NC NC 52 s 52 s NC NC Success
algebra 8.5.0 36 s NC NC NC NC NC NC Success
8.6.0 NC 29 s NC NC NC NC NC Success
8.7.0 NC NC 36 s NC NC NC NC Success
8.8.0 NC NC NC 29 s 29 s NC NC Success
amm11262 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 16 s 15 s NC NC Success
angles 8.5.0 16 s NC NC NC NC NC NC Success
8.6.0 NC 17 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 17 s NC NC Success
area-method 8.5.0 12 m 45 s NC NC NC NC NC NC Success
8.6.0 NC 12 m 18 s NC NC NC NC NC Success
8.7.0 NC NC 12 m 20 s NC NC NC NC Success
8.8.0 NC NC NC 12 m 32 s 12 m 49 s NC NC Success
atbr 8.5.0 5 m 24 s NC NC NC NC NC NC Success
8.6.0 NC 4 m 3 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 54 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 58 s 4 m 0 s NC NC Success
8.9.0 NC NC NC NC NC 4 m 20 s 4 m 29 s Success
automata 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 18 s 17 s NC NC Success
axiomatic-abp 8.5.0 26 s NC NC NC NC NC NC Success
8.6.0 NC 22 s NC NC NC NC NC Success
8.7.0 NC NC 23 s NC NC NC NC Success
8.8.0 NC NC NC 22 s 22 s NC NC Success
bbv 1.0 NC NC NC 1 m 27 s 1 m 27 s NC NC Success
1.1 NC NC NC NC NC 1 m 33 s 1 m 30 s Success
bdds 8.5.0 1 m 32 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 3 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 1 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 3 s 1 m 3 s NC NC Success
bellantonicook 1.0.0 NC 1 m 45 s 1 m 31 s 1 m 34 s 1 m 36 s NC NC Success
bertrand 8.5.0 1 m 19 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 14 s NC NC NC NC NC Success
8.7.0 NC NC 58 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 2 s 58 s NC NC Success
bignums 8.6.0 NC 2 m 12 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 31 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 30 s 1 m 37 s NC NC Success
8.9.0 NC NC NC NC NC 1 m 28 s 1 m 27 s Success
buchberger 8.5.0 1 m 37 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 19 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 13 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 18 s 1 m 24 s NC NC Success
canon-bdds 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 20 s NC NC NC NC NC Success
8.7.0 NC NC 20 s NC NC NC NC Success
8.8.0 NC NC NC 20 s 20 s NC NC Success
cantor 8.5.0 1 m 9 s NC NC NC NC NC NC Success
8.6.0 NC 56 s NC NC NC NC NC Success
8.7.0 NC NC 52 s NC NC NC NC Success
8.8.0 NC NC NC 57 s 57 s NC NC Success
cats-in-zfc 8.5.0 4 m 21 s NC NC NC NC NC NC Success
8.6.0 NC 4 m 18 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 44 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 50 s 3 m 54 s NC NC Success
ccs 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
cecoa 1.0.0 NC 11 m 52 s 9 m 24 s 10 m 17 s 10 m 25 s NC NC Success
cfgv 8.5.0 4 m 28 s NC NC NC NC NC NC Success
8.6.0 NC 3 m 30 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 44 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 27 s 3 m 28 s NC NC Success
cfml 20180525 NC 1 m 5 s 1 m 8 s 1 m 2 s 1 m 4 s NC NC Success
20181201 NC 1 m 5 s 1 m 8 s 1 m 2 s 1 m 3 s 1 m 1 s 1 m 1 s Success
chapar 8.9.0 NC NC NC NC NC 18 m 43 s 18 m 55 s Success
charge-core 1.0.0 NC NC NC NC NC NC NC NC
1.0.1 37 s 34 s NC NC NC NC NC Success
1.1.0 35 s NC NC NC NC NC NC Success
1.2.0 NC 35 s 38 s 35 s 34 s 34 s 33 s Success
checker 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 8 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 8 s NC NC Success
chinese 8.5.0 22 s NC NC NC NC NC NC Success
8.6.0 NC 17 s NC NC NC NC NC Success
8.7.0 NC NC 19 s NC NC NC NC Success
8.8.0 NC NC NC 19 s 20 s NC NC Success
circuits 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 19 s NC NC NC NC Success
8.8.0 NC NC NC 20 s 20 s NC NC Success
classical-realizability 8.5.0 2 m 49 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 39 s NC NC NC NC NC Success
8.7.0 NC NC 2 m 17 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 16 s 2 m 17 s NC NC Success
coalgebras 8.5.0 26 s NC NC NC NC NC NC Success
8.6.0 NC 23 s NC NC NC NC NC Success
8.7.0 NC NC 22 s NC NC NC NC Success
8.8.0 NC NC NC 22 s 23 s NC NC Success
coinductive-examples 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 9 s NC NC Success
coinductive-reals 8.5.0 2 m 43 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 33 s NC NC NC NC NC Success
8.7.0 NC NC 2 m 17 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 23 s 2 m 23 s NC NC Success
color 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 NC NC NC NC NC NC NC NC
1.2.0 23 m 4 s NC NC NC NC NC NC Success
1.3.0 NC 15 m 28 s NC NC NC NC NC Success
1.4.0 NC NC 11 m 31 s NC NC NC NC Success
1.5.0 NC NC NC 11 m 45 s 11 m 29 s NC NC Success
1.6.0 NC NC NC NC NC 13 m 24 s 13 m 19 s Success
compcert 2.0.0 NC NC NC NC NC NC NC NC
2.3.2 NC NC NC NC NC NC NC NC
2.4.0 NC NC NC NC NC NC NC NC
2.5.0 NC NC NC NC NC NC NC NC
2.6.0 NC NC NC NC NC NC NC NC
2.7.1 18 m 59 s NC NC NC NC NC NC Success
3.0.0 21 m 0 s NC NC NC NC NC NC Success
3.0.1 NC NC NC NC NC NC NC NC
3.1.0 NC 13 m 38 s NC NC NC NC NC Success
3.2.0 NC 13 m 32 s 12 m 54 s NC NC NC NC Success
3.3.0 NC 13 m 37 s 14 m 56 s NC NC NC NC Success
3.4 NC NC NC 16 m 33 s 16 m 23 s NC NC Success
3.5 NC NC NC NC NC 13 m 15 s 13 m 50 s Success
concat 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 21 s NC NC NC NC NC Success
8.7.0 NC NC 28 s NC NC NC NC Success
8.8.0 NC NC NC 31 s 20 s NC NC Success
concurrency-pluto 1.0.0 16 s NC NC NC NC NC NC Success
1.1.0 16 s NC NC NC NC NC NC Success
concurrency-proxy 1.0.0 8 s 8 s 11 s 9 s 9 s 9 s 9 s Success
concurrency-system 1.0.0 19 s NC NC NC NC NC NC Success
1.1.0 19 s NC NC NC NC NC NC Success
constructive-geometry 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 11 s NC NC NC NC NC Success
8.7.0 NC NC 11 s NC NC NC NC Success
8.8.0 NC NC NC 11 s 11 s NC NC Success
constructors 1.0.0 NC NC NC NC NC NC NC NC
containers 8.5.0 3 m 40 s NC NC NC NC NC NC Success
8.6.0 NC 4 m 22 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 53 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 52 s 1 m 55 s NC NC Success
continuations 8.5.0 22 s NC NC NC NC NC NC Success
8.6.0 NC 22 s NC NC NC NC NC Success
8.7.0 NC NC 19 s NC NC NC NC Success
8.8.0 NC NC NC 20 s 22 s NC NC Success
coq-in-coq 8.5.0 41 s NC NC NC NC NC NC Success
8.6.0 NC 40 s NC NC NC NC NC Success
8.7.0 NC NC 36 s NC NC NC NC Success
8.8.0 NC NC NC 37 s 38 s NC NC Success
coq2html 1.0 8 s 9 s 8 s 8 s 8 s 8 s 8 s Success
1.1 8 s 9 s 8 s 8 s 8 s 8 s 14 s Success
coqeal 1.0.0 NC NC 2 m 6 s 2 m 5 s 2 m 3 s 2 m 3 s 2 m 3 s Success
coqeal-refinements 0.9.1 NC NC NC NC NC NC NC NC
coqeal-theory 0.9.1 NC NC NC NC NC NC NC NC
coqoban 8.5.0 14 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 13 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 13 s NC NC Success
coqprime 1.0.0 4 m 5 s NC NC NC NC NC NC Success
1.0.1 NC NC 2 m 35 s NC NC NC NC Success
1.0.2 NC NC 2 m 34 s NC NC NC NC Success
1.0.3 NC NC NC 2 m 44 s 2 m 56 s 2 m 45 s 2 m 45 s Success
coqrel 0.1.0 28 s NC NC NC NC NC NC Success
coquelicot 2.0.1 NC NC NC NC NC NC NC NC
2.1.0 NC NC NC NC NC NC NC NC
2.1.1 3 m 20 s NC NC NC NC NC NC Success
2.1.2 3 m 22 s 2 m 36 s NC NC NC NC NC Success
3.0.2 2 m 23 s 2 m 32 s 2 m 16 s 2 m 21 s 2 m 29 s 2 m 19 s 2 m 22 s Success
corn 1.0.0 NC NC NC NC NC NC NC NC
1.2.0 NC NC NC NC NC NC NC NC
8.8.1 NC 25 m 42 s 26 m 32 s 29 m 17 s 29 m 37 s NC NC Success
counting 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
cours-de-coq 8.5.0 12 s NC NC NC NC NC NC Success
8.6.0 NC 13 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 13 s NC NC Success
ctltctl 8.5.0 15 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 13 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 12 s NC NC Success
cunit 1.0.0 9 s 8 s 9 s 8 s 9 s 9 s 8 s Success
cybele 1.3.0 21 s NC NC NC NC NC NC Success
dblib 8.5.0 39 s NC NC NC NC NC NC Success
8.6.0 NC 32 s NC NC NC NC NC Success
8.7.0 NC NC 30 s NC NC NC NC Success
8.8.0 NC NC NC 30 s 32 s NC NC Success
demos 8.5.0 13 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 12 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 14 s NC NC Success
dep-map 8.5.0 23 s NC NC NC NC NC NC Success
8.6.0 NC 22 s NC NC NC NC NC Success
8.7.0 NC NC 21 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 23 s NC NC Success
descente-infinie 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 9 s NC NC Success
dictionaries 8.5.0 14 s NC NC NC NC NC NC Success
8.6.0 NC 13 s NC NC NC NC NC Success
8.7.0 NC NC 13 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 13 s NC NC Success
disel 2.0 NC NC 1 m 1 s 1 m 5 s 1 m 7 s NC NC Success
2.1 NC NC 1 m 5 s 1 m 4 s 1 m 7 s 1 m 13 s 1 m 16 s Success
disel-examples 2.1 NC NC 1 m 24 s 1 m 24 s 1 m 24 s 2 m 4 s 1 m 41 s Success
distributed-reference-counting 8.5.0 53 s NC NC NC NC NC NC Success
8.6.0 NC 46 s NC NC NC NC NC Success
8.7.0 NC NC 46 s NC NC NC NC Success
8.8.0 NC NC NC 48 s 1 m 16 s NC NC Success
domain-theory 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC 16 s 19 s NC NC Success
dpdgraph 0.4 13 s NC NC NC NC NC NC Success
0.5 13 s NC NC NC NC NC NC Success
0.5.1 13 s NC NC NC NC NC NC Success
0.6 14 s NC NC NC NC NC NC Success
0.6.1 NC 13 s NC NC NC NC NC Success
0.6.2 NC NC 11 s NC NC NC NC Success
0.6.3 NC NC NC 11 s 12 s NC NC Success
0.6.4 NC NC NC NC NC 11 s 11 s Success
equations 1.0 NC 31 s NC NC NC NC NC Success
1.0+8.7 NC NC 28 s NC NC NC NC Success
1.0+8.8 NC NC NC 28 s 31 s NC NC Success
1.0~beta2 NC 30 s NC NC NC NC NC Success
1.0~beta2+8.7 NC NC 29 s NC NC NC NC Success
1.1+8.8 NC NC NC 28 s 30 s NC NC Success
1.2+8.8 NC NC NC 34 s 37 s NC NC Success
1.2+8.9 NC NC NC NC NC 34 s 40 s Success
1.2~beta+8.8 NC NC NC 35 s 37 s NC NC Success
1.2~beta+8.9 NC NC NC NC NC 33 s 33 s Success
1.2~beta2+8.8 NC NC NC 37 s 36 s NC NC Success
1.2~beta2+8.9 NC NC NC NC NC 33 s 37 s Success
ergo 8.5.0 8 m 2 s NC NC NC NC NC NC Success
8.6.0 NC 5 m 23 s NC NC NC NC NC Success
error-handlers 1.0.0 10 s 8 s 8 s 8 s 8 s 8 s 8 s Success
1.1.0 8 s 8 s 8 s 8 s 9 s 8 s 8 s Success
1.1.1 8 s 8 s 8 s 1 m 14 s 8 s 8 s 8 s Success
1.2.0 8 s 8 s 8 s 9 s 8 s 8 s 8 s Success
euclidean-geometry 8.5.0 2 m 23 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 13 s NC NC NC NC NC Success
8.7.0 NC NC 2 m 14 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 24 s 2 m 16 s NC NC Success
euler-formula 8.5.0 34 s NC NC NC NC NC NC Success
8.6.0 NC 37 s NC NC NC NC NC Success
8.7.0 NC NC 41 s NC NC NC NC Success
8.8.0 NC NC NC 43 s 40 s NC NC Success
exact-real-arithmetic 8.5.0 50 s NC NC NC NC NC NC Success
8.6.0 NC 43 s NC NC NC NC NC Success
8.7.0 NC NC 48 s NC NC NC NC Success
8.8.0 NC NC NC 50 s 44 s NC NC Success
exceptions 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
ext-lib 0.10.0 NC NC NC 36 s 38 s 30 s 29 s Success
0.10.1 NC NC NC 33 s 38 s 35 s 28 s Success
0.9.0 NC NC NC NC NC NC NC NC
0.9.0~beta3 NC NC NC NC NC NC NC NC
0.9.1 NC NC NC NC NC NC NC NC
0.9.2 NC NC NC NC NC NC NC NC
0.9.3 33 s NC NC NC NC NC NC Success
0.9.4 29 s NC NC NC NC NC NC Success
0.9.5 NC 30 s NC NC NC NC NC Success
0.9.6 NC 28 s NC NC NC NC NC Success
0.9.7 NC NC 36 s 32 s 31 s NC NC Success
0.9.8 NC NC NC 28 s 27 s NC NC Success
extensible-records 1.0.0 12 s 11 s 12 s 11 s 11 s NC NC Success
1.1.0 12 s 11 s 11 s 11 s 11 s NC NC Success
1.2.0 12 s 11 s 11 s 11 s 11 s NC NC Success
extructures 0.1.0 NC NC 36 s 35 s 35 s NC NC Success
fairisle 8.5.0 2 m 25 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 47 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 55 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 51 s 1 m 57 s NC NC Success
fcsl-pcm 1.0.0 NC NC 1 m 5 s 1 m 7 s 1 m 16 s 1 m 6 s 1 m 6 s Success
1.1.0 NC NC NC NC NC 1 m 7 s 1 m 6 s Success
fermat4 8.5.0 48 s NC NC NC NC NC NC Success
8.6.0 NC 39 s NC NC NC NC NC Success
8.7.0 NC NC 38 s NC NC NC NC Success
8.8.0 NC NC NC 38 s 39 s NC NC Success
finger-tree 8.5.0 1 m 57 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 42 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 29 s NC NC NC NC Success
firing-squad 8.5.0 38 s NC NC NC NC NC NC Success
8.6.0 NC 33 s NC NC NC NC NC Success
8.7.0 NC NC 32 s NC NC NC NC Success
8.8.0 NC NC NC 33 s 35 s NC NC Success
float 8.5.0 1 m 55 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 34 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 42 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 44 s 1 m 48 s NC NC Success
flocq 2.2.0 NC NC NC NC NC NC NC NC
2.3.0 NC NC NC NC NC NC NC NC
2.4.0 NC NC NC NC NC NC NC NC
2.5.2 2 m 7 s 1 m 41 s NC NC NC NC NC Success
2.6.1 2 m 5 s 1 m 40 s 1 m 41 s 1 m 43 s 1 m 46 s NC NC Success
3.0.0 NC NC 9 m 11 s 9 m 58 s 10 m 5 s NC NC Success
3.1.0 NC NC 24 m 7 s 24 m 58 s 25 m 40 s 25 m 42 s 25 m 4 s Success
founify 8.5.0 21 s NC NC NC NC NC NC Success
8.6.0 NC 22 s NC NC NC NC NC Success
8.7.0 NC NC 19 s NC NC NC NC Success
8.8.0 NC NC NC 20 s 19 s NC NC Success
fourcolor 1.2 NC NC 26 m 29 s 22 m 29 s 18 m 52 s 19 m 13 s 24 m 58 s Success
fpmods 0.2.0 NC NC NC NC NC NC NC NC
free-groups 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 9 s NC NC Success
fsets 8.5.0 5 m 33 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 59 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 12 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 5 s 3 m 7 s NC NC Success
fssec-model 8.5.0 41 s NC NC NC NC NC NC Success
8.6.0 NC 37 s NC NC NC NC NC Success
8.7.0 NC NC 37 s NC NC NC NC Success
8.8.0 NC NC NC 37 s 37 s NC NC Success
function-ninjas 1.0.0 8 s 8 s 8 s 8 s 8 s 8 s 8 s Success
functional-algebra 1.0.2 21 s 23 s 19 s 20 s 19 s 20 s 19 s Success
functions-in-zfc 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
fundamental-arithmetics 8.5.0 26 s NC NC NC NC NC NC Success
8.6.0 NC 26 s NC NC NC NC NC Success
8.7.0 NC NC 23 s NC NC NC NC Success
8.8.0 NC NC NC 24 s 24 s NC NC Success
gappa 1.2.1 54 s NC NC NC NC NC NC Success
1.3.2 55 s 51 s NC NC NC NC NC Success
1.3.3 55 s 50 s 47 s NC NC NC NC Success
1.3.4 55 s 50 s 47 s 47 s 48 s NC NC Success
1.4.0 NC NC 47 s 48 s 48 s NC NC Success
1.4.1 NC NC 47 s 47 s 1 m 1 s 46 s 46 s Success
gc 8.5.0 3 m 2 s NC NC NC NC NC NC Success
8.6.0 NC 3 m 13 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 3 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 46 s 2 m 45 s NC NC Success
generic-environments 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 16 s NC NC Success
geocoq 1.0.1 NC NC NC NC NC NC NC NC
1.1.0 NC NC NC NC NC NC NC NC
2.0.0 NC NC NC NC NC NC NC NC
2.1.0 NC NC NC NC NC NC NC NC
2.2.0 45 m 21 s NC NC NC NC NC NC Success
2.2.1 1 h 17 m 1 h 18 m NC NC NC NC NC Success
2.3.0 1 h 37 m 1 h 43 m 1 h 32 m 1 h 23 m 1 h 19 m 1 h 17 m 1 h 17 m Success
geometric-algebra 0.8.8 NC NC NC 2 m 10 s 2 m 11 s 2 m 15 s 2 m 10 s Success
goedel 8.5.0 2 m 7 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 57 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 54 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 55 s 1 m 55 s NC NC Success
graph-basics 8.5.0 27 s NC NC NC NC NC NC Success
8.6.0 NC 25 s NC NC NC NC NC Success
8.7.0 NC NC 27 s NC NC NC NC Success
8.8.0 NC NC NC 26 s 25 s NC NC Success
graphs 8.6.0 NC 20 s NC NC NC NC NC Success
8.7.0 NC NC 20 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 20 s NC NC Success
group-theory 8.5.0 15 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 15 s NC NC Success
groups 8.5.0 8 s NC NC NC NC NC NC Success
8.6.0 NC 8 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 8 s NC NC Success
hammer 1.0.3 NC 21 s NC NC NC NC NC Success
1.0.8+8.7 NC NC 23 s NC NC NC NC Success
1.0.9+8.8.0 NC NC NC NC NC NC NC NC
1.0.9+8.8.1 NC NC NC 23 s 24 s NC NC Success
1.1+8.8 NC NC NC 23 s 24 s NC NC Success
1.1+8.9 NC NC NC NC NC 26 s 26 s Success
1.1.1+8.9 NC 22 s 22 s 24 s 24 s Success
hammer-tactics 1.1.1+8.9 NC 10 s 10 s 11 s 10 s Success
hardware 8.5.0 32 s NC NC NC NC NC NC Success
8.6.0 NC 28 s NC NC NC NC NC Success
8.7.0 NC NC 27 s NC NC NC NC Success
8.8.0 NC NC NC 27 s 27 s NC NC Success
hedges 8.5.0 16 s NC NC NC NC NC NC Success
8.6.0 NC 15 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 17 s NC NC Success
high-school-geometry 1.0.0 8 m 15 s NC NC NC NC NC NC Success
8.6.0 NC 7 m 50 s NC NC NC NC NC Success
higman-cf 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 11 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
higman-nw 8.5.0 13 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 11 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 12 s NC NC Success
higman-s 8.5.0 21 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 18 s 19 s NC NC Success
historical-examples 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 9 s NC NC Success
hoare-tut 8.5.0 15 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 15 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 14 s NC NC Success
huffman 8.5.0 55 s NC NC NC NC NC NC Success
8.6.0 NC 48 s NC NC NC NC NC Success
8.7.0 NC NC 53 s NC NC NC NC Success
8.8.0 NC NC NC 47 s 48 s NC NC Success
8.9.0 NC NC 47 s 48 s 49 s 47 s 51 s Success
icharate 8.5.0 43 s NC NC NC NC NC NC Success
8.6.0 NC 39 s NC NC NC NC NC Success
8.7.0 NC NC 37 s NC NC NC NC Success
8.8.0 NC NC NC 37 s 38 s NC NC Success
idxassoc 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
ieee754 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 18 s NC NC Success
improper-integrals 0.1.0 NC NC 43 s 45 s 53 s NC NC Success
int-map 8.5.0 38 s NC NC NC NC NC NC Success
8.6.0 NC 31 s NC NC NC NC NC Success
8.7.0 NC NC 34 s NC NC NC NC Success
8.8.0 NC NC NC 34 s 41 s NC NC Success
interval 2.2.1 3 m 37 s NC NC NC NC NC NC Success
3.1.1 2 m 23 s 1 m 32 s NC NC NC NC NC Success
3.2.0 2 m 34 s 1 m 40 s NC NC NC NC NC Success
3.3.0 2 m 22 s 2 m 17 s 1 m 45 s 1 m 47 s 2 m 26 s NC NC Success
3.4.0 NC NC 1 m 54 s 2 m 10 s 2 m 24 s 1 m 54 s 1 m 55 s Success
intuitionistic-nuprl 8.6.0 NC Error NC NC NC NC NC Error
io 2.0.0 9 s 9 s 8 s 9 s 9 s 9 s 10 s Success
2.1.0 9 s 9 s 9 s 9 s 9 s 9 s 9 s Success
3.0.0 9 s 9 s 8 s 9 s 9 s 9 s 9 s Success
3.1.0 9 s 9 s 8 s 9 s 9 s 9 s 9 s Success
3.2.0 NC NC NC NC NC NC NC NC
3.3.0 16 s NC NC NC NC NC NC Success
io-evaluate 1.0.0 NC NC NC NC NC NC NC NC
io-exception 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 NC NC NC NC NC NC NC NC
io-hello-world 1.0.0 10 s 10 s 10 s 10 s 10 s NC NC Success
1.1.0 11 s 10 s 10 s 11 s 10 s NC NC Success
io-list 1.0.0 9 s 9 s 8 s 8 s 9 s 9 s 8 s Success
1.1.0 10 s 9 s 9 s 8 s 8 s 9 s 9 s Success
io-system 2.0.0 NC NC NC NC NC NC NC NC
2.1.0 13 s 12 s 13 s 12 s 12 s 13 s 14 s Success
2.2.0 14 s 12 s 13 s 12 s 12 s 13 s 14 s Success
2.3.0 13 s 12 s 12 s 12 s 13 s 13 s 14 s Success
2.4.0 14 s NC NC NC NC NC NC Success
io-system-ocaml 2.0.0 8 s 8 s 8 s 8 s 8 s 9 s 8 s Success
2.1.0 8 s 8 s 8 s 8 s 8 s 9 s 8 s Success
2.2.0 8 s 8 s 8 s 8 s 8 s 8 s 8 s Success
2.3.0 8 s 8 s 8 s 8 s 8 s 8 s 9 s Success
ipc 8.5.0 38 s NC NC NC NC NC NC Success
8.6.0 NC 34 s NC NC NC NC NC Success
8.7.0 NC NC 35 s NC NC NC NC Success
8.8.0 NC NC NC 35 s 35 s NC NC Success
iris 3.0.0 11 m 5 s 7 m 31 s NC NC NC NC NC Success
3.1.0 NC 5 m 19 s 5 m 27 s 4 m 48 s 5 m 18 s NC NC Success
iterable 1.0.0 9 s 10 s 10 s 9 s 10 s 9 s 10 s Success
itree 1.0.0 NC NC NC 1 m 38 s 1 m 48 s 1 m 36 s 1 m 46 s Success
izf 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
jordan-curve-theorem 8.5.0 14 m 12 s NC NC NC NC NC NC Success
8.6.0 NC 15 m 20 s NC NC NC NC NC Success
8.7.0 NC NC 15 m 27 s NC NC NC NC Success
8.8.0 NC NC NC 19 m 18 s 19 m 5 s NC NC Success
jprover 8.5.0 14 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
jsast 1.0.7 NC NC 13 s 12 s 12 s NC NC Success
1.0.8 NC NC 13 s 12 s 12 s NC NC Success
karatsuba 8.5.0 28 s NC NC NC NC NC NC Success
8.6.0 NC 21 s NC NC NC NC NC Success
8.7.0 NC NC 24 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 20 s NC NC Success
kildall 8.5.0 1 m 44 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 12 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 23 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 14 s 1 m 13 s NC NC Success
label 1.0.0 NC NC 9 s NC NC NC NC Success
lambda 8.5.0 31 s NC NC NC NC NC NC Success
8.6.0 NC 23 s NC NC NC NC NC Success
8.7.0 NC NC 25 s NC NC NC NC Success
8.8.0 NC NC NC 22 s 22 s NC NC Success
lambek 8.5.0 19 s NC NC NC NC NC NC Success
8.6.0 NC 15 s NC NC NC NC NC Success
8.7.0 NC NC 18 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 14 s NC NC Success
lazy-pcf 8.5.0 18 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 15 s NC NC Success
lc 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 15 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 14 s NC NC Success
legacy-ring 8.5.0 16 s NC NC NC NC NC NC Success
8.6.0 NC Error NC NC NC NC NC Error
lemma-overloading 8.8.0 NC NC NC 1 m 5 s 1 m 9 s NC NC Success
8.9.0 NC NC NC 1 m 2 s 1 m 4 s 1 m 2 s 1 m 1 s Success
lesniewski-mereology 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 11 s NC NC NC NC NC Success
8.7.0 NC NC 11 s NC NC NC NC Success
8.8.0 NC NC NC 11 s 11 s NC NC Success
libvalidsdp 0.5 NC NC 1 m 17 s 1 m 10 s 1 m 10 s NC NC Success
lin-alg 8.5.0 3 m 24 s NC NC NC NC NC NC Success
8.6.0 NC 3 m 24 s NC NC NC NC NC Success
8.7.0 NC NC 3 m 9 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 32 s 3 m 11 s NC NC Success
list-plus 1.0.0 9 s 9 s 8 s 9 s 8 s 8 s 8 s Success
1.1.0 9 s 9 s 9 s 10 s 9 s 9 s 9 s Success
list-string 1.0.0 NC NC NC NC NC NC NC NC
2.0.0 16 s 14 s 15 s 15 s 14 s 14 s 14 s Success
2.1.0 15 s 14 s 15 s 15 s 14 s 14 s 14 s Success
2.1.1 15 s 14 s 15 s 14 s 14 s 14 s 14 s Success
2.1.2 15 s 15 s 15 s 14 s 14 s 15 s 14 s Success
ltac-iter 1.0.0 Deps NC NC NC NC NC NC Error
1.1.0 NC NC NC NC NC 9 s 9 s Success
ltac2 0.1 NC NC NC 16 s 16 s NC NC Success
0.1-8.7 NC NC 17 s NC NC NC NC Success
0.2 NC NC NC NC NC 16 s 16 s Success
0.3 Deps Deps Deps Deps Deps Deps Deps Error
ltl 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 9 s NC NC Success
maple-mode 8.5.0 33 s NC NC NC NC NC NC Success
8.6.0 NC 30 s NC NC NC NC NC Success
8.7.0 NC NC 20 s NC NC NC NC Success
8.8.0 NC NC NC 18 s 21 s NC NC Success
markov 8.5.0 13 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 12 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 12 s NC NC Success
math-classes 1.0.3 NC NC NC NC NC NC NC NC
1.0.4 3 m 41 s NC NC NC NC NC NC Success
1.0.5 3 m 42 s NC NC NC NC NC NC Success
1.0.6 NC 3 m 45 s NC NC NC NC NC Success
1.0.7 NC NC NC NC NC NC NC NC
8.8.1 NC 3 m 27 s 4 m 4 s 3 m 20 s 3 m 31 s 3 m 33 s 3 m 21 s Success
mathcomp-algebra 1.6 10 m 33 s NC NC NC NC NC NC Success
1.6.1 10 m 49 s 8 m 12 s NC NC NC NC NC Success
1.6.2 11 m 42 s 8 m 10 s 7 m 43 s NC NC NC NC Success
1.6.4 10 m 37 s 7 m 41 s 7 m 43 s NC NC NC NC Success
1.7.0 NC 8 m 20 s 8 m 18 s 8 m 31 s 8 m 40 s 8 m 25 s 8 m 20 s Success
1.8.0 NC NC 3 m 26 s 3 m 41 s 3 m 49 s 3 m 59 s 3 m 49 s Success
1.9.0 NC NC 3 m 25 s 3 m 40 s 4 m 1 s 3 m 59 s 3 m 37 s Success
mathcomp-analysis 0.1.0 NC NC NC 5 m 42 s 5 m 58 s NC NC Success
0.2.0 NC NC NC 5 m 29 s 5 m 15 s 5 m 7 s 5 m 28 s Success
0.2.2 NC NC 5 m 18 s 5 m 33 s 5 m 18 s 5 m 6 s Success
mathcomp-bigenough 1.0.0 10 s 10 s 10 s 10 s 10 s 10 s 10 s Success
mathcomp-character 1.6 17 m 29 s NC NC NC NC NC NC Success
1.6.1 17 m 36 s 13 m 1 s NC NC NC NC NC Success
1.6.2 17 m 29 s 13 m 9 s 14 m 10 s NC NC NC NC Success
1.6.4 17 m 32 s 13 m 22 s 13 m 19 s NC NC NC NC Success
1.7.0 NC 13 m 54 s 13 m 39 s 13 m 19 s 12 m 56 s 13 m 23 s 12 m 47 s Success
1.8.0 NC NC 7 m 56 s 8 m 10 s 7 m 16 s 7 m 10 s 7 m 7 s Success
1.9.0 NC NC 7 m 27 s 7 m 12 s 7 m 12 s 7 m 8 s 7 m 31 s Success
mathcomp-field 1.6 33 m 37 s NC NC NC NC NC NC Success
1.6.1 33 m 58 s 22 m 3 s NC NC NC NC NC Success
1.6.2 36 m 12 s 24 m 42 s 23 m 47 s NC NC NC NC Success
1.6.4 37 m 59 s 24 m 36 s 23 m 13 s NC NC NC NC Success
1.7.0 NC 24 m 6 s 23 m 38 s 23 m 3 s 22 m 32 s 21 m 26 s 21 m 19 s Success
1.8.0 NC NC 15 m 56 s 14 m 37 s 14 m 50 s 14 m 40 s 15 m 5 s Success
1.9.0 NC NC 16 m 24 s 15 m 8 s 15 m 35 s 14 m 22 s 14 m 22 s Success
mathcomp-fingroup 1.6 3 m 21 s NC NC NC NC NC NC Success
1.6.1 3 m 19 s 2 m 41 s NC NC NC NC NC Success
1.6.2 3 m 23 s 2 m 44 s 2 m 45 s NC NC NC NC Success
1.6.4 3 m 41 s 2 m 53 s 2 m 44 s NC NC NC NC Success
1.7.0 NC 2 m 53 s 2 m 44 s 2 m 50 s 2 m 45 s 2 m 41 s 2 m 43 s Success
1.8.0 NC NC 2 m 30 s 2 m 32 s 2 m 32 s 2 m 28 s 2 m 29 s Success
1.9.0 NC NC 2 m 30 s 2 m 31 s 2 m 34 s 2 m 40 s 2 m 29 s Success
mathcomp-finmap 1.0.0 1 m 23 s 1 m 25 s 1 m 18 s 1 m 18 s 1 m 19 s 1 m 22 s 1 m 17 s Success
1.1.0 NC 1 m 28 s 1 m 24 s 1 m 25 s 1 m 25 s 1 m 30 s 1 m 23 s Success
1.2.0 NC NC 1 m 23 s 1 m 24 s 1 m 24 s 1 m 28 s 1 m 22 s Success
1.2.1 NC NC 1 m 28 s 1 m 26 s 1 m 26 s 1 m 31 s 1 m 24 s Success
1.3.1 1 m 27 s 1 m 26 s 1 m 25 s 1 m 30 s Success
1.3.3 1 m 26 s 1 m 29 s 1 m 24 s 1 m 30 s Success
mathcomp-multinomials 1.0 2 m 16 s 1 m 22 s 1 m 23 s NC NC NC NC Success
1.1 1 m 21 s 1 m 20 s 1 m 22 s 1 m 23 s 1 m 24 s 1 m 23 s 1 m 28 s Success
1.2 NC NC 1 m 29 s 1 m 22 s 1 m 28 s 1 m 21 s 1 m 22 s Success
1.3 NC NC 1 m 29 s 1 m 22 s 1 m 29 s 1 m 21 s 1 m 21 s Success
mathcomp-odd-order 1.6.1 Error Error NC NC NC NC NC Error
1.6.2 1 h 43 m 1 h 21 m 1 h 5 m NC NC NC NC Success
1.7.0 NC 1 h 0 m 51 m 3 s 48 m 57 s 46 m 59 s 46 m 51 s 46 m 8 s Success
mathcomp-real-closed 1.0.1 NC 4 m 48 s 4 m 58 s 4 m 31 s 4 m 32 s 4 m 38 s 4 m 22 s Success
1.0.2 NC NC 4 m 8 s 4 m 4 s 4 m 24 s 3 m 48 s 3 m 46 s Success
1.0.3 NC NC 4 m 16 s 3 m 51 s 3 m 52 s 3 m 48 s 3 m 45 s Success
mathcomp-solvable 1.6 12 m 17 s NC NC NC NC NC NC Success
1.6.1 11 m 25 s 8 m 49 s NC NC NC NC NC Success
1.6.2 12 m 3 s 8 m 50 s 8 m 28 s NC NC NC NC Success
1.6.4 11 m 49 s 8 m 49 s 8 m 27 s NC NC NC NC Success
1.7.0 NC 10 m 24 s 9 m 39 s 9 m 50 s 10 m 2 s 9 m 12 s 9 m 51 s Success
1.8.0 NC NC 6 m 18 s 6 m 16 s 5 m 51 s 5 m 46 s 5 m 50 s Success
1.9.0 NC NC 5 m 51 s 5 m 52 s 5 m 58 s 5 m 49 s 5 m 51 s Success
mathcomp-ssreflect 1.6 2 m 54 s NC NC NC NC NC NC Success
1.6.1 2 m 55 s 2 m 6 s NC NC NC NC NC Success
1.6.2 2 m 57 s 2 m 7 s 1 m 49 s NC NC NC NC Success
1.6.4 2 m 59 s 2 m 8 s 1 m 52 s NC NC NC NC Success
1.7.0 NC 2 m 10 s 1 m 53 s 1 m 58 s 1 m 56 s 1 m 55 s 1 m 56 s Success
1.8.0 NC NC 1 m 26 s 1 m 31 s 1 m 30 s 1 m 36 s 1 m 29 s Success
1.9.0 NC NC 1 m 28 s 1 m 34 s 1 m 34 s 1 m 40 s 1 m 34 s Success
mathcomp-sum-of-two-square 1.0.0 1 m 7 s 48 s 49 s NC NC NC NC Success
1.0.1 NC NC NC 52 s 52 s 55 s 52 s Success
maths 8.5.0 19 s NC NC NC NC NC NC Success
8.6.0 NC 19 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC 19 s 19 s NC NC Success
matrices 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 15 s NC NC NC NC NC Success
8.7.0 NC NC 15 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 18 s NC NC Success
menhirlib 20180530 NC 38 s 34 s 35 s NC NC NC Success
20180827 NC 38 s 34 s 38 s 39 s 35 s 38 s Success
20190613 36 s 34 s 31 s 33 s Success
20190620 34 s 31 s Success
min-imports 1.0.0 8 s 9 s 8 s 9 s 9 s 8 s 9 s Success
1.0.1 8 s 9 s 8 s 9 s 9 s 8 s 8 s Success
1.0.2 9 s 9 s 8 s 9 s 9 s 9 s 8 s Success
mini-compiler 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 11 s NC NC Success
minic 8.5.0 22 s NC NC NC NC NC NC Success
8.6.0 NC 19 s NC NC NC NC NC Success
8.7.0 NC NC 18 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 21 s NC NC Success
miniml 8.5.0 13 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 12 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 12 s NC NC Success
mirror-core 1.0.0 NC NC NC NC NC NC NC NC
1.0.1 NC NC NC NC NC NC NC NC
1.0.2 Deps NC NC NC NC NC NC Error
mod-red 8.5.0 48 s NC NC NC NC NC NC Success
8.6.0 NC 40 s NC NC NC NC NC Success
8.7.0 NC NC 41 s NC NC NC NC Success
moment 1.0.0 17 s 15 s 15 s 16 s 15 s NC NC Success
msets-extra 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 56 s NC NC NC NC NC NC Success
mtac 1.3.0 29 s NC NC NC NC NC NC Success
mtac2 1.0.0+8.7 NC NC 29 s NC NC NC NC Success
1.0.1+8.8 NC NC NC 33 s 29 s NC NC Success
1.1+8.8 NC NC NC NC 1 m 20 s NC NC Success
1.1+8.9 NC NC NC NC NC 1 m 21 s 1 m 20 s Success
multiplier 8.5.0 12 s NC NC NC NC NC NC Success
8.6.0 NC 11 s NC NC NC NC NC Success
8.7.0 NC NC 11 s NC NC NC NC Success
8.8.0 NC NC NC 11 s 11 s NC NC Success
mutual-exclusion 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 10 s NC NC Success
nfix 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 21 s 9 s NC NC Success
of-ocaml 1.1.1 NC NC NC NC NC NC NC NC
1.2.1 44 s 36 s 36 s 36 s 36 s 36 s 37 s Success
opam-website 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 NC NC NC NC NC NC NC NC
1.2.0 NC NC NC NC NC NC NC NC
1.2.1 NC NC NC NC NC NC NC NC
1.3.0 NC NC NC NC NC NC NC NC
1.3.1 NC NC NC NC NC NC NC NC
1.3.2 NC NC NC NC NC NC NC NC
1.4.0 NC NC NC NC NC NC NC NC
orb-stab 8.5.0 14 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 12 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 12 s NC NC Success
ott 0.26 24 s 19 s NC NC NC NC NC Success
0.27 23 s 19 s 19 s NC NC NC NC Success
0.28 23 s 21 s 20 s 19 s 21 s NC NC Success
otway-rees 8.5.0 16 s NC NC NC NC NC NC Success
8.6.0 NC 12 s NC NC NC NC NC Success
8.7.0 NC NC 12 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 13 s NC NC Success
paco 1.2.8 3 m 29 s 3 m 4 s 3 m 32 s 5 m 35 s 5 m 52 s NC NC Success
1.2.9 NC 1 m 21 s 1 m 35 s 2 m 36 s 2 m 39 s 1 m 33 s 1 m 32 s Success
2.0.0 NC 1 m 9 s 1 m 11 s 1 m 30 s 1 m 35 s 1 m 11 s 1 m 20 s Success
2.0.1 NC 1 m 7 s 1 m 11 s 1 m 30 s 1 m 31 s 1 m 22 s 1 m 9 s Success
2.0.2 NC 1 m 7 s 1 m 11 s 1 m 36 s 1 m 31 s 1 m 34 s 1 m 8 s Success
2.0.3 NC 1 m 7 s 1 m 10 s 1 m 30 s 1 m 31 s 1 m 26 s 1 m 11 s Success
2.1.0 NC 37 s 45 s 45 s 45 s 44 s 37 s Success
3.0.0 NC 39 s 49 s 43 s 43 s 46 s 39 s Success
4.0.0 NC 48 s 1 m 1 s 53 s 52 s 58 s 48 s Success
paradoxes 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
param-pi 8.5.0 19 s NC NC NC NC NC NC Success
8.6.0 NC 19 s NC NC NC NC NC Success
8.7.0 NC NC 19 s NC NC NC NC Success
8.8.0 NC NC NC 19 s 20 s NC NC Success
paramcoq 1.0.5 NC NC NC NC NC NC NC NC
1.0.6 NC NC NC 10 s 10 s NC NC Success
1.0.9 NC NC NC 10 s 12 s NC NC Success
1.1.0 NC NC 12 s 11 s 12 s 12 s 11 s Success
1.1.1+coq8.7 NC NC 11 s NC NC NC NC Success
1.1.1+coq8.8 NC NC NC 10 s 11 s NC NC Success
1.1.1+coq8.9 NC NC NC NC NC 12 s 10 s Success
pautomata 8.5.0 23 s NC NC NC NC NC NC Success
8.6.0 NC 20 s NC NC NC NC NC Success
8.7.0 NC NC 23 s NC NC NC NC Success
8.8.0 NC NC NC 22 s 22 s NC NC Success
persistent-union-find 8.5.0 1 m 3 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 2 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 9 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 4 s 1 m 9 s NC NC Success
pi-agm 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 3 m 26 s 2 m 28 s NC NC NC NC NC Success
1.2.0 NC 3 m 5 s NC NC NC NC NC Success
1.2.1 NC NC 3 m 2 s NC NC NC NC Success
1.2.2 NC NC NC 3 m 3 s 3 m 17 s NC NC Success
1.2.3 NC NC NC NC NC 2 m 56 s 2 m 58 s Success
pi-calc 8.5.0 2 m 56 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 21 s NC NC NC NC NC Success
8.7.0 NC NC 2 m 12 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 17 s 2 m 20 s NC NC Success
pigeonhole-principle 1.0.3 NC NC NC Error Error Error Error Error
1.0.4 NC NC NC Error Error Error Error Error
plouffe 1.0.0 NC NC NC NC NC NC NC NC
1.1.0 NC NC NC NC NC NC NC NC
1.2.0 3 m 24 s NC NC NC NC NC NC Success
1.2.1 3 m 51 s 3 m 32 s NC NC NC NC NC Success
1.3.0 NC 3 m 34 s NC NC NC NC NC Success
1.4.0 NC NC 4 m 5 s NC NC NC NC Success
plugin-utils 1.1.0 9 s NC NC NC NC NC NC Success
1.2.0 Error NC NC NC NC NC NC Error
1.3.0 NC 8 s NC NC NC NC NC Success
pocklington 8.5.0 30 s NC NC NC NC NC NC Success
8.6.0 NC 27 s NC NC NC NC NC Success
8.7.0 NC NC 26 s NC NC NC NC Success
8.8.0 NC NC NC 27 s 27 s NC NC Success
poltac 0.8.8 NC NC NC 1 m 27 s 1 m 27 s 1 m 24 s 1 m 25 s Success
ppsimpl 1.0.0 NC NC 3 m 26 s NC NC NC NC Success
8.8.0 NC NC NC 3 m 25 s 3 m 25 s NC NC Success
8.9.0 NC NC NC NC NC 3 m 22 s 3 m 22 s Success
presburger 8.5.0 1 m 21 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 1 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 4 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 5 s 1 m 6 s NC NC Success
prfx 8.5.0 31 s NC NC NC NC NC NC Success
8.6.0 NC 25 s NC NC NC NC NC Success
8.7.0 NC NC 25 s NC NC NC NC Success
8.8.0 NC NC NC 26 s 41 s NC NC Success
printf 1.0.0 NC NC NC NC NC 11 s 11 s Success
procrastination 1.0 NC NC 8 s 9 s 9 s 10 s 9 s Success
1.1 NC NC NC 9 s 9 s 9 s 9 s Success
1.2 NC NC NC 9 s 9 s 9 s 9 s Success
projective-geometry 8.5.0 11 m 39 s NC NC NC NC NC NC Success
8.6.0 NC 9 m 13 s NC NC NC NC NC Success
8.7.0 NC NC 9 m 29 s NC NC NC NC Success
8.8.0 NC NC NC 9 m 54 s 9 m 8 s NC NC Success
propcalc 8.5.0 18 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC NC 17 s NC NC Success
pts 8.5.0 32 s NC NC NC NC NC NC Success
8.6.0 NC 28 s NC NC NC NC NC Success
8.7.0 NC NC 30 s NC NC NC NC Success
8.8.0 NC NC NC 31 s 31 s NC NC Success
ptsatr 8.5.0 58 s NC NC NC NC NC NC Success
8.6.0 NC 56 s NC NC NC NC NC Success
8.7.0 NC NC 57 s NC NC NC NC Success
8.8.0 NC NC NC NC 1 m 6 s NC NC Success
ptsf 8.5.0 42 s NC NC NC NC NC NC Success
8.6.0 NC 37 s NC NC NC NC NC Success
8.7.0 NC NC 38 s NC NC NC NC Success
8.8.0 NC NC NC NC 44 s NC NC Success
qarith 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 17 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 16 s 17 s NC NC Success
qarith-stern-brocot 8.5.0 3 m 48 s NC NC NC NC NC NC Success
8.6.0 NC 2 m 27 s NC NC NC NC NC Success
8.7.0 NC NC 2 m 25 s NC NC NC NC Success
8.8.0 NC NC NC 2 m 18 s 2 m 30 s NC NC Success
8.9.0 NC NC 2 m 28 s 2 m 18 s 2 m 29 s 2 m 27 s 2 m 16 s Success
qcert 1.0.4 NC NC 29 m 44 s NC NC NC NC Success
1.0.5 NC NC 28 m 36 s NC NC NC NC Success
1.0.6 NC NC 34 m 18 s NC NC NC NC Success
1.0.7 NC NC 41 m 18 s NC NC NC NC Success
1.0.9 NC NC 43 m 27 s NC NC NC NC Success
1.1.0 NC NC NC 38 m 51 s 37 m 51 s NC NC Success
1.2.0 NC NC NC 1 h 20 m 1 h 21 m NC NC Success
1.3.0 NC NC NC NC 1 h 28 m NC NC Success
quickchick 1.0.0 NC NC 1 m 28 s NC NC NC NC Success
1.0.1 NC NC NC 1 m 22 s 1 m 24 s NC NC Success
1.0.2 NC NC NC 1 m 18 s 1 m 18 s NC NC Success
1.1.0 NC NC NC NC NC 1 m 30 s 1 m 23 s Success
quicksort-complexity 8.5.0 1 m 59 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 52 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 43 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 38 s 1 m 39 s NC NC Success
railroad-crossing 8.5.0 18 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 15 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 14 s NC NC Success
ramsey 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 8 s 9 s NC NC Success
random 8.5.0 1 m 15 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 19 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 12 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 14 s 1 m 15 s NC NC Success
rational 8.5.0 33 s NC NC NC NC NC NC Success
8.6.0 NC 30 s NC NC NC NC NC Success
recursive-definition 8.5.0 15 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
reduction-effects 0.1.0 NC NC 9 s 9 s 9 s NC NC Success
reflexive-first-order 8.5.0 35 s NC NC NC NC NC NC Success
8.6.0 NC 29 s NC NC NC NC NC Success
8.7.0 NC NC 29 s NC NC NC NC Success
8.8.0 NC NC NC 31 s 29 s NC NC Success
regexp 8.5.0 21 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 18 s NC NC NC NC Success
8.8.0 NC NC NC 18 s 19 s NC NC Success
reglang 1 NC 50 s 51 s 54 s 54 s 53 s 57 s Success
relation-algebra 1.3 NC NC NC NC NC NC NC NC
1.4 NC NC NC NC NC NC NC NC
1.5 NC NC NC NC NC NC NC NC
1.6 5 m 10 s NC NC NC NC NC NC Success
1.7 NC NC NC 5 m 9 s 6 m 17 s NC NC Success
1.7.1 NC NC NC NC NC 5 m 7 s 5 m 28 s Success
relation-extraction 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 11 s NC NC NC NC NC Success
8.7.0 NC NC 11 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 15 s NC NC Success
rem 8.5.0 9 s NC NC NC NC NC NC Success
8.6.0 NC 8 s NC NC NC NC NC Success
8.7.0 NC NC 8 s NC NC NC NC Success
8.8.0 NC NC NC 8 s 9 s NC NC Success
rsa 8.5.0 19 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 18 s NC NC Success
ruler-compass-geometry 8.5.0 1 m 29 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 34 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 35 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 38 s 2 m 1 s NC NC Success
scev 1.0.1 8 s NC NC NC NC NC NC Success
schroeder 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 11 s NC NC Success
search-trees 8.5.0 16 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 14 s 19 s NC NC Success
semantics 8.5.0 Error NC NC NC NC NC NC Error
8.6.0 NC Error NC NC NC NC NC Error
8.7.0 NC NC 1 m 0 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 4 s 1 m 13 s NC NC Success
shuffle 8.5.0 11 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 11 s 12 s NC NC Success
simple-io 0.1 NC 12 s 11 s 12 s 13 s 11 s 12 s Success
0.2 NC 12 s 11 s 12 s 13 s 11 s 11 s Success
1.0.0 NC NC NC 17 s 18 s 16 s 16 s Success
1.1.0 NC NC NC 22 s 22 s 20 s 22 s Success
1.2.0 NC NC NC 22 s 23 s 20 s 24 s Success
smc 8.5.0 1 m 17 s NC NC NC NC NC NC Success
8.6.0 NC 57 s NC NC NC NC NC Success
8.7.0 NC NC 58 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 6 s 1 m 2 s NC NC Success
smt-check 1.0.0 Deps NC NC NC NC NC NC Error
2.0.0 Deps NC NC NC NC NC NC Error
square-matrices 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 9 s NC NC NC NC NC Success
8.7.0 NC NC 9 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 11 s NC NC Success
squiggle-eq 1.0.1 8 m 51 s NC NC NC NC NC NC Success
1.0.2 NC 13 m 20 s NC NC NC NC NC Success
1.0.3 NC NC 11 m 57 s NC NC NC NC Success
1.0.4 NC NC NC 13 m 9 s 13 m 9 s NC NC Success
ssreflect 1.5.0 NC NC NC NC NC NC NC NC
stalmarck 8.5.0 19 m 45 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 25 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 24 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 7 s 1 m 6 s NC NC Success
8.9.0 NC NC NC NC NC 1 m 6 s 1 m 6 s Success
stdpp 1.0.0 3 m 32 s 2 m 28 s 2 m 37 s NC NC NC NC Success
1.1.0 NC 2 m 55 s 2 m 46 s 2 m 31 s 2 m 31 s NC NC Success
1.2.0 NC NC 2 m 55 s 2 m 42 s 2 m 40 s 2 m 37 s 2 m 37 s Success
streams 8.5.0 10 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 9 s 10 s NC NC Success
string 8.5.0 Error NC NC NC NC NC NC Error
8.6.0 NC 15 s NC NC NC NC NC Success
subst 8.5.0 24 s NC NC NC NC NC NC Success
8.6.0 NC 26 s NC NC NC NC NC Success
8.7.0 NC NC 25 s NC NC NC NC Success
8.8.0 NC NC NC 24 s 24 s NC NC Success
sudoku 8.5.0 1 m 47 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 50 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 44 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 50 s 1 m 47 s NC NC Success
sum-of-two-square 8.5.0 48 s NC NC NC NC NC NC Success
8.6.0 NC 44 s NC NC NC NC NC Success
8.7.0 NC NC 39 s NC NC NC NC Success
8.8.0 NC NC NC 40 s 40 s NC NC Success
switch 1.0.0 NC NC NC 9 s 9 s NC NC Success
tait 8.5.0 55 s NC NC NC NC NC NC Success
8.6.0 NC 55 s NC NC NC NC NC Success
8.7.0 NC NC 51 s NC NC NC NC Success
8.8.0 NC NC NC 52 s 52 s NC NC Success
tarski-geometry 8.5.0 1 m 15 s NC NC NC NC NC NC Success
8.6.0 NC 1 m 50 s NC NC NC NC NC Success
8.7.0 NC NC 1 m 45 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 48 s 1 m 47 s NC NC Success
template-coq 1.1.0~beta3 11 s NC NC NC NC NC NC Success
2.1~beta3 NC NC NC 2 m 33 s 2 m 30 s NC NC Success
three-gap 8.5.0 32 s NC NC NC NC NC NC Success
8.6.0 NC 27 s NC NC NC NC NC Success
8.7.0 NC NC 28 s NC NC NC NC Success
8.8.0 NC NC NC 28 s 29 s NC NC Success
tlc 20161010 2 m 1 s NC NC NC NC NC NC Success
20171128 NC 1 m 50 s NC NC NC NC NC Success
20171206 NC 1 m 50 s 1 m 42 s 1 m 44 s 1 m 49 s 1 m 55 s 1 m 41 s Success
20180316 NC 1 m 52 s 1 m 43 s 1 m 43 s 1 m 44 s 1 m 52 s 1 m 42 s Success
20181116 NC 1 m 59 s 1 m 49 s 1 m 49 s 2 m 2 s 1 m 49 s 1 m 49 s Success
topology 8.5.0 1 m 32 s NC NC NC NC NC NC Success
8.6.0 NC 51 s NC NC NC NC NC Success
8.7.0 NC NC 54 s NC NC NC NC Success
8.8.0 NC NC NC 1 m 2 s 1 m 0 s NC NC Success
tortoise-hare-algorithm 8.5.0 12 s NC NC NC NC NC NC Success
8.6.0 NC 10 s NC NC NC NC NC Success
8.7.0 NC NC 10 s NC NC NC NC Success
8.8.0 NC NC NC 10 s 10 s NC NC Success
traversable-fincontainer 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 14 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 16 s NC NC Success
tree-automata 8.5.0 58 s NC NC NC NC NC NC Success
8.6.0 NC 36 s NC NC NC NC NC Success
8.7.0 NC NC 35 s NC NC NC NC Success
8.8.0 NC NC NC 43 s 41 s NC NC Success
tree-diameter 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 16 s NC NC Success
unicoq 1.0.0 15 s NC NC NC NC NC NC Success
1.3+8.6 NC 18 s NC NC NC NC NC Success
1.3+8.7 NC NC 16 s NC NC NC NC Success
1.3+8.8 NC NC NC 19 s 21 s NC NC Success
1.3+8.9 NC NC NC NC NC 18 s 16 s Success
unimath-category-theory 0.1.0 1 m 18 s NC NC NC NC NC NC Success
unimath-dedekind 0.1.0 8 m 9 s NC NC NC NC NC NC Success
unimath-foundations 0.1.0 7 m 46 s NC NC NC NC NC NC Success
unimath-ktheory 0.1.0 2 m 12 s NC NC NC NC NC NC Success
unimath-substitution-systems 0.1.0 11 m 7 s NC NC NC NC NC NC Success
unimath-tactics 0.1.0 9 s NC NC NC NC NC NC Success
universe-comparator 1.1.0 10 s NC NC NC NC NC NC Success
vst 2.2 NC NC 52 m 52 s NC NC NC NC Success
weak-up-to 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 15 s NC NC NC NC NC Success
8.7.0 NC NC 16 s NC NC NC NC Success
8.8.0 NC NC NC 15 s 15 s NC NC Success
zchinese 8.5.0 17 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 16 s 15 s NC NC Success
zf 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 18 s NC NC NC NC NC Success
8.7.0 NC NC 18 s NC NC NC NC Success
8.8.0 NC NC NC 19 s 22 s NC NC Success
zfc 8.5.0 14 s NC NC NC NC NC NC Success
8.6.0 NC 13 s NC NC NC NC NC Success
8.7.0 NC NC 13 s NC NC NC NC Success
8.8.0 NC NC NC 12 s 13 s NC NC Success
zorns-lemma 8.5.0 20 s NC NC NC NC NC NC Success
8.6.0 NC 16 s NC NC NC NC NC Success
8.7.0 NC NC 17 s NC NC NC NC Success
8.8.0 NC NC NC 17 s 17 s NC NC Success
zsearch-trees 8.5.0 15 s NC NC NC NC NC NC Success
8.6.0 NC 13 s NC NC NC NC NC Success
8.7.0 NC NC 14 s NC NC NC NC Success
8.8.0 NC NC NC 13 s 17 s NC NC Success