c [parfail] Parfail Failed Literal Preprocessor
c [parfail] 
c [parfail] reading DIMACS file from '../examples/Mario-t-hard-2_c18.cnf.xz'
c [parfail] found 'p cnf 35945 1228400' header
c [parfail] found 27 original unit clauses
c [parfail] using 1 threads as specified
c [parfail] all 1 threads created
c [parfail] all 1 threads joined
c [parfail] removed 832 clauses (1227568 remain 100%)
c [parfail] formula not solved
c [parfail] 
c [parfail] not writing simplified CNF (use '-' to write to '<stdout>')
c [parfail] 
c [parfail] propagations 14505730 (0.25 millions per second)
c [parfail] decisions 222217 (65.3 propagations per decisions)
c [parfail] conflicts 34 (0.0 decisions per conflict)
c [parfail] learned 34 (100% learned unit clauses per conflict)
c [parfail] implied 98 (2.9 per learned unit clause)
c [parfail] 
c [parfail] process time 57.168 seconds
c [parfail] wall clock time 57.168 seconds
c [parfail] utilization 99% for 1 threads
