Commit Graph
5661 Commits
Author SHA1 Message Date
potassco-bot d4a4171864 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:13:42 +01:00
potassco-bot db2af525b0 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:13:25 +01:00
potassco-bot fb39da5298 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:07:49 +01:00
potassco-bot 514d980869 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:07:30 +01:00
potassco-bot 6865614722 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:01:55 +01:00
potassco-bot cc9188b8c0 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 01:01:38 +01:00
potassco-bot 4bd79e3a7d Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 00:56:08 +01:00
potassco-bot 209b387317 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:55:50 +01:00
potassco-bot 62790912b9 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:50:18 +01:00
potassco-bot d7092013ff Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:50:00 +01:00
potassco-bot da34a38dbf Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:44:28 +01:00
potassco-bot 6e8664b104 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:44:10 +01:00
potassco-bot 032055f084 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:38:44 +01:00
potassco-bot 566d52a5b9 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:38:27 +01:00
potassco-bot 73d4850a1a Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:32:56 +01:00
potassco-bot 361023204d Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:32:39 +01:00
potassco-bot 785327cac3 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:27:10 +01:00
potassco-bot 8dc8f4b8cf Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:26:53 +01:00
potassco-bot 3bbac6b963 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:21:17 +01:00
potassco-bot 7e46734b7b Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:21:00 +01:00
potassco-bot f347929805 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:15:34 +01:00
potassco-bot d9e0fccdb2 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:15:17 +01:00
potassco-bot 123821391f Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:09:51 +01:00
potassco-bot 4645026487 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:09:34 +01:00
potassco-bot c96c1500f3 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:04:08 +01:00
potassco-bot 5b6ffb4219 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8] 2017-12-02 00:03:51 +01:00
potassco-bot d8f8ea4b78 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 8] 2017-12-01 23:58:23 +01:00
potassco-bot 04315fbd26 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:58:06 +01:00
potassco-bot e20bb84dc4 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:52:42 +01:00
potassco-bot e86a9ce028 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:52:24 +01:00
potassco-bot 2a4e8e46af Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:47:00 +01:00
potassco-bot 681c164692 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:46:43 +01:00
potassco-bot 7ff759b34f Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:41:16 +01:00
potassco-bot c1dddb9eda Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:59 +01:00
potassco-bot 33a010b2a4 Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:11 +01:00
potassco-bot fc669d55ad Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:53 +01:00
potassco-bot 2a513a9a7a Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:05 +01:00
potassco-bot f1fc46b528 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:48 +01:00
potassco-bot 306352eb1a Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:22 +01:00
potassco-bot d374c0e019 Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:59 +01:00
potassco-bot 367464a21e Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:27 +01:00
potassco-bot 0307d1e309 Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36] 2017-12-01 23:37:09 +01:00
potassco-bot ceb885f177 Add benchmark result [m-mp | ipc-2004 | satellite-strips | 36] 2017-12-01 23:21:49 +01:00
potassco-bot ce22fcdde6 Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35] 2017-12-01 23:20:01 +01:00
potassco-bot c54924cbcd Add benchmark result [m-mp | ipc-2004 | satellite-strips | 35] 2017-12-01 23:04:37 +01:00
potassco-bot 5e308432c9 Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34] 2017-12-01 23:03:05 +01:00
potassco-bot a783db1a57 Add benchmark result [m-mp | ipc-2004 | satellite-strips | 34] 2017-12-01 22:47:42 +01:00
potassco-bot 809a25cfa9 Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33] 2017-12-01 22:46:30 +01:00
potassco-bot 8236a31400 Add benchmark result [m-mp | ipc-2004 | satellite-strips | 33] 2017-12-01 22:31:07 +01:00
potassco-bot 9b4b5ef5e6 Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32] 2017-12-01 22:29:38 +01:00