|
|
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 |
|
|
|
7bb3c3a564
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
|
2017-12-01 17:14:13 +01:00 |
|
|
|
5f8a7db0dc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
|
2017-12-01 16:43:37 +01:00 |
|
|
|
d051f4133d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
|
2017-12-01 16:13:00 +01:00 |
|
|
|
00d1bdd175
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 44]
|
2017-12-01 13:59:31 +01:00 |
|
|
|
58e3dc06f8
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 43]
|
2017-12-01 13:28:55 +01:00 |
|
|
|
6894681c60
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 42]
|
2017-12-01 12:58:19 +01:00 |
|
|
|
ce04e704fc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 41]
|
2017-12-01 12:27:43 +01:00 |
|
|
|
4e56fd1485
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 40]
|
2017-12-01 12:26:37 +01:00 |
|
|
|
5ccac83f51
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 39]
|
2017-12-01 12:09:47 +01:00 |
|
|
|
00e798ccc6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 38]
|
2017-12-01 12:00:51 +01:00 |
|
|
|
9f8b9b8651
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 37]
|
2017-12-01 11:45:04 +01:00 |
|
|
|
32e6174ce5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 36]
|
2017-12-01 11:29:28 +01:00 |
|
|
|
31499cedc3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 35]
|
2017-12-01 11:13:10 +01:00 |
|
|
|
d2978c8845
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 34]
|
2017-12-01 11:11:48 +01:00 |
|
|
|
5226a2dd28
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 33]
|
2017-12-01 11:01:06 +01:00 |
|
|
|
292d3f25a2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 32]
|
2017-12-01 11:00:00 +01:00 |
|
|
|
73c6e3a78c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 31]
|
2017-12-01 10:57:08 +01:00 |
|
|
|
422f56a6c1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 30]
|
2017-12-01 10:56:12 +01:00 |
|
|
|
57bdfa9ad5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 29]
|
2017-12-01 10:36:45 +01:00 |
|
|
|
b173d7b734
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 28]
|
2017-12-01 10:35:50 +01:00 |
|
|
|
5179e2e39b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 27]
|
2017-12-01 10:33:31 +01:00 |
|
|
|
20a93d3d14
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 26]
|
2017-12-01 10:31:28 +01:00 |
|
|
|
7db99aa672
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 25]
|
2017-12-01 10:28:11 +01:00 |
|
|
|
76da0fcdc0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 24]
|
2017-12-01 10:12:28 +01:00 |
|
|
|
2b7f4cb194
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 23]
|
2017-12-01 09:56:51 +01:00 |
|
|
|
efb0d8e9f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 22]
|
2017-12-01 09:41:11 +01:00 |
|
|
|
a99b4a23d2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 21]
|
2017-12-01 09:39:50 +01:00 |
|
|
|
beb7d611a4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 20]
|
2017-12-01 09:39:08 +01:00 |
|
|
|
f302748e72
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 19]
|
2017-12-01 09:37:25 +01:00 |
|
|
|
b6c96ef101
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 18]
|
2017-12-01 09:36:27 +01:00 |
|
|
|
9d661435fc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 17]
|
2017-12-01 09:35:34 +01:00 |
|
|
|
b5b35f4c69
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 16]
|
2017-12-01 09:34:51 +01:00 |
|
|
|
053a6edcb1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 15]
|
2017-12-01 09:13:04 +01:00 |
|
|
|
45cb59e1a8
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 14]
|
2017-12-01 09:12:14 +01:00 |
|
|
|
a18683831e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 13]
|
2017-12-01 09:06:47 +01:00 |
|
|
|
57ca67df57
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 12]
|
2017-12-01 09:06:03 +01:00 |
|
|
|
18520a533e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 11]
|
2017-12-01 09:05:18 +01:00 |
|
|
|
c5405b58be
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 10]
|
2017-12-01 09:04:36 +01:00 |
|
|
|
f065e841e0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 9]
|
2017-12-01 09:03:54 +01:00 |
|
|
|
2c4e226131
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 8]
|
2017-12-01 09:03:11 +01:00 |
|
|
|
bbc7a7e0c5
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 7]
|
2017-12-01 09:02:32 +01:00 |
|
|
|
8c1e099964
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 6]
|
2017-12-01 09:01:48 +01:00 |
|
|
|
df9a0624bf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 5]
|
2017-12-01 09:01:10 +01:00 |
|
|
|
d42ad85c0b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 4]
|
2017-12-01 09:00:33 +01:00 |
|
|
|
e86bd5248f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 3]
|
2017-12-01 08:59:51 +01:00 |
|
|
|
c448d52397
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 2]
|
2017-12-01 08:59:13 +01:00 |
|
|
|
b53f9688ea
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 1]
|
2017-12-01 08:58:32 +01:00 |
|
|
|
9e84491382
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 50]
|
2017-12-01 08:57:55 +01:00 |
|
|
|
92287fba36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 49]
|
2017-12-01 08:41:25 +01:00 |
|
|
|
ad01ae8b9a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 48]
|
2017-12-01 08:24:55 +01:00 |
|
|
|
a84da5da7d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 47]
|
2017-12-01 07:54:19 +01:00 |
|
|
|
44c6db3396
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 46]
|
2017-12-01 07:23:45 +01:00 |
|
|
|
2e2056c28c
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 45]
|
2017-12-01 06:55:27 +01:00 |
|
|
|
a22f324fb6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 44]
|
2017-12-01 06:24:51 +01:00 |
|
|
|
64bd7731bf
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 43]
|
2017-12-01 05:54:17 +01:00 |
|
|
|
2588b7a865
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 42]
|
2017-12-01 05:23:47 +01:00 |
|
|
|
be8dcceec2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 41]
|
2017-12-01 04:53:11 +01:00 |
|
|
|
67989f7d14
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 40]
|
2017-12-01 04:51:36 +01:00 |
|
|
|
9c621dfd0e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 39]
|
2017-12-01 04:21:01 +01:00 |
|
|
|
8ba4fbac86
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 38]
|
2017-12-01 04:03:44 +01:00 |
|
|
|
ce2355a113
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 37]
|
2017-12-01 03:33:04 +01:00 |
|
|
|
daba9ee18d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 36]
|
2017-12-01 03:16:52 +01:00 |
|
|
|
cf57ee0c57
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 35]
|
2017-12-01 02:57:49 +01:00 |
|
|
|
652e2b040a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 34]
|
2017-12-01 02:39:01 +01:00 |
|
|
|
73108476ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 33]
|
2017-12-01 02:16:06 +01:00 |
|
|
|
f665536be1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 32]
|
2017-12-01 01:55:34 +01:00 |
|
|
|
bd17b47582
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 31]
|
2017-12-01 01:32:02 +01:00 |
|
|
|
174849ccf6
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 30]
|
2017-12-01 01:01:26 +01:00 |
|
|
|
067962d9a3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 29]
|
2017-12-01 00:30:50 +01:00 |
|
|
|
1cc6536ef9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 28]
|
2017-12-01 00:00:14 +01:00 |
|
|
|
bbae74eb20
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 27]
|
2017-11-30 23:29:35 +01:00 |
|
|
|
4634b55a2b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 26]
|
2017-11-30 23:01:04 +01:00 |
|
|
|
cf2fc99548
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 25]
|
2017-11-30 22:30:14 +01:00 |
|
|
|
59ecb7936d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 24]
|
2017-11-30 21:59:31 +01:00 |
|
|
|
48cc9f9ef1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23]
|
2017-11-30 21:28:54 +01:00 |
|
|
|
15296d33f9
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22]
|
2017-11-30 21:00:01 +01:00 |
|
|
|
b1e3a703dc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21]
|
2017-11-30 20:53:11 +01:00 |
|
|
|
8d241cbf9a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20]
|
2017-11-30 20:52:21 +01:00 |
|
|
|
c36f2db8ad
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19]
|
2017-11-30 20:25:20 +01:00 |
|
|
|
cea584768f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18]
|
2017-11-30 20:09:26 +01:00 |
|
|
|
6c501b1b8e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17]
|
2017-11-30 19:53:25 +01:00 |
|
|
|
89a52d568f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16]
|
2017-11-30 19:22:49 +01:00 |
|
|
|
6ba9e7dd2f
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15]
|
2017-11-30 18:52:12 +01:00 |
|
|
|
3353ccff63
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14]
|
2017-11-30 18:35:39 +01:00 |
|
|
|
58a69a66d4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13]
|
2017-11-30 18:05:02 +01:00 |
|
|
|
a10fc4d101
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
|
2017-11-30 17:54:13 +01:00 |
|
|
|
708e85a088
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
|
2017-11-30 17:38:23 +01:00 |
|
|
|
4526c5db71
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
|
2017-11-30 17:29:47 +01:00 |
|
|
|
a70aba94cd
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
|
2017-11-30 17:28:47 +01:00 |
|
|
|
e19f973ef4
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
|
2017-11-30 17:27:49 +01:00 |
|
|
|
3d3d4dfa36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
|
2017-11-30 17:26:56 +01:00 |
|
|
|
0214eef190
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
|
2017-11-30 17:26:04 +01:00 |
|
|
|
841c1e0ce7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
|
2017-11-30 17:25:24 +01:00 |
|
|
|
aea32134de
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
|
2017-11-30 17:24:39 +01:00 |
|
|
|
e1080f5779
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
|
2017-11-30 17:23:54 +01:00 |
|
|
|
e1ade52616
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
|
2017-11-30 17:23:14 +01:00 |
|
|
|
9d0c093ff0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
|
2017-11-30 17:22:31 +01:00 |
|
|
|
7b89a5ab10
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 29]
|
2017-11-30 17:21:53 +01:00 |
|
|
|
5d2b82eafc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 28]
|
2017-11-30 17:15:42 +01:00 |
|
|
|
4ce79dded3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 27]
|
2017-11-30 17:09:20 +01:00 |
|
|
|
11ff0d583a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 26]
|
2017-11-30 17:03:14 +01:00 |
|
|
|
c462fa1610
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25]
|
2017-11-30 16:57:07 +01:00 |
|
|
|
b52fde64cb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24]
|
2017-11-30 16:51:05 +01:00 |
|
|
|
c9d3f48427
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23]
|
2017-11-30 16:44:57 +01:00 |
|
|
|
3fe3c7f78b
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22]
|
2017-11-30 16:39:17 +01:00 |
|
|
|
31a44aa9b3
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21]
|
2017-11-30 16:33:21 +01:00 |
|
|
|
cb83e2a9ed
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20]
|
2017-11-30 16:27:26 +01:00 |
|
|
|
8dea3e7913
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19]
|
2017-11-30 16:21:34 +01:00 |
|
|
|
d0f7c819d2
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18]
|
2017-11-30 16:15:43 +01:00 |
|
