typedcausal2_stubborn.metrics 280 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_stubborn.foltl: 301
results/typedcausal2_stubborn.ltl: 202
Universe: a1:T3, a2:T2

Measuring on Fri May 19 15:31:31 WEST 2017:
unsat
real 0.01
user 0.01
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 0.01
user 0.00
sys 0.00
Finished successfully