More checks for delayed delete by DRUP
Fixing delayed delete by DRUP here
Making stringify const
Checking final conflict for sanity by the regression tester
Better printing of solving time by tester
Fixing a typo, should have called the function
Fixing output: we should have used [intree], not [probe]
Forgot to add to DRUP the failed literals during intree checking
If DRUP is enabled, we cannot use components, let's check for this
If DRUP is on, we cannot time-out on hyper-bin
Test it's impossible that we timed out on hyper while DRUP is enabled