--- /dev/null
+deserializersolvetest /scratch/satcheck/satproject/constraint_compiler/src/Benchmarks/dirk-new/dumps-noninc/1571092814928083769-mergesort-raytracer.dump
+Let's read clauses ...
+deserializing /scratch/satcheck/satproject/constraint_compiler/src/Benchmarks/dirk-new/dumps-noninc/1571092814928083769-mergesort-raytracer.dump ...
+Polarity time: 0.000041
+Preprocess time: 0.000486
+Setting UNSAT %%%
+Decompose Order: 0.002906
+Encoding Graph Time: 0.000084
+Elapse Encode time: 0.003519
+Is problem UNSAT after encoding: 1
+Result Computed in SAT solver: UNSAT
+CSOLVER solve time: 0.003520
+/scratch/satcheck/satproject/constraint_compiler/src/Benchmarks/dirk-new/dumps-noninc/1571092814928083769-mergesort-raytracer.dump is UNSAT