\set ECHO none
remove_provenance

(1 row)
cnf_weighted
p cnf 6 7
-4 0
5 0
-6 1 0
-6 2 0
-6 3 0
6 -1 -2 -3 0
6 0
w 1 0.5
w -1 0.5
w 2 0.6
w -2 0.4
w 3 0.7
w -3 0.3

(1 row)
cnf_unweighted
p cnf 6 7
-4 0
5 0
-6 1 0
-6 2 0
-6 3 0
6 -1 -2 -3 0
6 0

(1 row)