\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
repair_key

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
paper|p_indep
p1|0.665965
p2|0.460800
p3|0.441210
p4|0.557987
p5|0.575290
p6|0.346050
p7|0.328106
(7 rows)
remove_provenance

(1 row)
p1_indep|p1_exact
0.425869|0.425869
(1 row)
remove_provenance

(1 row)
hard_exact
0.881791
(1 row)
remove_provenance

(1 row)
hard_default|method
0.881791|d-tree
(1 row)
remove_provenance

(1 row)
mobius_root|mobius_prob
mobius|0.056923
(1 row)
remove_provenance

(1 row)
paper|p_having
p1|0.242257
p2|0.090400
p3|0.081093
p4|0.157007
p5|0.169143
p6|0.036450
p7|0.031894
(7 rows)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
p_if|p_pw|p_default
0.322511|0.322511|0.322511
(1 row)
remove_provenance

(1 row)
paper|p_indep|p_exact
p1|0.875000|0.875000
p2|0.750000|0.750000
p3|0.500000|0.500000
p4|0.500000|0.500000
p5|0.500000|0.500000
(5 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)
n_papers|agree
7|t
(1 row)
remove_provenance

(1 row)
jw_default|method
0.881791|bounded-jw
(1 row)
remove_provenance

(1 row)
jw_indep
0.881791
(1 row)
remove_provenance

(1 row)
remove_provenance

(1 row)
jw_correlated|circuit_compiler
0.735868|0.735868
(1 row)
remove_provenance

(1 row)
paper|lineage|prob
p1|ext(p6,p4) ⊗ ext(p4,p1)|0.720000
p2|ext(p6,p5) ⊗ ext(p5,p2)|0.490000
p3|ext(p6,p5) ⊗ ext(p5,p3)|0.420000
p4|ext(p6,p4)|0.900000
p5|ext(p6,p5)|0.700000
(5 rows)
create_provenance_mapping

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
node|reliability
r2|0.875040
r3|0.800160
r4|0.585600
r5|0.549600
(4 rows)
provsql.last_eval_method
possible-worlds
(1 row)
equations
x₁ where x₁ = (x₄ ⊗ r2-r5) ⊕ (x₂ ⊗ r4-r5
(1 row)
node|witnesses|direct_edge_is_one
r2|622|t
r3|622|t
r4|718|f
r5|718|f
(4 rows)
NOTICE:  counting refused as infinite on 4 of 4 nodes
remove_provenance

(1 row)
provsql.last_eval_method
reachability
(1 row)
node|reliability|reliability_independent
r2|0.875040|0.875040
r3|0.800160|0.800160
r4|0.585600|0.585600
r5|0.549600|0.549600
(4 rows)
NOTICE:  not absorptive: why-provenance refused on 4, counting on 4, of 4 nodes
create_provenance_mapping

(1 row)
node|hops
r2|1
r3|1
r4|2
r5|2
(4 rows)
NOTICE:  not absorptive: plain tropical refused on 4 of 4 nodes
NOTICE:  drop cascades to 4 other objects
DETAIL:  drop cascades to constraint recommend_paper_fkey on table recommend
drop cascades to constraint champion_paper_fkey on table champion
drop cascades to constraint recommend_reviewer_fkey on table recommend
drop cascades to constraint champion_reviewer_fkey on table champion