Commit Graph

11781 Commits

Author SHA1 Message Date
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