Size | Run Time (s) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | Model | Constraints | Base | Minor | TSR | OSN | All | Base | Minor | TSR | OSN | All |
SPIN-S | 21345 | 213 | 24 | 21 | 20 | 26 | 19 | 1513.8 | 1827.2 | 1.7 | 140.1 | 32.2 |
SPIN-V | 24232411 | 24732 | 36 | 33 | 39 | 32 | 36 | 22278.2 | 22206.0 | 18.5 | 122355.0 | 122.2 |
GCC | 2189310 | 23733 | 21 | 19 | 25 | 19 | 19 | 49856.7 | 50981.0 | 1250.4 | 61013.0 | 850.6 |
Apache | 215838445161 | 23314251 | 33 | 31 | 36 | 47 | 34 | 47465.2 | 31638.4 | 60.6 | 12686.9 | 137.8 |
Bugzilla | 2493142 | 2431 | 17 | 16 | 18 | 16 | 17 | 972.6 | 123.1 | 4.1 | 2081.4 | 4.4 |
1. | 28633415562 | 2203341 | 44 | 40 | 40 | 63 | 38 | 41055.5 | 9154.3 | 31.6 | 7047.5 | 74.3 |
2. | 28633435161 | 21933 | 32 | 30 | 33 | 44 | 32 | 80020.5 | 6185.9 | 24.1 | 6650.4 | 9.2 |
3. | 22742 | 2931 | 18 | 18 | 18 | 18 | 18 | 284.4 | 3718.5 | 4.0 | 327.2 | 2.8 |
4. | 251344251 | 21532 | 21 | 20 | 22 | 23 | 21 | 16968.6 | 1096.8 | 6.2 | 2725.7 | 5.8 |
5. | 215537435564 | 2323641 | 60 | 48 | 65 | 81 | 47 | 69107.0 | 69003.4 | 77.0 | 62702.1 | 337.0 |
6. | 2734361 | 22634 | 24 | 24 | 24 | 24 | 24 | 62706.3 | 1777.6 | 7.7 | 16454.9 | 29.4 |
7. | 22931 | 21332 | 9 | 9 | 9 | 9 | 9 | 121.9 | 2902.2 | 1.5 | 192.2 | 2.1 |
8. | 210932425363 | 2323441 | 49 | 43 | 45 | 66 | 39 | 243499.0 | 11621.1 | 30.5 | 19858.2 | 105.9 |
9. | 25731415161 | 23037 | N/A | 30 | 30 | 20 | 20 | N/A | 10.8 | 3.3 | 2103.3 | 25.6 |
10. | 213036455264 | 24037 | 58 | 44 | 48 | 78 | 43 | 257061.2 | 40577.3 | 60.4 | 9575.0 | 258.8 |
11. | 28434425264 | 22834 | 46 | 43 | 47 | 43 | 41 | 170596.4 | 63153.2 | 25.0 | 143728.6 | 139.7 |
12. | 213634435163 | 22334 | 49 | 41 | 43 | 62 | 40 | 359336.2 | 14544.8 | 66.6 | 16873.7 | 116.3 |
13. | 212434415262 | 22234 | 40 | 36 | 36 | 54 | 36 | 304404.0 | 12641.5 | 31.5 | 6237.2 | 56.1 |
14. | 281354363 | 21332 | 37 | 37 | 41 | 36 | 37 | 81464.6 | 63353.5 | 19.6 | 159571.8 | 104.0 |
15. | 25034415261 | 22032 | N/A | 30 | 30 | 30 | 30 | N/A | 6467.3 | 9.6 | 61320.4 | 20.0 |
16. | 281334261 | 23034 | 19 | 24 | 25 | 24 | 24 | 1001.9 | 2208.4 | 15.2 | 27995.8 | 60.9 |
17. | 212833425163 | 22534 | 42 | 39 | 41 | 64 | 39 | 47396.6 | 36955.7 | 51.7 | 10406.1 | 69.7 |
18. | 212732445662 | 2233441 | 177 | 44 | 45 | 72 | 43 | 15515.0 | 18433.3 | 61.2 | 2511.9 | 72.7 |
19. | 217239495364 | 23835 | 180 | 49 | 51 | 103 | 47 | 132833.5 | 68558.4 | 118.3 | 8436.6 | 1550.7 |
20. | 213834455467 | 24236 | 67 | 56 | 57 | 105 | 53 | 340518.9 | 32677.3 | 86.4 | 25030.8 | 915.3 |
21. | 27633425163 | 24036 | 37 | 36 | 37 | 53 | 36 | 81000.3 | 16736.3 | 20.3 | 6816.0 | 37.6 |
22. | 272344162 | 23134 | 36 | 36 | 37 | 40 | 36 | 64098.0 | 2699.5 | 12.5 | 2882.2 | 12.4 |
23. | 2253161 | 21332 | 13 | 18 | 18 | 12 | 13 | 48.0 | 0.7 | 0.5 | 906.0 | 5.0 |
24. | 2110325364 | 22534 | 51 | 44 | 47 | 71 | 44 | 241610.7 | 113832.0 | 32.8 | 11674.2 | 80.2 |
25. | 211836425266 | 2233341 | 59 | 49 | 54 | 80 | 49 | 26043.5 | 143208.0 | 45.2 | 23952.7 | 285.1 |
26. | 287314354 | 22834 | 30 | 30 | 33 | 48 | 31 | 151137.6 | 43067.7 | 23.1 | 5821.4 | 25.4 |
27. | 25532425162 | 21733 | 36 | 36 | 36 | 47 | 36 | 5105.4 | 1634.9 | 5.7 | 2402.5 | 7.8 |
28. | 2167316425366 | 23136 | 164 | 51 | 55 | 84 | 50 | 255115.0 | 115759.9 | 126.3 | 71001.6 | 787.3 |
29. | 21343753 | 21933 | 31 | 29 | 32 | 40 | 27 | 36434.7 | 17289.0 | 38.7 | 9752.7 | 283.8 |
30. | 2733343 | 22032 | 20 | 17 | 20 | 20 | 19 | 33245.9 | 32270.0 | 16.1 | 9378.8 | 36.7 |
Sum | 1580+ | 1171 | 1257 | 1652 | 1147 | 7905417.1+ | 1058315.0 | 2387.5 | 932614.0 | 6696.9 | ||