|
|
48cc9f9ef1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23]
|
2017-11-30 21:28:54 +01:00 |
|
|
|
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 |
|
