Index of /provsql/provsql-1.9.0/test/expected/


Name Size Type Last Modified
Parent Directory
active.out129text/plainSat, 06 Jun 2026 12:34:00 GMT
add_provenance.out378text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_arithmetic.out2961text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_distinct.out639text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_order_by.out184text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_token_text.out908text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_token_text_as_uuid.out278text/plainSat, 06 Jun 2026 12:34:00 GMT
agg_uuid_aggfnoid.out118text/plainSat, 06 Jun 2026 12:34:00 GMT
aggregate_null.out457text/plainSat, 06 Jun 2026 12:34:00 GMT
aggregation.out864text/plainSat, 06 Jun 2026 12:34:00 GMT
ancestry.out492text/plainSat, 06 Jun 2026 12:34:00 GMT
annotation_gate.out290text/plainSat, 06 Jun 2026 12:34:00 GMT
banzhaf.out537text/plainSat, 06 Jun 2026 12:34:00 GMT
boolean.out72text/plainSat, 06 Jun 2026 12:34:00 GMT
boolean_fold.out601text/plainSat, 06 Jun 2026 12:34:00 GMT
c2d.out286text/plainSat, 06 Jun 2026 12:34:00 GMT
c2d_1.out43text/plainSat, 06 Jun 2026 12:34:00 GMT
capability.out181text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy1.out1084text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy2.out4808text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy3.out339text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy4.out896text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy5.out1389text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy6.out1023text/plainSat, 06 Jun 2026 12:34:00 GMT
casestudy7.out1519text/plainSat, 06 Jun 2026 12:34:00 GMT
choose.out263text/plainSat, 06 Jun 2026 12:34:00 GMT
circuit_subgraph.out635text/plainSat, 06 Jun 2026 12:34:00 GMT
circuit_subgraph_depth.out60text/plainSat, 06 Jun 2026 12:34:00 GMT
classify_query.out7902text/plainSat, 06 Jun 2026 12:34:00 GMT
compile_to_ddnnf_dot.out115text/plainSat, 06 Jun 2026 12:34:00 GMT
compile_to_ddnnf_dot_1.out42text/plainSat, 06 Jun 2026 12:34:00 GMT
compile_to_ddnnf_dot_d4v2.out115text/plainSat, 06 Jun 2026 12:34:00 GMT
compile_to_ddnnf_dot_d4v2_1.out44text/plainSat, 06 Jun 2026 12:34:00 GMT
compile_to_ddnnf_nnf.out123text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_aggregation.out1978text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_analytic.out590text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_analytical_curves.out727text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_arithmetic.out715text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_basic.out2105text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_categorical.out846text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_conditioning.out882text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_expectation.out1543text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_having.out489text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_hybrid.out1558text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_join.out235text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mc_transparency.out358text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_analytic.out224text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_basic.out1037text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_histogram.out204text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_hybrid.out191text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_sampler.out320text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_mixture_support.out190text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_rangecheck.out1180text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_rangecheck_having.out747text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_rv_histogram.out290text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_sample_truncated.out341text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_sampler.out283text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_selection.out1037text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_support.out944text/plainSat, 06 Jun 2026 12:34:00 GMT
continuous_union.out162text/plainSat, 06 Jun 2026 12:34:00 GMT
count_cmp_optimisation.out2471text/plainSat, 06 Jun 2026 12:34:00 GMT
counting.out93text/plainSat, 06 Jun 2026 12:34:00 GMT
create_as.out84text/plainSat, 06 Jun 2026 12:34:00 GMT
create_provenance_mapping.out604text/plainSat, 06 Jun 2026 12:34:00 GMT
ctas_inheritance.out564text/plainSat, 06 Jun 2026 12:34:00 GMT
cte.out661text/plainSat, 06 Jun 2026 12:34:00 GMT
cte_1.out631text/plainSat, 06 Jun 2026 12:34:00 GMT
d4.out286text/plainSat, 06 Jun 2026 12:34:00 GMT
d4_1.out42text/plainSat, 06 Jun 2026 12:34:00 GMT
d4_timeout.out109text/plainSat, 06 Jun 2026 12:34:00 GMT
d4_timeout_1.out42text/plainSat, 06 Jun 2026 12:34:00 GMT
ddnnf_stats.out246text/plainSat, 06 Jun 2026 12:34:00 GMT
default_probability_evaluate.out181text/plainSat, 06 Jun 2026 12:34:00 GMT
deterministic.out66text/plainSat, 06 Jun 2026 12:34:00 GMT
distinct.out488text/plainSat, 06 Jun 2026 12:34:00 GMT
dsharp.out286text/plainSat, 06 Jun 2026 12:34:00 GMT
dsharp_1.out46text/plainSat, 06 Jun 2026 12:34:00 GMT
dtree.out528text/plainSat, 06 Jun 2026 12:34:00 GMT
empty_count.out168text/plainSat, 06 Jun 2026 12:34:00 GMT
except.out485text/plainSat, 06 Jun 2026 12:34:00 GMT
expected.out440text/plainSat, 06 Jun 2026 12:34:00 GMT
extension_upgrade.out756text/plainSat, 06 Jun 2026 12:34:00 GMT
extension_upgrade_1.out96text/plainSat, 06 Jun 2026 12:34:00 GMT
external_tool_timeout.out130text/plainSat, 06 Jun 2026 12:34:00 GMT
external_tool_timeout_1.out96text/plainSat, 06 Jun 2026 12:34:00 GMT
fallback_compiler_guc.out203text/plainSat, 06 Jun 2026 12:34:00 GMT
formula.out188text/plainSat, 06 Jun 2026 12:34:00 GMT
formula_on_having.out386text/plainSat, 06 Jun 2026 12:34:00 GMT
gate_cache_consistency.out59text/plainSat, 06 Jun 2026 12:34:00 GMT
gate_cache_setup.out130text/plainSat, 06 Jun 2026 12:34:00 GMT
group_by_empty.out73text/plainSat, 06 Jun 2026 12:34:00 GMT
group_by_provenance.out156text/plainSat, 06 Jun 2026 12:34:00 GMT
grouping_sets.out78text/plainSat, 06 Jun 2026 12:34:00 GMT
having_agg_fptras.out353text/plainSat, 06 Jun 2026 12:34:00 GMT
having_always_true.out1027text/plainSat, 06 Jun 2026 12:34:00 GMT
having_arithmetic.out3570text/plainSat, 06 Jun 2026 12:34:00 GMT
having_bid.out1580text/plainSat, 06 Jun 2026 12:34:00 GMT
having_boolean_connectors.out1942text/plainSat, 06 Jun 2026 12:34:00 GMT
having_count_distinct.out1021text/plainSat, 06 Jun 2026 12:34:00 GMT
having_group_by_const.out313text/plainSat, 06 Jun 2026 12:34:00 GMT
having_grouped_column.out351text/plainSat, 06 Jun 2026 12:34:00 GMT
having_numeric.out1124text/plainSat, 06 Jun 2026 12:34:00 GMT
having_on_aggregation.out3028text/plainSat, 06 Jun 2026 12:34:00 GMT
having_safe_join_agg.out3822text/plainSat, 06 Jun 2026 12:34:00 GMT
having_safe_join_count.out3150text/plainSat, 06 Jun 2026 12:34:00 GMT
having_sum_zero.out539text/plainSat, 06 Jun 2026 12:34:00 GMT
having_union.out1977text/plainSat, 06 Jun 2026 12:34:00 GMT
identify_token.out275text/plainSat, 06 Jun 2026 12:34:00 GMT
independent.out201text/plainSat, 06 Jun 2026 12:34:00 GMT
insert_select_provenance.out443text/plainSat, 06 Jun 2026 12:34:00 GMT
insert_select_sublink.out628text/plainSat, 06 Jun 2026 12:34:00 GMT
karp_luby.out1331text/plainSat, 06 Jun 2026 12:34:00 GMT
kcmcp_client_endpoint.out140text/plainSat, 06 Jun 2026 12:34:00 GMT
kcmcp_client_endpoint_1.out73text/plainSat, 06 Jun 2026 12:34:00 GMT
kcmcp_client_managed.out208text/plainSat, 06 Jun 2026 12:34:00 GMT
kcmcp_client_managed_1.out60text/plainSat, 06 Jun 2026 12:34:00 GMT
keyword_table.out329text/plainSat, 06 Jun 2026 12:34:00 GMT
large_circuit.out97text/plainSat, 06 Jun 2026 12:34:00 GMT
last_eval_method.out436text/plainSat, 06 Jun 2026 12:34:00 GMT
min_max_cmp_optimisation.out3665text/plainSat, 06 Jun 2026 12:34:00 GMT
minic2d.out98text/plainSat, 06 Jun 2026 12:34:00 GMT
minic2d_1.out47text/plainSat, 06 Jun 2026 12:34:00 GMT
monte_carlo.out432text/plainSat, 06 Jun 2026 12:34:00 GMT
nested_agg_refuse.out474text/plainSat, 06 Jun 2026 12:34:00 GMT
nested_union.out103text/plainSat, 06 Jun 2026 12:34:00 GMT
no_attribute.out52text/plainSat, 06 Jun 2026 12:34:00 GMT
no_zero_gate.out123text/plainSat, 06 Jun 2026 12:34:00 GMT
null.out77text/plainSat, 06 Jun 2026 12:34:00 GMT
outer_join.out978text/plainSat, 06 Jun 2026 12:34:00 GMT
per_db_circuit.out466text/plainSat, 06 Jun 2026 12:34:00 GMT
possible_worlds.out98text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_benchmark_1.out42text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_bounds.out412text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_having.out264text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_having_avg_min_max.out595text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_paths.out657text/plainSat, 06 Jun 2026 12:34:00 GMT
probability_setup.out85text/plainSat, 06 Jun 2026 12:34:00 GMT
provenance_in_from.out82text/plainSat, 06 Jun 2026 12:34:00 GMT
recursive.out901text/plainSat, 06 Jun 2026 12:34:00 GMT
remove_add_provenance.out101text/plainSat, 06 Jun 2026 12:34:00 GMT
repair_key.out104text/plainSat, 06 Jun 2026 12:34:00 GMT
resjunk.out106text/plainSat, 06 Jun 2026 12:34:00 GMT
resolve_input.out213text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_ancestry_disjoint.out431text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_basic.out533text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_const_sel.out343text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_deterministic.out372text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_fd_closure.out397text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_inner_join.out595text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_inversion_free.out5480text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_opaque.out870text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_pk_fd.out703text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_pushdown.out3983text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_self_join_disjoint.out511text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_self_join_pk.out427text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_semiring.out488text/plainSat, 06 Jun 2026 12:34:00 GMT
safe_query_view_descent.out895text/plainSat, 06 Jun 2026 12:34:00 GMT
scalar_empty_having.out3299text/plainSat, 06 Jun 2026 12:34:00 GMT
scalar_subquery.out6025text/plainSat, 06 Jun 2026 12:34:00 GMT
setup.out730text/plainSat, 06 Jun 2026 12:34:00 GMT
shapley.out536text/plainSat, 06 Jun 2026 12:34:00 GMT
shapley_mulinput.out371text/plainSat, 06 Jun 2026 12:34:00 GMT
sieve.out399text/plainSat, 06 Jun 2026 12:34:00 GMT
simplify_identities.out212text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_boolean.out72text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_boolexpr.out304text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_counting.out128text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_formula.out182text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_how.out589text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_interval_int.out141text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_interval_num.out149text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_lukasiewicz.out149text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_maxmin.out203text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_minmax.out154text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_qualified_mapping.out128text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_temporal.out233text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_tropical.out125text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_viterbi.out145text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_which.out498text/plainSat, 06 Jun 2026 12:34:00 GMT
sr_why.out636text/plainSat, 06 Jun 2026 12:34:00 GMT
stopping_rule.out928text/plainSat, 06 Jun 2026 12:34:00 GMT
subquery.out188text/plainSat, 06 Jun 2026 12:34:00 GMT
sum_cmp_optimisation.out2437text/plainSat, 06 Jun 2026 12:34:00 GMT
table_info.out387text/plainSat, 06 Jun 2026 12:34:00 GMT
temporal_functions.out728text/plainSat, 06 Jun 2026 12:34:00 GMT
to_provxml.out14586text/plainSat, 06 Jun 2026 12:34:00 GMT
tool_available.out142text/plainSat, 06 Jun 2026 12:34:00 GMT
tool_registry.out2593text/plainSat, 06 Jun 2026 12:34:00 GMT
tool_search_path.out408text/plainSat, 06 Jun 2026 12:34:00 GMT
tree_decomposition_dot.out144text/plainSat, 06 Jun 2026 12:34:00 GMT
treedec.out286text/plainSat, 06 Jun 2026 12:34:00 GMT
treedec_mulinput.out311text/plainSat, 06 Jun 2026 12:34:00 GMT
treedec_simple.out101text/plainSat, 06 Jun 2026 12:34:00 GMT
tseytin_cnf.out253text/plainSat, 06 Jun 2026 12:34:00 GMT
tseytin_cnf_mapping.out198text/plainSat, 06 Jun 2026 12:34:00 GMT
tutorial.out335text/plainSat, 06 Jun 2026 12:34:00 GMT
union.out354text/plainSat, 06 Jun 2026 12:34:00 GMT
union_all.out918text/plainSat, 06 Jun 2026 12:34:00 GMT
union_nary.out267text/plainSat, 06 Jun 2026 12:34:00 GMT
union_of_intervals.out724text/plainSat, 06 Jun 2026 12:34:00 GMT
union_tstzintervals.out1045text/plainSat, 06 Jun 2026 12:34:00 GMT
union_untracked.out435text/plainSat, 06 Jun 2026 12:34:00 GMT
unsupported_features.out992text/plainSat, 06 Jun 2026 12:34:00 GMT
update_delete.out561text/plainSat, 06 Jun 2026 12:34:00 GMT
update_insert.out450text/plainSat, 06 Jun 2026 12:34:00 GMT
update_undo.out1434text/plainSat, 06 Jun 2026 12:34:00 GMT
update_update.out782text/plainSat, 06 Jun 2026 12:34:00 GMT
values.out400text/plainSat, 06 Jun 2026 12:34:00 GMT
verbose_setops.out64text/plainSat, 06 Jun 2026 12:34:00 GMT
view_circuit_multiple.out376text/plainSat, 06 Jun 2026 12:34:00 GMT
view_circuit_multiple_1.out50text/plainSat, 06 Jun 2026 12:34:00 GMT
viewing_setup.out107text/plainSat, 06 Jun 2026 12:34:00 GMT
weightmc.out98text/plainSat, 06 Jun 2026 12:34:00 GMT
weightmc_1.out48text/plainSat, 06 Jun 2026 12:34:00 GMT
where_on_aggregation.out536text/plainSat, 06 Jun 2026 12:34:00 GMT
where_provenance.out805text/plainSat, 06 Jun 2026 12:34:00 GMT
where_provenance_join.out768text/plainSat, 06 Jun 2026 12:34:00 GMT
wrong_get_set_prob.out114text/plainSat, 06 Jun 2026 12:34:00 GMT