Bug: Unknown-Err on certain programs with AssertionErrors + Exceptions in Log

[blizzard4591]

Dear Symbiotic team,

I was running a large homogeneous benchmark set against Symbiotic and on some instances, Symbiotic would quickly answer unknown-err - to me it is unclear whether this is intentional (not strong enough, etc.) or whether this is an internal problem.

I was using the version submitted to SV-COMP23 - you can find the program and logs attached:
CodeModifications_Release.Req1_Prop1_Batch120dependencies.yml.log
Req1_Prop1_Batch120dependencies.zip

Environment was the SV-COMP23 container image + Benchexec.

If you need more examples, more information, etc. please do not hesitate to ask!