|
685f7c1294
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 3]
|
2017-11-29 12:50:05 +01:00 |
|
|
cc2aec7b8f
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 3]
|
2017-11-29 12:49:45 +01:00 |
|
|
2adfd2f97c
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 2]
|
2017-11-29 12:49:28 +01:00 |
|
|
14f904879f
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 2]
|
2017-11-29 12:49:03 +01:00 |
|
|
494826ee8a
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 1]
|
2017-11-29 12:48:47 +01:00 |
|
|
9efa3965a6
|
Add benchmark result [m-mp | ipc-2002 | zenotravel-strips-automatic | 1]
|
2017-11-29 12:48:27 +01:00 |
|
|
7b476c619b
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 20]
|
2017-11-29 12:48:12 +01:00 |
|
|
a1ceeb4b3b
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 20]
|
2017-11-29 12:46:45 +01:00 |
|
|
71ed32e9de
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 19]
|
2017-11-29 12:46:27 +01:00 |
|
|
62773544e3
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 19]
|
2017-11-29 12:45:05 +01:00 |
|
|
4c3281e6b3
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 16]
|
2017-11-29 12:44:08 +01:00 |
|
|
607c0eac24
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 10]
|
2017-11-29 12:43:23 +01:00 |
|
|
fb6f06e6c8
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 8]
|
2017-11-29 12:43:03 +01:00 |
|
|
b8cb804272
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 6]
|
2017-11-29 12:42:38 +01:00 |
|
|
ad6300814c
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 6]
|
2017-11-29 12:42:18 +01:00 |
|
|
8efc14995d
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 5]
|
2017-11-29 12:42:02 +01:00 |
|
|
b0be395d05
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 4]
|
2017-11-29 12:41:37 +01:00 |
|
|
1b76edfbdb
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 3]
|
2017-11-29 12:41:18 +01:00 |
|
|
a84e1939d4
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 3]
|
2017-11-29 12:40:58 +01:00 |
|
|
d073940f95
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 2]
|
2017-11-29 12:40:37 +01:00 |
|
|
791b444447
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 1]
|
2017-11-29 12:40:18 +01:00 |
|
|
fd67428010
|
Add benchmark result [m-mp | ipc-2002 | driverlog-strips-automatic | 1]
|
2017-11-29 12:39:58 +01:00 |
|
|
4faaba769a
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 22]
|
2017-11-29 12:39:42 +01:00 |
|
|
efcdf0298f
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 22]
|
2017-11-29 12:38:12 +01:00 |
|
|
8b045939cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 21]
|
2017-11-29 12:37:51 +01:00 |
|
|
6c9b5ee228
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 21]
|
2017-11-29 12:37:08 +01:00 |
|
|
df400bdfa4
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 20]
|
2017-11-29 12:36:51 +01:00 |
|
|
703e043078
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 19]
|
2017-11-29 12:36:09 +01:00 |
|
|
9e240cab4e
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 18]
|
2017-11-29 12:35:43 +01:00 |
|
|
9db4e55eca
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 17]
|
2017-11-29 12:35:02 +01:00 |
|
|
75d585cb05
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 16]
|
2017-11-29 12:34:34 +01:00 |
|
|
e34022e1fd
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 15]
|
2017-11-29 12:34:10 +01:00 |
|
|
7310edfe60
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 14]
|
2017-11-29 12:33:35 +01:00 |
|
|
21699d1650
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 13]
|
2017-11-29 12:33:09 +01:00 |
|
|
96c2847dc8
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 12]
|
2017-11-29 12:32:43 +01:00 |
|
|
2af0e3c083
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 11]
|
2017-11-29 12:32:11 +01:00 |
|
|
fc4b6ce802
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 10]
|
2017-11-29 12:31:44 +01:00 |
|
|
3d63f32a7e
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 9]
|
2017-11-29 12:31:22 +01:00 |
|
|
99bdb78cd8
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 8]
|
2017-11-29 12:30:55 +01:00 |
|
|
401f14d093
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 7]
|
2017-11-29 12:30:32 +01:00 |
|
|
a8c4f06cfc
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 6]
|
2017-11-29 12:30:10 +01:00 |
|
|
5db3ace6cf
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 5]
|
2017-11-29 12:29:44 +01:00 |
|
|
e6986f00e3
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-29 12:29:17 +01:00 |
|
|
26dbf7d3a6
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-29 12:28:56 +01:00 |
|
|
a1a0340794
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 2]
|
2017-11-29 12:28:36 +01:00 |
|
|
bebff7e4ae
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 2]
|
2017-11-29 12:28:11 +01:00 |
|
|
ff9a60a805
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 1]
|
2017-11-29 12:27:55 +01:00 |
|
|
eee355038d
|
Add benchmark result [m-mp | ipc-2002 | depots-strips-automatic | 1]
|
2017-11-29 12:27:35 +01:00 |
|
|
9d9047f5e8
|
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-29 12:27:19 +01:00 |
|
|
73bfaaa095
|
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-29 12:12:01 +01:00 |
|