![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Base16_1.sy | 2024-09-15 02:50 | 1.1K | |
| VC22_a.sy | 2024-09-15 02:50 | 1.5K | |
| abv.sy | 2024-09-15 02:50 | 1.4K | |
| array-grammar-store.sy | 2024-09-15 02:50 | 363 | |
| array-uc.sy | 2024-09-15 02:50 | 314 | |
| array_search_2.sy | 2024-09-15 02:50 | 614 | |
| array_search_5-Q-easy.sy | 2024-09-15 02:50 | 2.8K | |
| array_sum_2_5.sy | 2024-09-15 02:50 | 512 | |
| bvudiv-by-2.sy | 2024-09-15 02:50 | 713 | |
| car_3.lus.sy | 2024-09-15 02:50 | 13K | |
| cegar1.sy | 2024-09-15 02:50 | 472 | |
| cegis-unif-inv-eq-fair.sy | 2024-09-15 02:50 | 12K | |
| cggmp.sy | 2024-09-15 02:50 | 462 | |
| clock-inc-tuple.sy | 2024-09-15 02:50 | 536 | |
| coeff-solve-inv.sy | 2024-09-15 02:50 | 519 | |
| commutative-stream.sy | 2024-09-15 02:50 | 618 | |
| commutative.sy | 2024-09-15 02:50 | 407 | |
| complex-no-rewrite.sy | 2024-09-15 02:50 | 522 | |
| complex-rewrite-in-db.sy | 2024-09-15 02:50 | 522 | |
| concat_extract_example.sy | 2024-09-15 02:50 | 647 | |
| constant-bool-si-all.sy | 2024-09-15 02:50 | 265 | |
| constant-dec-tree-bug.sy | 2024-09-15 02:50 | 306 | |
| constant-ite-bv.sy | 2024-09-15 02:50 | 1.1K | |
| constant.sy | 2024-09-15 02:50 | 432 | |
| crci-ssb-unk.sy | 2024-09-15 02:50 | 1.2K | |
| crcy-si-rcons.sy | 2024-09-15 02:50 | 2.9K | |
| crcy-si.sy | 2024-09-15 02:50 | 544 | |
| cube-nia.sy | 2024-09-15 02:50 | 412 | |
| discPresent.sy | 2024-09-15 02:50 | 5.4K | |
| double.sy | 2024-09-15 02:50 | 413 | |
| dt-test-ns.sy | 2024-09-15 02:50 | 353 | |
| dup-op.sy | 2024-09-15 02:50 | 293 | |
| eq-sub-obs.sy | 2024-09-15 02:50 | 851 | |
| error1-dt.sy | 2024-09-15 02:50 | 1.8K | |
| eval-uc.sy | 2024-09-15 02:50 | 926 | |
| extract.sy | 2024-09-15 02:50 | 352 | |
| fast-enum-backtrack.sy | 2024-09-15 02:50 | 596 | |
| fg_polynomial3.sy | 2024-09-15 02:50 | 295 | |
| find_inv_eq_bvmul_4bit_withoutgrammar-v2.sy | 2024-09-15 02:50 | 512 | |
| find_sc_bvult_bvnot.sy | 2024-09-15 02:50 | 1.6K | |
| grammar_norm.sy | 2024-09-15 02:50 | 564 | |
| ground-ite-free-constant-si.sy | 2024-09-15 02:50 | 796 | |
| hd-01-d1-prog.sy | 2024-09-15 02:50 | 559 | |
| hd-19-d1-prog-dup-op.sy | 2024-09-15 02:50 | 885 | |
| hd-sdiv.sy | 2024-09-15 02:50 | 486 | |
| ho-sygus.sy | 2024-09-15 02:50 | 237 | |
| icfp_14.12-flip-args.sy | 2024-09-15 02:50 | 2.6K | |
| icfp_14.12.sy | 2024-09-15 02:50 | 3.0K | |
| icfp_14_12_diff_types.sy | 2024-09-15 02:50 | 1.4K | |
| icfp_28_10.sy | 2024-09-15 02:50 | 1.5K | |
| icfp_easy-ite.sy | 2024-09-15 02:50 | 1.2K | |
| incremental-stream-ex.sy | 2024-09-15 02:50 | 592 | |
| incremental-stream-ex2.sy | 2024-09-15 02:50 | 420 | |
| int-any-const.sy | 2024-09-15 02:50 | 429 | |
| interpol1-push-pop.smt2 | 2024-09-15 02:50 | 828 | |
| interpol1.smt2 | 2024-09-15 02:50 | 529 | |
| interpol3-next.smt2 | 2024-09-15 02:50 | 248 | |
| interpol3.smt2 | 2024-09-15 02:50 | 222 | |
| interpol_arr1.smt2 | 2024-09-15 02:50 | 347 | |
| interpol_arr2.smt2 | 2024-09-15 02:50 | 607 | |
| interpol_cosa_1.smt2 | 2024-09-15 02:50 | 3.0K | |
| interpol_dt.smt2 | 2024-09-15 02:50 | 386 | |
| interpol_from_pono_1.smt2 | 2024-09-15 02:50 | 4.8K | |
| interpol_from_pono_2.smt2 | 2024-09-15 02:50 | 8.1K | |
| interpol_from_pono_3.smt2 | 2024-09-15 02:50 | 15K | |
| inv-example.sy | 2024-09-15 02:50 | 504 | |
| inv-missed-sol-true.sy | 2024-09-15 02:50 | 575 | |
| inv-unused.sy | 2024-09-15 02:50 | 467 | |
| inv_gen_fig8.sy | 2024-09-15 02:50 | 1.8K | |
| issue2914.sy | 2024-09-15 02:50 | 551 | |
| issue2935.sy | 2024-09-15 02:50 | 846 | |
| issue3109-share-sel.sy | 2024-09-15 02:50 | 1.8K | |
| issue3199.smt2 | 2024-09-15 02:50 | 127 | |
| issue3200.smt2 | 2024-09-15 02:50 | 132 | |
| issue3201.smt2 | 2024-09-15 02:50 | 191 | |
| issue3205.smt2 | 2024-09-15 02:50 | 133 | |
| issue3247.smt2 | 2024-09-15 02:50 | 519 | |
| issue3320-quant.sy | 2024-09-15 02:50 | 289 | |
| issue3461.sy | 2024-09-15 02:50 | 373 | |
| issue3498.smt2 | 2024-09-15 02:50 | 141 | |
| issue3507.smt2 | 2024-09-15 02:50 | 211 | |
| issue3514.smt2 | 2024-09-15 02:50 | 265 | |
| issue3580.sy | 2024-09-15 02:50 | 425 | |
| issue3633.smt2 | 2024-09-15 02:50 | 132 | |
| issue3634.smt2 | 2024-09-15 02:50 | 161 | |
| issue3635.smt2 | 2024-09-15 02:50 | 163 | |
| issue3644.smt2 | 2024-09-15 02:50 | 153 | |
| issue3648.smt2 | 2024-09-15 02:50 | 160 | |
| issue3649.sy | 2024-09-15 02:50 | 683 | |
| issue3802-default-consts.sy | 2024-09-15 02:50 | 340 | |
| issue3839-cond-rewrite.smt2 | 2024-09-15 02:50 | 247 | |
| issue3944-div-rewrite.smt2 | 2024-09-15 02:50 | 237 | |
| issue3947-agg-miniscope.smt2 | 2024-09-15 02:50 | 245 | |
| issue3995-fmf-var-op.smt2 | 2024-09-15 02:50 | 212 | |
| issue4009-qep.smt2 | 2024-09-15 02:50 | 283 | |
| issue4025-no-rlv-cond.smt2 | 2024-09-15 02:50 | 313 | |
| issue4083-var-shadow.smt2 | 2024-09-15 02:50 | 368 | |
| issue4425-sets-sygus-infer.smt2 | 2024-09-15 02:50 | 386 | |
| issue7925-dt-share-config.sy | 2024-09-15 02:50 | 280 | |
| issue8216-rr-input-re.smt2 | 2024-09-15 02:50 | 328 | |
| large-const-simp.sy | 2024-09-15 02:50 | 271 | |
| let-bug-simp.sy | 2024-09-15 02:50 | 529 | |
| list-head-x.sy | 2024-09-15 02:50 | 308 | |
| list_recursor.sy | 2024-09-15 02:50 | 753 | |
| logiccell_help.sy | 2024-09-15 02:50 | 3.4K | |
| max-all.sy | 2024-09-15 02:50 | 538 | |
| max-limit.sy | 2024-09-15 02:50 | 698 | |
| max-try1.sy | 2024-09-15 02:50 | 296 | |
| max-try2.sy | 2024-09-15 02:50 | 357 | |
| max.sy | 2024-09-15 02:50 | 1.0K | |
| max2-bv.sy | 2024-09-15 02:50 | 364 | |
| multi-fun-polynomial2.sy | 2024-09-15 02:50 | 703 | |
| nflat-fwd-3.sy | 2024-09-15 02:50 | 263 | |
| nflat-fwd.sy | 2024-09-15 02:50 | 285 | |
| nia-max-square-ns.sy | 2024-09-15 02:50 | 284 | |
| no-flat-simp.sy | 2024-09-15 02:50 | 366 | |
| no-mention.sy | 2024-09-15 02:50 | 270 | |
| no-var-in-sol.sy | 2024-09-15 02:50 | 708 | |
| node-discrete.sy | 2024-09-15 02:50 | 5.3K | |
| once_2.sy | 2024-09-15 02:50 | 821 | |
| only-const-grammar.sy | 2024-09-15 02:50 | 330 | |
| pLTL_5_trace.sy | 2024-09-15 02:50 | 11K | |
| parity-si-rcons.sy | 2024-09-15 02:50 | 1.1K | |
| pbe_multi.sy | 2024-09-15 02:50 | 2.6K | |
| phone-1-long.sy | 2024-09-15 02:50 | 4.9K | |
| planning-unif.sy | 2024-09-15 02:50 | 9.2K | |
| process-10-vars.sy | 2024-09-15 02:50 | 610 | |
| proj-issue135.smt2 | 2024-09-15 02:50 | 210 | |
| proj-issue165.smt2 | 2024-09-15 02:50 | 398 | |
| proj-issue181.smt2 | 2024-09-15 02:50 | 236 | |
| proj-issue183.smt2 | 2024-09-15 02:50 | 752 | |
| proj-issue185.smt2 | 2024-09-15 02:50 | 359 | |
| proj-issue264.smt2 | 2024-09-15 02:50 | 249 | |
| qe.sy | 2024-09-15 02:50 | 255 | |
| qf_abv.smt2 | 2024-09-15 02:50 | 2.8K | |
| rand_const.sy | 2024-09-15 02:50 | 276 | |
| rand_p_0.sy | 2024-09-15 02:50 | 383 | |
| rand_p_1.sy | 2024-09-15 02:50 | 349 | |
| re-concat.sy | 2024-09-15 02:50 | 434 | |
| real-any-const.sy | 2024-09-15 02:50 | 314 | |
| real-grammar.sy | 2024-09-15 02:50 | 284 | |
| rec-fun-swap.sy | 2024-09-15 02:50 | 1.6K | |
| rec-fun-sygus.sy | 2024-09-15 02:50 | 736 | |
| rec-fun-while-1.sy | 2024-09-15 02:50 | 2.0K | |
| rec-fun-while-2.sy | 2024-09-15 02:50 | 2.0K | |
| rec-fun-while-infinite.sy | 2024-09-15 02:50 | 2.1K | |
| repair-const-rl.sy | 2024-09-15 02:50 | 498 | |
| replicate-mod-assume.sy | 2024-09-15 02:50 | 6.6K | |
| replicate-mod.sy | 2024-09-15 02:50 | 10K | |
| rex-strings-alarm.sy | 2024-09-15 02:50 | 968 | |
| sets-pred-test.sy | 2024-09-15 02:50 | 408 | |
| simple-no-rewrite.sy | 2024-09-15 02:50 | 306 | |
| simple-not-in-grammar.sy | 2024-09-15 02:50 | 191 | |
| simple-regexp.sy | 2024-09-15 02:50 | 901 | |
| simple-rewrite-in-db.sy | 2024-09-15 02:50 | 299 | |
| simple-rewrite-not-in-db.sy | 2024-09-15 02:50 | 347 | |
| stopwatch-bt.sy | 2024-09-15 02:50 | 5.1K | |
| strings-any-term1.sy | 2024-09-15 02:50 | 358 | |
| strings-concat-3-args.sy | 2024-09-15 02:50 | 461 | |
| strings-double-rec.sy | 2024-09-15 02:50 | 421 | |
| strings-no-syntax.sy | 2024-09-15 02:50 | 289 | |
| strings-small.sy | 2024-09-15 02:50 | 603 | |
| strings-template-infer-unused.sy | 2024-09-15 02:50 | 417 | |
| strings-template-infer.sy | 2024-09-15 02:50 | 383 | |
| strings-trivial-simp.sy | 2024-09-15 02:50 | 323 | |
| strings-trivial-two-type.sy | 2024-09-15 02:50 | 396 | |
| strings-trivial.sy | 2024-09-15 02:50 | 334 | |
| sygus-dt.sy | 2024-09-15 02:50 | 528 | |
| sygus-lambda-fv.sy | 2024-09-15 02:50 | 567 | |
| sygus-uf-ex.sy | 2024-09-15 02:50 | 496 | |
| t8.sy | 2024-09-15 02:50 | 844 | |
| temp_input_to_synth_ic-error-121418.sy | 2024-09-15 02:50 | 640 | |
| tester.sy | 2024-09-15 02:50 | 642 | |
| tl-type-0.sy | 2024-09-15 02:50 | 273 | |
| tl-type-4x.sy | 2024-09-15 02:50 | 286 | |
| tl-type.sy | 2024-09-15 02:50 | 286 | |
| triv-type-mismatch-si.sy | 2024-09-15 02:50 | 204 | |
| trivial-stream.sy | 2024-09-15 02:50 | 468 | |
| twolets1.sy | 2024-09-15 02:50 | 808 | |
| twolets2-orig.sy | 2024-09-15 02:50 | 679 | |
| unbdd_inv_gen_winf1.sy | 2024-09-15 02:50 | 1.5K | |
| univ_2-long-repeat.sy | 2024-09-15 02:50 | 4.5K | |