Commit Graph

5330 Commits

Author SHA1 Message Date
7de25ba72b
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23] 2017-11-30 21:13:35 +01:00
15296d33f9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22] 2017-11-30 21:00:01 +01:00
f7b82e27e0
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22] 2017-11-30 20:54:16 +01:00
b1e3a703dc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21] 2017-11-30 20:53:11 +01:00
606a847e1e
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21] 2017-11-30 20:52:38 +01:00
8d241cbf9a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20] 2017-11-30 20:52:21 +01:00
d0f2a2ce53
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20] 2017-11-30 20:37:02 +01:00
c36f2db8ad
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19] 2017-11-30 20:25:20 +01:00
a8ce4f7e32
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19] 2017-11-30 20:10:01 +01:00
cea584768f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18] 2017-11-30 20:09:26 +01:00
3eef3a7b65
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18] 2017-11-30 19:54:07 +01:00
6c501b1b8e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17] 2017-11-30 19:53:25 +01:00
1d73969ee9
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17] 2017-11-30 19:38:06 +01:00
89a52d568f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:22:49 +01:00
c4c50dff09
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:07:30 +01:00
6ba9e7dd2f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15] 2017-11-30 18:52:12 +01:00
37d3a0bbba
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15] 2017-11-30 18:36:53 +01:00
3353ccff63
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:35:39 +01:00
507f73cd6c
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:20:19 +01:00
58a69a66d4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13] 2017-11-30 18:05:02 +01:00
a6726db178
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13] 2017-11-30 17:54:30 +01:00
a10fc4d101
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:54:13 +01:00
5c20c3f185
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:38:55 +01:00
708e85a088
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11] 2017-11-30 17:38:23 +01:00
69a52436d5
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11] 2017-11-30 17:30:08 +01:00
4526c5db71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:47 +01:00
c1c99d3f67
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:05 +01:00
a70aba94cd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9] 2017-11-30 17:28:47 +01:00
4b8fe747e3
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9] 2017-11-30 17:28:06 +01:00
e19f973ef4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:49 +01:00
2032546aba
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:13 +01:00
3d3d4dfa36
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7] 2017-11-30 17:26:56 +01:00
da779215ff
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7] 2017-11-30 17:26:25 +01:00
0214eef190
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:26:04 +01:00
71f4a73e89
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:25:40 +01:00
841c1e0ce7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5] 2017-11-30 17:25:24 +01:00
45c9ed2437
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5] 2017-11-30 17:24:55 +01:00
aea32134de
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:39 +01:00
94918a4770
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:16 +01:00
e1080f5779
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3] 2017-11-30 17:23:54 +01:00
52f264f334
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3] 2017-11-30 17:23:31 +01:00
e1ade52616
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:23:14 +01:00
5f97dffa76
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:22:48 +01:00
9d0c093ff0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1] 2017-11-30 17:22:31 +01:00
7e26e69256
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1] 2017-11-30 17:22:10 +01:00
7b89a5ab10
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:21:53 +01:00
98d1a1ceb3
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:15:59 +01:00
5d2b82eafc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28] 2017-11-30 17:15:42 +01:00
b5d911ea67
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28] 2017-11-30 17:09:38 +01:00
4ce79dded3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27] 2017-11-30 17:09:20 +01:00