typedcausal5_causal.metrics 376 Bytes
Newer Older
Christian Müller's avatar
metrics    
Christian Müller committed
1
2
3
4
5
6
7
8
9
10
results/typedcausal5_causal.foltl: 976
results/typedcausal5_causal.ltl: 2011
Universe: ca:T1, cb:T2, cc:T3, cd:T4, ce:T5, causalcbT11:T1, causalccT21:T2, causalcdT31:T3, causalceT41:T4, a1:T6, a2:T5

Measuring on Fri May 19 15:31:33 WEST 2017:
sat
real 17.27
user 17.24
sys 0.02
Finished successfully
Christian Müller's avatar
metrics    
Christian Müller committed
11
12
13
14
15
16
17

Measuring run 1:
sat
real 17.05
user 17.02
sys 0.02
Finished successfully