|
93b1783e99
|
Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:29 +01:00 |
|
|
abe40ff220
|
Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:07 +01:00 |
|
|
9a66c6c594
|
Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:48 +01:00 |
|
|
d5c33a90ca
|
Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:29 +01:00 |
|
|
f0459e9ddf
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:10 +01:00 |
|
|
8e4ed6b883
|
Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:20:52 +01:00 |
|
|
e33aadec11
|
Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:20:34 +01:00 |
|
|
6fb77149f2
|
Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:20:21 +01:00 |
|
|
a3a9b79d0b
|
Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:20:09 +01:00 |
|
|
49a87735c5
|
Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:19:29 +01:00 |
|
|
bc273819e0
|
Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:18:58 +01:00 |
|
|
8b197f71b7
|
Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:18:39 +01:00 |
|
|
7ff035a259
|
Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:18:20 +01:00 |
|
|
70ff52b0a2
|
Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:17:58 +01:00 |
|
|
bb92b4881d
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:17:38 +01:00 |
|
|
9f4591f673
|
Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 12]
|
2017-11-27 10:17:18 +01:00 |
|
|
98fa230b9c
|
Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:17:00 +01:00 |
|
|
2d29fa3d8b
|
Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:16:47 +01:00 |
|
|
5cf31c2ac0
|
Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:16:34 +01:00 |
|
|
c0e646d48a
|
Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:16:16 +01:00 |
|
|
fbe7dfc7e6
|
Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:15:58 +01:00 |
|
|
e1438a811a
|
Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:15:40 +01:00 |
|
|
b24dd99336
|
Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:15:24 +01:00 |
|
|
f790299624
|
Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:15:07 +01:00 |
|
|
f1058df69b
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:14:50 +01:00 |
|
|
07aa467197
|
Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 11]
|
2017-11-27 10:14:32 +01:00 |
|
|
ecc00d6e78
|
Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:14:15 +01:00 |
|
|
0d359987a8
|
Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:14:02 +01:00 |
|
|
61c6ff1c54
|
Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:13:49 +01:00 |
|
|
7309dbe1c3
|
Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:13:31 +01:00 |
|
|
a10cacadab
|
Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:13:14 +01:00 |
|
|
706a5e63f0
|
Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:12:58 +01:00 |
|
|
b9b888d94a
|
Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:12:40 +01:00 |
|
|
17105ec850
|
Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:12:24 +01:00 |
|
|
9c3674c8dc
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:12:07 +01:00 |
|
|
8d546a59c2
|
Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 9]
|
2017-11-27 10:11:51 +01:00 |
|
|
e6429c44ae
|
Add corrupt benchmark result [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:11:32 +01:00 |
|
|
6ee403036c
|
Add corrupt benchmark result [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:11:19 +01:00 |
|
|
1cfb8f0ed5
|
Add benchmark result [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:11:06 +01:00 |
|
|
a835701ff6
|
Add benchmark result [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:10:50 +01:00 |
|
|
5dec59db09
|
Add benchmark result [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:10:32 +01:00 |
|
|
5ca9c013f2
|
Add benchmark result [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:10:15 +01:00 |
|
|
ee35d7774f
|
Add benchmark result [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:09:59 +01:00 |
|
|
00cc0b97e6
|
Add benchmark result [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:09:43 +01:00 |
|
|
1e8cfb36b9
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:09:22 +01:00 |
|
|
b49c312545
|
Add corrupt benchmark result [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 7]
|
2017-11-27 10:09:06 +01:00 |
|
|
9d195b945b
|
Add corrupt benchmark result [gc-ta7-tt1 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-27 10:08:50 +01:00 |
|
|
387d2a2295
|
Add corrupt benchmark result [gc-ta7-tt0 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-27 10:08:37 +01:00 |
|
|
0bac2407e5
|
Add benchmark result [gc-ta5-tt1 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-27 10:08:25 +01:00 |
|
|
7ed69fab7b
|
Add benchmark result [gc-ta5-tt0 | ipc-2000 | freecell-strips-typed | 19]
|
2017-11-27 10:07:23 +01:00 |
|