564
72%

Ran 16 Dec 2024 02:48PM UTC

Jobs 1

Files 118

Run time 1min

Badge

Committed 16 Dec 2024 02:40PM UTC coverage: 71.865% (+0.1%) from 71.768%

Build # 564

Build Type

push

github

Committed by

Commit Message

update URL of the 2011 SAT Competition Rule

Run Details

10452 of 14544 relevant lines covered (71.86%)

0.72 hits per line

Lines	Coverage	∆	File
1	95.96	0.0%	src/ToySolver/SAT/Encoder/Tseitin.hs
1	86.0	-2.0%	src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
1	63.64	-1.52%	src/ToySolver/SAT/PBO/BCD.hs
2	74.2	0.21%	src/ToySolver/SAT/Solver/CDCL.hs
2	45.0	0.31%	src/ToySolver/BitVector/Base.hs
2	86.58	-0.53%	src/ToySolver/BitVector/Solver.hs
6	86.65	-0.68%	src/ToySolver/Converter/PB.hs
10	65.71	-4.76%	src/ToySolver/SAT/PBO.hs
10	83.43	0.55%	src/ToySolver/FileFormat/CNF.hs

ID	Job ID	Ran	Files	Coverage
1	564.1	16 Dec 2024 02:48PM UTC	118	71.86	GitHub Action Run