• Clark Barrett's avatar
    Squashed commit of the following: · 6e068708
    Clark Barrett authored
    commit 6f81015a
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 17:58:41 2017 +0200
    
        Fixing README.md
    
    commit 3eac1449
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon Jun 5 16:53:37 2017 +0200
    
        Fixing README.md
    
    commit 8014352f
    Author: Clark Barrett <barrett@cs.stanford.edu>
    Date:   Thu Jun 1 12:46:44 2017 -0700
    
        Updating statuses based on solutions from two or more solvers running with a long timeout
    
    commit 4a7182a4
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Thu May 25 23:09:33 2017 +0200
    
        To version 2.6
    
    commit 6ae52298
    Author: Pascal Fontaine <Pascal.Fontaine@loria.fr>
    Date:   Mon May 22 15:31:26 2017 +0200
    
        2.0 to 2.5, CRLF to LF
    
    commit 3052e113
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed May 3 18:20:45 2017 +0200
    
        Fixing README.md
    
    commit dd8088bb
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Thu Apr 20 10:08:23 2017 +0200
    
        Fixing README.md
    
    commit 9bcca7b3
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:45:12 2017 +0200
    
        Fixing README.md
    
    commit 78356967
    Author: Pascal Fontaine <Pascal.Fontaine@inria.fr>
    Date:   Wed Mar 29 13:34:48 2017 +0200
    
        Fixing README.md
    
    commit 80ce72e0
    Author: Tjark Weber <tjark.weber@gmx.de>
    Date:   Thu Mar 16 10:31:25 2017 +0100
    
        Remove duplicate benchmarks
    6e068708
Name
Last commit
Last update
..
bench_100_128.smt2 Loading commit data...
bench_100_32.smt2 Loading commit data...
bench_100_64.smt2 Loading commit data...
bench_100_96.smt2 Loading commit data...
bench_10_128.smt2 Loading commit data...
bench_10_32.smt2 Loading commit data...
bench_10_64.smt2 Loading commit data...
bench_10_96.smt2 Loading commit data...
bench_20_128.smt2 Loading commit data...
bench_20_32.smt2 Loading commit data...
bench_20_64.smt2 Loading commit data...
bench_20_96.smt2 Loading commit data...
bench_30_128.smt2 Loading commit data...
bench_30_32.smt2 Loading commit data...
bench_30_64.smt2 Loading commit data...
bench_30_96.smt2 Loading commit data...
bench_40_128.smt2 Loading commit data...
bench_40_32.smt2 Loading commit data...
bench_40_64.smt2 Loading commit data...
bench_40_96.smt2 Loading commit data...
bench_50_128.smt2 Loading commit data...
bench_50_32.smt2 Loading commit data...
bench_50_64.smt2 Loading commit data...
bench_50_96.smt2 Loading commit data...
bench_60_128.smt2 Loading commit data...
bench_60_32.smt2 Loading commit data...
bench_60_64.smt2 Loading commit data...
bench_60_96.smt2 Loading commit data...
bench_70_128.smt2 Loading commit data...
bench_70_32.smt2 Loading commit data...
bench_70_64.smt2 Loading commit data...
bench_70_96.smt2 Loading commit data...
bench_80_128.smt2 Loading commit data...
bench_80_32.smt2 Loading commit data...
bench_80_64.smt2 Loading commit data...
bench_80_96.smt2 Loading commit data...
bench_90_128.smt2 Loading commit data...
bench_90_32.smt2 Loading commit data...
bench_90_64.smt2 Loading commit data...
bench_90_96.smt2 Loading commit data...