|
|
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 |
|
|
|
9aacdc27cd
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53]
|
2017-11-30 11:52:23 +01:00 |
|
|
|
3d46155b99
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52]
|
2017-11-30 11:37:06 +01:00 |
|
|
|
7b184afa4c
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51]
|
2017-11-30 11:21:49 +01:00 |
|
|
|
f89ef94156
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50]
|
2017-11-30 11:06:32 +01:00 |
|
|
|
51f08a0883
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49]
|
2017-11-30 10:51:16 +01:00 |
|
|
|
d9d4a3b9b0
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48]
|
2017-11-30 10:35:58 +01:00 |
|
|
|
b6fe56b96e
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47]
|
2017-11-30 10:35:08 +01:00 |
|
|
|
6ebe68793c
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46]
|
2017-11-30 10:19:52 +01:00 |
|
|
|
2fbb84b796
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45]
|
2017-11-30 10:04:35 +01:00 |
|
|
|
fb846c1853
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44]
|
2017-11-30 09:49:18 +01:00 |
|
|
|
557d16620e
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43]
|
2017-11-30 09:34:01 +01:00 |
|
|
|
ed563c3000
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42]
|
2017-11-30 09:32:45 +01:00 |
|
|
|
d482449501
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41]
|
2017-11-30 09:29:45 +01:00 |
|
|
|
f6acb756e4
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40]
|
2017-11-30 09:14:28 +01:00 |
|
|
|
5dcfa73bbf
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39]
|
2017-11-30 08:59:28 +01:00 |
|
|
|
9f230aea97
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36]
|
2017-11-30 08:58:15 +01:00 |
|
|
|
f4714cc078
|
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14]
|
2017-11-30 08:54:32 +01:00 |
|
|
|
cc52708a2f
|
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7]
|
2017-11-30 08:51:14 +01:00 |
|
|
|
448783adf2
|
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4]
|
2017-11-30 08:35:58 +01:00 |
|
|
|
d913db93bf
|
Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-30 08:20:41 +01:00 |
|
|
|
5b4ce2de21
|
Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-30 08:17:24 +01:00 |
|
|
|
8ae5a6fee7
|
Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-30 08:14:08 +01:00 |
|
|
|
4bce23fbb3
|
Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-30 08:10:53 +01:00 |
|
|
|
080c4544a0
|
Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15]
|
2017-11-30 08:07:34 +01:00 |
|
|
|
3d4a5c2206
|
Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15]
|
2017-11-30 08:04:25 +01:00 |
|
|
|
095cdba40a
|
Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15]
|
2017-11-30 08:01:19 +01:00 |
|
|
|
ebb7f7ff42
|
Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15]
|
2017-11-30 07:58:12 +01:00 |
|
|
|
c6004736a1
|
Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14]
|
2017-11-30 07:55:06 +01:00 |
|
