patrick
/
tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity
5,644 Commits 12 Branches 0 Tags 350 MiB
Commit Graph

644 Commits

Author SHA1 Message Date
Potassco Bot 853adfe1b0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:44:50 +01:00
Potassco Bot 7bb3c3a564
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47] 2017-12-01 17:14:13 +01:00
Potassco Bot 5f8a7db0dc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46] 2017-12-01 16:43:37 +01:00
Potassco Bot d051f4133d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45] 2017-12-01 16:13:00 +01:00
Potassco Bot 00d1bdd175
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 44] 2017-12-01 13:59:31 +01:00
Potassco Bot 58e3dc06f8
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 43] 2017-12-01 13:28:55 +01:00
Potassco Bot 6894681c60
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 42] 2017-12-01 12:58:19 +01:00
Potassco Bot ce04e704fc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 41] 2017-12-01 12:27:43 +01:00
Potassco Bot 4e56fd1485
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 40] 2017-12-01 12:26:37 +01:00
Potassco Bot 5ccac83f51
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 39] 2017-12-01 12:09:47 +01:00
Potassco Bot 00e798ccc6
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 38] 2017-12-01 12:00:51 +01:00
Potassco Bot 9f8b9b8651
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 37] 2017-12-01 11:45:04 +01:00
Potassco Bot 32e6174ce5
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 36] 2017-12-01 11:29:28 +01:00
Potassco Bot 31499cedc3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 35] 2017-12-01 11:13:10 +01:00
Potassco Bot d2978c8845
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 34] 2017-12-01 11:11:48 +01:00
Potassco Bot 5226a2dd28
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 33] 2017-12-01 11:01:06 +01:00
Potassco Bot 292d3f25a2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 32] 2017-12-01 11:00:00 +01:00
Potassco Bot 73c6e3a78c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 31] 2017-12-01 10:57:08 +01:00
Potassco Bot 422f56a6c1
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 30] 2017-12-01 10:56:12 +01:00
Potassco Bot 57bdfa9ad5
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 29] 2017-12-01 10:36:45 +01:00
Potassco Bot b173d7b734
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 28] 2017-12-01 10:35:50 +01:00
Potassco Bot 5179e2e39b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 27] 2017-12-01 10:33:31 +01:00
Potassco Bot 20a93d3d14
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 26] 2017-12-01 10:31:28 +01:00
Potassco Bot 7db99aa672
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 25] 2017-12-01 10:28:11 +01:00
Potassco Bot 76da0fcdc0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 24] 2017-12-01 10:12:28 +01:00
Potassco Bot 2b7f4cb194
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 23] 2017-12-01 09:56:51 +01:00
Potassco Bot efb0d8e9f9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 22] 2017-12-01 09:41:11 +01:00
Potassco Bot a99b4a23d2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 21] 2017-12-01 09:39:50 +01:00
Potassco Bot beb7d611a4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 20] 2017-12-01 09:39:08 +01:00
Potassco Bot f302748e72
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 19] 2017-12-01 09:37:25 +01:00
Potassco Bot b6c96ef101
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 18] 2017-12-01 09:36:27 +01:00
Potassco Bot 9d661435fc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 17] 2017-12-01 09:35:34 +01:00
Potassco Bot b5b35f4c69
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 16] 2017-12-01 09:34:51 +01:00
Potassco Bot 053a6edcb1
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 15] 2017-12-01 09:13:04 +01:00
Potassco Bot 45cb59e1a8
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 14] 2017-12-01 09:12:14 +01:00
Potassco Bot a18683831e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 13] 2017-12-01 09:06:47 +01:00
Potassco Bot 57ca67df57
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 12] 2017-12-01 09:06:03 +01:00
Potassco Bot 18520a533e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 11] 2017-12-01 09:05:18 +01:00
Potassco Bot c5405b58be
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 10] 2017-12-01 09:04:36 +01:00
Potassco Bot f065e841e0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 9] 2017-12-01 09:03:54 +01:00
Potassco Bot 2c4e226131
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 8] 2017-12-01 09:03:11 +01:00
Potassco Bot bbc7a7e0c5
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 7] 2017-12-01 09:02:32 +01:00
Potassco Bot 8c1e099964
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 6] 2017-12-01 09:01:48 +01:00
Potassco Bot df9a0624bf
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 5] 2017-12-01 09:01:10 +01:00
Potassco Bot d42ad85c0b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 4] 2017-12-01 09:00:33 +01:00
Potassco Bot e86bd5248f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 3] 2017-12-01 08:59:51 +01:00
Potassco Bot c448d52397
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 2] 2017-12-01 08:59:13 +01:00
Potassco Bot b53f9688ea
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 1] 2017-12-01 08:58:32 +01:00
Potassco Bot 9e84491382
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 50] 2017-12-01 08:57:55 +01:00
Potassco Bot 92287fba36
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 49] 2017-12-01 08:41:25 +01:00
Potassco Bot ad01ae8b9a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 48] 2017-12-01 08:24:55 +01:00
Potassco Bot a84da5da7d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 47] 2017-12-01 07:54:19 +01:00
Potassco Bot 44c6db3396
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 46] 2017-12-01 07:23:45 +01:00
Potassco Bot 2e2056c28c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 45] 2017-12-01 06:55:27 +01:00
Potassco Bot a22f324fb6
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 44] 2017-12-01 06:24:51 +01:00
Potassco Bot 64bd7731bf
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 43] 2017-12-01 05:54:17 +01:00
Potassco Bot 2588b7a865
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 42] 2017-12-01 05:23:47 +01:00
Potassco Bot be8dcceec2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 41] 2017-12-01 04:53:11 +01:00
Potassco Bot 67989f7d14
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 40] 2017-12-01 04:51:36 +01:00
Potassco Bot 9c621dfd0e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 39] 2017-12-01 04:21:01 +01:00
Potassco Bot 8ba4fbac86
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 38] 2017-12-01 04:03:44 +01:00
Potassco Bot ce2355a113
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 37] 2017-12-01 03:33:04 +01:00
Potassco Bot daba9ee18d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 36] 2017-12-01 03:16:52 +01:00
Potassco Bot cf57ee0c57
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 35] 2017-12-01 02:57:49 +01:00
Potassco Bot 652e2b040a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 34] 2017-12-01 02:39:01 +01:00
Potassco Bot 73108476ad
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 33] 2017-12-01 02:16:06 +01:00
Potassco Bot f665536be1
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 32] 2017-12-01 01:55:34 +01:00
Potassco Bot bd17b47582
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 31] 2017-12-01 01:32:02 +01:00
Potassco Bot 174849ccf6
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 30] 2017-12-01 01:01:26 +01:00
Potassco Bot 067962d9a3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 29] 2017-12-01 00:30:50 +01:00
Potassco Bot 1cc6536ef9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 28] 2017-12-01 00:00:14 +01:00
Potassco Bot bbae74eb20
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 27] 2017-11-30 23:29:35 +01:00
Potassco Bot 4634b55a2b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 26] 2017-11-30 23:01:04 +01:00
Potassco Bot cf2fc99548
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 25] 2017-11-30 22:30:14 +01:00
Potassco Bot 59ecb7936d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 24] 2017-11-30 21:59:31 +01:00
Potassco Bot 48cc9f9ef1
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23] 2017-11-30 21:28:54 +01:00
Potassco Bot 15296d33f9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22] 2017-11-30 21:00:01 +01:00
Potassco Bot b1e3a703dc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21] 2017-11-30 20:53:11 +01:00
Potassco Bot 8d241cbf9a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20] 2017-11-30 20:52:21 +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 cea584768f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18] 2017-11-30 20:09:26 +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 89a52d568f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16] 2017-11-30 19:22:49 +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 3353ccff63
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14] 2017-11-30 18:35:39 +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 a10fc4d101
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12] 2017-11-30 17:54:13 +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 4526c5db71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10] 2017-11-30 17:29:47 +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 e19f973ef4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8] 2017-11-30 17:27:49 +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 0214eef190
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6] 2017-11-30 17:26:04 +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 aea32134de
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4] 2017-11-30 17:24:39 +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 e1ade52616
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2] 2017-11-30 17:23:14 +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 7b89a5ab10
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29] 2017-11-30 17:21:53 +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 4ce79dded3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27] 2017-11-30 17:09:20 +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 c462fa1610
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:57:07 +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 c9d3f48427
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:44:57 +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 31a44aa9b3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:33:21 +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 8dea3e7913
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:21:34 +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 425848ba4f
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:09:52 +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 5b82caedb3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:58:16 +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 7f5264199e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:47:03 +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 5917822a71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:37:17 +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 45ea31c2ab
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:28:15 +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 0dbdf23f5c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:20:39 +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 4003014e86
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:14:09 +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 2f7afc296d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:08:18 +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 e902832f2e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 15:02:32 +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 e754591dcf
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:43:33 +01:00
Potassco Bot 67b9ae0983
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:27:49 +01:00
Potassco Bot 0734a80dda
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:11:46 +01:00
Potassco Bot 0c89ef1525
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10] 2017-11-30 14:01:27 +01:00
Potassco Bot 6d4c3c65b7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9] 2017-11-29 17:29:07 +01:00
Potassco Bot 5b17eca15a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8] 2017-11-29 17:13:17 +01:00
Potassco Bot f74be5c9cb
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7] 2017-11-29 16:57:40 +01:00
Potassco Bot 20da8927a7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6] 2017-11-29 16:42:42 +01:00
Potassco Bot a6517e2ffd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5] 2017-11-29 16:35:31 +01:00
Potassco Bot 774d82bf9e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4] 2017-11-29 16:28:52 +01:00
Potassco Bot 8fd74407f2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3] 2017-11-29 16:22:25 +01:00
Potassco Bot 5ef5c888b7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 2] 2017-11-29 16:17:33 +01:00
Potassco Bot b987d95ec7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 1] 2017-11-29 16:12:34 +01:00
Potassco Bot 9b7e3791af
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-29 16:09:36 +01:00
Potassco Bot 7d47b3946d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49] 2017-11-29 15:48:23 +01:00
Potassco Bot 8d519f9db7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48] 2017-11-29 15:39:12 +01:00
Potassco Bot 611b91811e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47] 2017-11-29 15:22:32 +01:00
Potassco Bot 253d79f50d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46] 2017-11-29 15:17:49 +01:00
Potassco Bot e005a4792a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 45] 2017-11-29 15:14:17 +01:00
Potassco Bot c0ff01f32a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 44] 2017-11-29 15:11:04 +01:00
Potassco Bot c96ee652ac
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 43] 2017-11-29 15:08:21 +01:00
Potassco Bot ecf7a7e324
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 42] 2017-11-29 15:05:38 +01:00