• Mathias Preiner's avatar
    Squashed commit of the following: · 1697a4dd
    Mathias Preiner authored
    commit b399fede
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Wed May 16 22:07:58 2018 -0700
    
        Add pending benchmarks.
    
    commit 061b3d82
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Sat May 12 16:35:50 2018 -0700
    
        Split 2017-Preiner benchmarks into multiple families.
    
    commit 7f32f107
    Author: Mathias Preiner <mathias.preiner@gmail.com>
    Date:   Sat May 12 11:09:14 2018 -0700
    
        Update status of unknown benchmarks.
    1697a4dd
Name
Last commit
Last update
2017-Preiner-UltimateAutomizer Loading commit data...
2017-Preiner-keymaera Loading commit data...
2017-Preiner-psyco Loading commit data...
2017-Preiner-scholl-smt08 Loading commit data...
2017-Preiner-tptp Loading commit data...
20170501-Heizmann-UltimateAutomizer Loading commit data...
2018-Preiner-cav18 Loading commit data...
wintersteiger/fmsd13 Loading commit data...
README.md Loading commit data...