typedcausal2_causal.metrics 306 Bytes
Newer Older
Christian Müller's avatar
metrics    
Christian Müller committed
1
2
3
4
5
6
7
8
9
10
results/typedcausal2_causal.foltl: 364
results/typedcausal2_causal.ltl: 590
Universe: ca:T1, cb:T2, causalcbT11:T1, a1:T3, a2:T2

Measuring on Fri May 19 15:31:30 WEST 2017:
unsat
real 1.50
user 1.50
sys 0.00
Finished successfully
Christian Müller's avatar
metrics    
Christian Müller committed
11
12
13
14
15
16
17

Measuring run 1:
unsat
real 1.47
user 1.46
sys 0.00
Finished successfully