simplechoice_stubborn.metrics 122 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1 2 3 4 5
simplechoice_stubborn.foltl: 92
simplechoice_stubborn.ltl: 187
Universe: x:T, s:T
Satisfiable: true
Owl runtime: 90339 ms