Nov 6 2 days ago

1. 22:02

   Open the Scenario Explorer on scenario 38 (paper Appendix D example)

   JieRuan
   Verified signature

   c131f06
2. 21:52

   Align wording with the paper (factor control, verdict, criteria names, qualifiers)

   JieRuan
   Verified signature

   9e271af
3. 21:37

   SchemeArena project page: overview, results, scenario explorer

   JieRuan
   Verified signature

   0d2d822