|
|
27c2c7f8a1
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17]
|
2017-11-30 16:04:20 +01:00 |
|
|
|
9fdb450182
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16]
|
2017-11-30 16:04:03 +01:00 |
|
|
|
46b977d35b
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16]
|
2017-11-30 15:58:32 +01:00 |
|
|
|
5b82caedb3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15]
|
2017-11-30 15:58:16 +01:00 |
|
|
|
cedd594ba3
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15]
|
2017-11-30 15:52:56 +01:00 |
|
|
|
7c191377ab
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14]
|
2017-11-30 15:52:40 +01:00 |
|
|
|
d4b661e475
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14]
|
2017-11-30 15:47:20 +01:00 |
|
|
|
7f5264199e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13]
|
2017-11-30 15:47:03 +01:00 |
|
|
|
a74029aa21
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13]
|
2017-11-30 15:42:08 +01:00 |
|
|
|
5515c69457
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12]
|
2017-11-30 15:41:52 +01:00 |
|
|
|
1ab28dd445
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12]
|
2017-11-30 15:37:33 +01:00 |
|
|
|
5917822a71
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11]
|
2017-11-30 15:37:17 +01:00 |
|
|
|
a7933912b3
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11]
|
2017-11-30 15:32:38 +01:00 |
|
|
|
de154348fd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10]
|
2017-11-30 15:32:21 +01:00 |
|
|
|
4bf4fba169
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10]
|
2017-11-30 15:28:31 +01:00 |
|
|
|
45ea31c2ab
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9]
|
2017-11-30 15:28:15 +01:00 |
|
|
|
df0115012b
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9]
|
2017-11-30 15:24:11 +01:00 |
|
|
|
58b2b6ed54
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8]
|
2017-11-30 15:23:55 +01:00 |
|
|
|
d50f4aa348
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8]
|
2017-11-30 15:20: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 |
|
|
|
025bf86f1b
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7]
|
2017-11-30 15:17:25 +01:00 |
|
|
|
56027e06ca
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6]
|
2017-11-30 15:17:08 +01:00 |
|
|
|
6bb8813582
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6]
|
2017-11-30 15:14:25 +01:00 |
|
|
|
4003014e86
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5]
|
2017-11-30 15:14:09 +01:00 |
|
|
|
e09902340d
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5]
|
2017-11-30 15:11:23 +01:00 |
|
|
|
97bd3b012b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4]
|
2017-11-30 15:11:07 +01:00 |
|
|
|
9ae4abc6ea
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4]
|
2017-11-30 15:08:35 +01:00 |
|
|
|
2f7afc296d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3]
|
2017-11-30 15:08:18 +01:00 |
|
|
|
4a2cd3e7de
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3]
|
2017-11-30 15:05:20 +01:00 |
|
|
|
bdefc25a03
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2]
|
2017-11-30 15:05:04 +01:00 |
|
|
|
14d13cb0ff
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2]
|
2017-11-30 15:02:49 +01:00 |
|
|
|
e902832f2e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1]
|
2017-11-30 15:02:32 +01:00 |
|
|
|
80c6613213
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1]
|
2017-11-30 14:59:50 +01:00 |
|
|
|
296ac4ee85
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]
|
2017-11-30 14:59:33 +01:00 |
|
|
|
b394e80f96
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14]
|
2017-11-30 14:44:15 +01:00 |
|
|
|
e754591dcf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]
|
2017-11-30 14:43:33 +01:00 |
|
|
|
e991221151
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13]
|
2017-11-30 14:28:15 +01:00 |
|
|
|
67b9ae0983
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]
|
2017-11-30 14:27:49 +01:00 |
|
|
|
665818c864
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12]
|
2017-11-30 14:12:30 +01:00 |
|
|
|
0734a80dda
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]
|
2017-11-30 14:11:46 +01:00 |
|
|
|
82d4f86d55
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11]
|
2017-11-30 14:02:02 +01:00 |
|
|
|
0c89ef1525
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]
|
2017-11-30 14:01:27 +01:00 |
|
|
|
2215be2093
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-30 13:46:35 +01:00 |
|
|
|
ccf35e65f8
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-30 13:39:21 +01:00 |
|
|
|
19ced5829c
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
|
2017-11-30 13:24:03 +01:00 |
|
|
|
a8de453799
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
|
2017-11-30 13:08:47 +01:00 |
|
|
|
2de39375ee
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
|
2017-11-30 12:53:30 +01:00 |
|
|
|
86e130e002
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]
|
2017-11-30 12:38:13 +01:00 |
|
|
|
e1ef25a354
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55]
|
2017-11-30 12:22:56 +01:00 |
|
|
|
540342a650
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54]
|
2017-11-30 12:07:39 +01:00 |
|
