Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Table of comparison between Iggy and MajS for two benchmarks
| Benchmark 1 | Benchmark 2 | |||
|---|---|---|---|---|
| MajS | Iggy | MajS | Iggy | |
| Predicted nodes | 51 | 30 | 56 | 56 |
| Coverage of predicted nodes | 100.0 % | 59.00 % | 100.0 % | 100.0 % |
|
Number of predicted nodes: common VS different |
22 VS 8 | 48 VS 8 | ||
