|
|
2f7afc296d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3]
|
2017-11-30 15:08:18 +01:00 |
|
|
|
bdefc25a03
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2]
|
2017-11-30 15:05:04 +01:00 |
|
|
|
e902832f2e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1]
|
2017-11-30 15:02:32 +01:00 |
|
|
|
296ac4ee85
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14]
|
2017-11-30 14:59:33 +01:00 |
|
|
|
e754591dcf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13]
|
2017-11-30 14:43:33 +01:00 |
|
|
|
67b9ae0983
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12]
|
2017-11-30 14:27:49 +01:00 |
|
|
|
0734a80dda
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11]
|
2017-11-30 14:11:46 +01:00 |
|
|
|
0c89ef1525
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10]
|
2017-11-30 14:01:27 +01:00 |
|
|
|
6d4c3c65b7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9]
|
2017-11-29 17:29:07 +01:00 |
|
|
|
5b17eca15a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8]
|
2017-11-29 17:13:17 +01:00 |
|
|
|
f74be5c9cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7]
|
2017-11-29 16:57:40 +01:00 |
|
|
|
20da8927a7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6]
|
2017-11-29 16:42:42 +01:00 |
|
|
|
a6517e2ffd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5]
|
2017-11-29 16:35:31 +01:00 |
|
|
|
774d82bf9e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4]
|
2017-11-29 16:28:52 +01:00 |
|
|
|
8fd74407f2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3]
|
2017-11-29 16:22:25 +01:00 |
|
|
|
5ef5c888b7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 2]
|
2017-11-29 16:17:33 +01:00 |
|
|
|
b987d95ec7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 1]
|
2017-11-29 16:12:34 +01:00 |
|
|
|
9b7e3791af
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-29 16:09:36 +01:00 |
|
|
|
7d47b3946d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49]
|
2017-11-29 15:48:23 +01:00 |
|
|
|
8d519f9db7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48]
|
2017-11-29 15:39:12 +01:00 |
|
|
|
611b91811e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47]
|
2017-11-29 15:22:32 +01:00 |
|
|
|
253d79f50d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46]
|
2017-11-29 15:17:49 +01:00 |
|
|
|
e005a4792a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 45]
|
2017-11-29 15:14:17 +01:00 |
|
|
|
c0ff01f32a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 44]
|
2017-11-29 15:11:04 +01:00 |
|
|
|
c96ee652ac
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 43]
|
2017-11-29 15:08:21 +01:00 |
|
|
|
ecf7a7e324
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 42]
|
2017-11-29 15:05:38 +01:00 |
|
|
|
2f85877022
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 41]
|
2017-11-29 15:02:41 +01:00 |
|
|
|
4f1a539785
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 40]
|
2017-11-29 15:00:32 +01:00 |
|
|
|
a4b6c8ddb0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 39]
|
2017-11-29 14:58:16 +01:00 |
|
|
|
38dcd49d36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 38]
|
2017-11-29 14:55:33 +01:00 |
|
|
|
36f0cb6963
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 37]
|
2017-11-29 14:53:46 +01:00 |
|
|
|
808ff92afc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 36]
|
2017-11-29 14:51:48 +01:00 |
|
|
|
f50edd3d64
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 35]
|
2017-11-29 14:50:25 +01:00 |
|
|
|
4477fe4e28
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 34]
|
2017-11-29 14:35:42 +01:00 |
|
|
|
1818759c84
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 33]
|
2017-11-29 14:28:45 +01:00 |
|
|
|
82c099dbfb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 32]
|
2017-11-29 14:23:47 +01:00 |
|
|
|
852a565d5d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 31]
|
2017-11-29 14:13:21 +01:00 |
|
|
|
bc3c8257c1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 30]
|
2017-11-29 14:09:06 +01:00 |
|
|
|
7f41600a73
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 29]
|
2017-11-29 14:05:48 +01:00 |
|
|
|
32964241ea
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 28]
|
2017-11-29 14:02:18 +01:00 |
|
|
|
99eb7bd4b7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 27]
|
2017-11-29 13:59:29 +01:00 |
|
|
|
8e7473b2bb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 26]
|
2017-11-29 13:57:05 +01:00 |
|
|
|
116d1d9bf5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 25]
|
2017-11-29 13:51:58 +01:00 |
|
|
|
309cf58997
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 24]
|
2017-11-29 13:50:00 +01:00 |
|
|
|
418b5df3da
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 23]
|
2017-11-29 13:48:18 +01:00 |
|
|
|
d738fc4b52
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 22]
|
2017-11-29 13:46:33 +01:00 |
|
|
|
e6d120bd45
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 21]
|
2017-11-29 13:45:13 +01:00 |
|
|
|
0e3a8c9f57
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 20]
|
2017-11-29 13:44:02 +01:00 |
|
|
|
25f580876f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 19]
|
2017-11-29 13:43:09 +01:00 |
|
|
|
5ce8aa8d65
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 18]
|
2017-11-29 13:42:24 +01:00 |
|
|
|
351a0b1d7f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 17]
|
2017-11-29 13:41:35 +01:00 |
|
|
|
e4bbf8bd2b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 16]
|
2017-11-29 13:40:52 +01:00 |
|
|
|
807526bcd1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 15]
|
2017-11-29 13:40:06 +01:00 |
|
|
|
240cde4ad6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 14]
|
2017-11-29 13:39:22 +01:00 |
|
|
|
c6ec6a38b2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 13]
|
2017-11-29 13:38:42 +01:00 |
|
|
|
4547527865
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 12]
|
2017-11-29 13:37:58 +01:00 |
|
|
|
54fc1a976f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 11]
|
2017-11-29 13:37:20 +01:00 |
|
|
|
6058ea89f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 10]
|
2017-11-29 13:27:00 +01:00 |
|
|
|
cadc5c7803
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 9]
|
2017-11-29 13:20:11 +01:00 |
|
|
|
61628dd32a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 8]
|
2017-11-29 13:19:26 +01:00 |
|
|
|
d04b5947f3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 7]
|
2017-11-29 13:18:47 +01:00 |
|
|
|
eefdbe0212
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 6]
|
2017-11-29 13:18:04 +01:00 |
|
|
|
96d5fe78b8
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 5]
|
2017-11-29 13:17:26 +01:00 |
|
|
|
91a72e7faf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 4]
|
2017-11-29 13:08:00 +01:00 |
|
|
|
5955f86920
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 3]
|
2017-11-29 13:07:18 +01:00 |
|
|
|
86d53f1f5e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 2]
|
2017-11-29 13:06:42 +01:00 |
|
|
|
8dd37c7271
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 1]
|
2017-11-29 13:06:00 +01:00 |
|
|
|
7f245c3881
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 20]
|
2017-11-29 13:05:24 +01:00 |
|
|
|
ed04600565
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 19]
|
2017-11-29 13:03:29 +01:00 |
|
|
|
aa1b0b4f18
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 18]
|
2017-11-29 13:01:54 +01:00 |
|
|
|
bc37291c91
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 17]
|
2017-11-29 13:00:36 +01:00 |
|
|
|
bf0e3fb211
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 16]
|
2017-11-29 12:59:26 +01:00 |
|
|
|
ea8c201d24
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 15]
|
2017-11-29 12:58:29 +01:00 |
|
|
|
28c1ac1a1f
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 14]
|
2017-11-29 12:57:32 +01:00 |
|
|
|
8716b86873
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 13]
|
2017-11-29 12:56:41 +01:00 |
|
|
|
9d69c6fa96
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 12]
|
2017-11-29 12:56:03 +01:00 |
|
|
|
97ea2e760c
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 11]
|
2017-11-29 12:55:20 +01:00 |
|
|
|
810b66281e
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 10]
|
2017-11-29 12:54:41 +01:00 |
|
|
|
c9dcdfb19d
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 9]
|
2017-11-29 12:54:03 +01:00 |
|
|
|
8225242dc2
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 8]
|
2017-11-29 12:53:21 +01:00 |
|
|
|
7622f9ed4e
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 7]
|
2017-11-29 12:52:43 +01:00 |
|
|
|
b5c0dca4f6
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 6]
|
2017-11-29 12:52:02 +01:00 |
|
|
|
65207923ba
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 5]
|
2017-11-29 12:51:25 +01:00 |
|
|
|
d10e71881a
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 4]
|
2017-11-29 12:50:47 +01:00 |
|
|
|
685f7c1294
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 3]
|
2017-11-29 12:50:05 +01:00 |
|
|
|
2adfd2f97c
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 2]
|
2017-11-29 12:49:28 +01:00 |
|
|
|
494826ee8a
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | zenotravel-strips-automatic | 1]
|
2017-11-29 12:48:47 +01:00 |
|
|
|
7b476c619b
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 20]
|
2017-11-29 12:48:12 +01:00 |
|
|
|
71ed32e9de
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 19]
|
2017-11-29 12:46:27 +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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
4faaba769a
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 22]
|
2017-11-29 12:39:42 +01:00 |
|
|
|
8b045939cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 21]
|
2017-11-29 12:37:51 +01:00 |
|
