• 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
..
run_00000.trace.cond_021458_0x7c80a939_00.smt2 Loading commit data...
run_00000.trace.cond_021463_0x7c80aa17_00.smt2 Loading commit data...
run_00000.trace.cond_021487_0x7c80aacd_00.smt2 Loading commit data...
run_00000.trace.cond_021504_0x7c80ab39_00.smt2 Loading commit data...
run_00000.trace.cond_021513_0x7c80ab56_00.smt2 Loading commit data...
run_00000.trace.cond_021516_0x7c80ab62_00.smt2 Loading commit data...
run_00000.trace.cond_021524_0x7c80ab81_00.smt2 Loading commit data...
run_00000.trace.cond_021526_0x7c80ab88_00.smt2 Loading commit data...
run_00000.trace.cond_021528_0x7c80ab8f_00.smt2 Loading commit data...
run_00000.trace.cond_021530_0x7c80ab96_00.smt2 Loading commit data...
run_00000.trace.cond_021532_0x7c80ab9d_00.smt2 Loading commit data...
run_00000.trace.cond_021534_0x7c80aba4_00.smt2 Loading commit data...
run_00000.trace.cond_021552_0x7c80abe9_00.smt2 Loading commit data...
run_00000.trace.cond_021676_0x7c80d002_00.smt2 Loading commit data...
run_00000.trace.cond_022152_0x7c80a939_00.smt2 Loading commit data...
run_00000.trace.cond_022157_0x7c80aa17_00.smt2 Loading commit data...
run_00000.trace.cond_022181_0x7c80aacd_00.smt2 Loading commit data...
run_00000.trace.cond_022198_0x7c80ab39_00.smt2 Loading commit data...
run_00000.trace.cond_022207_0x7c80ab56_00.smt2 Loading commit data...
run_00000.trace.cond_022210_0x7c80ab62_00.smt2 Loading commit data...
run_00000.trace.cond_022218_0x7c80ab81_00.smt2 Loading commit data...
run_00000.trace.cond_022220_0x7c80ab88_00.smt2 Loading commit data...
run_00000.trace.cond_022222_0x7c80ab8f_00.smt2 Loading commit data...
run_00000.trace.cond_022224_0x7c80ab96_00.smt2 Loading commit data...
run_00000.trace.cond_022226_0x7c80ab9d_00.smt2 Loading commit data...
run_00000.trace.cond_022228_0x7c80aba4_00.smt2 Loading commit data...
run_00000.trace.cond_022246_0x7c80abe9_00.smt2 Loading commit data...
run_00000.trace.cond_022299_0x9503aa1_00.smt2 Loading commit data...
run_00000.trace.cond_022301_0x9503aad_00.smt2 Loading commit data...
run_00000.trace.cond_022628_0x9502edb_00.smt2 Loading commit data...
run_00000.trace.cond_022643_0x9502eaf_00.smt2 Loading commit data...
run_00007.trace.Alloc_large__013672.smt2 Loading commit data...
run_00007.trace.Alloc_large__014071.smt2 Loading commit data...
run_00007.trace.Alloc_large__014558.smt2 Loading commit data...
run_00007.trace.Alloc_large__015045.smt2 Loading commit data...
run_00007.trace.Alloc_large__015532.smt2 Loading commit data...
run_00007.trace.Alloc_large__016019.smt2 Loading commit data...
run_00007.trace.Alloc_zero__013672.smt2 Loading commit data...
run_00007.trace.Alloc_zero__014071.smt2 Loading commit data...
run_00007.trace.Alloc_zero__014558.smt2 Loading commit data...
run_00007.trace.Alloc_zero__015045.smt2 Loading commit data...
run_00007.trace.Alloc_zero__015532.smt2 Loading commit data...
run_00007.trace.Alloc_zero__016019.smt2 Loading commit data...
run_00007.trace.cond_014512_0x950130a_00.smt2 Loading commit data...
run_00007.trace.cond_014534_0x95026e6_00.smt2 Loading commit data...
run_00007.trace.cond_014999_0x950130a_00.smt2 Loading commit data...
run_00007.trace.cond_015021_0x95026e6_00.smt2 Loading commit data...
run_00007.trace.cond_015486_0x950130a_00.smt2 Loading commit data...
run_00007.trace.cond_015508_0x95026e6_00.smt2 Loading commit data...
run_00007.trace.cond_015973_0x950130a_00.smt2 Loading commit data...
run_00007.trace.cond_015995_0x95026e6_00.smt2 Loading commit data...
run_00007.trace.cond_016460_0x950130a_00.smt2 Loading commit data...