Hi C-Reduce-Team, hi Yang, hi Eric,
I found another one :) (That's a good thing, 'cause your tool is useful!)
I took the liberty to attach all inputs, not just the case that caused issues. The original source code is from a Stackoverflow Question, so not confidential in any way. Please find below some info about the C-Reduce version and the machine.
All the best to you in those difficult times.
Best regards
Christoph
$creduce --version
creduce 2.9.0 (unknown)
(Installed via "sudo apt install creduce" on the latest Debian available on GCP.)
Machine:
$uname --all
Linux micro-us-1 4.19.0-8-cloud-amd64 #1 SMP Debian 4.19.98-1 (2020-01-26) x86_64 GNU/Linux