Commit Graph

644 Commits

Author SHA1 Message Date
4ce79dded3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27] 2017-11-30 17:09:20 +01:00
11ff0d583a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26] 2017-11-30 17:03:14 +01:00
c462fa1610
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:57:07 +01:00
b52fde64cb
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:51:05 +01:00
c9d3f48427
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:44:57 +01:00
3fe3c7f78b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:39:17 +01:00
31a44aa9b3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:33:21 +01:00
cb83e2a9ed
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:27:26 +01:00
8dea3e7913
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:21:34 +01:00
d0f7c819d2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:15:43 +01:00
425848ba4f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:09:52 +01:00
9fdb450182
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 16:04:03 +01:00
5b82caedb3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:58:16 +01:00
7c191377ab
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:52:40 +01:00
7f5264199e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:47:03 +01:00
5515c69457
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:41:52 +01:00
5917822a71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:37:17 +01:00
de154348fd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:32:21 +01:00
45ea31c2ab
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:28:15 +01:00
58b2b6ed54
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:23:55 +01:00
0dbdf23f5c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:20:39 +01:00
56027e06ca
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:17:08 +01:00
4003014e86
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:14:09 +01:00
97bd3b012b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:11:07 +01:00
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
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
ff9a60a805
Add benchmark result [gc-ta1-tt1 | ipc-2002 | depots-strips-automatic | 1] 2017-11-29 12:27:55 +01:00
9d9047f5e8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 60] 2017-11-29 12:27:19 +01:00
7e5c10efa3
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 59] 2017-11-29 12:11:14 +01:00
2ff40ee42c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 58] 2017-11-29 11:55:08 +01:00
c3c1b4618c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 57] 2017-11-29 11:39:02 +01:00
c296bc4ba8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 56] 2017-11-29 11:22:45 +01:00
5f094e78dc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 55] 2017-11-29 11:06:37 +01:00
09055615b4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 54] 2017-11-29 10:50:23 +01:00
c07b85e26c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 53] 2017-11-29 10:34:14 +01:00
a06f7c105b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 52] 2017-11-29 10:18:10 +01:00
f33369cae6
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 51] 2017-11-29 10:02:04 +01:00
cf10cbbff1
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 50] 2017-11-29 09:45:55 +01:00
09d36be013
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 49] 2017-11-29 09:29:42 +01:00
54c3081835
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 48] 2017-11-29 09:13:36 +01:00
3d17dde1f3
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 47] 2017-11-29 08:57:31 +01:00
ca471bc5a9
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 46] 2017-11-29 08:41:22 +01:00
a75016d5be
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 45] 2017-11-29 08:25:11 +01:00
60ed10d35e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 44] 2017-11-29 08:09:06 +01:00
b905a1de73
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 43] 2017-11-29 07:53:02 +01:00
1af1b06545
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 42] 2017-11-29 07:48:52 +01:00
d18fd76757
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 41] 2017-11-29 07:32:45 +01:00
6699209051
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 40] 2017-11-29 07:16:39 +01:00
0408768931
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 39] 2017-11-29 07:00:35 +01:00
e93426b887
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 38] 2017-11-29 06:44:20 +01:00
1dda5e59f1
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 37] 2017-11-29 06:41:29 +01:00
e917f33341
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 36] 2017-11-29 06:38:13 +01:00
1dfaea39d1
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 35] 2017-11-29 06:22:10 +01:00
8af7996f66
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 34] 2017-11-29 06:19:02 +01:00
18d5165c20
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 33] 2017-11-29 06:16:25 +01:00
8bcfc24075
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 32] 2017-11-29 06:14:50 +01:00
45cff18766
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 31] 2017-11-29 06:12:18 +01:00
c12ade4fcd
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 30] 2017-11-29 06:09:08 +01:00
e75bc78e63
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 29] 2017-11-29 06:07:00 +01:00
e5b51ffb3a
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 28] 2017-11-29 06:05:08 +01:00
b866f157ea
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 27] 2017-11-29 06:03:43 +01:00
7e5573376e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 26] 2017-11-29 06:02:01 +01:00
84d2c594fc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 25] 2017-11-29 06:00:15 +01:00
66b1f81101
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 24] 2017-11-29 05:58:52 +01:00
8ff23ae27b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 23] 2017-11-29 05:57:29 +01:00
fef990c833
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 22] 2017-11-29 05:56:05 +01:00
95a112b3d1
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 21] 2017-11-29 05:54:44 +01:00
758e70c65b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 20] 2017-11-29 05:53:27 +01:00
45fa28a549
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 18] 2017-11-29 05:52:09 +01:00
da308fc062
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 17] 2017-11-28 15:59:20 +01:00
83591828ca
Add benchmark result [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 16] 2017-11-28 15:58:15 +01:00
bd6378f817
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 102] 2017-11-28 15:57:08 +01:00
cbb9debaee
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 101] 2017-11-28 15:26:32 +01:00
98112f572b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 100] 2017-11-28 14:55:57 +01:00
c372bd9cc4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 99] 2017-11-28 14:25:22 +01:00
458863da33
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 98] 2017-11-28 13:54:47 +01:00
46d4d526fa
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 97] 2017-11-28 13:38:30 +01:00
f4383f70c0
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 96] 2017-11-28 13:22:56 +01:00
0acbc7db95
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 95] 2017-11-28 13:08:14 +01:00
ed4a77e88d
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 94] 2017-11-28 12:51:59 +01:00
e3b43d8454
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 93] 2017-11-28 12:32:41 +01:00
9773461c97
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 92] 2017-11-28 12:21:35 +01:00
8b6470b731
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 91] 2017-11-28 11:51:13 +01:00
87b742d7ec
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90] 2017-11-28 11:23:05 +01:00
9c782a66d8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89] 2017-11-28 10:52:30 +01:00
17ddadf621
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88] 2017-11-28 10:21:55 +01:00
c48f605086
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 10:16:52 +01:00
e0c1d51fd8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:55:55 +01:00
91fafceae8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:50:56 +01:00
8250aaafbc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:32:05 +01:00
ffec7782fc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 09:16:47 +01:00
f78356ed5b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:56:57 +01:00
5ba77c4c54
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:52:13 +01:00
f31df42c95
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:39:12 +01:00
6aca0de83b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:30:29 +01:00
bf741b6e9e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:10:47 +01:00
bdc965b546
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 08:01:12 +01:00
457d647cc4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:56:08 +01:00
5b1b12f45c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:32:30 +01:00
600b0768d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:22:11 +01:00
7fd9d220ff
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:12:53 +01:00
9f5be048c5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 07:02:04 +01:00
db2726fcaf
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:41:13 +01:00
76a63d2b2b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:33:29 +01:00
dd15d7b05e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:26:06 +01:00
da4d187a9f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:24:08 +01:00
0479fdd25e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:17:47 +01:00
f6408c523c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:11:21 +01:00
34d5ecd619
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:09:41 +01:00
22339b539e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:05:40 +01:00
95668c7ec6
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 06:03:47 +01:00
9d3015fa7a
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:58:55 +01:00
4f99c83207
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:55:01 +01:00
e28c868324
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:52:45 +01:00
c622d68a74
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:50:28 +01:00
08e6825eb4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:47:49 +01:00
1f9517c216
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:45:39 +01:00
15eed18a82
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:42:08 +01:00
c6b3cdc6d5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:40:59 +01:00
fd8a3b75d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:38:32 +01:00
cedc9b835c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:37:14 +01:00
59991f9df5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:34:06 +01:00
ccfbe3b9e0
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:32:45 +01:00
fb98b736e8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:31:00 +01:00
992458bbf5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:29:05 +01:00
64560569f8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:27:49 +01:00
9da767ae90
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:26:25 +01:00
e1b02a6ba8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:25:40 +01:00
297a3ab6fd
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:24:02 +01:00
d12e002d4b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:22:39 +01:00
da27d80a6e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:56 +01:00
564bc37574
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2017-11-28 05:21:13 +01:00
7661b9d0d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2017-11-28 05:20:48 +01:00