Skip to content

Instantly share code, notes, and snippets.

Martin Hořeňovský horenmar

Block or report user

Report or block horenmar

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
horenmar / .txt
Created Feb 1, 2018
perf output from cmsat
View .txt
# To display the 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.