Commit Graph
100 Commits
Author SHA1 Message Date
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
potassco-bot e991221151 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:28:15 +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 665818c864 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:12:30 +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 82d4f86d55 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:02:02 +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 2215be2093 Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-30 13:46:35 +01:00
potassco-bot ccf35e65f8 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60] 2017-11-30 13:39:21 +01:00
potassco-bot 19ced5829c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59] 2017-11-30 13:24:03 +01:00
potassco-bot a8de453799 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58] 2017-11-30 13:08:47 +01:00
potassco-bot 2de39375ee Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57] 2017-11-30 12:53:30 +01:00
potassco-bot 86e130e002 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56] 2017-11-30 12:38:13 +01:00
potassco-bot e1ef25a354 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55] 2017-11-30 12:22:56 +01:00
potassco-bot 540342a650 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54] 2017-11-30 12:07:39 +01:00
potassco-bot 9aacdc27cd Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53] 2017-11-30 11:52:23 +01:00
potassco-bot 3d46155b99 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52] 2017-11-30 11:37:06 +01:00
potassco-bot 7b184afa4c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51] 2017-11-30 11:21:49 +01:00
potassco-bot f89ef94156 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50] 2017-11-30 11:06:32 +01:00
potassco-bot 51f08a0883 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49] 2017-11-30 10:51:16 +01:00
potassco-bot d9d4a3b9b0 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48] 2017-11-30 10:35:58 +01:00
potassco-bot b6fe56b96e Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47] 2017-11-30 10:35:08 +01:00
potassco-bot 6ebe68793c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46] 2017-11-30 10:19:52 +01:00
potassco-bot 2fbb84b796 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45] 2017-11-30 10:04:35 +01:00
potassco-bot fb846c1853 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44] 2017-11-30 09:49:18 +01:00
potassco-bot 557d16620e Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43] 2017-11-30 09:34:01 +01:00
potassco-bot ed563c3000 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42] 2017-11-30 09:32:45 +01:00
potassco-bot d482449501 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41] 2017-11-30 09:29:45 +01:00
potassco-bot f6acb756e4 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40] 2017-11-30 09:14:28 +01:00
potassco-bot 5dcfa73bbf Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39] 2017-11-30 08:59:28 +01:00
potassco-bot 9f230aea97 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36] 2017-11-30 08:58:15 +01:00
potassco-bot f4714cc078 Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-30 08:54:32 +01:00
potassco-bot cc52708a2f Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-30 08:51:14 +01:00
potassco-bot 448783adf2 Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-30 08:35:58 +01:00
potassco-bot d913db93bf Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:20:41 +01:00
potassco-bot 5b4ce2de21 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:17:24 +01:00
potassco-bot 8ae5a6fee7 Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:14:08 +01:00
potassco-bot 4bce23fbb3 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:10:53 +01:00
potassco-bot 080c4544a0 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 08:07:34 +01:00
potassco-bot 3d4a5c2206 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 08:04:25 +01:00
potassco-bot 095cdba40a Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 08:01:19 +01:00
potassco-bot ebb7f7ff42 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 07:58:12 +01:00
potassco-bot c6004736a1 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 14] 2017-11-30 07:55:06 +01:00
potassco-bot 8c342b02a1 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 14] 2017-11-30 07:51:58 +01:00
potassco-bot 7d7850a1c6 Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 14] 2017-11-30 07:48:52 +01:00
potassco-bot b612ab14b2 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 14] 2017-11-30 07:45:46 +01:00
potassco-bot ed29a07453 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 13] 2017-11-30 07:42:37 +01:00
potassco-bot 138e7b6207 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 13] 2017-11-30 07:39:31 +01:00
potassco-bot 99d9d5e02f Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 13] 2017-11-30 07:36:23 +01:00
potassco-bot bfbdc975b3 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 13] 2017-11-30 07:33:16 +01:00
potassco-bot f188586966 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 12] 2017-11-30 07:30:10 +01:00
potassco-bot 08a2c8170d Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 12] 2017-11-30 07:27:04 +01:00
potassco-bot 6ee3a588fb Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 12] 2017-11-30 07:23:57 +01:00
potassco-bot 6da08f88d3 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 12] 2017-11-30 07:20:48 +01:00
potassco-bot 6e5bf38356 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 11] 2017-11-30 07:17:40 +01:00
potassco-bot 7923c38b4b Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 11] 2017-11-30 07:14:34 +01:00
potassco-bot df82d30ed9 Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 11] 2017-11-30 07:11:28 +01:00
potassco-bot cac51e81ee Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 11] 2017-11-30 07:08:22 +01:00
potassco-bot 97e7648c2b Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 10] 2017-11-30 07:05:15 +01:00
potassco-bot 5606cf3ad8 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 10] 2017-11-30 07:01:23 +01:00
potassco-bot bb1a8bbedb Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 10] 2017-11-30 06:57:34 +01:00
potassco-bot 9c746784bb Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 10] 2017-11-30 06:53:46 +01:00
potassco-bot abfd5dc793 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 9] 2017-11-30 06:49:58 +01:00
potassco-bot ad29f48751 Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 9] 2017-11-30 06:46:07 +01:00
potassco-bot 1274691ce8 Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 9] 2017-11-30 06:42:19 +01:00
potassco-bot 900f5ef0c5 Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 9] 2017-11-30 06:38:30 +01:00
potassco-bot 81802abab7 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 8] 2017-11-30 06:34:40 +01:00
potassco-bot 376162b5ee Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 8] 2017-11-30 06:30:50 +01:00
potassco-bot 52b0f4baa5 Add benchmark result [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 8] 2017-11-30 06:26:56 +01:00
potassco-bot e79bd4f88b Add benchmark result [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 8] 2017-11-30 06:23:07 +01:00
potassco-bot 33aa247e41 Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 7] 2017-11-30 06:19:19 +01:00
potassco-bot aa7aaa0e2d Add benchmark result [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 7] 2017-11-30 06:15:31 +01:00