git.libre-soc.org Git - cvc5.git/tree - test/regress/regress0/rels/

drwxr-xr-x		..
-rw-r--r--	1178	addr_book_0.cvc	blob \| history \| raw
-rw-r--r--	444	atom_univ2.cvc	blob \| history \| raw
-rw-r--r--	154	card_transpose.cvc	blob \| history \| raw
-rw-r--r--	467	iden_0.cvc	blob \| history \| raw
-rw-r--r--	356	iden_1.cvc	blob \| history \| raw
-rw-r--r--	402	join-eq-u-sat.cvc	blob \| history \| raw
-rw-r--r--	404	join-eq-u.cvc	blob \| history \| raw
-rw-r--r--	576	joinImg_0.cvc	blob \| history \| raw
-rw-r--r--	392	oneLoc_no_quant-int_0_1.cvc	blob \| history \| raw
-rw-r--r--	351	rel_1tup_0.cvc	blob \| history \| raw
-rw-r--r--	403	rel_complex_0.cvc	blob \| history \| raw
-rw-r--r--	554	rel_complex_1.cvc	blob \| history \| raw
-rw-r--r--	186	rel_conflict_0.cvc	blob \| history \| raw
-rw-r--r--	392	rel_join_0.cvc	blob \| history \| raw
-rw-r--r--	469	rel_join_0_1.cvc	blob \| history \| raw
-rw-r--r--	524	rel_join_1.cvc	blob \| history \| raw
-rw-r--r--	512	rel_join_1_1.cvc	blob \| history \| raw
-rw-r--r--	328	rel_join_2.cvc	blob \| history \| raw
-rw-r--r--	320	rel_join_2_1.cvc	blob \| history \| raw
-rw-r--r--	498	rel_join_3.cvc	blob \| history \| raw
-rw-r--r--	490	rel_join_3_1.cvc	blob \| history \| raw
-rw-r--r--	526	rel_join_4.cvc	blob \| history \| raw
-rw-r--r--	381	rel_join_5.cvc	blob \| history \| raw
-rw-r--r--	242	rel_join_6.cvc	blob \| history \| raw
-rw-r--r--	432	rel_join_7.cvc	blob \| history \| raw
-rw-r--r--	357	rel_product_0.cvc	blob \| history \| raw
-rw-r--r--	349	rel_product_0_1.cvc	blob \| history \| raw
-rw-r--r--	379	rel_product_1.cvc	blob \| history \| raw
-rw-r--r--	360	rel_product_1_1.cvc	blob \| history \| raw
-rw-r--r--	335	rel_symbolic_1.cvc	blob \| history \| raw
-rw-r--r--	289	rel_symbolic_1_1.cvc	blob \| history \| raw
-rw-r--r--	311	rel_symbolic_2_1.cvc	blob \| history \| raw
-rw-r--r--	316	rel_symbolic_3_1.cvc	blob \| history \| raw
-rw-r--r--	412	rel_tc_11.cvc	blob \| history \| raw
-rw-r--r--	481	rel_tc_2_1.cvc	blob \| history \| raw
-rw-r--r--	437	rel_tc_3.cvc	blob \| history \| raw
-rw-r--r--	287	rel_tc_3_1.cvc	blob \| history \| raw
-rw-r--r--	231	rel_tc_7.cvc	blob \| history \| raw
-rw-r--r--	192	rel_tc_8.cvc	blob \| history \| raw
-rw-r--r--	274	rel_tp_3_1.cvc	blob \| history \| raw
-rw-r--r--	537	rel_tp_join_0.cvc	blob \| history \| raw
-rw-r--r--	490	rel_tp_join_1.cvc	blob \| history \| raw
-rw-r--r--	392	rel_tp_join_2.cvc	blob \| history \| raw
-rw-r--r--	583	rel_tp_join_3.cvc	blob \| history \| raw
-rw-r--r--	420	rel_tp_join_eq_0.cvc	blob \| history \| raw
-rw-r--r--	386	rel_tp_join_int_0.cvc	blob \| history \| raw
-rw-r--r--	435	rel_tp_join_pro_0.cvc	blob \| history \| raw
-rw-r--r--	441	rel_tp_join_var_0.cvc	blob \| history \| raw
-rw-r--r--	281	rel_transpose_0.cvc	blob \| history \| raw
-rw-r--r--	248	rel_transpose_1.cvc	blob \| history \| raw
-rw-r--r--	273	rel_transpose_1_1.cvc	blob \| history \| raw
-rw-r--r--	262	rel_transpose_3.cvc	blob \| history \| raw
-rw-r--r--	218	rel_transpose_4.cvc	blob \| history \| raw
-rw-r--r--	348	rel_transpose_5.cvc	blob \| history \| raw
-rw-r--r--	387	rel_transpose_6.cvc	blob \| history \| raw
-rw-r--r--	185	rel_transpose_7.cvc	blob \| history \| raw
-rw-r--r--	858	relations-ops.smt2	blob \| history \| raw
-rw-r--r--	227	rels-sharing-simp.cvc	blob \| history \| raw