Commit Graph

512 Commits

Author SHA1 Message Date
89a52d568f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:22:49 +01:00
6ba9e7dd2f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15] 2017-11-30 18:52:12 +01:00
3353ccff63
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:35:39 +01:00
58a69a66d4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13] 2017-11-30 18:05:02 +01:00
a10fc4d101
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:54:13 +01:00
708e85a088
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11] 2017-11-30 17:38:23 +01:00
4526c5db71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:47 +01:00
a70aba94cd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9] 2017-11-30 17:28:47 +01:00
e19f973ef4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:49 +01:00
3d3d4dfa36
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7] 2017-11-30 17:26:56 +01:00
0214eef190
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:26:04 +01:00
841c1e0ce7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5] 2017-11-30 17:25:24 +01:00
aea32134de
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:39 +01:00
e1080f5779
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3] 2017-11-30 17:23:54 +01:00
e1ade52616
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:23:14 +01:00
9d0c093ff0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1] 2017-11-30 17:22:31 +01:00
7b89a5ab10
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:21:53 +01:00
5d2b82eafc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28] 2017-11-30 17:15:42 +01:00
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