Skip to content

Instantly share code, notes, and snippets.

Martin Hořeňovský horenmar

View GitHub Profile
@horenmar
horenmar / .txt
Created Feb 1, 2018
perf output from cmsat
View .txt
# To display the perf.data header info, please use --header/--header-only options.
#
#
# Total Lost Samples: 0
#
# Samples: 80M of event 'cycles:pp'
# Event count (approx.): 74306856975301
#
# Children Self Command Shared Object Symbol
You can’t perform that action at this time.