|
3561d8e75d
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 2]
|
2017-11-29 16:12:50 +01:00 |
|
|
c18f883fa9
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 1]
|
2017-11-29 16:09:53 +01:00 |
|
|
41fc7f5f00
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-29 15:54:39 +01:00 |
|
|
77c74a222e
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 49]
|
2017-11-29 15:43:24 +01:00 |
|
|
489e57ffd6
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 48]
|
2017-11-29 15:35:08 +01:00 |
|
|
eb989f8478
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 47]
|
2017-11-29 15:19:21 +01:00 |
|
|
c2fdd66b9c
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 46]
|
2017-11-29 15:15:32 +01:00 |
|
|
a226e389eb
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 45]
|
2017-11-29 15:12:03 +01:00 |
|
|
2e168198dc
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 44]
|
2017-11-29 15:09:12 +01:00 |
|
|
eb4b59f0ab
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 43]
|
2017-11-29 15:06:32 +01:00 |
|
|
0f48d9349c
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 42]
|
2017-11-29 15:03:38 +01:00 |
|
|
c9defdcce7
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 41]
|
2017-11-29 15:01:16 +01:00 |
|
|
4a4dfc2931
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 40]
|
2017-11-29 14:58:57 +01:00 |
|
|
28b40a1ba8
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 39]
|
2017-11-29 14:56:16 +01:00 |
|
|
f8688c386a
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 38]
|
2017-11-29 14:54:20 +01:00 |
|
|
9ef3f9dfd8
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 37]
|
2017-11-29 14:52:22 +01:00 |
|
|
f7c61b6447
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 36]
|
2017-11-29 14:50:53 +01:00 |
|
|
1ffcaea69d
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 35]
|
2017-11-29 14:37:36 +01:00 |
|
|
ac3d26508e
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 34]
|
2017-11-29 14:30:31 +01:00 |
|
|
095e0eb44b
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 33]
|
2017-11-29 14:25:15 +01:00 |
|
|
0e40f711a5
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 32]
|
2017-11-29 14:14:56 +01:00 |
|
|
6bd0603257
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 31]
|
2017-11-29 14:10:23 +01:00 |
|
|
e29674c8c0
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 30]
|
2017-11-29 14:06:54 +01:00 |
|
|
b13b51cf37
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 29]
|
2017-11-29 14:03:29 +01:00 |
|
|
218e082837
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 28]
|
2017-11-29 14:00:25 +01:00 |
|
|
23000f4435
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 27]
|
2017-11-29 13:57:55 +01:00 |
|
|
5765120abf
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 26]
|
2017-11-29 13:52:48 +01:00 |
|
|
7a1be5697f
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 25]
|
2017-11-29 13:50:43 +01:00 |
|
|
a5f44f8dea
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 24]
|
2017-11-29 13:48:55 +01:00 |
|
|
b010396777
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 23]
|
2017-11-29 13:47:08 +01:00 |
|
|
82d2e40f37
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 22]
|
2017-11-29 13:45:42 +01:00 |
|
|
1addad3701
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 21]
|
2017-11-29 13:44:29 +01:00 |
|
|
dd9759bfcb
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 20]
|
2017-11-29 13:43:26 +01:00 |
|
|
f3094d1ef6
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 19]
|
2017-11-29 13:42:41 +01:00 |
|
|
f272f66580
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 18]
|
2017-11-29 13:41:54 +01:00 |
|
|
e80ee98417
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 17]
|
2017-11-29 13:41:09 +01:00 |
|
|
340b01ba6c
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 16]
|
2017-11-29 13:40:23 +01:00 |
|
|
f994c218d4
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 15]
|
2017-11-29 13:39:43 +01:00 |
|
|
d7bc396ff2
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 14]
|
2017-11-29 13:38:58 +01:00 |
|
|
7f5d870357
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 13]
|
2017-11-29 13:38:14 +01:00 |
|
|
024eaae2e8
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 12]
|
2017-11-29 13:37:36 +01:00 |
|
|
a48c80577e
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 11]
|
2017-11-29 13:27:16 +01:00 |
|
|
ad44c4ebff
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 10]
|
2017-11-29 13:20:28 +01:00 |
|
|
379557484d
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 9]
|
2017-11-29 13:19:47 +01:00 |
|
|
3accc32bfa
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 8]
|
2017-11-29 13:19:04 +01:00 |
|
|
77924b7108
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 7]
|
2017-11-29 13:18:20 +01:00 |
|
|
3105e23e75
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 6]
|
2017-11-29 13:17:42 +01:00 |
|
|
ceed6421b1
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 5]
|
2017-11-29 13:08:17 +01:00 |
|
|
76f93f863a
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 4]
|
2017-11-29 13:07:39 +01:00 |
|
|
4d301650a6
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 3]
|
2017-11-29 13:06:58 +01:00 |
|
|
9b03e48c2a
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 2]
|
2017-11-29 13:06:16 +01:00 |
|
|
85aee18597
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 1]
|
2017-11-29 13:05:40 +01:00 |
|
|
ac0f31fbb0
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 20]
|
2017-11-29 13:03:48 +01:00 |
|
|
f2fb201ce1
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 19]
|
2017-11-29 13:02:13 +01:00 |
|
|
c939d2a350
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 18]
|
2017-11-29 13:00:55 +01:00 |
|
|
7b405cbbf7
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 17]
|
2017-11-29 12:59:43 +01:00 |
|
|
5f1dd6db69
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 16]
|
2017-11-29 12:58:46 +01:00 |
|
|
dce7b91579
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 15]
|
2017-11-29 12:57:48 +01:00 |
|
|
4c0a9d740c
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 14]
|
2017-11-29 12:57:02 +01:00 |
|
|
514435cc10
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 13]
|
2017-11-29 12:56:19 +01:00 |
|
|
68138462dc
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 12]
|
2017-11-29 12:55:36 +01:00 |
|
|
dd799fe31f
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 11]
|
2017-11-29 12:54:58 +01:00 |
|
|
c65ae2c74a
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 10]
|
2017-11-29 12:54:19 +01:00 |
|
|
f5727b86c6
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 9]
|
2017-11-29 12:53:41 +01:00 |
|
|
e5627bff73
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 8]
|
2017-11-29 12:52:59 +01:00 |
|
|
09d40c8467
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 7]
|
2017-11-29 12:52:18 +01:00 |
|
|
227d48c8a0
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 6]
|
2017-11-29 12:51:41 +01:00 |
|
|
9eb7ee72f2
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 5]
|
2017-11-29 12:51:03 +01:00 |
|
|
e520ecd553
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 4]
|
2017-11-29 12:50:27 +01:00 |
|
|
cc2aec7b8f
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 3]
|
2017-11-29 12:49:45 +01:00 |
|
|
14f904879f
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 2]
|
2017-11-29 12:49:03 +01:00 |
|
|
9efa3965a6
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 1]
|
2017-11-29 12:48:27 +01:00 |
|
|
a1ceeb4b3b
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 20]
|
2017-11-29 12:46:45 +01:00 |
|
|
62773544e3
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 19]
|
2017-11-29 12:45:05 +01:00 |
|
|
ad6300814c
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 6]
|
2017-11-29 12:42:18 +01:00 |
|
|
a84e1939d4
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 3]
|
2017-11-29 12:40:58 +01:00 |
|
|
fd67428010
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 1]
|
2017-11-29 12:39:58 +01:00 |
|
|
efcdf0298f
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 22]
|
2017-11-29 12:38:12 +01:00 |
|
|
6c9b5ee228
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 21]
|
2017-11-29 12:37:08 +01:00 |
|
|
bebff7e4ae
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 2]
|
2017-11-29 12:28:11 +01:00 |
|
|
eee355038d
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 1]
|
2017-11-29 12:27:35 +01:00 |
|
|
73bfaaa095
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-29 12:12:01 +01:00 |
|
|
2c73f2e46c
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59]
|
2017-11-29 11:55:56 +01:00 |
|
|
374eb028e5
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58]
|
2017-11-29 11:39:50 +01:00 |
|
|
94a3ea35ed
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57]
|
2017-11-29 11:23:39 +01:00 |
|
|
3e85ed76c9
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56]
|
2017-11-29 11:07:26 +01:00 |
|
|
4aab198d81
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55]
|
2017-11-29 10:51:14 +01:00 |
|
|
ffda1fe351
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54]
|
2017-11-29 10:35:04 +01:00 |
|
|
52fea9ce02
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53]
|
2017-11-29 10:18:56 +01:00 |
|
|
896f21e41c
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52]
|
2017-11-29 10:02:52 +01:00 |
|
|
ced2d1b103
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51]
|
2017-11-29 09:46:45 +01:00 |
|
|
6abfb86b4d
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50]
|
2017-11-29 09:30:33 +01:00 |
|
|
b4e0304618
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49]
|
2017-11-29 09:14:24 +01:00 |
|
|
bbab1aff0e
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48]
|
2017-11-29 08:58:18 +01:00 |
|
|
89485a72fb
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47]
|
2017-11-29 08:42:12 +01:00 |
|
|
e0f5afc6bc
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46]
|
2017-11-29 08:26:01 +01:00 |
|
|
ed7c96f150
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45]
|
2017-11-29 08:09:53 +01:00 |
|
|
9a9c8d4312
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44]
|
2017-11-29 07:53:49 +01:00 |
|
|
55e8dcc021
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43]
|
2017-11-29 07:49:37 +01:00 |
|
|
a3409d4e2a
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42]
|
2017-11-29 07:33:34 +01:00 |
|