4 commits

Author	SHA1	Message	Date
CEisenhofer	e4787e57f6	Use correct parameters for iterative deepening ... Updated spec	2026-03-04 17:37:04 +01:00
CEisenhofer	2d44a4dbf3	Update spec	2026-03-04 16:57:55 +01:00
CEisenhofer	ee02c1c8f3	Changed specifications	2026-03-04 15:53:49 +01:00
Nikolaj Bjorner	f0e026104c	added specs and research from running atomic ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2026-03-03 13:16:16 -08:00