|
|
ee6ba448fc
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 8]
|
2018-02-01 10:53:10 +01:00 |
|
|
|
3656d11a86
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 7]
|
2018-02-01 10:52:54 +01:00 |
|
|
|
2f77576b1d
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 6]
|
2018-02-01 10:52:39 +01:00 |
|
|
|
6016841ccf
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 5]
|
2018-02-01 10:52:23 +01:00 |
|
|
|
c3d50cd541
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 4]
|
2018-02-01 10:52:11 +01:00 |
|
|
|
d020f67f7f
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 3]
|
2018-02-01 10:52:00 +01:00 |
|
|
|
1459a707d0
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 2]
|
2018-02-01 10:51:45 +01:00 |
|
|
|
2e7cc836ec
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 1]
|
2018-02-01 10:51:32 +01:00 |
|
|
|
7e937f2851
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 20]
|
2018-02-01 10:51:21 +01:00 |
|
|
|
44af8c26f9
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 19]
|
2018-02-01 10:36:10 +01:00 |
|
|
|
8d47ea2d1a
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 18]
|
2018-02-01 10:20:59 +01:00 |
|
|
|
061891ed81
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 17]
|
2018-02-01 10:05:48 +01:00 |
|
|
|
e0a2d3d4a9
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 16]
|
2018-02-01 09:50:37 +01:00 |
|
|
|
7e419bb2c6
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 15]
|
2018-02-01 09:35:27 +01:00 |
|
|
|
b3cb055d29
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 14]
|
2018-02-01 09:20:15 +01:00 |
|
|
|
e13e405cea
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 13]
|
2018-02-01 09:05:04 +01:00 |
|
|
|
623e77b8cf
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 12]
|
2018-02-01 08:49:53 +01:00 |
|
|
|
b21eae60af
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 11]
|
2018-02-01 08:34:41 +01:00 |
|
|
|
58983c5d36
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 10]
|
2018-02-01 08:19:30 +01:00 |
|
|
|
648aedad5f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 9]
|
2018-02-01 08:04:19 +01:00 |
|
|
|
ae31c0db4d
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 8]
|
2018-02-01 07:49:09 +01:00 |
|
|
|
878b1e14b0
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 7]
|
2018-02-01 07:33:58 +01:00 |
|
|
|
66351ce0d1
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 6]
|
2018-02-01 07:33:29 +01:00 |
|
|
|
54b7dfbcd9
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 5]
|
2018-02-01 07:32:39 +01:00 |
|
|
|
e4c33c49bf
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 4]
|
2018-02-01 07:25:08 +01:00 |
|
|
|
2d90693a0d
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 3]
|
2018-02-01 07:24:53 +01:00 |
|
|
|
24a86fd2a3
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 2]
|
2018-02-01 07:24:40 +01:00 |
|
|
|
6f2813711b
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 1]
|
2018-02-01 07:23:56 +01:00 |
|
|
|
157a25398d
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 102]
|
2018-02-01 07:23:37 +01:00 |
|
|
|
4134b7465c
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 101]
|
2018-02-01 07:08:26 +01:00 |
|
|
|
efc36af25e
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 100]
|
2018-02-01 06:53:15 +01:00 |
|
|
|
27b26e6343
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 99]
|
2018-02-01 06:38:03 +01:00 |
|
|
|
93d90cd1f6
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 98]
|
2018-02-01 06:22:53 +01:00 |
|
|
|
24b885ac6e
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 97]
|
2018-02-01 06:07:42 +01:00 |
|
|
|
089c9bcb43
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 96]
|
2018-02-01 05:52:31 +01:00 |
|
|
|
da293c004a
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 95]
|
2018-02-01 05:37:19 +01:00 |
|
|
|
1419d5aa9c
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 94]
|
2018-02-01 05:22:08 +01:00 |
|
|
|
5cb9891e1f
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 93]
|
2018-02-01 05:06:57 +01:00 |
|
|
|
2809c19689
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 92]
|
2018-02-01 04:51:46 +01:00 |
|
|
|
47ea31680b
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 91]
|
2018-02-01 04:36:36 +01:00 |
|
|
|
5a553358bf
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 90]
|
2018-02-01 04:21:25 +01:00 |
|
|
|
39ea28225f
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 89]
|
2018-02-01 04:06:14 +01:00 |
|
|
|
8b6263235a
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 88]
|
2018-02-01 03:51:03 +01:00 |
|
|
|
bcfae19bea
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 87]
|
2018-02-01 03:35:52 +01:00 |
|
|
|
081425ef5a
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 86]
|
2018-02-01 03:20:41 +01:00 |
|
|
|
e14d3ce8fe
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 85]
|
2018-02-01 03:05:31 +01:00 |
|
|
|
1340f150a7
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 84]
|
2018-02-01 02:50:20 +01:00 |
|
|
|
995f63ecb6
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 83]
|
2018-02-01 02:35:08 +01:00 |
|
|
|
727b114bd1
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 82]
|
2018-02-01 02:19:58 +01:00 |
|
|
|
078f2cd091
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 81]
|
2018-02-01 02:04:47 +01:00 |
|
|
|
0cfb82f609
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 80]
|
2018-02-01 01:49:36 +01:00 |
|
|
|
de0d1fd3db
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 79]
|
2018-02-01 01:34:26 +01:00 |
|
|
|
86ea345f99
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 78]
|
2018-02-01 01:19:15 +01:00 |
|
|
|
bea96aa2da
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 77]
|
2018-02-01 01:04:04 +01:00 |
|
|
|
c034294c41
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 76]
|
2018-02-01 00:48:53 +01:00 |
|
|
|
29e050e31d
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 75]
|
2018-02-01 00:33:41 +01:00 |
|
|
|
1e341fb6d9
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 74]
|
2018-02-01 00:18:30 +01:00 |
|
|
|
6b381b3e29
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 73]
|
2018-02-01 00:03:19 +01:00 |
|
|
|
7826ad427c
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 72]
|
2018-01-31 23:48:08 +01:00 |
|
|
|
965746ae25
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 71]
|
2018-01-31 23:32:57 +01:00 |
|
|
|
ab8f7df81c
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 70]
|
2018-01-31 23:17:42 +01:00 |
|
|
|
ee5e28cbb5
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 69]
|
2018-01-31 23:02:32 +01:00 |
|
|
|
a3cc270948
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 68]
|
2018-01-31 22:59:42 +01:00 |
|
|
|
c343fb4a7f
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 67]
|
2018-01-31 22:44:31 +01:00 |
|
|
|
18c35d2321
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 66]
|
2018-01-31 22:29:19 +01:00 |
|
|
|
6702e01a70
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 65]
|
2018-01-31 22:14:08 +01:00 |
|
|
|
72059e7635
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 64]
|
2018-01-31 22:05:31 +01:00 |
|
|
|
10f000f771
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 63]
|
2018-01-31 22:00:22 +01:00 |
|
|
|
cb24e07b16
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 62]
|
2018-01-31 21:45:12 +01:00 |
|
|
|
0c06c5949d
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 61]
|
2018-01-31 21:30:01 +01:00 |
|
|
|
c422f8dd4b
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 60]
|
2018-01-31 21:29:42 +01:00 |
|
|
|
6fba857389
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 59]
|
2018-01-31 21:25:10 +01:00 |
|
|
|
7ba6396bcb
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 58]
|
2018-01-31 21:24:53 +01:00 |
|
|
|
7a907c5639
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 57]
|
2018-01-31 21:09:42 +01:00 |
|
|
|
01a5d5ec75
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 56]
|
2018-01-31 20:54:32 +01:00 |
|
|
|
c6e5783d35
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 55]
|
2018-01-31 20:53:30 +01:00 |
|
|
|
b9122c4309
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 54]
|
2018-01-31 20:52:30 +01:00 |
|
|
|
980b75d302
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 53]
|
2018-01-31 20:52:13 +01:00 |
|
|
|
00d87fbdf1
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 52]
|
2018-01-31 20:51:15 +01:00 |
|
|
|
1757cb3ef7
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 51]
|
2018-01-31 20:51:00 +01:00 |
|
|
|
ee3fcf2cef
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 50]
|
2018-01-31 20:42:48 +01:00 |
|
|
|
aa503daaba
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 49]
|
2018-01-31 20:42:32 +01:00 |
|
|
|
6d7ba46053
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 48]
|
2018-01-31 20:41:26 +01:00 |
|
|
|
0576de66c5
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 47]
|
2018-01-31 20:26:16 +01:00 |
|
|
|
11a855e9f3
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 46]
|
2018-01-31 20:26:01 +01:00 |
|
|
|
7033be8f5e
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 45]
|
2018-01-31 20:25:47 +01:00 |
|
|
|
20fe786428
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 44]
|
2018-01-31 20:24:48 +01:00 |
|
|
|
e5a849961b
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 43]
|
2018-01-31 20:24:35 +01:00 |
|
|
|
de586c3c3d
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 42]
|
2018-01-31 20:24:22 +01:00 |
|
|
|
deac231b40
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 41]
|
2018-01-31 20:24:11 +01:00 |
|
|
|
bea72b54bf
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 40]
|
2018-01-31 20:23:59 +01:00 |
|
|
|
7c183bbb25
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 39]
|
2018-01-31 20:23:46 +01:00 |
|
|
|
279a6deb21
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 38]
|
2018-01-31 20:23:35 +01:00 |
|
|
|
144b2adb12
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 37]
|
2018-01-31 20:23:22 +01:00 |
|
|
|
0891b39ea0
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 36]
|
2018-01-31 20:23:10 +01:00 |
|
|
|
52bf71d42e
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 35]
|
2018-01-31 20:22:55 +01:00 |
|
|
|
1480bcc4ea
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 34]
|
2018-01-31 20:22:38 +01:00 |
|
|
|
c85c552635
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 33]
|
2018-01-31 20:22:27 +01:00 |
|
|
|
fc817a1f22
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 32]
|
2018-01-31 20:22:09 +01:00 |
|
|
|
6319d151a2
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 31]
|
2018-01-31 20:21:58 +01:00 |
|
|
|
b11415ed18
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 30]
|
2018-01-31 20:21:40 +01:00 |
|
|
|
b91f085afa
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 29]
|
2018-01-31 20:21:29 +01:00 |
|
|
|
758391d967
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 28]
|
2018-01-31 20:21:17 +01:00 |
|
|
|
a962b13f89
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 27]
|
2018-01-31 20:21:07 +01:00 |
|
|
|
45f8314c77
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 26]
|
2018-01-31 20:20:56 +01:00 |
|
|
|
ef3fc176af
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 25]
|
2018-01-31 20:20:45 +01:00 |
|
|
|
b9236199c5
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 24]
|
2018-01-31 20:20:35 +01:00 |
|
|
|
cd728293a7
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 23]
|
2018-01-31 20:20:24 +01:00 |
|
|
|
ab9ac3cb36
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 22]
|
2018-01-31 20:20:14 +01:00 |
|
|
|
015c921911
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 21]
|
2018-01-31 20:20:03 +01:00 |
|
|
|
c6e1ad658a
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 20]
|
2018-01-31 20:19:52 +01:00 |
|
|
|
c742b0c0a1
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 19]
|
2018-01-31 20:19:41 +01:00 |
|
|
|
1617f6f454
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 18]
|
2018-01-31 20:19:31 +01:00 |
|
|
|
96a684f898
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 17]
|
2018-01-31 20:19:20 +01:00 |
|
|
|
9543a520c3
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 16]
|
2018-01-31 20:19:09 +01:00 |
|
|
|
29990a8abe
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 15]
|
2018-01-31 20:18:59 +01:00 |
|
|
|
eaaeaa0f17
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 14]
|
2018-01-31 20:18:49 +01:00 |
|
|
|
21e20a1d81
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 13]
|
2018-01-31 20:18:38 +01:00 |
|
|
|
8cd5a479ce
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 12]
|
2018-01-31 20:18:27 +01:00 |
|
|
|
7bbf37e815
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 11]
|
2018-01-31 20:18:17 +01:00 |
|
|
|
dede6dc569
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 10]
|
2018-01-31 20:18:06 +01:00 |
|
|
|
b7fa3ee590
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 9]
|
2018-01-31 20:17:56 +01:00 |
|
|
|
12c9dbac7c
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 8]
|
2018-01-31 20:17:45 +01:00 |
|
|
|
4df3250b3b
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 7]
|
2018-01-31 20:17:35 +01:00 |
|
|
|
a4bccff8fd
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 6]
|
2018-01-31 20:17:25 +01:00 |
|
|
|
e44d372b99
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 5]
|
2018-01-31 20:17:14 +01:00 |
|
|
|
ba68731361
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 4]
|
2018-01-31 20:17:04 +01:00 |
|
|
|
6410aa9ffc
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 3]
|
2018-01-31 20:16:54 +01:00 |
|
|
|
1f5735b591
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 2]
|
2018-01-31 20:16:44 +01:00 |
|
|
|
4133c10668
|
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 1]
|
2018-01-31 20:16:33 +01:00 |
|
