|
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
| | |
