|
|
b78cbf24c7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 9]
|
2017-12-01 18:11:32 +01:00 |
|
|
|
c7980de07a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 8]
|
2017-12-01 18:10:50 +01:00 |
|
|
|
78903bdd26
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 7]
|
2017-12-01 18:10:12 +01:00 |
|
|
|
1ef47912b5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 6]
|
2017-12-01 18:09:29 +01:00 |
|
|
|
43a5899137
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 5]
|
2017-12-01 18:08:52 +01:00 |
|
|
|
cd4524f82d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 4]
|
2017-12-01 18:08:14 +01:00 |
|
|
|
c2fb6b269c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 3]
|
2017-12-01 18:07:32 +01:00 |
|
|
|
cd06ec851d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 2]
|
2017-12-01 18:06:54 +01:00 |
|
|
|
bfa179ad5e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 1]
|
2017-12-01 18:06:12 +01:00 |
|
|
|
29efb92972
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50]
|
2017-12-01 18:05:34 +01:00 |
|
|
|
3b61b31193
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49]
|
2017-12-01 17:47:46 +01:00 |
|
|
|
853adfe1b0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48]
|
2017-12-01 17:44:50 +01:00 |
|
|
|
7bb3c3a564
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
|
2017-12-01 17:14:13 +01:00 |
|
|
|
5f8a7db0dc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
|
2017-12-01 16:43:37 +01:00 |
|
|
|
d051f4133d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
|
2017-12-01 16:13:00 +01:00 |
|
|
|
00d1bdd175
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 44]
|
2017-12-01 13:59:31 +01:00 |
|
|
|
58e3dc06f8
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 43]
|
2017-12-01 13:28:55 +01:00 |
|
|
|
6894681c60
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 42]
|
2017-12-01 12:58:19 +01:00 |
|
|
|
ce04e704fc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 41]
|
2017-12-01 12:27:43 +01:00 |
|
|
|
4e56fd1485
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 40]
|
2017-12-01 12:26:37 +01:00 |
|
|
|
5ccac83f51
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 39]
|
2017-12-01 12:09:47 +01:00 |
|
|
|
00e798ccc6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 38]
|
2017-12-01 12:00:51 +01:00 |
|
|
|
9f8b9b8651
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 37]
|
2017-12-01 11:45:04 +01:00 |
|
|
|
32e6174ce5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 36]
|
2017-12-01 11:29:28 +01:00 |
|
|
|
31499cedc3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 35]
|
2017-12-01 11:13:10 +01:00 |
|
|
|
d2978c8845
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 34]
|
2017-12-01 11:11:48 +01:00 |
|
|
|
5226a2dd28
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 33]
|
2017-12-01 11:01:06 +01:00 |
|
|
|
292d3f25a2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 32]
|
2017-12-01 11:00:00 +01:00 |
|
|
|
73c6e3a78c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 31]
|
2017-12-01 10:57:08 +01:00 |
|
|
|
422f56a6c1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 30]
|
2017-12-01 10:56:12 +01:00 |
|
|
|
57bdfa9ad5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 29]
|
2017-12-01 10:36:45 +01:00 |
|
|
|
b173d7b734
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 28]
|
2017-12-01 10:35:50 +01:00 |
|
|
|
5179e2e39b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 27]
|
2017-12-01 10:33:31 +01:00 |
|
|
|
20a93d3d14
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 26]
|
2017-12-01 10:31:28 +01:00 |
|
|
|
7db99aa672
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 25]
|
2017-12-01 10:28:11 +01:00 |
|
|
|
76da0fcdc0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 24]
|
2017-12-01 10:12:28 +01:00 |
|
|
|
2b7f4cb194
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 23]
|
2017-12-01 09:56:51 +01:00 |
|
|
|
efb0d8e9f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 22]
|
2017-12-01 09:41:11 +01:00 |
|
|
|
a99b4a23d2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 21]
|
2017-12-01 09:39:50 +01:00 |
|
|
|
beb7d611a4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 20]
|
2017-12-01 09:39:08 +01:00 |
|
|
|
f302748e72
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 19]
|
2017-12-01 09:37:25 +01:00 |
|
|
|
b6c96ef101
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 18]
|
2017-12-01 09:36:27 +01:00 |
|
|
|
9d661435fc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 17]
|
2017-12-01 09:35:34 +01:00 |
|
|
|
b5b35f4c69
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 16]
|
2017-12-01 09:34:51 +01:00 |
|
|
|
053a6edcb1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 15]
|
2017-12-01 09:13:04 +01:00 |
|
|
|
45cb59e1a8
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 14]
|
2017-12-01 09:12:14 +01:00 |
|
|
|
a18683831e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 13]
|
2017-12-01 09:06:47 +01:00 |
|
|
|
57ca67df57
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 12]
|
2017-12-01 09:06:03 +01:00 |
|
|
|
18520a533e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 11]
|
2017-12-01 09:05:18 +01:00 |
|
|
|
c5405b58be
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 10]
|
2017-12-01 09:04:36 +01:00 |
|
|
|
f065e841e0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 9]
|
2017-12-01 09:03:54 +01:00 |
|
|
|
2c4e226131
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 8]
|
2017-12-01 09:03:11 +01:00 |
|
|
|
bbc7a7e0c5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 7]
|
2017-12-01 09:02:32 +01:00 |
|
|
|
8c1e099964
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 6]
|
2017-12-01 09:01:48 +01:00 |
|
|
|
df9a0624bf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 5]
|
2017-12-01 09:01:10 +01:00 |
|
|
|
d42ad85c0b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 4]
|
2017-12-01 09:00:33 +01:00 |
|
|
|
e86bd5248f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 3]
|
2017-12-01 08:59:51 +01:00 |
|
|
|
c448d52397
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 2]
|
2017-12-01 08:59:13 +01:00 |
|
|
|
b53f9688ea
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 1]
|
2017-12-01 08:58:32 +01:00 |
|
|
|
9e84491382
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 50]
|
2017-12-01 08:57:55 +01:00 |
|
|
|
92287fba36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 49]
|
2017-12-01 08:41:25 +01:00 |
|
|
|
ad01ae8b9a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 48]
|
2017-12-01 08:24:55 +01:00 |
|
|
|
a84da5da7d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 47]
|
2017-12-01 07:54:19 +01:00 |
|
|
|
44c6db3396
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 46]
|
2017-12-01 07:23:45 +01:00 |
|
|
|
2e2056c28c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 45]
|
2017-12-01 06:55:27 +01:00 |
|
|
|
a22f324fb6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 44]
|
2017-12-01 06:24:51 +01:00 |
|
|
|
64bd7731bf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 43]
|
2017-12-01 05:54:17 +01:00 |
|
|
|
2588b7a865
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 42]
|
2017-12-01 05:23:47 +01:00 |
|
|
|
be8dcceec2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 41]
|
2017-12-01 04:53:11 +01:00 |
|
|
|
67989f7d14
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 40]
|
2017-12-01 04:51:36 +01:00 |
|
|
|
9c621dfd0e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 39]
|
2017-12-01 04:21:01 +01:00 |
|
|
|
8ba4fbac86
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 38]
|
2017-12-01 04:03:44 +01:00 |
|
|
|
ce2355a113
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 37]
|
2017-12-01 03:33:04 +01:00 |
|
|
|
daba9ee18d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 36]
|
2017-12-01 03:16:52 +01:00 |
|
|
|
cf57ee0c57
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 35]
|
2017-12-01 02:57:49 +01:00 |
|
|
|
652e2b040a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 34]
|
2017-12-01 02:39:01 +01:00 |
|
|
|
73108476ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 33]
|
2017-12-01 02:16:06 +01:00 |
|
|
|
f665536be1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 32]
|
2017-12-01 01:55:34 +01:00 |
|
|
|
bd17b47582
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 31]
|
2017-12-01 01:32:02 +01:00 |
|
|
|
174849ccf6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 30]
|
2017-12-01 01:01:26 +01:00 |
|
|
|
067962d9a3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 29]
|
2017-12-01 00:30:50 +01:00 |
|
|
|
1cc6536ef9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 28]
|
2017-12-01 00:00:14 +01:00 |
|
|
|
bbae74eb20
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 27]
|
2017-11-30 23:29:35 +01:00 |
|
|
|
4634b55a2b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 26]
|
2017-11-30 23:01:04 +01:00 |
|
|
|
cf2fc99548
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 25]
|
2017-11-30 22:30:14 +01:00 |
|
|
|
59ecb7936d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 24]
|
2017-11-30 21:59:31 +01:00 |
|
|
|
48cc9f9ef1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23]
|
2017-11-30 21:28:54 +01:00 |
|
|
|
15296d33f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22]
|
2017-11-30 21:00:01 +01:00 |
|
|
|
b1e3a703dc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21]
|
2017-11-30 20:53:11 +01:00 |
|
|
|
8d241cbf9a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20]
|
2017-11-30 20:52:21 +01:00 |
|
|
|
c36f2db8ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19]
|
2017-11-30 20:25:20 +01:00 |
|
|
|
cea584768f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18]
|
2017-11-30 20:09:26 +01:00 |
|
|
|
6c501b1b8e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17]
|
2017-11-30 19:53:25 +01:00 |
|
|
|
89a52d568f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16]
|
2017-11-30 19:22:49 +01:00 |
|
|
|
6ba9e7dd2f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15]
|
2017-11-30 18:52:12 +01:00 |
|
|
|
3353ccff63
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14]
|
2017-11-30 18:35:39 +01:00 |
|
|
|
58a69a66d4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13]
|
2017-11-30 18:05:02 +01:00 |
|
|
|
a10fc4d101
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
|
2017-11-30 17:54:13 +01:00 |
|
|
|
708e85a088
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
|
2017-11-30 17:38:23 +01:00 |
|
|
|
4526c5db71
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
|
2017-11-30 17:29:47 +01:00 |
|
|
|
a70aba94cd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
|
2017-11-30 17:28:47 +01:00 |
|
|
|
e19f973ef4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
|
2017-11-30 17:27:49 +01:00 |
|
|
|
3d3d4dfa36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
|
2017-11-30 17:26:56 +01:00 |
|
|
|
0214eef190
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
|
2017-11-30 17:26:04 +01:00 |
|
|
|
841c1e0ce7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
|
2017-11-30 17:25:24 +01:00 |
|
|
|
aea32134de
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
|
2017-11-30 17:24:39 +01:00 |
|
|
|
e1080f5779
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
|
2017-11-30 17:23:54 +01:00 |
|
|
|
e1ade52616
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
|
2017-11-30 17:23:14 +01:00 |
|
|
|
9d0c093ff0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
|
2017-11-30 17:22:31 +01:00 |
|
|
|
7b89a5ab10
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29]
|
2017-11-30 17:21:53 +01:00 |
|
|
|
5d2b82eafc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28]
|
2017-11-30 17:15:42 +01:00 |
|
|
|
4ce79dded3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27]
|
2017-11-30 17:09:20 +01:00 |
|
|
|
11ff0d583a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26]
|
2017-11-30 17:03:14 +01:00 |
|
|
|
c462fa1610
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25]
|
2017-11-30 16:57:07 +01:00 |
|
|
|
b52fde64cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24]
|
2017-11-30 16:51:05 +01:00 |
|
|
|
c9d3f48427
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23]
|
2017-11-30 16:44:57 +01:00 |
|
|
|
3fe3c7f78b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22]
|
2017-11-30 16:39:17 +01:00 |
|
|
|
31a44aa9b3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21]
|
2017-11-30 16:33:21 +01:00 |
|
|
|
cb83e2a9ed
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20]
|
2017-11-30 16:27:26 +01:00 |
|
|
|
8dea3e7913
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19]
|
2017-11-30 16:21:34 +01:00 |
|
|
|
d0f7c819d2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18]
|
2017-11-30 16:15:43 +01:00 |
|
|
|
425848ba4f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17]
|
2017-11-30 16:09:52 +01:00 |
|
|
|
9fdb450182
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16]
|
2017-11-30 16:04:03 +01:00 |
|
|
|
5b82caedb3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15]
|
2017-11-30 15:58:16 +01:00 |
|
|
|
7c191377ab
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14]
|
2017-11-30 15:52:40 +01:00 |
|
|
|
7f5264199e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13]
|
2017-11-30 15:47:03 +01:00 |
|
|
|
5515c69457
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12]
|
2017-11-30 15:41:52 +01:00 |
|
|
|
5917822a71
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11]
|
2017-11-30 15:37:17 +01:00 |
|
|
|
de154348fd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10]
|
2017-11-30 15:32:21 +01:00 |
|
|
|
45ea31c2ab
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9]
|
2017-11-30 15:28:15 +01:00 |
|
|
|
58b2b6ed54
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8]
|
2017-11-30 15:23:55 +01:00 |
|
|
|
0dbdf23f5c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7]
|
2017-11-30 15:20:39 +01:00 |
|
|
|
56027e06ca
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6]
|
2017-11-30 15:17:08 +01:00 |
|
|
|
4003014e86
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5]
|
2017-11-30 15:14:09 +01:00 |
|
|
|
97bd3b012b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4]
|
2017-11-30 15:11:07 +01:00 |
|
|
|
2f7afc296d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3]
|
2017-11-30 15:08:18 +01:00 |
|
|
|
bdefc25a03
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2]
|
2017-11-30 15:05:04 +01:00 |
|
|
|
e902832f2e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1]
|
2017-11-30 15:02:32 +01:00 |
|
|
|
296ac4ee85
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]
|
2017-11-30 14:59:33 +01:00 |
|
|
|
e754591dcf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]
|
2017-11-30 14:43:33 +01:00 |
|
|
|
67b9ae0983
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]
|
2017-11-30 14:27:49 +01:00 |
|
|
|
0734a80dda
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]
|
2017-11-30 14:11:46 +01:00 |
|
|
|
0c89ef1525
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]
|
2017-11-30 14:01:27 +01:00 |
|
|
|
6d4c3c65b7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9]
|
2017-11-29 17:29:07 +01:00 |
|
|
|
5b17eca15a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8]
|
2017-11-29 17:13:17 +01:00 |
|
|
|
f74be5c9cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7]
|
2017-11-29 16:57:40 +01:00 |
|
|
|
20da8927a7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6]
|
2017-11-29 16:42:42 +01:00 |
|
|
|
a6517e2ffd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5]
|
2017-11-29 16:35:31 +01:00 |
|
|
|
774d82bf9e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4]
|
2017-11-29 16:28:52 +01:00 |
|
|
|
8fd74407f2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3]
|
2017-11-29 16:22:25 +01:00 |
|
