patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
5,274 Commits 12 Branches 0 Tags
d0f2a2ce53fe47c0443905e0ca00b25c212c35ba
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
potassco-bot d0f2a2ce53 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20] 2017-11-30 20:37:02 +01:00
potassco-bot c36f2db8ad Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19] 2017-11-30 20:25:20 +01:00
potassco-bot a8ce4f7e32 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19] 2017-11-30 20:10:01 +01:00
potassco-bot cea584768f Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18] 2017-11-30 20:09:26 +01:00
potassco-bot 3eef3a7b65 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18] 2017-11-30 19:54:07 +01:00
potassco-bot 6c501b1b8e Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17] 2017-11-30 19:53:25 +01:00
potassco-bot 1d73969ee9 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17] 2017-11-30 19:38:06 +01:00
potassco-bot 89a52d568f Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:22:49 +01:00
potassco-bot c4c50dff09 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:07:30 +01:00
potassco-bot 6ba9e7dd2f Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15] 2017-11-30 18:52:12 +01:00
potassco-bot 37d3a0bbba Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15] 2017-11-30 18:36:53 +01:00
potassco-bot 3353ccff63 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:35:39 +01:00
potassco-bot 507f73cd6c Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:20:19 +01:00
potassco-bot 58a69a66d4 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13] 2017-11-30 18:05:02 +01:00
potassco-bot a6726db178 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13] 2017-11-30 17:54:30 +01:00
potassco-bot a10fc4d101 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:54:13 +01:00
potassco-bot 5c20c3f185 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:38:55 +01:00
potassco-bot 708e85a088 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11] 2017-11-30 17:38:23 +01:00
potassco-bot 69a52436d5 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11] 2017-11-30 17:30:08 +01:00
potassco-bot 4526c5db71 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:47 +01:00
potassco-bot c1c99d3f67 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:05 +01:00
potassco-bot a70aba94cd Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9] 2017-11-30 17:28:47 +01:00
potassco-bot 4b8fe747e3 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9] 2017-11-30 17:28:06 +01:00
potassco-bot e19f973ef4 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:49 +01:00
potassco-bot 2032546aba Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:13 +01:00
potassco-bot 3d3d4dfa36 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7] 2017-11-30 17:26:56 +01:00
potassco-bot da779215ff Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7] 2017-11-30 17:26:25 +01:00
potassco-bot 0214eef190 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:26:04 +01:00
potassco-bot 71f4a73e89 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:25:40 +01:00
potassco-bot 841c1e0ce7 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5] 2017-11-30 17:25:24 +01:00
potassco-bot 45c9ed2437 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5] 2017-11-30 17:24:55 +01:00
potassco-bot aea32134de Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:39 +01:00
potassco-bot 94918a4770 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:16 +01:00
potassco-bot e1080f5779 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3] 2017-11-30 17:23:54 +01:00
potassco-bot 52f264f334 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3] 2017-11-30 17:23:31 +01:00
potassco-bot e1ade52616 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:23:14 +01:00
potassco-bot 5f97dffa76 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:22:48 +01:00
potassco-bot 9d0c093ff0 Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1] 2017-11-30 17:22:31 +01:00
potassco-bot 7e26e69256 Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1] 2017-11-30 17:22:10 +01:00
potassco-bot 7b89a5ab10 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:21:53 +01:00
potassco-bot 98d1a1ceb3 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:15:59 +01:00
potassco-bot 5d2b82eafc Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28] 2017-11-30 17:15:42 +01:00
potassco-bot b5d911ea67 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28] 2017-11-30 17:09:38 +01:00
potassco-bot 4ce79dded3 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27] 2017-11-30 17:09:20 +01:00
potassco-bot 09a83ff0e2 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 27] 2017-11-30 17:03:31 +01:00
potassco-bot 11ff0d583a Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26] 2017-11-30 17:03:14 +01:00
potassco-bot 40c1f0ea54 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 26] 2017-11-30 16:57:24 +01:00
potassco-bot c462fa1610 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:57:07 +01:00
potassco-bot 3e7cf5de5d Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:51:22 +01:00
potassco-bot b52fde64cb Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:51:05 +01:00
potassco-bot 8f9848766c Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:45:15 +01:00
potassco-bot c9d3f48427 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:44:57 +01:00
potassco-bot f6573530c8 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:39:34 +01:00
potassco-bot 3fe3c7f78b Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:39:17 +01:00
potassco-bot ca24d85bd6 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:33:38 +01:00
potassco-bot 31a44aa9b3 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:33:21 +01:00
potassco-bot 1401d0152d Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:27:43 +01:00
potassco-bot cb83e2a9ed Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:27:26 +01:00
potassco-bot 89aaf30357 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:21:51 +01:00
potassco-bot 8dea3e7913 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:21:34 +01:00
potassco-bot b955a1b92f Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:15:59 +01:00
potassco-bot d0f7c819d2 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:15:43 +01:00
potassco-bot f599627caf Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:10:09 +01:00
potassco-bot 425848ba4f Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:09:52 +01:00
potassco-bot 27c2c7f8a1 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:04:20 +01:00
potassco-bot 9fdb450182 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 16:04:03 +01:00
potassco-bot 46b977d35b Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 15:58:32 +01:00
potassco-bot 5b82caedb3 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:58:16 +01:00
potassco-bot cedd594ba3 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:52:56 +01:00
potassco-bot 7c191377ab Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:52:40 +01:00
potassco-bot d4b661e475 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:20 +01:00
potassco-bot 7f5264199e Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:47:03 +01:00
potassco-bot a74029aa21 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:42:08 +01:00
potassco-bot 5515c69457 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:41:52 +01:00
potassco-bot 1ab28dd445 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:33 +01:00
potassco-bot 5917822a71 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:37:17 +01:00
potassco-bot a7933912b3 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:38 +01:00
potassco-bot de154348fd Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:32:21 +01:00
potassco-bot 4bf4fba169 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:31 +01:00
potassco-bot 45ea31c2ab Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:28:15 +01:00
potassco-bot df0115012b Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:24:11 +01:00
potassco-bot 58b2b6ed54 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:23:55 +01:00
potassco-bot d50f4aa348 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:20:55 +01:00
potassco-bot 0dbdf23f5c Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:20:39 +01:00
potassco-bot 025bf86f1b Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:25 +01:00
potassco-bot 56027e06ca Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:17:08 +01:00
potassco-bot 6bb8813582 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:25 +01:00
potassco-bot 4003014e86 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:14:09 +01:00
potassco-bot e09902340d Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:23 +01:00
potassco-bot 97bd3b012b Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:11:07 +01:00
potassco-bot 9ae4abc6ea Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:35 +01:00
potassco-bot 2f7afc296d Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:08:18 +01:00
potassco-bot 4a2cd3e7de Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:20 +01:00
potassco-bot bdefc25a03 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:05:04 +01:00
potassco-bot 14d13cb0ff Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:49 +01:00
potassco-bot e902832f2e Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 15:02:32 +01:00
potassco-bot 80c6613213 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:50 +01:00
potassco-bot 296ac4ee85 Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:59:33 +01:00
potassco-bot b394e80f96 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:44:15 +01:00
potassco-bot e754591dcf Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:43:33 +01:00