1430
36%

Ran 26 Jun 2016 11:39PM UTC

Jobs 1

Files 105

Run time 5s

Badge

Embed ▾

pending completion

Build # 1430

Build Type

push

travis-ci

Committed by

msoos

Commit Message

Quick-freeing clauses if possible

This is really-really useful for Gauss, where clauses are being created
in-order and deleted reverse-order in case of propagation or conflict.
Halves memory usage on gauss-intensive problems

Run Details

7490 of 14529 relevant lines covered (51.55%)

403.07 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
14	1430.14 (CMS_CONFIG=COVERAGE)	26 Jun 2016 11:39PM UTC	0	51.55	Travis Job 1430.14

Source Files on build 1430

Detailed source file information is not available for this build.

msoos / cryptominisat / 1430
36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1430

msoos / cryptominisat / 1430 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1430

msoos / cryptominisat / 1430
36%

README BADGES
x