John Bender
Results
22
comments of
John Bender
I didn't test all the possible logic values but for many of the quantifier free options using the `SetLogic` solver option significantly increases the execution time (~4 seconds to ~24seconds).
Safe travels I hope it's an enjoyable trip! I'll keep hacking on my end and post here if I have anything useful to add.