incarity4_stubborn.metrics 204 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
4
results/incarity4_stubborn.foltl: 451
results/incarity4_stubborn.ltl: 21894
Universe: u:T, v:T, w:T, x:T

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

Measuring run 1:
Timeout after 20m