Size | Time (s) | Break-even (s/cfg.) | |||||
---|---|---|---|---|---|---|---|
Name | Model | Constraints | mAETG Best | All | mAETG Best | All | |
SPIN-S | 21345 | 213 | 27.0 | 19.4 | 0.2 | 8.6 | 1.11 |
SPIN-V | 24232411 | 24732 | 42.5 | 36.8 | 11.3 | 102.1 | 15.93 |
GCC | 2189310 | 23733 | 24.7 | 21.1 | 204.0 | 1902.0 | 471.67 |
Apache | 215838445161 | 23314251 | 42.6 | 32.3 | 76.4 | 109.1 | 3.17 |
Bugzilla | 2493142 | 2431 | 21.8 | 16.2 | 1.9 | 9.1 | 1.29 |
1. | 28633415562 | 2203341 | 53.3 | 38.6 | 24.4 | 179.5 | 10.55 |
2. | 28633435161 | 21933 | 40.5 | 31.0 | 14.7 | 25.4 | 1.13 |
3. | 22742 | 2931 | 20.8 | 18.0 | 0.2 | 3.4 | 1.14 |
4. | 251344251 | 21532 | 28.6 | 21.0 | 3.1 | 29.3 | 3.45 |
5. | 215537435564 | 2323641 | 63.8 | 47.7 | 134.8 | 655.9 | 32.37 |
6. | 2734361 | 22634 | 34.0 | 24.2 | 7.2 | 18.2 | 1.12 |
7. | 22931 | 21332 | 12.5 | 9.0 | 0.3 | 2.1 | 0.51 |
8. | 210932425363 | 2323441 | 55.6 | 40.5 | 45.1 | 249.9 | 13.56 |
9. | 25731415161 | 23037 | 26.0 | 20.0 | 3.0 | 29.8 | 4.47 |
10. | 213036455264 | 24037 | 60.4 | 44.0 | 74.3 | 357.3 | 17.26 |
11. | 28434425264 | 22834 | 58.3 | 41.9 | 23.8 | 240.7 | 13.23 |
12. | 213634435163 | 22334 | 54.5 | 40.4 | 68.0 | 221.1 | 10.86 |
13. | 212434415262 | 22234 | 48.6 | 36.5 | 45.5 | 60.5 | 1.24 |
14. | 281354363 | 21332 | 51.8 | 36.9 | 20.2 | 58.1 | 2.54 |
15. | 25034415261 | 22032 | 40.4 | 30.7 | 4.9 | 19.3 | 1.48 |
16. | 281334261 | 23034 | 33.4 | 24.1 | 9.7 | 19.7 | 1.08 |
17. | 212833425163 | 22534 | 53.4 | 39.2 | 46.9 | 335.5 | 20.32 |
18. | 212732445662 | 2233441 | 57.3 | 42.3 | 60.1 | 303.5 | 16.23 |
19. | 217239495364 | 23835 | 64.7 | 47.8 | 168.4 | 823.6 | 38.77 |
20. | 213834455467 | 24236 | 71.5 | 53.2 | 121.1 | 1133.3 | 55.31 |
21. | 27633425163 | 24036 | 51.7 | 36.3 | 14.3 | 46.2 | 2.07 |
22. | 272344162 | 23134 | 26.2 | 36.0 | 6.7 | 12.3 | N/A |
23. | 2253161 | 21332 | 15.7 | 12.6 | 0.6 | 10.1 | 3.06 |
24. | 2110325364 | 22534 | 58.3 | 42.8 | 40.6 | 304.5 | 17.03 |
25. | 211836425266 | 2233341 | 65.7 | 48.3 | 61.7 | 507.8 | 25.64 |
26. | 287314354 | 22834 | 42.0 | 30.7 | 15.5 | 71.2 | 4.93 |
27. | 25532425162 | 21733 | 45.8 | 36.0 | 4.6 | 10.8 | 0.63 |
28. | 2167316425366 | 23136 | 68.5 | 50.7 | 170.4 | 1522.3 | 75.95 |
29. | 21343753 | 21933 | 38.4 | 29.7 | 38.9 | 89.3 | 5.79 |
30. | 2733343 | 22032 | 45.8 | 19.3 | 10.3 | 30.5 | 0.76 |
Sum | 1546.1 | 1155.4 | 1533.1 | 9501.8 | 20.40 | ||