Commit Graph

987 Commits

Author SHA1 Message Date
32a57980e1
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 15] 2017-12-03 08:10:34 +01:00
fbf4dbd7e0
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 14] 2017-12-03 08:02:41 +01:00
2c5bfe60c3
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 13] 2017-12-03 07:45:12 +01:00
87cb8adfd0
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 12] 2017-12-03 07:35:07 +01:00
23c2537ead
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 11] 2017-12-03 07:18:16 +01:00
7333e34ba2
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 10] 2017-12-03 07:01:31 +01:00
f445f28e00
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 9] 2017-12-03 06:45:07 +01:00
607fca0e23
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 8] 2017-12-03 06:28:43 +01:00
f08c5fb835
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 7] 2017-12-03 06:12:28 +01:00
01fdf1f085
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 6] 2017-12-03 05:56:37 +01:00
da551cd214
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 5] 2017-12-03 05:40:34 +01:00
23bfb7baac
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 4] 2017-12-03 05:24:30 +01:00
5b96a691fe
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 3] 2017-12-03 05:08:28 +01:00
6805a2d969
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 2] 2017-12-03 04:52:33 +01:00
ec1ca3b56f
Add benchmark result [gc-ta1-tt1 | ipc-2011 | openstacks-sequential-satisficing | 1] 2017-12-03 04:36:40 +01:00
bd0191b7c1
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 20] 2017-12-03 04:20:49 +01:00
c69a0db7c4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 19] 2017-12-03 04:06:48 +01:00
8a0befbc18
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 18] 2017-12-03 03:59:26 +01:00
e758b12a23
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 17] 2017-12-03 03:57:59 +01:00
08b05dd619
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 16] 2017-12-03 03:42:00 +01:00
f52728e549
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 15] 2017-12-03 03:39:29 +01:00
d9e3d7c161
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 14] 2017-12-03 03:37:08 +01:00
e8f29df1c7
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 13] 2017-12-03 03:35:04 +01:00
4731d6edbb
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 12] 2017-12-03 03:33:53 +01:00
5fccdfe127
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 11] 2017-12-03 03:33:04 +01:00
7bd04baa57
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 10] 2017-12-03 03:32:13 +01:00
1fd7d57d7a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 9] 2017-12-03 03:23:10 +01:00
ca146f7c31
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 8] 2017-12-03 03:06:48 +01:00
c90910db5e
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 7] 2017-12-03 03:04:02 +01:00
c5d6cc6a11
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 6] 2017-12-03 02:55:42 +01:00
589c477914
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 5] 2017-12-03 02:50:48 +01:00
fde50c270a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 4] 2017-12-03 02:45:46 +01:00
53ea0c3913
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 3] 2017-12-03 02:40:38 +01:00
9529d3cf72
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 2] 2017-12-03 02:38:31 +01:00
747052364c
Add benchmark result [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 1] 2017-12-03 02:37:40 +01:00
61946bbbb4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 20] 2017-12-03 02:36:51 +01:00
89847a914a
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 19] 2017-12-03 02:36:07 +01:00
f744c82d33
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 18] 2017-12-03 02:35:21 +01:00
bd17cda746
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 17] 2017-12-03 02:34:32 +01:00
ab6996efc2
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 16] 2017-12-03 02:33:47 +01:00
cc667f2274
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 15] 2017-12-03 02:33:04 +01:00
89fc8e7fd4
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 14] 2017-12-03 02:32:20 +01:00
754f83d6a3
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 13] 2017-12-03 02:31:36 +01:00
6aa5f2ae6e
Add benchmark result [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 12] 2017-12-03 02:30:53 +01:00
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