Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress1/quantifiers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]006-cbqi-ite.smt22024-09-15 02:50 11K 
[ ]015-psyco-pp.smt22024-09-15 02:50 12K 
[ ]AdditiveMethods_OwnedResults.Mz.smt22024-09-15 02:50 41K 
[ ]Arrays_Q1-noinfer.smt22024-09-15 02:50 4.1K 
[ ]NUM878.smt22024-09-15 02:50 191  
[ ]RND-small.smt22024-09-15 02:50 517  
[ ]RNDPRE_4_1-dd-nqe.smt22024-09-15 02:50 294  
[ ]RND_4_1-existing-inst.smt22024-09-15 02:50 245  
[ ]RND_4_16.smt22024-09-15 02:50 4.2K 
[ ]anti-sk-simp.smt22024-09-15 02:50 261  
[ ]ari118-bv-2occ-x.smt22024-09-15 02:50 210  
[ ]arith-rec-fun.smt22024-09-15 02:50 157  
[ ]arith-snorm.smt22024-09-15 02:50 33K 
[ ]array-unsat-simp3.smt22024-09-15 02:50 1.0K 
[ ]bi-artm-s.smt22024-09-15 02:50 863  
[ ]bignum_quant.smt22024-09-15 02:50 406  
[ ]bug802.smt22024-09-15 02:50 117K 
[ ]bug822.smt22024-09-15 02:50 139K 
[ ]bug_743.smt22024-09-15 02:50 22K 
[ ]burns4.smt22024-09-15 02:50 1.4K 
[ ]burns13.smt22024-09-15 02:50 2.6K 
[ ]cbqi-sdlx-fixpoint-3-dd.smt22024-09-15 02:50 370  
[ ]cdt-0208-to.smt22024-09-15 02:50 141K 
[ ]cee-npnt-dd.smt22024-09-15 02:50 492  
[ ]cee-os-delta.smt22024-09-15 02:50 339  
[ ]choice-move-delta-relt.smt22024-09-15 02:50 215  
[ ]const.cvc.smt22024-09-15 02:50 127  
[ ]constfunc.cvc.smt22024-09-15 02:50 209  
[ ]ddatv-delta2.smt22024-09-15 02:50 630  
[ ]dt-tc-opt-small.smt22024-09-15 02:50 446  
[ ]dump-inst-i.smt22024-09-15 02:50 795  
[ ]dump-inst-proof.smt22024-09-15 02:50 942  
[ ]dump-inst.smt22024-09-15 02:50 497  
[ ]eqrange_ex_1.smt22024-09-15 02:50 9.3K 
[ ]ext-ex-deq-trigger.smt22024-09-15 02:50 657  
[ ]extract-nproc.smt22024-09-15 02:50 384  
[ ]f993-loss-easy.smt22024-09-15 02:50 3.2K 
[ ]florian-case-ax.smt22024-09-15 02:50 6.5K 
[ ]fp-cegqi-unsat.smt22024-09-15 02:50 927  
[ ]gauss_init_0030.fof.smt22024-09-15 02:50 7.5K 
[ ]horn-simple.smt22024-09-15 02:50 314  
[ ]infer-arith-trigger-eq.smt22024-09-15 02:50 28K 
[ ]inst-max-level-segf.smt22024-09-15 02:50 14K 
[ ]inst-prop-simp.smt22024-09-15 02:50 418  
[ ]intersection-example-onelane.proof-node22337.smt22024-09-15 02:50 1.7K 
[ ]is-even.smt22024-09-15 02:50 250  
[ ]isaplanner-goal20.smt22024-09-15 02:50 2.6K 
[ ]issue993.smt22024-09-15 02:50 3.5K 
[ ]issue2970-string-var-elim.smt22024-09-15 02:50 309  
[ ]issue3250-syg-inf-q.smt22024-09-15 02:50 391  
[ ]issue3316.smt22024-09-15 02:50 1.2K 
[ ]issue3317.smt22024-09-15 02:50 2.4K 
[ ]issue3481.smt22024-09-15 02:50 15K 
[ ]issue3537.smt22024-09-15 02:50 2.0K 
[ ]issue3628.smt22024-09-15 02:50 305  
[ ]issue3664.smt22024-09-15 02:50 166  
[ ]issue3724-quant.smt22024-09-15 02:50 1.7K 
[ ]issue3765-quant-dd.smt22024-09-15 02:50 308  
[ ]issue3765.smt22024-09-15 02:50 354  
[ ]issue4021-ind-opts.smt22024-09-15 02:50 438  
[ ]issue4062-cegqi-aux.smt22024-09-15 02:50 263  
[ ]issue4243-prereg-inc.smt22024-09-15 02:50 346  
[ ]issue4290-cegqi-r.smt22024-09-15 02:50 476  
[ ]issue4328-nqe.smt22024-09-15 02:50 244  
[ ]issue4400-2-already-conf.smt22024-09-15 02:50 1.9K 
[ ]issue4412-cegqi-type.smt22024-09-15 02:50 122  
[ ]issue4420-order-sensitive.smt22024-09-15 02:50 2.3K 
[ ]issue4433-nqe.smt22024-09-15 02:50 217  
[ ]issue4620-erq-witness-unsound.smt22024-09-15 02:50 127  
[ ]issue4685-wrewrite.smt22024-09-15 02:50 192  
[ ]issue4813-qe-quant.smt22024-09-15 02:50 224  
[ ]issue4849-nqe.smt22024-09-15 02:50 221  
[ ]issue5019-cegqi-i.smt22024-09-15 02:50 233  
[ ]issue5278-ext-rewrite-rec.smt22024-09-15 02:50 202  
[ ]issue5279-nqe.smt22024-09-15 02:50 143  
[ ]issue5288-vts-real-int.smt22024-09-15 02:50 230  
[ ]issue5365-nqe.smt22024-09-15 02:50 396  
[ ]issue5373-1-qe-inc.smt22024-09-15 02:50 241  
[ ]issue5373-2.smt22024-09-15 02:50 553  
[ ]issue5378-witness.smt22024-09-15 02:50 193  
[ ]issue5469-aext.smt22024-09-15 02:50 275  
[ ]issue5470-aext.smt22024-09-15 02:50 189  
[ ]issue5471-aext.smt22024-09-15 02:50 272  
[ ]issue5482-rtf-no-fv.smt22024-09-15 02:50 374  
[ ]issue5484-qe.smt22024-09-15 02:50 489  
[ ]issue5484b-qe.smt22024-09-15 02:50 601  
[ ]issue5506-qe.smt22024-09-15 02:50 128  
[ ]issue5507-qe.smt22024-09-15 02:50 828  
[ ]issue5658-qe.smt22024-09-15 02:50 128  
[ ]issue5735-2-subtypes.smt22024-09-15 02:50 210  
[ ]issue5735-subtypes.smt22024-09-15 02:50 220  
[ ]issue5766-wrong-sel-trigger.smt22024-09-15 02:50 541  
[ ]issue5899-qe.smt22024-09-15 02:50 6.7K 
[ ]issue6607-witness-te.smt22024-09-15 02:50 208  
[ ]issue6638-sygus-inst.smt22024-09-15 02:50 336  
[ ]issue6642-em-types.smt22024-09-15 02:50 202  
[ ]issue6699-nc-shadow.smt22024-09-15 02:50 225  
[ ]issue6775-vts-int.smt22024-09-15 02:50 532  
[ ]issue6845-nl-lemma-tc.smt22024-09-15 02:50 317  
[ ]issue7385-sygus-inst-i.smt22024-09-15 02:50 166  
[ ]issue7537-cegqi-comp-types.smt22024-09-15 02:50 199  
[ ]issue8157-duplicate-conflicts.smt22024-09-15 02:50 892  
[ ]issue8344-cegqi-string-witness.smt22024-09-15 02:50 185  
[ ]issue8410-vts-subtypes.smt22024-09-15 02:50 192  
[ ]issue8456-2-syqi-ic.smt22024-09-15 02:50 150  
[ ]issue8456-syqi-ic.smt22024-09-15 02:50 302  
[ ]issue8497-syqi-str-fmf.smt22024-09-15 02:50 165  
[ ]issue8517-exp-exp.smt22024-09-15 02:50 191  
[ ]issue8520-cegqi-nl-cov.smt22024-09-15 02:50 184  
[ ]issue8572-sygus-inst-ic-purify.smt22024-09-15 02:50 188  
[ ]issue8881-rd-types.smt22024-09-15 02:50 181  
[ ]javafe.ast.StmtVec.009.smt22024-09-15 02:50 31K 
[ ]lia-witness-div-pp.smt22024-09-15 02:50 1.0K 
[ ]lra-vts-inf.smt22024-09-15 02:50 8.0K 
[ ]macro-geo-small-3.smt22024-09-15 02:50 531  
[ ]macro-subtype-param.smt22024-09-15 02:50 647  
[ ]min-ppgt-em-incomplete.smt22024-09-15 02:50 1.0K 
[ ]min-ppgt-em-incomplete2.smt22024-09-15 02:50 1.3K 
[ ]mix-coeff.smt22024-09-15 02:50 265  
[ ]model_6_1_bv.smt22024-09-15 02:50 1.2K 
[ ]mutualrec2.cvc.smt22024-09-15 02:50 573  
[ ]nested9_true-unreach-call.i_575.smt22024-09-15 02:50 795  
[ ]nl-pow-trick.smt22024-09-15 02:50 532  
[ ]nra-interleave-inst.smt22024-09-15 02:50 1.4K 
[ ]opisavailable-12.smt22024-09-15 02:50 16K 
[ ]parametric-lists.smt22024-09-15 02:50 1.0K 
[ ]pool-example.smt22024-09-15 02:50 320  
[ ]prenex-scholl-smt08_RNDPRE_RNDPRE_4_6.smt22024-09-15 02:50 1.6K 
[ ]proj-issue151-2.smt22024-09-15 02:50 214  
[ ]proj-issue155.smt22024-09-15 02:50 1.2K 
[ ]proj-issue285.smt22024-09-15 02:50 187  
[ ]proj-issue295.smt22024-09-15 02:50 222  
[ ]psyco-001-bv.smt22024-09-15 02:50 2.7K 
[ ]psyco-107-bv.smt22024-09-15 02:50 6.0K 
[ ]psyco-196.smt22024-09-15 02:50 15K 
[ ]qbv-disequality3.smt22024-09-15 02:50 260  
[ ]qbv-simple-2vars-vo.smt22024-09-15 02:50 352  
[ ]qbv-subcall.smt22024-09-15 02:50 841  
[ ]qbv-test-invert-bvashr-0.smt22024-09-15 02:50 256  
[ ]qbv-test-invert-bvashr-1.smt22024-09-15 02:50 256  
[ ]qbv-test-invert-bvcomp.smt22024-09-15 02:50 318  
[ ]qbv-test-invert-bvlshr-1.smt22024-09-15 02:50 256  
[ ]qbv-test-invert-bvmul-neq.smt22024-09-15 02:50 249  
[ ]qbv-test-invert-bvmul.smt22024-09-15 02:50 255  
[ ]qbv-test-invert-bvudiv-0-neq.smt22024-09-15 02:50 288  
[ ]qbv-test-invert-bvudiv-0.smt22024-09-15 02:50 290  
[ ]qbv-test-invert-bvudiv-1-neq.smt22024-09-15 02:50 288  
[ ]qbv-test-invert-bvudiv-1.smt22024-09-15 02:50 290  
[ ]qbv-test-invert-bvurem-1-neq.smt22024-09-15 02:50 250  
[ ]qbv-test-invert-bvurem-1.smt22024-09-15 02:50 256  
[ ]qbv-test-urem-rewrite.smt22024-09-15 02:50 256  
[ ]qcft-javafe.filespace.TreeWalker.006.smt22024-09-15 02:50 37K 
[ ]qcft-smtlib3dbc51.smt22024-09-15 02:50 77K 
[ ]qe-partial.smt22024-09-15 02:50 333  
[ ]qe-subtypes.smt22024-09-15 02:50 141  
[ ]qe.smt22024-09-15 02:50 155  
[ ]qid-debug-inst.smt22024-09-15 02:50 457  
[ ]qid.smt22024-09-15 02:50 439  
[ ]qs-has-term.smt22024-09-15 02:50 6.6K 
[ ]quant-wf-int-ind.smt22024-09-15 02:50 296  
[ ]quaternion_ds1_symm_0428.fof.smt22024-09-15 02:50 7.3K 
[ ]recfact.cvc.smt22024-09-15 02:50 497  
[ ]rel-trigger-unusable.smt22024-09-15 02:50 1.5K 
[ ]repair-const-nterm.smt22024-09-15 02:50 311  
[ ]rew-to-0211-dd.smt22024-09-15 02:50 19K 
[ ]ricart-agrawala6.smt22024-09-15 02:50 3.9K 
[ ]seq-solved-enum.smt22024-09-15 02:50 393  
[ ]seq-unsolved-ematch.smt22024-09-15 02:50 317  
[ ]seqa-unsat-unknown-110921.smt22024-09-15 02:50 1.1K 
[ ]set-choice-koikonomou.cvc.smt22024-09-15 02:50 333  
[ ]set3.smt22024-09-15 02:50 1.4K 
[ ]set8.smt22024-09-15 02:50 1.5K 
[ ]seu169+1.smt22024-09-15 02:50 2.0K 
[ ]small-pipeline-fixpoint-3.smt22024-09-15 02:50 6.9K 
[ ]smtcomp-qbv-053118.smt22024-09-15 02:50 598  
[ ]smtlib46f14a.smt22024-09-15 02:50 42K 
[ ]smtlib384a03.smt22024-09-15 02:50 43K 
[ ]smtlibe99bbe.smt22024-09-15 02:50 71K 
[ ]smtlibf957ea.smt22024-09-15 02:50 43K 
[ ]stream-x2014-09-18-unsat.smt22024-09-15 02:50 17K 
[ ]subtype-param-unk.smt22024-09-15 02:50 691  
[ ]subtype-param.smt22024-09-15 02:50 651  
[ ]sygus-infer-nested.smt22024-09-15 02:50 185  
[ ]sygus-inst-nia-psyco-060.smt22024-09-15 02:50 3.7K 
[ ]sygus-inst-ufnia-sat-t3_rw1505.smt22024-09-15 02:50 3.2K 
[ ]symmetric_unsat_7.smt22024-09-15 02:50 1.6K 
[ ]tpp-unit-fail-qbv.smt22024-09-15 02:50 273  
[ ]var-eq-trigger-simple.smt22024-09-15 02:50 311  
[ ]var-eq-trigger.smt22024-09-15 02:50 63K 
[ ]z3.620661-no-fv-trigger.smt22024-09-15 02:50 3.4K 
Apache/2.4.62 (Debian) Server at 192.168.1.68 Port 80