• 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
..
binarysearch32s016.smt2 Loading commit data...
binarysearch32s032.smt2 Loading commit data...
binarysearch32s064.smt2 Loading commit data...
binarysearch32s128.smt2 Loading commit data...
binarysearch32s256.smt2 Loading commit data...
bubsort002un.smt2 Loading commit data...
bubsort003un.smt2 Loading commit data...
bubsort004un.smt2 Loading commit data...
bubsort005un.smt2 Loading commit data...
bubsort006un.smt2 Loading commit data...
bubsort007un.smt2 Loading commit data...
bubsort008un.smt2 Loading commit data...
bubsort009un.smt2 Loading commit data...
bubsort010un.smt2 Loading commit data...
bubsort012un.smt2 Loading commit data...
bubsort014un.smt2 Loading commit data...
bubsort016un.smt2 Loading commit data...
bubsort018un.smt2 Loading commit data...
bubsort020un.smt2 Loading commit data...
bubsort025un.smt2 Loading commit data...
bubsort030un.smt2 Loading commit data...
bubsort035un.smt2 Loading commit data...
bubsort040un.smt2 Loading commit data...
bubsort045un.smt2 Loading commit data...
bubsort050un.smt2 Loading commit data...
dubreva002ue.smt2 Loading commit data...
dubreva003ue.smt2 Loading commit data...
dubreva004ue.smt2 Loading commit data...
dubreva005ue.smt2 Loading commit data...
dubreva006ue.smt2 Loading commit data...
dubreva007ue.smt2 Loading commit data...
dubreva008ue.smt2 Loading commit data...
dubreva009ue.smt2 Loading commit data...
dubreva010ue.smt2 Loading commit data...
fifo32bc04k05.smt2 Loading commit data...
fifo32bc04k06.smt2 Loading commit data...
fifo32bc04k07.smt2 Loading commit data...
fifo32bc04k08.smt2 Loading commit data...
fifo32bc04k09.smt2 Loading commit data...
fifo32bc04k10.smt2 Loading commit data...
fifo32bc06k05.smt2 Loading commit data...
fifo32bc06k06.smt2 Loading commit data...
fifo32bc06k07.smt2 Loading commit data...
fifo32bc06k08.smt2 Loading commit data...
fifo32bc06k09.smt2 Loading commit data...
fifo32bc06k10.smt2 Loading commit data...
fifo32bc08k05.smt2 Loading commit data...
fifo32bc08k06.smt2 Loading commit data...
fifo32bc08k07.smt2 Loading commit data...
fifo32bc08k08.smt2 Loading commit data...
fifo32bc08k09.smt2 Loading commit data...
fifo32bc08k10.smt2 Loading commit data...
fifo32ia04k05.smt2 Loading commit data...
fifo32ia04k06.smt2 Loading commit data...
fifo32ia04k07.smt2 Loading commit data...
fifo32ia04k08.smt2 Loading commit data...
fifo32ia04k09.smt2 Loading commit data...
fifo32ia04k10.smt2 Loading commit data...
fifo32ia06k05.smt2 Loading commit data...
fifo32ia06k06.smt2 Loading commit data...
fifo32ia06k07.smt2 Loading commit data...
fifo32ia06k08.smt2 Loading commit data...
fifo32ia06k09.smt2 Loading commit data...
fifo32ia06k10.smt2 Loading commit data...
fifo32in04k05.smt2 Loading commit data...
fifo32in04k06.smt2 Loading commit data...
fifo32in04k07.smt2 Loading commit data...
fifo32in04k08.smt2 Loading commit data...
fifo32in04k09.smt2 Loading commit data...
fifo32in04k10.smt2 Loading commit data...
fifo32in06k05.smt2 Loading commit data...
fifo32in06k06.smt2 Loading commit data...
fifo32in06k07.smt2 Loading commit data...
fifo32in06k08.smt2 Loading commit data...
fifo32in06k09.smt2 Loading commit data...
fifo32in06k10.smt2 Loading commit data...
fifo32in08k05.smt2 Loading commit data...
fifo32in08k06.smt2 Loading commit data...
fifo32in08k07.smt2 Loading commit data...
fifo32in08k08.smt2 Loading commit data...
fifo32in08k09.smt2 Loading commit data...
fifo32in08k10.smt2 Loading commit data...
fifo32in10k05.smt2 Loading commit data...
fifo32in10k06.smt2 Loading commit data...
fifo32in10k07.smt2 Loading commit data...
fifo32in10k08.smt2 Loading commit data...
fifo32in10k09.smt2 Loading commit data...
fifo32in10k10.smt2 Loading commit data...
matrixmultcomm02.smt2 Loading commit data...
matrixmultcomm03.smt2 Loading commit data...
matrixmultcomm04.smt2 Loading commit data...
matrixmultcomm05.smt2 Loading commit data...
matrixmultcomm06.smt2 Loading commit data...
matrixmultcomm07.smt2 Loading commit data...
matrixmultcomm08.smt2 Loading commit data...
matrixmultcomm09.smt2 Loading commit data...
matrixmultcomm10.smt2 Loading commit data...
matrixmultcomm11.smt2 Loading commit data...
matrixmultcomm12.smt2 Loading commit data...
memcpy02.smt2 Loading commit data...
memcpy03.smt2 Loading commit data...
memcpy04.smt2 Loading commit data...
memcpy05.smt2 Loading commit data...
memcpy06.smt2 Loading commit data...
memcpy07.smt2 Loading commit data...
memcpy08.smt2 Loading commit data...
memcpy09.smt2 Loading commit data...
memcpy10.smt2 Loading commit data...
memcpy11.smt2 Loading commit data...
memcpy12.smt2 Loading commit data...
selsort002un.smt2 Loading commit data...
selsort003un.smt2 Loading commit data...
selsort004un.smt2 Loading commit data...
selsort005un.smt2 Loading commit data...
selsort006un.smt2 Loading commit data...
selsort007un.smt2 Loading commit data...
selsort008un.smt2 Loading commit data...
selsort009un.smt2 Loading commit data...
selsort010un.smt2 Loading commit data...
selsort012un.smt2 Loading commit data...
selsort014un.smt2 Loading commit data...
selsort016un.smt2 Loading commit data...
selsort018un.smt2 Loading commit data...
selsort020un.smt2 Loading commit data...
selsort025un.smt2 Loading commit data...
selsort030un.smt2 Loading commit data...
selsort035un.smt2 Loading commit data...
selsort040un.smt2 Loading commit data...
selsort045un.smt2 Loading commit data...
selsort050un.smt2 Loading commit data...
swapmem002se.smt2 Loading commit data...
swapmem002ue.smt2 Loading commit data...
swapmem003ue.smt2 Loading commit data...
swapmem004se.smt2 Loading commit data...
swapmem004ue.smt2 Loading commit data...
swapmem005ue.smt2 Loading commit data...
swapmem006se.smt2 Loading commit data...
swapmem006ue.smt2 Loading commit data...
swapmem007ue.smt2 Loading commit data...
swapmem008se.smt2 Loading commit data...
swapmem008ue.smt2 Loading commit data...
swapmem009ue.smt2 Loading commit data...
swapmem010se.smt2 Loading commit data...
swapmem010ue.smt2 Loading commit data...
swapmem011ue.smt2 Loading commit data...
swapmem012se.smt2 Loading commit data...
swapmem012ue.smt2 Loading commit data...
swapmem013ue.smt2 Loading commit data...
swapmem014se.smt2 Loading commit data...
swapmem014ue.smt2 Loading commit data...
swapmem015ue.smt2 Loading commit data...
swapmem016se.smt2 Loading commit data...
swapmem016ue.smt2 Loading commit data...
swapmem017ue.smt2 Loading commit data...
swapmem018se.smt2 Loading commit data...
swapmem018ue.smt2 Loading commit data...
swapmem019ue.smt2 Loading commit data...
swapmem020se.smt2 Loading commit data...
swapmem020ue.smt2 Loading commit data...
swapmem021ue.smt2 Loading commit data...
swapmem022se.smt2 Loading commit data...
swapmem022ue.smt2 Loading commit data...
swapmem023ue.smt2 Loading commit data...
swapmem024se.smt2 Loading commit data...
swapmem024ue.smt2 Loading commit data...
swapmem025ue.smt2 Loading commit data...
swapmem026se.smt2 Loading commit data...
swapmem026ue.smt2 Loading commit data...
swapmem027ue.smt2 Loading commit data...
swapmem028se.smt2 Loading commit data...
swapmem028ue.smt2 Loading commit data...
swapmem029ue.smt2 Loading commit data...
swapmem030se.smt2 Loading commit data...
swapmem030ue.smt2 Loading commit data...
swapmem032se.smt2 Loading commit data...
swapmem034se.smt2 Loading commit data...
swapmem036se.smt2 Loading commit data...
swapmem038se.smt2 Loading commit data...
swapmem040se.smt2 Loading commit data...
swapmem042se.smt2 Loading commit data...
swapmem044se.smt2 Loading commit data...
swapmem046se.smt2 Loading commit data...
swapmem048se.smt2 Loading commit data...
swapmem050se.smt2 Loading commit data...
swapmem052se.smt2 Loading commit data...
swapmem054se.smt2 Loading commit data...
swapmem056se.smt2 Loading commit data...
swapmem058se.smt2 Loading commit data...
swapmem060se.smt2 Loading commit data...
wchains002se.smt2 Loading commit data...
wchains002ue.smt2 Loading commit data...
wchains003se.smt2 Loading commit data...
wchains003ue.smt2 Loading commit data...
wchains004se.smt2 Loading commit data...
wchains004ue.smt2 Loading commit data...
wchains005se.smt2 Loading commit data...
wchains005ue.smt2 Loading commit data...
wchains006se.smt2 Loading commit data...
wchains006ue.smt2 Loading commit data...
wchains007se.smt2 Loading commit data...
wchains007ue.smt2 Loading commit data...
wchains008se.smt2 Loading commit data...
wchains008ue.smt2 Loading commit data...
wchains009se.smt2 Loading commit data...
wchains009ue.smt2 Loading commit data...
wchains010se.smt2 Loading commit data...
wchains010ue.smt2 Loading commit data...
wchains011se.smt2 Loading commit data...
wchains011ue.smt2 Loading commit data...
wchains012se.smt2 Loading commit data...
wchains012ue.smt2 Loading commit data...
wchains013se.smt2 Loading commit data...
wchains013ue.smt2 Loading commit data...
wchains014se.smt2 Loading commit data...
wchains014ue.smt2 Loading commit data...
wchains015se.smt2 Loading commit data...
wchains015ue.smt2 Loading commit data...
wchains016se.smt2 Loading commit data...
wchains016ue.smt2 Loading commit data...
wchains017se.smt2 Loading commit data...
wchains017ue.smt2 Loading commit data...
wchains018se.smt2 Loading commit data...
wchains018ue.smt2 Loading commit data...
wchains019se.smt2 Loading commit data...
wchains019ue.smt2 Loading commit data...
wchains020se.smt2 Loading commit data...
wchains020ue.smt2 Loading commit data...
wchains022se.smt2 Loading commit data...
wchains022ue.smt2 Loading commit data...
wchains024se.smt2 Loading commit data...
wchains024ue.smt2 Loading commit data...
wchains026se.smt2 Loading commit data...
wchains026ue.smt2 Loading commit data...
wchains028se.smt2 Loading commit data...
wchains028ue.smt2 Loading commit data...
wchains030se.smt2 Loading commit data...
wchains030ue.smt2 Loading commit data...
wchains032se.smt2 Loading commit data...
wchains032ue.smt2 Loading commit data...
wchains034se.smt2 Loading commit data...
wchains034ue.smt2 Loading commit data...
wchains036se.smt2 Loading commit data...
wchains036ue.smt2 Loading commit data...
wchains038se.smt2 Loading commit data...
wchains038ue.smt2 Loading commit data...
wchains040se.smt2 Loading commit data...
wchains040ue.smt2 Loading commit data...
wchains042se.smt2 Loading commit data...
wchains042ue.smt2 Loading commit data...
wchains044se.smt2 Loading commit data...
wchains044ue.smt2 Loading commit data...
wchains046se.smt2 Loading commit data...
wchains046ue.smt2 Loading commit data...
wchains048se.smt2 Loading commit data...
wchains048ue.smt2 Loading commit data...
wchains050se.smt2 Loading commit data...
wchains050ue.smt2 Loading commit data...
wchains055se.smt2 Loading commit data...
wchains055ue.smt2 Loading commit data...
wchains060se.smt2 Loading commit data...
wchains060ue.smt2 Loading commit data...
wchains065se.smt2 Loading commit data...
wchains065ue.smt2 Loading commit data...
wchains070se.smt2 Loading commit data...
wchains070ue.smt2 Loading commit data...
wchains075se.smt2 Loading commit data...
wchains075ue.smt2 Loading commit data...
wchains080se.smt2 Loading commit data...
wchains080ue.smt2 Loading commit data...
wchains085se.smt2 Loading commit data...
wchains085ue.smt2 Loading commit data...
wchains090se.smt2 Loading commit data...
wchains090ue.smt2 Loading commit data...
wchains095se.smt2 Loading commit data...
wchains095ue.smt2 Loading commit data...
wchains100se.smt2 Loading commit data...
wchains100ue.smt2 Loading commit data...
wchains110se.smt2 Loading commit data...
wchains120se.smt2 Loading commit data...
wchains130se.smt2 Loading commit data...
wchains140se.smt2 Loading commit data...
wchains150se.smt2 Loading commit data...
wchains160se.smt2 Loading commit data...
wchains170se.smt2 Loading commit data...
wchains180se.smt2 Loading commit data...
wchains190se.smt2 Loading commit data...
wchains200se.smt2 Loading commit data...
wchains250se.smt2 Loading commit data...
wchains300se.smt2 Loading commit data...
wchains350se.smt2 Loading commit data...
wchains400se.smt2 Loading commit data...
wchains450se.smt2 Loading commit data...
wchains500se.smt2 Loading commit data...