\set ECHO none add_provenance (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 4 atoms, 3 classes, root=0, order=[0,1,2] [certificate attached] remove_provenance (1 row) witness_prob 0.062500 (1 row) witness_rows 1 (1 row) add_provenance (1 row) NOTICE: ProvSQL: not inversion-free: class at inconsistent column positions within one relation (inversion / self-equality) remove_provenance (1 row) sym_rows 3 (1 row) NOTICE: ProvSQL: not inversion-free: class at inconsistent column positions within one relation (inversion / self-equality) remove_provenance (1 row) path_rows 3 (1 row) add_provenance (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 4 atoms, 3 classes, root=0, order=[0,1,2] [certificate attached] remove_provenance (1 row) block_rows 1 (1 row) block_default|block_if|block_pw 0.22030000|0.22030000|0.22030000 (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) sjf_rows 3 (1 row) x|sjf_default|sjf_if|sjf_pw 1|0.200000|0.200000|0.200000 2|0.200000|0.200000|0.200000 3|0.200000|0.200000|0.200000 (3 rows) add_provenance (1 row) add_provenance (1 row) remove_provenance (1 row) x|declined|prob 1|t|0.200000 2|t|0.200000 (2 rows) add_provenance (1 row) remove_provenance (1 row) repair_key (1 row) remove_provenance (1 row) x|root_type|prob_default|prob_pw 1|plus|0.700000|0.700000 2|mulinput|0.500000|0.500000 (2 rows) bid_check BID: explicit inversion-free declines; default sound (1 row) add_provenance (1 row) add_provenance (1 row) remove_provenance (1 row) x|prob_plain|prob_badcert 1|0.200000|0.200000 (1 row) add_provenance (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 4 atoms, 3 classes, root=0, order=[0,1,2] [certificate attached] remove_provenance (1 row) tblock_rows 1 (1 row) tblock_default|tblock_if|tblock_pw 0.22030000|0.22030000|0.22030000 (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) ut_rows 2 (1 row) ut_if|ut_pw 0.200000|0.200000 0.200000|0.200000 (2 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) dt_rows 2 (1 row) dt_if|dt_pw 0.200000|0.200000 0.200000|0.200000 (2 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 3 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) ifd_rows 2 (1 row) x|ifd_if|ifd_pw 1|0.200000|0.200000 2|0.200000|0.200000 (2 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 3 atoms, 2 classes, root=0, order=[0,1] [certificate attached] remove_provenance (1 row) x|ifd2_if|ifd2_pw 1|0.320000|0.320000 2|0.200000|0.200000 (2 rows) add_provenance (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: not inversion-free: no root variable (non-hierarchical) remove_provenance (1 row) x|ifd3_default|ifd3_pw 1|0.112800|0.112800 2|0.060000|0.060000 (2 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t1_if|t1_pw 1|0.200000|0.200000 2|0.200000|0.200000 3|0.200000|0.200000 (3 rows) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t2_if|t2_pw 1|0.500000|0.500000 2|0.500000|0.500000 3|0.500000|0.500000 (3 rows) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t3_if|t3_pw 1|0.200000|0.200000 2|0.200000|0.200000 (2 rows) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t4_default|t4_pw 1|0.500000|0.500000 2|0.500000|0.500000 3|0.500000|0.500000 (3 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 2 classes, root=1, order=[0,1] [certificate attached] remove_provenance (1 row) x|t1_if|t1_pw 1|0.200000|0.200000 2|0.200000|0.200000 (2 rows) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 4 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t2_if|t2_pw 1|0.200000|0.200000 2|0.200000|0.200000 3|0.200000|0.200000 (3 rows) add_provenance (1 row) add_provenance (1 row) add_provenance (1 row) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t1_if|t1_pw 1|0.200000|0.200000 2|0.200000|0.200000 3|0.200000|0.200000 (3 rows) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 3 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t2_if|t2_pw 1|0.060000|0.060000 2|0.060000|0.060000 3|0.060000|0.060000 (3 rows) NOTICE: ProvSQL: inversion-free UCQ(OBDD): 2 atoms, 1 classes, root=0, order=[0] [certificate attached] remove_provenance (1 row) x|t3_if|t3_pw 1|0.200000|0.200000 2|0.200000|0.200000 3|0.200000|0.200000 (3 rows)