\set ECHO none
add_provenance

(1 row)
ent_eq_pw|ent_eq_sieve|ro_eq_pw
t|t|t
(1 row)
cyc_eq_td
t
(1 row)
add_within_eps
t
(1 row)
cnf_eq_pw|neg_eq_pw|neg_add_within_eps
t|t|t
(1 row)
det_within_eps
t
(1 row)
det_not_sampler
t
(1 row)
ERROR:  ProvSQL: method 'karp-luby': delta must be in (0, 1); delta = 0 (deterministic) is supported only on the 'relative' / 'additive' paths, which route to the d-tree or an exact method
ERROR:  ProvSQL: d-tree: cost budget exceeded
dtree_runs_unbudgeted
t
(1 row)
remove_provenance

(1 row)