CaT_dc 2009 (open source) |
137 |
matchbox-poly 0.2.2 (open source) |
127 |
TCT alpha DC 1.07.2 (open source) |
109 |
Actions
|
CaT_dc 2009 (open source) |
92 |
TCT alpha iDC 1.07.2 (open source) |
44 |
Actions
|
Actions
|
AProVE 1.8 |
23 |
Julia-09 20091208a |
18 |
COSTA 1 |
16 |
Actions
|
Julia-09 20091208a |
9 |
COSTA 1 |
7 |
AProVE 1.8 |
6 |
Actions
|
AProVE 1.8 |
100 |
polytool 2.0 |
94 |
Actions
|
Actions
|
Actions
|
Actions
|
CaT_rc 2009 (open source) |
96 |
TCT RC 0.3.3 (open source) |
61 |
Actions
|
CaT_rc 2009 (open source) |
96 |
TCT iRC 0.3.3 (open source) |
60 |
Actions
|
AProVE 1.8 |
21 |
Jambox 2009_b |
15 |
Actions
|
AProVE 1.8 |
185 |
TTT2 0.9 |
165 |
Jambox 2009_b |
77 |
muterm 5.05 |
26 |
Actions
|
AProVE-CeTA 1.8.1 (certifiable) |
148 |
TTT2Cert 2009z (certifiable) |
115 |
AProVE-COLOR 1.8 (certifiable) |
96 |
AProVE-A3PAT 1.8 (certifiable) |
45 |
CeTA 1.08 |
92 % |
rainbow-coq 20091215final |
47 % |
cime3verifier 15dec16h52 |
5 % |
Actions
|
Actions
|
muterm 5.05 |
34 |
AProVE 1.8 |
34 |
VMTL 1.4 |
29 |
Jambox 2009_b |
28 |
Actions
|
Actions
|
AProVE 1.8 |
71 |
muterm 5.05 |
56 |
Actions
|
Actions
|
AProVE 1.8 |
14 |
Jambox 2009_b |
9 |
Actions
|
AProVE 1.8 |
364 |
TTT2 0.9 |
271 |
muterm 5.05 |
225 |
Jambox 2009_b |
219 |
VMTL 1.4 |
165 |
Actions
|
TTT2Cert 2009z (certifiable) |
264 |
AProVE-CeTA 1.8.1 (certifiable) |
259 |
AProVE-COLOR 1.8 (certifiable) |
220 |
AProVE-A3PAT 1.8 (certifiable) |
165 |
cime3finder 14dec16h26 (certifiable) |
56 |
CeTA 1.08 |
80 % |
rainbow-coq 20091215final |
41 % |
cime3verifier 15dec16h52 |
21 % |
Actions
| | |