Maintain test execution performance with newer CaDiCaL versions #7469

Job	Run time
benchcomp-tests	3m 48s
regression (macos-13)	24m 46s
write-json-symtab-regression	13m 55s
regression (ubuntu-20.04)	23m 10s
regression (ubuntu-22.04)	24m 4s
documentation	2m 0s
perf	28m 37s
regression (macos-14)	19m 26s
	2h 19m 46s

Provide feedback