Index: benchmark/baselines/x86/schedint.csv
===================================================================
--- benchmark/baselines/x86/schedint.csv	(revision 4aac9ffe1aa65f199a4072676c0db437b8fa5539)
+++ benchmark/baselines/x86/schedint.csv	(revision 4aac9ffe1aa65f199a4072676c0db437b8fa5539)
@@ -0,0 +1,2 @@
+schedint-2,schedext-1,schedext-2,schedint-1
+532.5297959183672,413.3084897959184,506.7579591836735,423.78826530612247
Index: benchmark/baselines/x86/signal.csv
===================================================================
--- benchmark/baselines/x86/signal.csv	(revision c6f1f3ebf65fd583f3f052ae0aed817e4ce7f4fc)
+++ 	(revision )
@@ -1,2 +1,0 @@
-signal-2,waitfor-1,waitfor-2,signal-1
-532.5297959183672,413.3084897959184,506.7579591836735,423.78826530612247