Commit Graph

1093 Commits

Author SHA1 Message Date
f7f667ab90
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 11] 2017-12-03 02:30:10 +01:00
d656985350
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 10] 2017-12-03 02:29:26 +01:00
360ca995cb
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 9] 2017-12-03 02:28:44 +01:00
ddb9cafb87
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 8] 2017-12-03 02:28:00 +01:00
507929deac
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 7] 2017-12-03 02:27:18 +01:00
314ad0fe06
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 6] 2017-12-03 02:26:35 +01:00
519cbc24dd
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 5] 2017-12-03 02:25:52 +01:00
1675a982df
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 4] 2017-12-03 02:25:08 +01:00
8b736e3a84
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 3] 2017-12-03 02:24:26 +01:00
bc88c26d32
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 2] 2017-12-03 02:23:42 +01:00
b4126f4826
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 1] 2017-12-03 02:22:59 +01:00
5b06f6980b
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 20] 2017-12-03 02:22:17 +01:00
f16d9de8c8
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 19] 2017-12-03 02:17:36 +01:00
021dc56175
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 18] 2017-12-03 02:12:20 +01:00
fcd27fe98a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 17] 2017-12-03 02:09:17 +01:00
75beb7126a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 16] 2017-12-03 02:06:25 +01:00
436ff2a732
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 15] 2017-12-03 02:03:59 +01:00
9b7ab435a5
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 14] 2017-12-03 02:01:55 +01:00
1b761b389f
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 13] 2017-12-03 02:00:01 +01:00
25ce12bb32
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 12] 2017-12-03 01:58:15 +01:00
7de3d53fc3
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 11] 2017-12-03 01:56:33 +01:00
b43d28f5b4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 10] 2017-12-03 01:54:57 +01:00
9574bfc709
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 9] 2017-12-03 01:53:42 +01:00
335f775fab
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 8] 2017-12-03 01:52:31 +01:00
c90e97220b
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 7] 2017-12-03 01:51:19 +01:00
dad5f4d2f1
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 6] 2017-12-03 01:50:16 +01:00
531a9289af
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 5] 2017-12-03 01:49:07 +01:00
770685f03a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 4] 2017-12-03 01:48:16 +01:00
a3b877089d
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 3] 2017-12-03 01:47:22 +01:00
817ba5ee80
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 2] 2017-12-03 01:46:16 +01:00
67ddd4e1b8
Add benchmark result [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 1] 2017-12-03 01:45:19 +01:00
3235db73be
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 20] 2017-12-03 01:44:33 +01:00
a0a50d7d28
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 19] 2017-12-03 01:28:45 +01:00
93f8c2ebed
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 18] 2017-12-03 01:12:57 +01:00
d391f65d81
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 17] 2017-12-03 00:57:09 +01:00
c76ab2a3ef
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 16] 2017-12-03 00:41:20 +01:00
fc944ba293
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 15] 2017-12-03 00:25:32 +01:00
ef943382b8
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 14] 2017-12-03 00:09:45 +01:00
04144c97d1
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 13] 2017-12-02 23:53:56 +01:00
4dd9eb027c
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 12] 2017-12-02 23:38:08 +01:00
5b9ece8dcf
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 11] 2017-12-02 23:22:20 +01:00
83b5c1fbda
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 10] 2017-12-02 23:06:33 +01:00
78d8f42495
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 9] 2017-12-02 22:50:42 +01:00
aa11adfe4d
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 8] 2017-12-02 22:34:46 +01:00
35ebcf5946
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 7] 2017-12-02 22:18:47 +01:00
a95d3994d4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 6] 2017-12-02 22:17:42 +01:00
9217ca532a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 5] 2017-12-02 22:16:12 +01:00
8b02e95170
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 4] 2017-12-02 22:08:05 +01:00
cf6acd3a67
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 3] 2017-12-02 22:07:15 +01:00
9bb546641f
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 2] 2017-12-02 22:06:27 +01:00
16c80b76d4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 1] 2017-12-02 22:05:01 +01:00
28726cfbb1
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 30] 2017-12-02 22:04:07 +01:00
901cf65755
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 29] 2017-12-02 21:45:05 +01:00
17f66be62a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 28] 2017-12-02 21:14:25 +01:00
d380b1544d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 27] 2017-12-02 20:43:43 +01:00
65b8e226a2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 26] 2017-12-02 20:13:03 +01:00
169ba54800
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 25] 2017-12-02 19:42:21 +01:00
a18e0123c6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 24] 2017-12-02 19:11:40 +01:00
d851c8840c
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 23] 2017-12-02 18:41:00 +01:00
eb2d66e903
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 22] 2017-12-02 18:10:18 +01:00
070b34e2a5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 21] 2017-12-02 17:39:37 +01:00
8820f34dfe
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 20] 2017-12-02 17:08:55 +01:00
55293f15fd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 19] 2017-12-02 16:38:14 +01:00
4ad3ef3680
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 18] 2017-12-02 16:10:33 +01:00
5561ba315f
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 17] 2017-12-02 15:39:52 +01:00
c565132ec4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 16] 2017-12-02 15:20:11 +01:00
7a8776f976
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 15] 2017-12-02 14:52:47 +01:00
7fb16972da
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 14] 2017-12-02 14:35:13 +01:00
118d8eeaa4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 13] 2017-12-02 14:27:29 +01:00
011ea29aee
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 12] 2017-12-02 14:06:10 +01:00
a885d64b7c
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 11] 2017-12-02 13:52:47 +01:00
d2ea43c38e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 10] 2017-12-02 13:46:27 +01:00
acdbe826a2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 9] 2017-12-02 13:36:43 +01:00
d86f7c1489
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 8] 2017-12-02 13:34:49 +01:00
f2dc295fbd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 7] 2017-12-02 13:32:46 +01:00
4e77f0d922
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 6] 2017-12-02 13:31:36 +01:00
2423df1253
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 5] 2017-12-02 13:30:06 +01:00
10c61873bd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 4] 2017-12-02 13:28:52 +01:00
bcb4f02842
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 3] 2017-12-02 13:27:54 +01:00
155cdfed16
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:56 +01:00
ee73bcf93b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:26:09 +01:00
accfb11dd1
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:25:26 +01:00
c36891b78a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 29] 2017-12-02 13:07:47 +01:00
2eb1cbb834
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:51:45 +01:00
12e2c5c9fb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:35:11 +01:00
ae1ee7591e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:19:13 +01:00
c89d5ebb66
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 25] 2017-12-02 12:03:26 +01:00
65f80469e8
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:47:44 +01:00
5d41f47050
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:32:02 +01:00
8be8f02247
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:16:22 +01:00
656309c3cb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21] 2017-12-02 11:00:41 +01:00
0c6d42adc9
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:44:57 +01:00
cc2fea9030
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:29:14 +01:00
9086d77f9d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18] 2017-12-02 10:19:16 +01:00
2cef301778
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 17] 2017-12-02 10:10:58 +01:00
acaf0f382b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 16] 2017-12-02 10:09:25 +01:00
4ff8a018d7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 15] 2017-12-02 09:53:46 +01:00
8777a2d766
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 14] 2017-12-02 09:38:07 +01:00
f926fd382e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 13] 2017-12-02 09:24:34 +01:00
62ea285bf6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 12] 2017-12-02 09:23:28 +01:00
8f09331724
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 11] 2017-12-02 09:22:36 +01:00
84f536d884
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 10] 2017-12-02 09:21:44 +01:00
e71489300a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 9] 2017-12-02 09:20:58 +01:00
3037edb2d0
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 8] 2017-12-02 09:20:15 +01:00
ce7329c008
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:30 +01:00
df95561661
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:44 +01:00
5c98e388e3
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:18:03 +01:00
86cc755cc5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:17:18 +01:00
c7fb6e75fb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:32 +01:00
3789350fef
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:52 +01:00
66f85445fc
Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:15:06 +01:00
65d5aa9fbf
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 30] 2017-12-02 09:14:27 +01:00
c3d3b1f859
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 29] 2017-12-02 08:58:22 +01:00
f4d0c276fe
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 28] 2017-12-02 08:42:04 +01:00
5280aeb2dd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 27] 2017-12-02 08:25:43 +01:00
7b439627a7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26] 2017-12-02 08:09:54 +01:00
7d39d8545a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25] 2017-12-02 07:54:02 +01:00
a2af1167f6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 24] 2017-12-02 07:37:56 +01:00
eb8ac12600
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 23] 2017-12-02 07:22:03 +01:00
4ea70daea0
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 22] 2017-12-02 07:06:22 +01:00
bac5c55aa4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 21] 2017-12-02 06:50:41 +01:00
ff90a5d2fd
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 20] 2017-12-02 06:34:59 +01:00
76be03b222
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 19] 2017-12-02 06:19:18 +01:00
f5c240f41d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 18] 2017-12-02 06:16:24 +01:00
d8c015c7ec
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 17] 2017-12-02 06:00:45 +01:00
52a3fac750
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16] 2017-12-02 05:45:04 +01:00
2bd4556d1b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15] 2017-12-02 05:44:17 +01:00
101ef7ded5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:38 +01:00
8377673ac6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:54 +01:00
15d424d25b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12] 2017-12-02 05:37:13 +01:00
3a1e51e61c
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11] 2017-12-02 05:21:34 +01:00
ca524e237b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10] 2017-12-02 05:14:16 +01:00
37d56824d7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:30 +01:00
a96aa25703
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:50 +01:00
65fa4f517e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7] 2017-12-02 05:12:04 +01:00
6865ef4ce3
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6] 2017-12-02 05:11:19 +01:00
bcb95740af
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:38 +01:00
a1ac1fa187
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:53 +01:00
9a7d55d916
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3] 2017-12-02 05:09:07 +01:00
94597f17c4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2] 2017-12-02 05:08:27 +01:00
6fb3ea4aa1
Add benchmark result [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:41 +01:00
512f8ae1c3
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40] 2017-12-02 05:07:01 +01:00
c733b16f8b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:46:34 +01:00
7848aa746b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:26:55 +01:00
f21e191b25
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37] 2017-12-02 04:07:59 +01:00
0dc8164813
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:49:44 +01:00
8c1be6f28c
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:32:23 +01:00
66fb424a32
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:15:36 +01:00
aa3f52bcd6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33] 2017-12-02 03:12:41 +01:00
8b7d527277
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:56:26 +01:00
f58889c419
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:40:22 +01:00
058c4b00d2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:38:49 +01:00
d280324cd2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:37:05 +01:00
f5275a627e
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:57 +01:00
5b52f13bec
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:54 +01:00
8fe80ac1b4
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:56 +01:00
25d5963b44
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:33:04 +01:00
0b8391e22a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:32:11 +01:00
5841c15dbf
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:31:09 +01:00
3041578fde
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:30:07 +01:00
4cbd34e3c7
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:29:10 +01:00
c69cf05c88
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:28:18 +01:00
25d54ae3af
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:27:29 +01:00
387e068f32
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:41 +01:00
1285161f59
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:55 +01:00
0e786dc9f9
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:25:13 +01:00
a5a8beea92
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:24:27 +01:00
aa553dfda3
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:43 +01:00
2e131f654d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:23:03 +01:00
c8059447f6
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:22:19 +01:00
57cdf78d00
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:36 +01:00
84134cbfb5
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 10] 2017-12-02 02:20:56 +01:00
89da950c93
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 9] 2017-12-02 02:20:12 +01:00
cae635a5ee
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 8] 2017-12-02 02:19:30 +01:00
2170288f81
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 7] 2017-12-02 02:18:50 +01:00
64f3f0e8c9
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 6] 2017-12-02 02:18:07 +01:00
747c57ce42
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 5] 2017-12-02 02:17:29 +01:00
4e985af796
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 4] 2017-12-02 02:16:48 +01:00
37e91e0f9c
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 3] 2017-12-02 02:16:05 +01:00
a35d2925bc
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 2] 2017-12-02 02:15:27 +01:00
cfb7ac2b42
Add benchmark result [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 1] 2017-12-02 02:14:45 +01:00
829954e76d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 30] 2017-12-02 02:14:06 +01:00
5bdfcdb0d2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 29] 2017-12-02 02:07:51 +01:00
4cb5c10b3f
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 28] 2017-12-02 02:01:53 +01:00
066e40cc62
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 27] 2017-12-02 01:55:41 +01:00
ccfed4f082
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 26] 2017-12-02 01:49:27 +01:00
768bc11954
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 25] 2017-12-02 01:43:30 +01:00
561d65b24b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 24] 2017-12-02 01:37:27 +01:00
2e5b0220ad
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 23] 2017-12-02 01:31:22 +01:00
ea5b998bcb
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 22] 2017-12-02 01:25:27 +01:00
7dd8f3060a
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:19:33 +01:00
db2af525b0
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:13:25 +01:00
514d980869
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:07:30 +01:00
cc9188b8c0
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 01:01:38 +01:00
209b387317
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:55:50 +01:00
d7092013ff
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:50:00 +01:00
6e8664b104
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:44:10 +01:00
566d52a5b9
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:38:27 +01:00
361023204d
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:32:39 +01:00
8dc8f4b8cf
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:26:53 +01:00
7e46734b7b
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:21:00 +01:00
d9e0fccdb2
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:15:17 +01:00
4645026487
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:09:34 +01:00
5b6ffb4219
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8] 2017-12-02 00:03:51 +01:00
04315fbd26
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:58:06 +01:00
e86a9ce028
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:52:24 +01:00
681c164692
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:46:43 +01:00
c1dddb9eda
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:59 +01:00
fc669d55ad
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:53 +01:00
f1fc46b528
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:48 +01:00
d374c0e019
Add benchmark result [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:59 +01:00
0307d1e309
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36] 2017-12-01 23:37:09 +01:00
ce22fcdde6
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35] 2017-12-01 23:20:01 +01:00
5e308432c9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34] 2017-12-01 23:03:05 +01:00
809a25cfa9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33] 2017-12-01 22:46:30 +01:00
9b4b5ef5e6
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32] 2017-12-01 22:29:38 +01:00
ad95beb6b0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 31] 2017-12-01 22:13:16 +01:00
028be32474
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 30] 2017-12-01 21:56:45 +01:00
4813f3446d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 29] 2017-12-01 21:40:42 +01:00
877406f7e0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 28] 2017-12-01 21:24:51 +01:00
497054482a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 27] 2017-12-01 21:09:06 +01:00
42a922959b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 26] 2017-12-01 20:53:26 +01:00
bb65584d99
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 25] 2017-12-01 20:37:46 +01:00
2719e66439
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 24] 2017-12-01 20:22:07 +01:00
fdd595cbdb
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 23] 2017-12-01 20:06:28 +01:00
c2b22e4ae8
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 22] 2017-12-01 19:50:50 +01:00
b33cda6015
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 21] 2017-12-01 19:48:43 +01:00
846860fecb
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 20] 2017-12-01 19:33:06 +01:00
0ac462bdfd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 19] 2017-12-01 19:32:10 +01:00
832f6aa15d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 18] 2017-12-01 19:31:11 +01:00
018f334bc7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 17] 2017-12-01 19:30:30 +01:00
9b4e71e22d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 16] 2017-12-01 19:14:53 +01:00
6316c51371
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 15] 2017-12-01 18:59:10 +01:00
2c879025c3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:56 +01:00
33c25b40cf
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 13] 2017-12-01 18:57:10 +01:00
88808818dc
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 12] 2017-12-01 18:56:23 +01:00
7f8456752a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:36 +01:00
4a5cb2b0c5
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 10] 2017-12-01 18:54:51 +01:00
dbbb511ec3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 9] 2017-12-01 18:54:11 +01:00
eb9261848c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 8] 2017-12-01 18:53:28 +01:00
23ce9e64fd
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 7] 2017-12-01 18:52:45 +01:00
4d8984a41d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 6] 2017-12-01 18:52:06 +01:00
fd7e9c2c43
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 5] 2017-12-01 18:51:24 +01:00
75f6180711
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 4] 2017-12-01 18:50:45 +01:00
6a563e3f19
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 3] 2017-12-01 18:50:06 +01:00
e661eab323
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 2] 2017-12-01 18:49:24 +01:00
17c992a4c2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | satellite-strips | 1] 2017-12-01 18:48:47 +01:00
f8e1c257c2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 50] 2017-12-01 18:48:04 +01:00
bf1460778a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 49] 2017-12-01 18:47:26 +01:00
08080db0c7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 48] 2017-12-01 18:39:24 +01:00
2ec35ec397
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 47] 2017-12-01 18:38:39 +01:00
d3a60fd2c4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 46] 2017-12-01 18:37:57 +01:00
84024e66ac
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 45] 2017-12-01 18:37:06 +01:00
1b5c7eacad
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 44] 2017-12-01 18:36:28 +01:00
b333b943c0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 43] 2017-12-01 18:35:49 +01:00
2ce6907247
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 42] 2017-12-01 18:35:07 +01:00
cc923c0f61
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 41] 2017-12-01 18:34:29 +01:00
018648fdee
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 40] 2017-12-01 18:33:47 +01:00
05712119a2
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 39] 2017-12-01 18:32:58 +01:00
6287fbb467
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 38] 2017-12-01 18:32:20 +01:00
5fe4e41aa8
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 37] 2017-12-01 18:31:38 +01:00
3d315cb416
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 36] 2017-12-01 18:30:55 +01:00
598d0521e9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 35] 2017-12-01 18:30:14 +01:00
ac956b136c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 34] 2017-12-01 18:29:29 +01:00
159b658c5e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 33] 2017-12-01 18:28:51 +01:00
001ea4abb9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 32] 2017-12-01 18:28:12 +01:00
f363823cb3
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 31] 2017-12-01 18:27:30 +01:00
eef2150e66
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 30] 2017-12-01 18:26:48 +01:00
a3b5f41610
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 29] 2017-12-01 18:26:05 +01:00
baa22c1bf9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 28] 2017-12-01 18:25:20 +01:00
fb564c3b9a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 27] 2017-12-01 18:24:42 +01:00
e081a02f38
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 26] 2017-12-01 18:24:00 +01:00
a02fadbf2e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 25] 2017-12-01 18:23:22 +01:00
2489c8252c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 24] 2017-12-01 18:21:32 +01:00
4dfe2442b8
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 23] 2017-12-01 18:20:50 +01:00
44465e0503
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 22] 2017-12-01 18:20:11 +01:00
9bd9dbcd71
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 21] 2017-12-01 18:19:28 +01:00
52f0734e1a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 20] 2017-12-01 18:18:50 +01:00
3d82968381
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 19] 2017-12-01 18:18:12 +01:00
f01d0031d1
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 18] 2017-12-01 18:17:29 +01:00
1b18141b49
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 17] 2017-12-01 18:16:52 +01:00
7e750c71fa
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 16] 2017-12-01 18:16:10 +01:00
235249b74a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 15] 2017-12-01 18:15:31 +01:00
7f76d1c750
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 14] 2017-12-01 18:14:50 +01:00
ab06b600a4
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 13] 2017-12-01 18:14:08 +01:00
dda87e85f9
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 12] 2017-12-01 18:13:30 +01:00
a2b47d245b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 11] 2017-12-01 18:12:49 +01:00
bc7e18ead7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 10] 2017-12-01 18:12:11 +01:00
b78cbf24c7
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 9] 2017-12-01 18:11:32 +01:00
c7980de07a
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 8] 2017-12-01 18:10:50 +01:00
78903bdd26
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 7] 2017-12-01 18:10:12 +01:00
1ef47912b5
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 6] 2017-12-01 18:09:29 +01:00
43a5899137
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 5] 2017-12-01 18:08:52 +01:00
cd4524f82d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 4] 2017-12-01 18:08:14 +01:00
c2fb6b269c
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 3] 2017-12-01 18:07:32 +01:00
cd06ec851d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 2] 2017-12-01 18:06:54 +01:00
bfa179ad5e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 1] 2017-12-01 18:06:12 +01:00
29efb92972
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50] 2017-12-01 18:05:34 +01:00
3b61b31193
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49] 2017-12-01 17:47:46 +01:00
853adfe1b0
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:44:50 +01:00