Commit Graph
722 Commits
Author SHA1 Message Date
potassco-bot ff90a5d2fd Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 20] 2017-12-02 06:34:59 +01:00
potassco-bot 76be03b222 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 19] 2017-12-02 06:19:18 +01:00
potassco-bot f5c240f41d Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 18] 2017-12-02 06:16:24 +01:00
potassco-bot d8c015c7ec Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 17] 2017-12-02 06:00:45 +01:00
potassco-bot 52a3fac750 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16] 2017-12-02 05:45:04 +01:00
potassco-bot 2bd4556d1b Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15] 2017-12-02 05:44:17 +01:00
potassco-bot 101ef7ded5 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:38 +01:00
potassco-bot 8377673ac6 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:54 +01:00
potassco-bot 15d424d25b Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12] 2017-12-02 05:37:13 +01:00
potassco-bot 3a1e51e61c Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11] 2017-12-02 05:21:34 +01:00
potassco-bot ca524e237b Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10] 2017-12-02 05:14:16 +01:00
potassco-bot 37d56824d7 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:30 +01:00
potassco-bot a96aa25703 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:50 +01:00
potassco-bot 65fa4f517e Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7] 2017-12-02 05:12:04 +01:00
potassco-bot 6865ef4ce3 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6] 2017-12-02 05:11:19 +01:00
potassco-bot bcb95740af Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:38 +01:00
potassco-bot a1ac1fa187 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:53 +01:00
potassco-bot 9a7d55d916 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3] 2017-12-02 05:09:07 +01:00
potassco-bot 94597f17c4 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2] 2017-12-02 05:08:27 +01:00
potassco-bot 6fb3ea4aa1 Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:41 +01:00
potassco-bot 512f8ae1c3 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40] 2017-12-02 05:07:01 +01:00
potassco-bot c733b16f8b Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:46:34 +01:00
potassco-bot 7848aa746b Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:26:55 +01:00
potassco-bot f21e191b25 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37] 2017-12-02 04:07:59 +01:00
potassco-bot 0dc8164813 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:49:44 +01:00
potassco-bot 8c1be6f28c Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:32:23 +01:00
potassco-bot 66fb424a32 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:15:36 +01:00
potassco-bot aa3f52bcd6 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33] 2017-12-02 03:12:41 +01:00
potassco-bot 8b7d527277 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:56:26 +01:00
potassco-bot f58889c419 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:40:22 +01:00
potassco-bot 058c4b00d2 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:38:49 +01:00
potassco-bot d280324cd2 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:37:05 +01:00
potassco-bot f5275a627e Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:57 +01:00
potassco-bot 5b52f13bec Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:54 +01:00
potassco-bot 8fe80ac1b4 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:56 +01:00
potassco-bot 25d5963b44 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:33:04 +01:00
potassco-bot 0b8391e22a Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:32:11 +01:00
potassco-bot 5841c15dbf Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:31:09 +01:00
potassco-bot 3041578fde Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:30:07 +01:00
potassco-bot 4cbd34e3c7 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:29:10 +01:00
potassco-bot c69cf05c88 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:28:18 +01:00
potassco-bot 25d54ae3af Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:27:29 +01:00
potassco-bot 387e068f32 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:41 +01:00
potassco-bot 1285161f59 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:55 +01:00
potassco-bot 0e786dc9f9 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:25:13 +01:00
potassco-bot a5a8beea92 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:24:27 +01:00
potassco-bot aa553dfda3 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:43 +01:00
potassco-bot 2e131f654d Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:23:03 +01:00
potassco-bot c8059447f6 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:22:19 +01:00
potassco-bot 57cdf78d00 Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:36 +01:00