c [parfail] Parfail Failed Literal Preprocessor
c [parfail] 
c [parfail] reading DIMACS file from '../examples/slp-synthesis-aes-bottom18-sc2011.cnf.xz'
c [parfail] found 'p cnf 36410 121578' header
c [parfail] found 1 original unit clauses
c [parfail] using 2 threads as specified
c [parfail] all 2 threads created
c [parfail] all 2 threads joined
c [parfail] removed 21789 clauses (99789 remain 82%)
c [parfail] formula not solved
c [parfail] 
c [parfail] not writing simplified CNF (use '-' to write to '<stdout>')
c [parfail] 
c [parfail] propagations 187574342 (35.42 millions per second)
c [parfail] decisions 2174916 (86.2 propagations per decisions)
c [parfail] conflicts 2031 (1070.9 decisions per conflict)
c [parfail] learned 2030 (100% learned unit clauses per conflict)
c [parfail] implied 5096 (2.5 per learned unit clause)
c [parfail] 
c [parfail] process time 5.296 seconds
c [parfail] wall clock time 5.296 seconds
c [parfail] utilization 99% for 2 threads
