\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
1|1.000000
2|0.900000
3|0.860000
4|0.801800
(4 rows)
provsql.last_eval_method
independent
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
node|gate|assumption|certified
1|assumed|absorptive|1
2|assumed|absorptive|1
3|assumed|absorptive|1
(3 rows)
interpret_as_dd_works
t
(1 row)
remove_provenance

(1 row)
src|dst|edge_shapley
1|2|0.360000
2|3|0.360000
(2 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
node|reliability
1|1.000000
2|0.900000
3|0.720000
4|0.741600
(4 rows)
provsql.last_eval_method
independent
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
a|1.000000
b|0.500000
c|0.250000
(3 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
a|1.000000
b|0.625000
c|0.625000
(3 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
1|1.000000
2|0.900000
3|0.720000
(3 rows)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
1|0.500000
2|0.500000
3|0.750000
4|0.750000
(4 rows)
provsql.last_eval_method
independent
(1 row)
remove_provenance

(1 row)
routes_agree
t
(1 row)
remove_provenance

(1 row)
node|prob
2|1.000000
3|1.000000
4|1.000000
(3 rows)
repair_key

(1 row)
remove_provenance

(1 row)
node|prob
1|1.000000
2|0.500000
3|0.500000
4|1.000000
(4 rows)
remove_provenance

(1 row)
bid_independent
1.000000
(1 row)
remove_provenance

(1 row)
bid_routes_agree
t
(1 row)
edge_kind
tid
(1 row)
bid_kind
bid
(1 row)
mixed_kind
bid
(1 row)
remove_provenance

(1 row)
node|prob|certified
1|1.000000|1
2|0.500000|1
3|0.500000|1
4|1.000000|1
5|0.500000|1
(5 rows)
repair_key

(1 row)
NOTICE:  ProvSQL: reachability route for "reach" fell back to the generic fixpoint (reachability: provsql_test.btwr_bsrc is block-independent (repair_key); block-correlated source sets are not supported)
remove_provenance

(1 row)
bid_source_fallback
5
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
node|prob
1|1.000000
2|0.630000
3|0.302400
(3 rows)
add_provenance

(1 row)
add_provenance

(1 row)
NOTICE:  ProvSQL: reachability route for "reach" fell back to the generic fixpoint (reachability: join-defined edges share base tuples (their supports overlap), so they are not independent)
remove_provenance

(1 row)
node|prob
1|1.000000
3|0.250000
4|0.250000
(3 rows)
add_provenance

(1 row)
NOTICE:  ProvSQL: reachability route for "reach" fell back to the generic fixpoint (ProvSQL: reachability: data treewidth exceeds the supported limit (10))
remove_provenance

(1 row)
k14_reachable
14
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
filtered_shape
3
(1 row)
remove_provenance

(1 row)
guc_off
3
(1 row)