adding a trace#5

yoni206 wants to merge 3 commits into

mainyoni206/cvc5:mainfrom

fb_bench_instantiationyoni206/cvc5:fb_bench_instantiationCopy head branch name to clipboard