|
|
c1c38c41bd
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 4]
|
2017-12-03 01:47:46 +01:00 |
|
|
|
a3b877089d
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 3]
|
2017-12-03 01:47:22 +01:00 |
|
|
|
c6b8071797
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 3]
|
2017-12-03 01:46:44 +01:00 |
|
|
|
817ba5ee80
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 2]
|
2017-12-03 01:46:16 +01:00 |
|
|
|
811caa7429
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 2]
|
2017-12-03 01:45:41 +01:00 |
|
|
|
67ddd4e1b8
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 1]
|
2017-12-03 01:45:19 +01:00 |
|
|
|
c4be5a80d0
|
Add benchmark result [m-mp | ipc-2011 | elevator-sequential-satisficing | 1]
|
2017-12-03 01:44:52 +01:00 |
|
|
|
3235db73be
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 20]
|
2017-12-03 01:44:33 +01:00 |
|
|
|
03030334e8
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 20]
|
2017-12-03 01:44:05 +01:00 |
|
|
|
a0a50d7d28
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 19]
|
2017-12-03 01:28:45 +01:00 |
|
|
|
136915139f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 19]
|
2017-12-03 01:28:17 +01:00 |
|
|
|
93f8c2ebed
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 18]
|
2017-12-03 01:12:57 +01:00 |
|
|
|
33cf23b5db
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 18]
|
2017-12-03 01:12:29 +01:00 |
|
|
|
d391f65d81
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 17]
|
2017-12-03 00:57:09 +01:00 |
|
|
|
35345ee027
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 17]
|
2017-12-03 00:56:40 +01:00 |
|
|
|
c76ab2a3ef
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 16]
|
2017-12-03 00:41:20 +01:00 |
|
|
|
9ca0b1d1fc
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 16]
|
2017-12-03 00:40:52 +01:00 |
|
|
|
fc944ba293
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 15]
|
2017-12-03 00:25:32 +01:00 |
|
|
|
51a05d5e23
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 15]
|
2017-12-03 00:25:04 +01:00 |
|
|
|
ef943382b8
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 14]
|
2017-12-03 00:09:45 +01:00 |
|
|
|
bc7fb873cf
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 14]
|
2017-12-03 00:09:16 +01:00 |
|
|
|
04144c97d1
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 13]
|
2017-12-02 23:53:56 +01:00 |
|
|
|
81d769a64f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 13]
|
2017-12-02 23:53:28 +01:00 |
|
|
|
4dd9eb027c
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 12]
|
2017-12-02 23:38:08 +01:00 |
|
|
|
a6856af830
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 12]
|
2017-12-02 23:37:40 +01:00 |
|
|
|
5b9ece8dcf
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 11]
|
2017-12-02 23:22:20 +01:00 |
|
|
|
8ee2975eda
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 11]
|
2017-12-02 23:21:53 +01:00 |
|
|
|
83b5c1fbda
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 10]
|
2017-12-02 23:06:33 +01:00 |
|
|
|
58c12fdd29
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 10]
|
2017-12-02 23:06:04 +01:00 |
|
|
|
78d8f42495
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 9]
|
2017-12-02 22:50:42 +01:00 |
|
|
|
c71e6d050f
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 9]
|
2017-12-02 22:50:13 +01:00 |
|
|
|
aa11adfe4d
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 8]
|
2017-12-02 22:34:46 +01:00 |
|
|
|
083d873062
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 8]
|
2017-12-02 22:34:17 +01:00 |
|
|
|
35ebcf5946
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 7]
|
2017-12-02 22:18:47 +01:00 |
|
|
|
cffe0d5d77
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 7]
|
2017-12-02 22:18:21 +01:00 |
|
|
|
a95d3994d4
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 6]
|
2017-12-02 22:17:42 +01:00 |
|
|
|
cb83f3b735
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 6]
|
2017-12-02 22:17:13 +01:00 |
|
|
|
9217ca532a
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 5]
|
2017-12-02 22:16:12 +01:00 |
|
|
|
1f42379b08
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 5]
|
2017-12-02 22:15:45 +01:00 |
|
|
|
8b02e95170
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 4]
|
2017-12-02 22:08:05 +01:00 |
|
|
|
2c5c8d132a
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 4]
|
2017-12-02 22:07:39 +01:00 |
|
|
|
cf6acd3a67
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 3]
|
2017-12-02 22:07:15 +01:00 |
|
|
|
78402acbbc
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 3]
|
2017-12-02 22:06:48 +01:00 |
|
|
|
9bb546641f
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 2]
|
2017-12-02 22:06:27 +01:00 |
|
|
|
2550b1ab64
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 2]
|
2017-12-02 22:05:58 +01:00 |
|
|
|
16c80b76d4
|
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 1]
|
2017-12-02 22:05:01 +01:00 |
|
|
|
b1f0447c8e
|
Add benchmark result [m-mp | ipc-2011 | barman-sequential-satisficing | 1]
|
2017-12-02 22:04:35 +01:00 |
|
|
|
28726cfbb1
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 30]
|
2017-12-02 22:04:07 +01:00 |
|
|
|
855a311142
|
Add benchmark result [m-mp | ipc-2006 | trucks-propositional-strips | 30]
|
2017-12-02 21:48:46 +01:00 |
|
|
|
901cf65755
|
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 29]
|
2017-12-02 21:45:05 +01:00 |
|
