summaryrefslogtreecommitdiff
path: root/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf
blob: b7cf81ae360b84eb6106b00fd8e97cbe59d0602e (plain) 
1
2
3
4
5
6
7
8
9
10
11

To 'connect' to already running instance
========================================
perf top

But MUCH better results are achievable
========================================
Run cryptoms and record its profile into perf.data :
perf record ./cryptominisat satfile.cnf

Read perf.data and display profile: 
perf report
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback