Commit Graph

11894 Commits

Author SHA1 Message Date
3a3bf81083
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:41 +01:00
b5e7b98998
Update status: finished benchmark job [m-mp | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:30 +01:00
83fe2be87e
Update status: started benchmark job [m-mp | ipc-2006 | trucks-propositional-strips | 2] 2017-12-02 13:26:22 +01:00
fb8198f47c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:26:10 +01:00
7e51b657e2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:25:57 +01:00
13c8f3917d
Update status: finished benchmark job [m-mp | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:25:45 +01:00
beca0e455b
Update status: started benchmark job [m-mp | ipc-2006 | trucks-propositional-strips | 1] 2017-12-02 13:25:38 +01:00
cb9d9a8278
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:25:27 +01:00
623f05eb86
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:10:17 +01:00
c548f1faf0
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:10:06 +01:00
60db064d4d
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 30] 2017-12-02 13:07:59 +01:00
c36060f6c7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 29] 2017-12-02 13:07:48 +01:00
6f9c031258
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 29] 2017-12-02 12:52:38 +01:00
b0e63fc9a1
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 29] 2017-12-02 12:52:27 +01:00
2291e0c40d
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 29] 2017-12-02 12:51:57 +01:00
dcaad43682
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:51:46 +01:00
b7884d7d03
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:36:37 +01:00
c0c6fa008e
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:36:25 +01:00
edb3e5c3a7
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 28] 2017-12-02 12:35:23 +01:00
f706a8b322
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:35:12 +01:00
b22c391f48
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:20:03 +01:00
29f6696c96
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:19:51 +01:00
51312c5865
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 27] 2017-12-02 12:19:26 +01:00
b6f9a18830
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:19:14 +01:00
180cc5af98
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:04:05 +01:00
5de6e8d642
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:03:53 +01:00
0db8103abb
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 26] 2017-12-02 12:03:38 +01:00
6afff5571e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 25] 2017-12-02 12:03:27 +01:00
696d400a49
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 25] 2017-12-02 11:48:17 +01:00
80b7a171bb
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 25] 2017-12-02 11:48:05 +01:00
78bc8a8303
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 25] 2017-12-02 11:47:56 +01:00
1f72516520
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:47:45 +01:00
4a88c18b41
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:32:35 +01:00
0deb882915
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:32:24 +01:00
d76f136040
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 24] 2017-12-02 11:32:15 +01:00
019a7e2a0c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:32:03 +01:00
1ed7201e5b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:16:54 +01:00
ac49e7a954
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:16:42 +01:00
31cb9ce7b7
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 23] 2017-12-02 11:16:34 +01:00
4e5fa0283e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:16:23 +01:00
79c50dd965
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:01:13 +01:00
c2027a8807
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:01:01 +01:00
92da9475c5
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 22] 2017-12-02 11:00:53 +01:00
43f3debe85
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21] 2017-12-02 11:00:42 +01:00
ced4ff3afc
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 21] 2017-12-02 10:45:33 +01:00
27f2055d41
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 21] 2017-12-02 10:45:22 +01:00
2b8183464d
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 21] 2017-12-02 10:45:10 +01:00
c1ba412760
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:44:58 +01:00
a1c21112b1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:29:49 +01:00
e0b9ea314e
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:29:37 +01:00
bc7985354b
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 20] 2017-12-02 10:29:27 +01:00
b05e7c4d1c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:29:15 +01:00
a112aec83a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:19:47 +01:00
7bcf37de93
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:19:36 +01:00
c48b11153d
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 19] 2017-12-02 10:19:29 +01:00
8f252176a8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18] 2017-12-02 10:19:17 +01:00
94b99f7203
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18] 2017-12-02 10:11:29 +01:00
4e163c8d83
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 18] 2017-12-02 10:11:18 +01:00
5fda5cc7fc
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 18] 2017-12-02 10:11:10 +01:00
89d501bb6b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 17] 2017-12-02 10:10:59 +01:00
6f24ae7b9c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 17] 2017-12-02 10:09:56 +01:00
14651d8d8b
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 17] 2017-12-02 10:09:45 +01:00
0c9eb9b5e4
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 17] 2017-12-02 10:09:38 +01:00
58e8455227
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 16] 2017-12-02 10:09:26 +01:00
aad5910773
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 16] 2017-12-02 09:54:17 +01:00
bce95eee6c
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 16] 2017-12-02 09:54:06 +01:00
ca1486ba17
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 16] 2017-12-02 09:53:58 +01:00
7a46ee69f2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 15] 2017-12-02 09:53:47 +01:00
4348c08e29
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 15] 2017-12-02 09:38:37 +01:00
ad3f0db11d
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 15] 2017-12-02 09:38:26 +01:00
b98af87deb
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 15] 2017-12-02 09:38:19 +01:00
bebf12ed7d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 14] 2017-12-02 09:38:08 +01:00
3ef1a883d1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 14] 2017-12-02 09:25:05 +01:00
e6f8e96143
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 14] 2017-12-02 09:24:54 +01:00
c7d15e9578
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 14] 2017-12-02 09:24:46 +01:00
b05990551a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 13] 2017-12-02 09:24:35 +01:00
4ce35ea788
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 13] 2017-12-02 09:24:00 +01:00
699b810a5d
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 13] 2017-12-02 09:23:49 +01:00
1a727bbf2b
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 13] 2017-12-02 09:23:41 +01:00
f4d327090b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 12] 2017-12-02 09:23:29 +01:00
83e062f8e6
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 12] 2017-12-02 09:23:07 +01:00
06902435b7
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 12] 2017-12-02 09:22:55 +01:00
583a2c0880
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 12] 2017-12-02 09:22:48 +01:00
d5c3b7d0cc
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 11] 2017-12-02 09:22:37 +01:00
94ca4bf589
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 11] 2017-12-02 09:22:19 +01:00
54f7e14efb
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 11] 2017-12-02 09:22:04 +01:00
eb163080de
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 11] 2017-12-02 09:21:56 +01:00
a54b7f7dd1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 10] 2017-12-02 09:21:45 +01:00
387f33869c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 10] 2017-12-02 09:21:33 +01:00
e56c4d07b8
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 10] 2017-12-02 09:21:22 +01:00
ac9399b554
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 10] 2017-12-02 09:21:14 +01:00
ac44c39b91
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 9] 2017-12-02 09:20:59 +01:00
7c43cdec25
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 9] 2017-12-02 09:20:46 +01:00
a32d33e971
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 9] 2017-12-02 09:20:35 +01:00
290d857a8b
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 9] 2017-12-02 09:20:27 +01:00
68caf45037
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 8] 2017-12-02 09:20:16 +01:00
16ccb52177
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 8] 2017-12-02 09:20:04 +01:00
7b19ecc3b8
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 8] 2017-12-02 09:19:49 +01:00
1fd6efcdeb
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 8] 2017-12-02 09:19:42 +01:00
d0cafb103e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:31 +01:00
63ce70abf0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:19 +01:00
86b7513f3f
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:08 +01:00
281dfab45e
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 7] 2017-12-02 09:19:01 +01:00
fe3f5e61d7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:45 +01:00
da03c382ca
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:34 +01:00
f9c73f1044
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:22 +01:00
dd84c0e607
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 6] 2017-12-02 09:18:15 +01:00
4035ca3dfa
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:18:04 +01:00
0d36de5ac1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:17:53 +01:00
5408ea7392
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:17:37 +01:00
7af783887a
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 5] 2017-12-02 09:17:30 +01:00
0117ec24bc
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:17:19 +01:00
a93865c645
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:17:08 +01:00
50ceaa308a
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:16:57 +01:00
dcb2f424aa
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 4] 2017-12-02 09:16:49 +01:00
c7eafc20ed
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:33 +01:00
65d7da0a42
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:23 +01:00
7a2b6798cf
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:11 +01:00
2f8eb9c5bd
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 3] 2017-12-02 09:16:04 +01:00
d392225b26
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:53 +01:00
f5a3ccb90a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:41 +01:00
83ab88cf56
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:26 +01:00
45c48ca447
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 2] 2017-12-02 09:15:19 +01:00
739cbd9989
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:15:07 +01:00
8af5a86c0d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:14:57 +01:00
0c7dad77f0
Update status: finished benchmark job [m-mp | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:14:46 +01:00
5c8a5d6e4b
Update status: started benchmark job [m-mp | ipc-2006 | tpp-propositional | 1] 2017-12-02 09:14:39 +01:00
4edc997846
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 30] 2017-12-02 09:14:28 +01:00
a4bc6d7581
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 30] 2017-12-02 08:59:18 +01:00
221ebfa7c1
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 30] 2017-12-02 08:59:07 +01:00
d5ee47237f
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 30] 2017-12-02 08:58:34 +01:00
20aabd991d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 29] 2017-12-02 08:58:23 +01:00
e57bab323e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 29] 2017-12-02 08:43:13 +01:00
1bdde63b62
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 29] 2017-12-02 08:42:57 +01:00
390fa6ab3e
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 29] 2017-12-02 08:42:16 +01:00
65ffd34334
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 28] 2017-12-02 08:42:05 +01:00
d24854ab64
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 28] 2017-12-02 08:26:56 +01:00
0b33fb13cb
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 28] 2017-12-02 08:26:45 +01:00
d22714ae8d
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 28] 2017-12-02 08:25:55 +01:00
61e5dded52
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 27] 2017-12-02 08:25:44 +01:00
1edc840a55
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 27] 2017-12-02 08:10:34 +01:00
ecf77d01bd
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 27] 2017-12-02 08:10:23 +01:00
31184a3757
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 27] 2017-12-02 08:10:07 +01:00
b8a0343065
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26] 2017-12-02 08:09:55 +01:00
0be24a71b9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 26] 2017-12-02 07:54:46 +01:00
cf28f98fd4
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 26] 2017-12-02 07:54:35 +01:00
2b5586669e
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 26] 2017-12-02 07:54:15 +01:00
dc90498548
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25] 2017-12-02 07:54:03 +01:00
8f2f0d5f51
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 25] 2017-12-02 07:38:53 +01:00
66586b3b0a
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 25] 2017-12-02 07:38:42 +01:00