• Mathias Preiner's avatar
    Squashed commit of the following: · 3ef1df35
    Mathias Preiner authored
    commit 36306b76
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Wed May 16 22:10:32 2018 -0700
    
        Add pending benchmarks.
    
    commit 8936921e
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Sat May 12 11:17:32 2018 -0700
    
        Update status of unknown benchmarks.
    3ef1df35
Name
Last commit
Last update
20161105-Sturm-MBO Loading commit data...
20161105-Sturm-MGC Loading commit data...
20170501-Heizmann-UltimateInvariantSynthesis Loading commit data...
20180501-Economics-Mulligan Loading commit data...
LassoRanker Loading commit data...
UltimateAutomizer Loading commit data...
hong Loading commit data...
hycomp Loading commit data...
kissing Loading commit data...
meti-tarski Loading commit data...
zankl Loading commit data...
README.md Loading commit data...