conference_linear_stubborn.metrics 294 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
4
results/conference_linear_stubborn.foltl: 469
results/conference_linear_stubborn.ltl: 698
Universe: xt:X, yt:X, pt:P

Christian Müller's avatar
metrics    
Christian Müller committed
5
Measuring on Fri May 19 15:29:39 WEST 2017:
Christian Müller's avatar
Christian Müller committed
6
7
8
9
10
unsat
real 0.75
user 0.75
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.79
user 0.78
sys 0.00
Finished successfully