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 5 threads as specified
c [parfail] all 5 threads created
c [parfail] all 5 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 12002405 (0.85 millions per second)
c [parfail] decisions 197566 (60.8 propagations per decisions)
c [parfail] conflicts 35 (0.0 decisions per conflict)
c [parfail] learned 35 (100% learned unit clauses per conflict)
c [parfail] implied 98 (2.8 per learned unit clause)
c [parfail] 
c [parfail] process time 14.142 seconds
c [parfail] wall clock time 14.142 seconds
c [parfail] utilization 95% for 5 threads
