• Clark Barrett's avatar
    Squashed commit of the following: · a841ebee
    Clark Barrett authored
    commit ca6ae86e
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 18:00:17 2017 +0200
    
        Fixing README.md
    
    commit 2d6488b2
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 16:55:16 2017 +0200
    
        Fixing README.md
    
    commit 0276d43d
    Author: Clark Barrett <barrett@cs.stanford.edu>
    Date:   Thu Jun 1 13:05:16 2017 -0700
    
        Updating statuses based on solutions from two or more solvers running with a long timeout
    
    commit 226bee72
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Tue May 23 13:29:24 2017 +0200
    
        2.0 to 2.6, CRLF to LF
    
    commit e64c523d
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed May 3 18:23:25 2017 +0200
    
        Fixing README.md
    
    commit 81b36be6
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Thu Apr 20 10:11:18 2017 +0200
    
        Fixing README.md
    
    commit 3705819d
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:47:10 2017 +0200
    
        Fixing README.md
    
    commit f527fc90
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Tue Mar 28 16:35:58 2017 +0200
    
        Fixing README.md
    
    commit 200afcd9
    Author: Tjark Weber <tjark.weber@gmx.de>
    Date:   Thu Mar 16 10:32:03 2017 +0100
    
        Remove duplicate benchmarks
    a841ebee
Name
Last commit
Last update
..
10u05.04.smt2 Loading commit data...
20revert.u.smt2 Loading commit data...
20u10.09.smt2 Loading commit data...
30u15.14.smt2 Loading commit data...
40f10.smt2 Loading commit data...
40f25.smt2 Loading commit data...
40f50.smt2 Loading commit data...
40f99.smt2 Loading commit data...
40m10.smt2 Loading commit data...
40m25.smt2 Loading commit data...
40m50.smt2 Loading commit data...
40m99.smt2 Loading commit data...
40s10.smt2 Loading commit data...
40s25.smt2 Loading commit data...
40s50.smt2 Loading commit data...
40s99.smt2 Loading commit data...
40u20.19.smt2 Loading commit data...
c40f.smt2 Loading commit data...
c40m.smt2 Loading commit data...
c40s.smt2 Loading commit data...
l40f.smt2 Loading commit data...
l40m.smt2 Loading commit data...
l40s.smt2 Loading commit data...
m40.easy.smt2 Loading commit data...
m40.smt2 Loading commit data...
s40.smt2 Loading commit data...