ConCon 1.4.0 and ConCon 1.3.2 Comparison
Benchmarks
cops.uibk.ac.atTool Configurations
| ConCon 1.4.0 | |
|---|---|
| A | concon -s --conf A --no-inlining theBenchmark.trs 58 |
| ✔A | concon -s --cert --conf A --no-inlining theBenchmark.trs 58 |
| A+i | concon -s --conf A theBenchmark.trs 58 |
| ✔A+i | concon -s --cert --conf A theBenchmark.trs 58 |
| T | concon -s --no-inlining theBenchmark.trs 58 |
| ✔T | concon -s --cert --no-inlining theBenchmark.trs 58 |
| T+i | concon -s theBenchmark.trs 58 |
| ✔T+i | concon -s --cert theBenchmark.trs 58 |
| ConCon 1.3.2 | |
| A | concon -s --conf A theBenchmark.trs 58 |
| T | concon -s theBenchmark.trs 58 |
| ✔T | concon -s --cert theBenchmark.trs 58 |
Summary
| ConCon 1.4.0 | ConCon 1.3.2 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| status | A | ✔A | A+i | ✔A+i | T | ✔T | T+i | ✔T+i | A | T | ✔T |
| YES | 46 | 43 | 47 | 44 | 57 | 50 | 57 | 50 | 42 | 56 | 38 |
| NO | 0 | 0 | 0 | 0 | 27 | 27 | 29 | 29 | 0 | 26 | 0 |
| MAYBE | 73 | 76 | 72 | 75 | 35 | 42 | 33 | 40 | 77 | 37 | 81 |
| total | 119 | 119 | 119 | 119 | 119 | 119 | 119 | 119 | 119 | 119 | 119 |