Bug findings with Semantic Fusion

CVC4

https://github.com/CVC4/CVC4/issues/4333 Confirmed
https://github.com/CVC4/CVC4/issues/3441 Dup
https://github.com/CVC4/CVC4/issues/3440 Fixed
https://github.com/CVC4/CVC4/issues/3430 Fixed
https://github.com/CVC4/CVC4/issues/3412 Fixed
https://github.com/CVC4/CVC4/issues/3375 Fixed
https://github.com/CVC4/CVC4/issues/3357 Fixed
https://github.com/CVC4/CVC4/issues/3286 Confirmed
https://github.com/CVC4/CVC4/issues/3272 Fixed
https://github.com/CVC4/CVC4/issues/3247 Fixed
https://github.com/CVC4/CVC4/issues/3217 Fixed
https://github.com/CVC4/CVC4/issues/3203 Fixed
https://github.com/CVC4/CVC4/issues/3106 Confirmed

Z3

https://github.com/Z3Prover/z3/issues/4532#issuecomment-646721686 Reported
https://github.com/Z3Prover/z3/issues/4518#issue-638850637 Reported
https://github.com/Z3Prover/z3/issues/4153 Fixed
https://github.com/Z3Prover/z3/issues/3926 Fixed
https://github.com/Z3Prover/z3/issues/3072 Confirmed
https://github.com/Z3Prover/z3/issues/2924 Dup
https://github.com/Z3Prover/z3/issues/2673 Confirmed
https://github.com/Z3Prover/z3/issues/2672 Fixed
https://github.com/Z3Prover/z3/issues/2671 Fixed
https://github.com/Z3Prover/z3/issues/2668 Fixed
https://github.com/Z3Prover/z3/issues/2632 Fixed
https://github.com/Z3Prover/z3/issues/2618 Fixed
https://github.com/Z3Prover/z3/issues/2615 Fixed
https://github.com/Z3Prover/z3/issues/2613 Fixed
https://github.com/Z3Prover/z3/issues/2612 Fixed
https://github.com/Z3Prover/z3/issues/2580 Fixed
https://github.com/Z3Prover/z3/issues/2578 Fixed
https://github.com/Z3Prover/z3/issues/2573 Fixed
https://github.com/Z3Prover/z3/issues/2567 Fixed
https://github.com/Z3Prover/z3/issues/2566 Fixed
https://github.com/Z3Prover/z3/issues/2563 Confirmed
https://github.com/Z3Prover/z3/issues/2562 Fixed
https://github.com/Z3Prover/z3/issues/2557 Fixed
https://github.com/Z3Prover/z3/issues/2556 Fixed
https://github.com/Z3Prover/z3/issues/2548 Fixed
https://github.com/Z3Prover/z3/issues/2546 Fixed
https://github.com/Z3Prover/z3/issues/2533 Fixed
https://github.com/Z3Prover/z3/issues/2531 Fixed
https://github.com/Z3Prover/z3/issues/2530 Fixed
https://github.com/Z3Prover/z3/issues/2516 Fixed
https://github.com/Z3Prover/z3/issues/2514 Fixed
https://github.com/Z3Prover/z3/issues/2513 Fixed
https://github.com/Z3Prover/z3/issues/2509 Fixed
https://github.com/Z3Prover/z3/issues/2483 Fixed
https://github.com/Z3Prover/z3/issues/2478 Fixed
https://github.com/Z3Prover/z3/issues/2450 Fixed
https://github.com/Z3Prover/z3/issues/2449 Fixed
https://github.com/Z3Prover/z3/issues/2422 Fixed
https://github.com/Z3Prover/z3/issues/2396 Fixed
https://github.com/Z3Prover/z3/issues/2397 Fixed
https://github.com/Z3Prover/z3/issues/2391 Fixed
https://github.com/Z3Prover/z3/issues/2390 Fixed
https://github.com/Z3Prover/z3/issues/2376 Fixed
https://github.com/Z3Prover/z3/issues/2375 Fixed
https://github.com/Z3Prover/z3/issues/2372 Fixed
https://github.com/Z3Prover/z3/issues/2366 Fixed