Maintain test execution performance with newer CaDiCaL versions #382

Job	Run time
benchcomp-tests	3m 56s
perf	29m 53s
documentation	2m 7s
regression (macos-13)	27m 42s
write-json-symtab-regression	14m 58s
regression (ubuntu-20.04)	22m 25s
regression (ubuntu-22.04)	23m 51s
regression (macos-14)	19m 5s
	2h 23m 57s

Provide feedback