conference-acceptance_causal.metrics 252 Bytes
Newer Older
Christian Müller's avatar
metrics    
Christian Müller committed
1
2
3
results/conference-acceptance_causal.foltl: 727
results/conference-acceptance_causal.ltl: 5275
Universe: a:A, causalaA1:A, causalaP1:P, at:A, bt:A, pt:P
Christian Müller's avatar
Christian Müller committed
4

Christian Müller's avatar
metrics    
Christian Müller committed
5
6
Measuring on Fri May 19 15:28:36 WEST 2017:
Timeout after 20s
Christian Müller's avatar
metrics    
Christian Müller committed
7
8
9

Measuring run 1:
Timeout after 20m