![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | addr_book_0.cvc.smt2 | 2024-09-15 02:50 | 1.8K | |
| atom_univ2.cvc.smt2 | 2024-09-15 02:50 | 612 | |
| card_transpose.cvc.smt2 | 2024-09-15 02:50 | 161 | |
| iden_0.cvc.smt2 | 2024-09-15 02:50 | 719 | |
| iden_1.cvc.smt2 | 2024-09-15 02:50 | 527 | |
| join-eq-u-sat.cvc.smt2 | 2024-09-15 02:50 | 494 | |
| join-eq-u.cvc.smt2 | 2024-09-15 02:50 | 496 | |
| joinImg_0.cvc.smt2 | 2024-09-15 02:50 | 855 | |
| oneLoc_no_quant-int_0_1.cvc.smt2 | 2024-09-15 02:50 | 558 | |
| qgu-fuzz-relations-1-dd.smt2 | 2024-09-15 02:50 | 190 | |
| qgu-fuzz-relations-1.smt2 | 2024-09-15 02:50 | 344 | |
| rel_1tup_0.cvc.smt2 | 2024-09-15 02:50 | 472 | |
| rel_complex_0.cvc.smt2 | 2024-09-15 02:50 | 652 | |
| rel_complex_1.cvc.smt2 | 2024-09-15 02:50 | 771 | |
| rel_conflict_0.cvc.smt2 | 2024-09-15 02:50 | 245 | |
| rel_join_0.cvc.smt2 | 2024-09-15 02:50 | 611 | |
| rel_join_0_1.cvc.smt2 | 2024-09-15 02:50 | 639 | |
| rel_join_1.cvc.smt2 | 2024-09-15 02:50 | 755 | |
| rel_join_1_1.cvc.smt2 | 2024-09-15 02:50 | 738 | |
| rel_join_2.cvc.smt2 | 2024-09-15 02:50 | 456 | |
| rel_join_2_1.cvc.smt2 | 2024-09-15 02:50 | 448 | |
| rel_join_3.cvc.smt2 | 2024-09-15 02:50 | 772 | |
| rel_join_3_1.cvc.smt2 | 2024-09-15 02:50 | 764 | |
| rel_join_4.cvc.smt2 | 2024-09-15 02:50 | 824 | |
| rel_join_5.cvc.smt2 | 2024-09-15 02:50 | 562 | |
| rel_join_6.cvc.smt2 | 2024-09-15 02:50 | 412 | |
| rel_join_7.cvc.smt2 | 2024-09-15 02:50 | 680 | |
| rel_product_0.cvc.smt2 | 2024-09-15 02:50 | 493 | |
| rel_product_0_1.cvc.smt2 | 2024-09-15 02:50 | 485 | |
| rel_product_1.cvc.smt2 | 2024-09-15 02:50 | 529 | |
| rel_product_1_1.cvc.smt2 | 2024-09-15 02:50 | 482 | |
| rel_symbolic_1.cvc.smt2 | 2024-09-15 02:50 | 514 | |
| rel_symbolic_1_1.cvc.smt2 | 2024-09-15 02:50 | 435 | |
| rel_symbolic_2_1.cvc.smt2 | 2024-09-15 02:50 | 472 | |
| rel_symbolic_3_1.cvc.smt2 | 2024-09-15 02:50 | 485 | |
| rel_tc_2_1.cvc.smt2 | 2024-09-15 02:50 | 712 | |
| rel_tc_3.cvc.smt2 | 2024-09-15 02:50 | 526 | |
| rel_tc_3_1.cvc.smt2 | 2024-09-15 02:50 | 436 | |
| rel_tc_7.cvc.smt2 | 2024-09-15 02:50 | 307 | |
| rel_tc_8.cvc.smt2 | 2024-09-15 02:50 | 253 | |
| rel_tc_11.cvc.smt2 | 2024-09-15 02:50 | 533 | |
| rel_tp_3_1.cvc.smt2 | 2024-09-15 02:50 | 385 | |
| rel_tp_join_0.cvc.smt2 | 2024-09-15 02:50 | 840 | |
| rel_tp_join_1.cvc.smt2 | 2024-09-15 02:50 | 770 | |
| rel_tp_join_2.cvc.smt2 | 2024-09-15 02:50 | 578 | |
| rel_tp_join_3.cvc.smt2 | 2024-09-15 02:50 | 778 | |
| rel_tp_join_eq_0.cvc.smt2 | 2024-09-15 02:50 | 677 | |
| rel_tp_join_int_0.cvc.smt2 | 2024-09-15 02:50 | 554 | |
| rel_tp_join_pro_0.cvc.smt2 | 2024-09-15 02:50 | 602 | |
| rel_tp_join_var_0.cvc.smt2 | 2024-09-15 02:50 | 668 | |
| rel_transpose_0.cvc.smt2 | 2024-09-15 02:50 | 410 | |
| rel_transpose_1.cvc.smt2 | 2024-09-15 02:50 | 374 | |
| rel_transpose_1_1.cvc.smt2 | 2024-09-15 02:50 | 422 | |
| rel_transpose_3.cvc.smt2 | 2024-09-15 02:50 | 371 | |
| rel_transpose_4.cvc.smt2 | 2024-09-15 02:50 | 299 | |
| rel_transpose_5.cvc.smt2 | 2024-09-15 02:50 | 520 | |
| rel_transpose_6.cvc.smt2 | 2024-09-15 02:50 | 554 | |
| rel_transpose_7.cvc.smt2 | 2024-09-15 02:50 | 225 | |
| relations-ops.smt2 | 2024-09-15 02:50 | 857 | |
| rels-sharing-simp.cvc.smt2 | 2024-09-15 02:50 | 324 | |
|
|---|