search

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison
http://qcomp.org/
6 stars 7 forks source link

cluster: Reference result interval has lower bound greater than upper bound #109

Closed ahartmanns closed 2 years ago

ahartmanns commented 2 years ago

For cluster, the reference result for parameters 64-2000-20 and property below_min is an interval whose lower bound is greater than its upper bound:

"property": "below_min",
"value": {
    "lower": 0.00421944387,
    "upper": 0.00421944367
},
"note": "Storm"
ahartmanns commented 2 years ago

@tquatmann, is this something you could take a quick look at? Is it just a mistake in the JSON file, or does the empty interval actually come from Storm?

tquatmann commented 2 years ago

I confirm that this must be a mistake in the JSON file. Sorry for that!

ahartmanns commented 2 years ago

So the JSON should say

"property": "below_min",
"value": {
    "lower": 0.00421944367,
    "upper": 0.00421944387
},
"note": "Storm"

i.e. we just exchange the lower and upper bound?

tquatmann commented 2 years ago

Yes, that is correct.

ahartmanns commented 2 years ago

Perfect, thanks. Fixed in 78117fdb386b3476baeece37fd049b3117d217b1.