Algorithm A (double linked list) in Knuth 4B

[termoshtt]

No description provided.

[codspeed-hq]

CodSpeed Performance Report

Merging #45 will degrade performances by 33.19%

_{Comparing double-linked-list (ff33c5c) with main (7b8591a)}

Summary

❌ 18 (👁 18) regressions
🆕 9 new benchmarks

Benchmarks breakdown

	Benchmark	main	double-linked-list	Change
🆕	backtrack[sat1]	N/A	253.4 µs	N/A
🆕	backtrack[sat2]	N/A	1.7 ms	N/A
🆕	backtrack[sat3]	N/A	1.7 ms	N/A
🆕	backtrack[sat4]	N/A	1.7 ms	N/A
🆕	backtrack[unsat1]	N/A	68.7 µs	N/A
🆕	backtrack[unsat2]	N/A	558.2 µs	N/A
🆕	backtrack[unsat3]	N/A	220.3 µs	N/A
🆕	backtrack[unsat4]	N/A	201.1 µs	N/A
🆕	backtrack[unsat5]	N/A	198.1 µs	N/A
👁	cdcl[sat1]	5.8 ms	7.9 ms	-26.78%
👁	cdcl[sat2]	658.3 ms	785.1 ms	-16.15%
👁	cdcl[sat3]	815.5 ms	971.3 ms	-16.04%
👁	cdcl[sat4]	2 s	2.4 s	-15.87%
👁	cdcl[unsat1]	4 ms	4.6 ms	-13.58%
👁	cdcl[unsat2]	17.3 ms	24.1 ms	-28.14%
👁	cdcl[unsat3]	22.9 ms	28.9 ms	-20.95%
👁	cdcl[unsat4]	12.5 ms	15.2 ms	-17.83%
👁	cdcl[unsat5]	37.2 ms	47 ms	-20.84%
👁	dpll[sat1]	957.8 µs	1,259.5 µs	-23.95%
👁	dpll[sat2]	34.3 ms	48.1 ms	-28.6%
...	...	...	...	...

ℹ️ Only the first 20 benchmarks are displayed. Go to the app to view all benchmarks.