Commit Graph

12013 Commits

Author SHA1 Message Date
e2310db0f1
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 17] 2017-12-02 05:45:24 +01:00
d31b83d2b9
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 17] 2017-12-02 05:45:16 +01:00
9e61ed9b84
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16] 2017-12-02 05:45:05 +01:00
30f08655e9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 16] 2017-12-02 05:44:48 +01:00
3fd03d330e
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 16] 2017-12-02 05:44:37 +01:00
2da21dbc5e
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 16] 2017-12-02 05:44:29 +01:00
df9c49831c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15] 2017-12-02 05:44:18 +01:00
a3b3eb5828
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 15] 2017-12-02 05:39:09 +01:00
ee043c654f
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 15] 2017-12-02 05:38:58 +01:00
0a1fe454fd
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 15] 2017-12-02 05:38:51 +01:00
485bf681d0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:39 +01:00
da12b4b69c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:25 +01:00
b8834c01a8
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:14 +01:00
aab78f27f5
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 14] 2017-12-02 05:38:06 +01:00
6e0dee1bc4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:55 +01:00
63ffa7a40a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:44 +01:00
8fc29cf430
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:33 +01:00
3a73b6491a
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 13] 2017-12-02 05:37:25 +01:00
aec296e1fd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12] 2017-12-02 05:37:14 +01:00
ca76e8cae1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 12] 2017-12-02 05:22:04 +01:00
aa34dd225e
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 12] 2017-12-02 05:21:53 +01:00
56b046bba0
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 12] 2017-12-02 05:21:46 +01:00
3136dff7f9
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11] 2017-12-02 05:21:35 +01:00
e1d66319a4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 11] 2017-12-02 05:14:51 +01:00
1cfe21d66c
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 11] 2017-12-02 05:14:35 +01:00
a360b97d66
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 11] 2017-12-02 05:14:28 +01:00
37553e080c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10] 2017-12-02 05:14:17 +01:00
530f65857e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 10] 2017-12-02 05:14:06 +01:00
edcf6f9337
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 10] 2017-12-02 05:13:55 +01:00
2a57980284
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 10] 2017-12-02 05:13:47 +01:00
73a13b93e7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:32 +01:00
867ff46a8b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:20 +01:00
e1b86800ab
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:09 +01:00
93bd2a6847
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 9] 2017-12-02 05:13:02 +01:00
7228cfa94d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:51 +01:00
b6c4901d42
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:39 +01:00
fbb86dee79
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:23 +01:00
ed12079181
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 8] 2017-12-02 05:12:16 +01:00
a39d57aa80
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7] 2017-12-02 05:12:05 +01:00
2685ab3642
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 7] 2017-12-02 05:11:54 +01:00
b751f3fce9
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 7] 2017-12-02 05:11:43 +01:00
645f0d579c
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 7] 2017-12-02 05:11:35 +01:00
08df9ed14e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6] 2017-12-02 05:11:20 +01:00
73c24fd4e9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 6] 2017-12-02 05:11:08 +01:00
7bed57ef1a
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 6] 2017-12-02 05:10:57 +01:00
f95539ee30
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 6] 2017-12-02 05:10:50 +01:00
8a3d55617a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:39 +01:00
6288de6645
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:27 +01:00
952479898e
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:12 +01:00
90c8a7fde4
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 5] 2017-12-02 05:10:05 +01:00
3271801fed
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:54 +01:00
111c106853
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:42 +01:00
70ce798e75
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:31 +01:00
1fbd57507f
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 4] 2017-12-02 05:09:24 +01:00
7e33d71993
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3] 2017-12-02 05:09:08 +01:00
5f0dc72b7c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 3] 2017-12-02 05:08:57 +01:00
2fcba0c017
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 3] 2017-12-02 05:08:46 +01:00
0eae6c3161
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 3] 2017-12-02 05:08:39 +01:00
a10332c95f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2] 2017-12-02 05:08:28 +01:00
75d337af90
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 2] 2017-12-02 05:08:16 +01:00
b5e16a03bf
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 2] 2017-12-02 05:08:00 +01:00
b0968b1c94
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 2] 2017-12-02 05:07:53 +01:00
9e19154752
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:42 +01:00
b534e74b68
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:31 +01:00
ef17927be3
Update status: finished benchmark job [m-mp | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:20 +01:00
1e839ab352
Update status: started benchmark job [m-mp | ipc-2006 | storage-propositional | 1] 2017-12-02 05:07:13 +01:00
1b349eef11
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40] 2017-12-02 05:07:02 +01:00
985a6e3851
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 40] 2017-12-02 04:51:53 +01:00
710948ab62
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 40] 2017-12-02 04:51:42 +01:00
2467d3221a
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 40] 2017-12-02 04:46:46 +01:00
981dcc7bec
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:46:35 +01:00
3445e2f731
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:31:26 +01:00
d838c64f8d
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:31:15 +01:00
571239a9d5
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 39] 2017-12-02 04:27:07 +01:00
4a5e55ea03
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:26:56 +01:00
14832650c5
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:11:47 +01:00
3a41c6e63c
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:11:36 +01:00
99ef748e1e
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 38] 2017-12-02 04:08:11 +01:00
7d55e38e69
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37] 2017-12-02 04:08:00 +01:00
c14f6d4659
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 37] 2017-12-02 03:52:50 +01:00
8e47c3009d
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 37] 2017-12-02 03:52:40 +01:00
8f76644197
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 37] 2017-12-02 03:49:58 +01:00
c8148bb52f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:49:45 +01:00
ce06f2d6bf
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:34:35 +01:00
d919fac2b6
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:34:25 +01:00
b31e4dd27a
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 36] 2017-12-02 03:32:34 +01:00
47c395a935
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:32:24 +01:00
8c4b44d750
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:17:14 +01:00
91883b24fa
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:17:04 +01:00
4d80e7b42b
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 35] 2017-12-02 03:15:47 +01:00
fbc2ebd818
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:15:37 +01:00
24a454405a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:13:58 +01:00
b31a661f38
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:13:48 +01:00
1f1d8f6619
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 34] 2017-12-02 03:12:53 +01:00
277cc58be6
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33] 2017-12-02 03:12:43 +01:00
595c9c5fcd
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 33] 2017-12-02 02:57:33 +01:00
cee1c789f9
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 33] 2017-12-02 02:57:17 +01:00
74356f809a
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 33] 2017-12-02 02:56:37 +01:00
2261a257f0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:56:27 +01:00
ec234e45e3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:41:18 +01:00
1d04b29d5b
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:41:08 +01:00
397d739769
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 32] 2017-12-02 02:40:35 +01:00
6e9737df63
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:40:23 +01:00
48696dde50
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:39:34 +01:00
73cac9142f
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:39:24 +01:00
f34870b071
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 31] 2017-12-02 02:39:00 +01:00
df36a9934b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:38:50 +01:00
cf3f052fb4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:37:42 +01:00
44b8f0c06e
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:37:32 +01:00
28aa4b41ec
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 30] 2017-12-02 02:37:17 +01:00
267cdd01da
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:37:06 +01:00
1e19b974f3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:36:32 +01:00
681e14b6e0
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:36:21 +01:00
6b679abce5
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 29] 2017-12-02 02:36:08 +01:00
1c5f325aa7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:58 +01:00
b7f78d1819
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:26 +01:00
f5d06620f2
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:16 +01:00
5b95207fc5
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 28] 2017-12-02 02:35:05 +01:00
6ca33f54a5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:55 +01:00
57fa8811ec
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:28 +01:00
d2702b4264
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:17 +01:00
23da052e71
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 27] 2017-12-02 02:34:07 +01:00
a472452e4f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:57 +01:00
f990128028
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:37 +01:00
3e74ec0b07
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:24 +01:00
a860fbb162
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 26] 2017-12-02 02:33:15 +01:00
10f20c96fe
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:33:05 +01:00
f81552aa8e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:32:43 +01:00
9a0296d447
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:32:33 +01:00
e7407b7b50
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 25] 2017-12-02 02:32:24 +01:00
e1bd442517
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:32:12 +01:00
7edb647b03
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:31:42 +01:00
c3b63d7a72
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:31:32 +01:00
8e5e7a8d9c
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 24] 2017-12-02 02:31:21 +01:00
aac85b2dbb
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:31:10 +01:00
dba0538f98
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:30:40 +01:00
15e94d5d23
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:30:30 +01:00
5adb7933a7
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 23] 2017-12-02 02:30:19 +01:00
26a708c432
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:30:08 +01:00
f88d11d13a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:29:44 +01:00
92b686af93
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:29:34 +01:00
5b2cc96c0e
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 22] 2017-12-02 02:29:25 +01:00
6208cb14c2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:29:11 +01:00
bff2383634
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:28:48 +01:00
ab61c935f4
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:28:38 +01:00
7f91e283d1
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 21] 2017-12-02 02:28:29 +01:00
45811992a0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:28:19 +01:00
e54d341cb6
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:27:58 +01:00
549a3ec52c
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:27:48 +01:00
3186496564
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 20] 2017-12-02 02:27:40 +01:00
c98aebdb4b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:27:30 +01:00
da4e79bc61
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:27:13 +01:00
62e7a51860
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:26:59 +01:00
99517dc206
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 19] 2017-12-02 02:26:52 +01:00
4561e18217
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:42 +01:00
7203bc0837
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:27 +01:00
ad88f21b52
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:17 +01:00
24c71cd5b3
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 18] 2017-12-02 02:26:09 +01:00
6fe54e97f2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:56 +01:00
7bf321777e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:42 +01:00
70a8ae5df8
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:31 +01:00
dd5bcc478d
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 17] 2017-12-02 02:25:24 +01:00
be5833f363
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:25:14 +01:00
e0f3bc76ac
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:25:01 +01:00
1b899c838e
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:24:47 +01:00
54e84e3f12
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 16] 2017-12-02 02:24:40 +01:00
d0263c5024
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:24:28 +01:00
a605610a33
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:24:16 +01:00
520ffc1a28
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:24:05 +01:00
fcb790b42b
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 15] 2017-12-02 02:23:58 +01:00
2d207661f0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:44 +01:00
ad8177b996
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:33 +01:00
7bd1e8630a
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:21 +01:00
9a4ad0089f
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 14] 2017-12-02 02:23:14 +01:00
e00e0fed05
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:23:04 +01:00
25c6332f39
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:22:52 +01:00
b3ef9c033f
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:22:38 +01:00
2a63d93a94
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 13] 2017-12-02 02:22:31 +01:00
5bd63a93bd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:22:20 +01:00
0889eed0dd
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:22:08 +01:00
d7cf5639c9
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:21:58 +01:00
431575f76e
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 12] 2017-12-02 02:21:51 +01:00
8d28e235e7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:38 +01:00
89c9d1ea0e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:26 +01:00
188b0638fd
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:15 +01:00
0863b0c9f2
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 11] 2017-12-02 02:21:07 +01:00
254e6e85d3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 10] 2017-12-02 02:20:57 +01:00
0e42e77c38
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 10] 2017-12-02 02:20:45 +01:00
2ddd22d810
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 10] 2017-12-02 02:20:32 +01:00
b45383b112
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 10] 2017-12-02 02:20:25 +01:00
62b100f996
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 9] 2017-12-02 02:20:13 +01:00
98506b0db0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 9] 2017-12-02 02:20:02 +01:00
21d4667213
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 9] 2017-12-02 02:19:52 +01:00
716c16e4f5
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 9] 2017-12-02 02:19:44 +01:00
b62bbda887
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 8] 2017-12-02 02:19:31 +01:00
23f954c204
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 8] 2017-12-02 02:19:20 +01:00
e6f4a14e6d
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 8] 2017-12-02 02:19:08 +01:00
272c160e43
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 8] 2017-12-02 02:19:01 +01:00
7c3eb22e92
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 7] 2017-12-02 02:18:51 +01:00
fd0acaa59f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 7] 2017-12-02 02:18:40 +01:00
d7519306a3
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 7] 2017-12-02 02:18:26 +01:00
cb4af03b33
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 7] 2017-12-02 02:18:19 +01:00
1f720dafe5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 6] 2017-12-02 02:18:08 +01:00
12644e3a0a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 6] 2017-12-02 02:17:57 +01:00
1c1658fe23
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 6] 2017-12-02 02:17:47 +01:00
43f0e01b5b
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 6] 2017-12-02 02:17:39 +01:00
611cdf6eb0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 5] 2017-12-02 02:17:30 +01:00
436d9d362e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 5] 2017-12-02 02:17:18 +01:00
7a37dfa923
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 5] 2017-12-02 02:17:06 +01:00
26fe90bd86
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 5] 2017-12-02 02:16:59 +01:00
19981f1cec
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 4] 2017-12-02 02:16:49 +01:00
f94cbcf290
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 4] 2017-12-02 02:16:38 +01:00
7f876e7acd
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 4] 2017-12-02 02:16:28 +01:00
b6566258dc
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 4] 2017-12-02 02:16:21 +01:00
8e402a1e7d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 3] 2017-12-02 02:16:06 +01:00
3f15cca256
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 3] 2017-12-02 02:15:56 +01:00
4e2da67cb5
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 3] 2017-12-02 02:15:46 +01:00
9c4abbce37
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 3] 2017-12-02 02:15:38 +01:00
cb0d225e95
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 2] 2017-12-02 02:15:28 +01:00
c3192b0958
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 2] 2017-12-02 02:15:17 +01:00
c48dc57bde
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 2] 2017-12-02 02:15:03 +01:00
423559f284
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 2] 2017-12-02 02:14:56 +01:00
0212c485b2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 1] 2017-12-02 02:14:46 +01:00
05147d550b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | rovers-propositional | 1] 2017-12-02 02:14:35 +01:00
c0c7857ff5
Update status: finished benchmark job [m-mp | ipc-2006 | rovers-propositional | 1] 2017-12-02 02:14:25 +01:00
7c062baae1
Update status: started benchmark job [m-mp | ipc-2006 | rovers-propositional | 1] 2017-12-02 02:14:18 +01:00
f984293582
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 30] 2017-12-02 02:14:07 +01:00
612821ede7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 30] 2017-12-02 02:08:19 +01:00
07e0a49f9d
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 30] 2017-12-02 02:08:09 +01:00
2e0cc74cf4
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 30] 2017-12-02 02:08:02 +01:00
8798d4b320
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 29] 2017-12-02 02:07:52 +01:00
4637040ca6
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 29] 2017-12-02 02:02:22 +01:00
f900a5ba9c
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 29] 2017-12-02 02:02:12 +01:00
31aa30b752
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 29] 2017-12-02 02:02:04 +01:00
7e206dae70
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 28] 2017-12-02 02:01:54 +01:00
871b74ebc7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 28] 2017-12-02 01:56:10 +01:00
8da8cebfb0
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 28] 2017-12-02 01:56:00 +01:00
2aedbc1640
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 28] 2017-12-02 01:55:52 +01:00
3346c01a53
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 27] 2017-12-02 01:55:42 +01:00
d2609f495e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 27] 2017-12-02 01:49:55 +01:00
957b911dba
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 27] 2017-12-02 01:49:45 +01:00
067827d942
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 27] 2017-12-02 01:49:38 +01:00
b5e9144761
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 26] 2017-12-02 01:49:28 +01:00
baeed08c41
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 26] 2017-12-02 01:43:58 +01:00
597d9cb3e1
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 26] 2017-12-02 01:43:48 +01:00
229f5331ba
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 26] 2017-12-02 01:43:41 +01:00
d2d43281c4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 25] 2017-12-02 01:43:31 +01:00
4eb2484a59
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 25] 2017-12-02 01:37:55 +01:00
16dcb10f3e
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 25] 2017-12-02 01:37:46 +01:00
ce7a1b4a9a
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 25] 2017-12-02 01:37:38 +01:00
26775ab1ff
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 24] 2017-12-02 01:37:28 +01:00
5d1634445f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 24] 2017-12-02 01:31:50 +01:00
7e85a028ec
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 24] 2017-12-02 01:31:40 +01:00
b7ed744b07
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 24] 2017-12-02 01:31:32 +01:00
cf4c8c144f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 23] 2017-12-02 01:31:23 +01:00
871db6362d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 23] 2017-12-02 01:25:56 +01:00
88e022c827
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 23] 2017-12-02 01:25:46 +01:00
a8de921054
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 23] 2017-12-02 01:25:39 +01:00
f536960fa0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 22] 2017-12-02 01:25:29 +01:00
1fff60cb9b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 22] 2017-12-02 01:20:01 +01:00
b3579ddbb6
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 22] 2017-12-02 01:19:51 +01:00
f182d27ee5
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 22] 2017-12-02 01:19:44 +01:00
87220cc9a5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:19:34 +01:00
1a0d0f8b4b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:13:53 +01:00
de27c66c70
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:13:43 +01:00
20adfa4d51
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 21] 2017-12-02 01:13:36 +01:00
4206b7611a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:13:26 +01:00
d1dc5386cf
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:08:00 +01:00
d961e4ae16
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:07:50 +01:00
a67a897e75
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 20] 2017-12-02 01:07:41 +01:00
142f044aff
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:07:32 +01:00
e7c5dd1af2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:02:07 +01:00
4277a1568e
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:01:57 +01:00
691a51e359
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 19] 2017-12-02 01:01:49 +01:00
0cd9e458c6
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 01:01:39 +01:00
3260e51646
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 00:56:18 +01:00
dd6a43b802
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 00:56:09 +01:00
a1caddbcc4
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 18] 2017-12-02 00:56:01 +01:00
b20c282fa1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:55:51 +01:00
e85356dec8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:50:29 +01:00
ce85016b3a
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:50:19 +01:00
b89d07fe1f
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 17] 2017-12-02 00:50:12 +01:00
d02ce65f30
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:50:02 +01:00
28c0f7c7ab
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:44:39 +01:00
5c704c2593
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:44:29 +01:00
1553356cb3
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 16] 2017-12-02 00:44:22 +01:00
3dcee4c288
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:44:12 +01:00
2ff5ba4faa
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:38:55 +01:00
8797640ffd
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:38:45 +01:00
c86612cd42
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 15] 2017-12-02 00:38:37 +01:00
c7adad2b13
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:38:28 +01:00
74b3952306
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:33:07 +01:00
944376e109
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:32:57 +01:00
ec6fa12fd0
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 14] 2017-12-02 00:32:50 +01:00
0c0ff0fcf1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:32:40 +01:00
6b8ecef9d9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:27:21 +01:00
fce30cca93
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:27:11 +01:00
1ffc5a71b4
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 13] 2017-12-02 00:27:04 +01:00
69c66f6abf
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:26:54 +01:00
9534442261
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:21:28 +01:00
0f7e4bd5e5
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:21:18 +01:00
00ac26e069
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 12] 2017-12-02 00:21:11 +01:00
ef615fe834
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:21:01 +01:00
3ba3c5b5f7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:15:45 +01:00
9e5e1a5a76
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:15:35 +01:00
e9113267ac
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 11] 2017-12-02 00:15:27 +01:00
06b34506ca
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:15:18 +01:00
6d5c1d1776
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:10:02 +01:00
6da16d4e46
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:09:52 +01:00
20b4ab85fb
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 10] 2017-12-02 00:09:45 +01:00
fe1e515469
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:09:35 +01:00
6247be3322
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:04:19 +01:00
5f22664765
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:04:09 +01:00
6a559c86da
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 9] 2017-12-02 00:04:02 +01:00
f157befd20
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8] 2017-12-02 00:03:52 +01:00
78a74da9dc
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 8] 2017-12-01 23:58:35 +01:00
14e3c966fe
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 8] 2017-12-01 23:58:25 +01:00
bd2a18f381
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 8] 2017-12-01 23:58:17 +01:00
1d388c8639
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:58:07 +01:00
394cbe8ebc
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:52:53 +01:00
7923408cbd
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:52:43 +01:00
93ffadbe4e
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 7] 2017-12-01 23:52:36 +01:00
591a0768dd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:52:26 +01:00
2ec964f392
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:47:12 +01:00
6464d75e89
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:47:01 +01:00
f96178deb3
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 6] 2017-12-01 23:46:54 +01:00
a6b6f4cdf4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:46:44 +01:00
35b3d871e2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:41:31 +01:00
eb347be295
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:41:17 +01:00
176bda6027
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 5] 2017-12-01 23:41:10 +01:00
4083babd2d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:41:00 +01:00
98f17087b1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:26 +01:00
3cd677286d
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:12 +01:00
9b5eb3d705
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 4] 2017-12-01 23:40:05 +01:00
00c9b7b765
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:54 +01:00
802e3f6cd7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:20 +01:00
566067e886
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:39:06 +01:00
81b30a4d6e
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 3] 2017-12-01 23:38:59 +01:00
95e0bac1ee
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:49 +01:00
b18d98546b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:33 +01:00
c6bb835a4a
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:23 +01:00
3334df0d09
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 2] 2017-12-01 23:38:16 +01:00
664502dfde
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:38:00 +01:00
537dc67df8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:38 +01:00
db69b348b8
Update status: finished benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:28 +01:00
70c55d717c
Update status: started benchmark job [m-mp | ipc-2006 | pathways-propositional-strips | 1] 2017-12-01 23:37:20 +01:00
da21449196
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36] 2017-12-01 23:37:10 +01:00
4c53d481d9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 36] 2017-12-01 23:22:00 +01:00
aaad30989b
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 36] 2017-12-01 23:21:50 +01:00
fc0423d04f
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 36] 2017-12-01 23:20:12 +01:00
d4066eed20
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35] 2017-12-01 23:20:02 +01:00
2cec3b4c94
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 35] 2017-12-01 23:04:49 +01:00
8e5e9aad72
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 35] 2017-12-01 23:04:39 +01:00
9cccdfbb90
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 35] 2017-12-01 23:03:17 +01:00
e91e6ccd61
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34] 2017-12-01 23:03:07 +01:00
8ceeb370d1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 34] 2017-12-01 22:47:53 +01:00
8a28f46264
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 34] 2017-12-01 22:47:43 +01:00
4c03227131
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 34] 2017-12-01 22:46:42 +01:00
7eaf36aa5f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33] 2017-12-01 22:46:32 +01:00
9fde69dbd5
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 33] 2017-12-01 22:31:18 +01:00
6cb2f72357
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 33] 2017-12-01 22:31:08 +01:00
54bcda29a6
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 33] 2017-12-01 22:29:50 +01:00
8b9e2cf02c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32] 2017-12-01 22:29:40 +01:00
f8488131f4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 32] 2017-12-01 22:14:29 +01:00
bd69cb3ef2
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 32] 2017-12-01 22:14:18 +01:00
5466082a1a
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 32] 2017-12-01 22:13:28 +01:00
a041418ca7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 31] 2017-12-01 22:13:17 +01:00
1ba8e27ed9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 31] 2017-12-01 21:58:09 +01:00
1874de635b
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 31] 2017-12-01 21:57:59 +01:00
26a51a5133
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 31] 2017-12-01 21:56:56 +01:00
b230a0afae
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 30] 2017-12-01 21:56:46 +01:00
78c67ab35c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 30] 2017-12-01 21:41:38 +01:00
ea609604a6
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 30] 2017-12-01 21:41:28 +01:00
da9f89d150
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 30] 2017-12-01 21:40:54 +01:00
4071ef5046
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 29] 2017-12-01 21:40:44 +01:00
bbeeb1f86a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 29] 2017-12-01 21:25:34 +01:00
e4f6090f77
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 29] 2017-12-01 21:25:24 +01:00
2350cacdac
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 29] 2017-12-01 21:25:02 +01:00
1b69663974
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 28] 2017-12-01 21:24:52 +01:00
bf5aa50ff3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 28] 2017-12-01 21:09:43 +01:00
e5ae05a7a3
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 28] 2017-12-01 21:09:33 +01:00
1bed517db8
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 28] 2017-12-01 21:09:17 +01:00
ac4c5e8a9a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 27] 2017-12-01 21:09:07 +01:00
8b1544480e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 27] 2017-12-01 20:53:57 +01:00
fd34988ee2
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 27] 2017-12-01 20:53:47 +01:00
1d4dfba147
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 27] 2017-12-01 20:53:37 +01:00
37cec030c5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 26] 2017-12-01 20:53:27 +01:00
9c8af97cbf
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 26] 2017-12-01 20:38:17 +01:00
b52037993e
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 26] 2017-12-01 20:38:07 +01:00
84a437dc0a
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 26] 2017-12-01 20:37:58 +01:00
1b5cd9b033
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 25] 2017-12-01 20:37:48 +01:00
ddd7bf2a6c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 25] 2017-12-01 20:22:38 +01:00
ef14e2ebd8
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 25] 2017-12-01 20:22:28 +01:00
cd5749ee6f
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 25] 2017-12-01 20:22:18 +01:00
6c1fb45c59
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 24] 2017-12-01 20:22:08 +01:00
8acc08602a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 24] 2017-12-01 20:06:58 +01:00
5280549156
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 24] 2017-12-01 20:06:49 +01:00
4b59c7b615
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 24] 2017-12-01 20:06:39 +01:00
009485d89b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 23] 2017-12-01 20:06:29 +01:00
1113b25996
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 23] 2017-12-01 19:51:20 +01:00
b6ff629c91
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 23] 2017-12-01 19:51:09 +01:00
e1838abb74
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 23] 2017-12-01 19:51:01 +01:00
467f44ee1d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 22] 2017-12-01 19:50:51 +01:00
e63ed5a271
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 22] 2017-12-01 19:49:12 +01:00
beeb97b2f8
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 22] 2017-12-01 19:49:02 +01:00
79a63b76bc
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 22] 2017-12-01 19:48:54 +01:00
5ef023163f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 21] 2017-12-01 19:48:44 +01:00
bfe65985d8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 21] 2017-12-01 19:33:35 +01:00
72ac03ea4b
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 21] 2017-12-01 19:33:25 +01:00
47c06d7267
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 21] 2017-12-01 19:33:17 +01:00
0ccb93d004
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 20] 2017-12-01 19:33:07 +01:00
84f05edb5e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 20] 2017-12-01 19:32:39 +01:00
3cc71cae69
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 20] 2017-12-01 19:32:29 +01:00
adb402af4d
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 20] 2017-12-01 19:32:21 +01:00
cf1638b16d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 19] 2017-12-01 19:32:11 +01:00
bbdd5ebdac
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 19] 2017-12-01 19:31:44 +01:00
a52f1895e0
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 19] 2017-12-01 19:31:29 +01:00
81e8cb1167
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 19] 2017-12-01 19:31:22 +01:00
80a5c229e8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 18] 2017-12-01 19:31:12 +01:00
07338a1617
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 18] 2017-12-01 19:30:58 +01:00
85360a90c9
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 18] 2017-12-01 19:30:48 +01:00
efceb15388
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 18] 2017-12-01 19:30:41 +01:00
eb352b8f98
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 17] 2017-12-01 19:30:31 +01:00
f409ce326e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 17] 2017-12-01 19:15:21 +01:00
b92918580f
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 17] 2017-12-01 19:15:11 +01:00
415cc26f4d
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 17] 2017-12-01 19:15:04 +01:00
671a7795d2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 16] 2017-12-01 19:14:54 +01:00
676ad65584
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 16] 2017-12-01 18:59:44 +01:00
8f7114ad12
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 16] 2017-12-01 18:59:34 +01:00
787dfad962
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 16] 2017-12-01 18:59:27 +01:00
ac7b94ad50
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 15] 2017-12-01 18:59:11 +01:00
37029876ed
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 15] 2017-12-01 18:58:25 +01:00
34bbc1533d
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 15] 2017-12-01 18:58:15 +01:00
7f9fb2fa7b
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 15] 2017-12-01 18:58:07 +01:00
2e96d17016
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:57 +01:00
5b3a03ab34
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:38 +01:00
498ade1d93
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:28 +01:00
7f37137717
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 14] 2017-12-01 18:57:21 +01:00
96a00094f7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 13] 2017-12-01 18:57:11 +01:00
fa4bb5926a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 13] 2017-12-01 18:56:51 +01:00
0da7dd01a6
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 13] 2017-12-01 18:56:41 +01:00
9d57667255
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 13] 2017-12-01 18:56:34 +01:00
715491a2ce
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 12] 2017-12-01 18:56:24 +01:00
f0fd4bc264
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 12] 2017-12-01 18:56:09 +01:00
20fc219dc6
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 12] 2017-12-01 18:55:55 +01:00
a92ca897c6
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 12] 2017-12-01 18:55:47 +01:00
85c87b921d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:37 +01:00
e39ee1de46
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:24 +01:00
72595ff03b
Update status: finished benchmark job [m-mp | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:14 +01:00
cbc1ad8e06
Update status: started benchmark job [m-mp | ipc-2004 | satellite-strips | 11] 2017-12-01 18:55:07 +01:00