result tables and logs for 2020

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison

http://qcomp.org/

6 stars 7 forks source link

Closed MKlauck closed 3 years ago

MKlauck commented 3 years ago

Added results of competition 2020

ahartmanns commented 3 years ago

Merged manually in commit c804755a6866f94876d0b39805c07b3770a062ad.