incarity3_stubborn.metrics 276 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
4
results/incarity3_stubborn.foltl: 301
results/incarity3_stubborn.ltl: 2206
Universe: x:T, y:T, z:T

Christian Müller's avatar
metrics    
Christian Müller committed
5
Measuring on Fri May 19 15:31:02 WEST 2017:
Christian Müller's avatar
Christian Müller committed
6
7
8
9
10
unsat
real 6.17
user 6.14
sys 0.02
Finished successfully
Christian Müller's avatar
metrics    
Christian Müller committed
11
12
13
14
15
16
17

Measuring run 1:
unsat
real 6.16
user 6.12
sys 0.03
Finished successfully