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 1 threads as specified
c [parfail] all 1 threads created
c [parfail] all 1 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 176059990 (21.77 millions per second)
c [parfail] decisions 1816700 (96.9 propagations per decisions)
c [parfail] conflicts 2026 (896.7 decisions per conflict)
c [parfail] learned 2026 (100% learned unit clauses per conflict)
c [parfail] implied 5096 (2.5 per learned unit clause)
c [parfail] 
c [parfail] process time 8.087 seconds
c [parfail] wall clock time 8.087 seconds
c [parfail] utilization 100% for 1 threads
