Lemma validate

[jmkjmt]

find lemma step by step
and testing with random value

[github-actions]

Benchmark Summaries

Benchmark: clam

Problem	Success	Error	Timeout	Total
clam	31	7	12	50
Total	31	7	12	50

Benchmark: dilemma-bench

Problem	Success	Error	Timeout	Total
lambda	5	1	4	10
natadd	7	0	0	7
sigma	0	5	0	5
filter	0	2	0	2
formula	0	1	0	1
max	0	2	0	2
natmul	6	1	3	10
uniq	0	12	0	12
Total	18	24	7	49

Benchmark: isaplanner

No results found.

Benchmark: optimization

No results found.