Thu Oct 01 14:01 2009 Time and Allocation Profiling Report (Final) TestPM-Arith +RTS -p -RTS total time = 2.00 secs (100 ticks @ 20 ms) total alloc = 552,936,024 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc applyOne Common.Arith 23.0 2.4 exprGen Common.Arith 22.0 50.3 propGen Common.Arith 13.0 29.0 applyBin Common.Arith 8.0 2.5 hasDivisionByZero Common.Arith 5.0 3.3 somewhereExpr Common.Arith 4.0 0.2 rules PM.Arith.Rules 3.0 0.0 somewhereProp Common.Arith 3.0 0.2 eqDifferent PM.Arith.Rules 2.0 0.0 liftToProp Common.Arith 2.0 1.9 isSolvedEq Common.Arith 2.0 0.0 eqGen Common.Arith 2.0 3.6 hasVaria Common.Arith 1.0 1.2 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF PM.Arith.Test 194 4 0.0 0.0 61.0 15.3 main PM.Arith.Test 200 1 0.0 0.0 61.0 15.3 solve Common.Arith 205 10000 0.0 0.0 58.0 14.6 applyOne Common.Arith 206 937466 23.0 2.4 58.0 14.6 timesZeroRight PM.Arith.Rules 306 297992 1.0 0.0 1.0 0.0 timesZeroLeft PM.Arith.Rules 305 298207 0.0 0.0 0.0 0.0 coverPowerOdd PM.Arith.Rules 289 69323 0.0 0.2 0.0 0.3 isOdd Common.Arith 291 4898 0.0 0.1 0.0 0.1 hasVaria Common.Arith 290 16937 0.0 0.0 0.0 0.0 coverDivRight PM.Arith.Rules 283 79657 1.0 0.1 1.0 0.2 hasVaria Common.Arith 284 35585 0.0 0.1 0.0 0.1 coverDivLeft PM.Arith.Rules 280 89511 0.0 0.1 0.0 0.2 hasVaria Common.Arith 281 33990 0.0 0.1 0.0 0.1 coverTimesRight PM.Arith.Rules 279 99502 0.0 0.1 0.0 0.2 hasVaria Common.Arith 292 34741 0.0 0.1 0.0 0.1 coverTimesLeft PM.Arith.Rules 278 109379 0.0 0.1 0.0 0.2 hasVaria Common.Arith 282 37383 0.0 0.1 0.0 0.1 coverMinRight PM.Arith.Rules 277 119674 1.0 0.1 1.0 0.2 hasVaria Common.Arith 288 35615 0.0 0.1 0.0 0.1 noVaria Common.Arith 286 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 287 10295 0.0 0.0 0.0 0.0 coverMinLeft PM.Arith.Rules 276 129895 0.0 0.1 0.0 0.3 noVaria Common.Arith 296 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 297 10221 0.0 0.0 0.0 0.0 hasVaria Common.Arith 285 45864 0.0 0.1 0.0 0.1 coverPlusRight PM.Arith.Rules 275 139958 0.0 0.1 0.0 0.2 hasVaria Common.Arith 295 35299 0.0 0.1 0.0 0.1 noVaria Common.Arith 293 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 294 10063 0.0 0.0 0.0 0.0 coverPlusLeft PM.Arith.Rules 271 150094 0.0 0.1 0.0 0.3 noVaria Common.Arith 273 0 0.0 0.0 0.0 0.0 hasVaria Common.Arith 274 10136 0.0 0.0 0.0 0.0 hasVaria Common.Arith 272 45587 0.0 0.1 0.0 0.1 notFalse PM.Arith.Rules 249 412697 0.0 0.0 0.0 0.0 notTrue PM.Arith.Rules 248 413956 1.0 0.0 1.0 0.0 orFalseRight PM.Arith.Rules 247 415989 0.0 0.0 0.0 0.0 orFalseLeft PM.Arith.Rules 246 418412 1.0 0.0 1.0 0.0 orTrueRight PM.Arith.Rules 245 420813 0.0 0.0 0.0 0.0 orTrueLeft PM.Arith.Rules 244 423548 0.0 0.0 0.0 0.0 andFalseRight PM.Arith.Rules 243 425538 0.0 0.0 0.0 0.0 andFalseLeft PM.Arith.Rules 242 427965 1.0 0.0 1.0 0.0 andTrueRight PM.Arith.Rules 241 430389 1.0 0.0 1.0 0.0 andTrueLeft PM.Arith.Rules 240 433159 0.0 0.0 0.0 0.0 eqDifferent PM.Arith.Rules 239 433235 2.0 0.0 2.0 0.0 eqSame PM.Arith.Rules 238 433237 0.0 0.0 0.0 0.1 ==_aaH4 Common.Arith 259 210329 0.0 0.1 0.0 0.1 divisionByZero PM.Arith.Rules 237 433534 1.0 0.8 6.0 4.2 hasDivisionByZero Common.Arith 256 1914814 5.0 3.3 5.0 3.3 coverPowerEven PM.Arith.Rules 236 439243 0.0 0.5 0.0 0.8 isEven Common.Arith 270 12588 0.0 0.3 0.0 0.3 hasVaria Common.Arith 269 47745 0.0 0.1 0.0 0.1 rules PM.Arith.Rules 233 0 3.0 0.0 20.0 5.1 somewhereExpr Common.Arith 304 59162 4.0 0.2 7.0 0.2 applyD Common.Arith 311 130 0.0 0.0 0.0 0.0 applyBin Common.Arith 307 119524 3.0 0.0 3.0 0.0 liftToEq Common.Arith 303 29581 0.0 0.2 0.0 0.2 liftToProp Common.Arith 261 50673 2.0 1.9 4.0 4.1 applyBin Common.Arith 262 134848 2.0 2.2 2.0 2.2 somewhereProp Common.Arith 234 49921 3.0 0.2 6.0 0.6 applyD Common.Arith 260 36833 0.0 0.1 0.0 0.1 applyBin Common.Arith 253 165106 3.0 0.3 3.0 0.3 isSolved Common.Arith 204 56853 0.0 0.1 3.0 0.7 isSolvedEq Common.Arith 308 27438 2.0 0.0 3.0 0.6 noVaria Common.Arith 309 0 0.0 0.1 1.0 0.6 hasVaria Common.Arith 310 249005 1.0 0.5 1.0 0.5 CAF GHC.ConsoleHandler 192 2 0.0 0.0 0.0 0.0 CAF GHC.Float 165 1 0.0 0.0 0.0 0.0 CAF GHC.Int 154 1 0.0 0.0 0.0 0.0 CAF GHC.Handle 139 2 0.0 0.0 0.0 0.0 CAF Common.Arith 114 38 0.0 0.0 39.0 84.7 noVaria Common.Arith 266 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 267 1 0.0 0.0 0.0 0.0 constGen Common.Arith 217 1 0.0 0.0 0.0 0.0 repeatM Common.Arith 203 1 0.0 1.0 38.0 84.6 formula Common.Arith 251 0 1.0 0.0 38.0 83.6 propGen Common.Arith 252 56163 13.0 29.0 37.0 83.6 eqGen Common.Arith 254 33697 2.0 3.6 24.0 54.6 constGen Common.Arith 258 0 0.0 0.2 0.0 0.2 exprGen Common.Arith 255 157451 22.0 50.3 22.0 50.9 constGen Common.Arith 257 0 0.0 0.6 0.0 0.6 formula Common.Arith 202 1 0.0 0.0 0.0 0.0 propGen Common.Arith 209 9 0.0 0.0 0.0 0.0 eqGen Common.Arith 213 5 0.0 0.0 0.0 0.0 constGen Common.Arith 232 0 0.0 0.0 0.0 0.0 exprGen Common.Arith 214 18 0.0 0.0 0.0 0.0 constGen Common.Arith 231 0 0.0 0.0 0.0 0.0 formulas Common.Arith 201 1 1.0 0.1 1.0 0.1 CAF System.CPUTime 106 1 0.0 0.0 0.0 0.0 CAF PM.Arith.Rules 101 19 0.0 0.0 0.0 0.0 rules PM.Arith.Rules 207 1 0.0 0.0 0.0 0.0 somewhereExpr Common.Arith 299 2 0.0 0.0 0.0 0.0 applyBin Common.Arith 302 5 0.0 0.0 0.0 0.0 liftToEq Common.Arith 298 1 0.0 0.0 0.0 0.0 liftToProp Common.Arith 250 2 0.0 0.0 0.0 0.0 applyOne Common.Arith 211 31 0.0 0.0 0.0 0.0 timesZeroRight PM.Arith.Rules 301 12 0.0 0.0 0.0 0.0 timesZeroLeft PM.Arith.Rules 300 12 0.0 0.0 0.0 0.0 coverPlusRight PM.Arith.Rules 265 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 268 7 0.0 0.0 0.0 0.0 coverPlusLeft PM.Arith.Rules 263 1 0.0 0.0 0.0 0.0 hasVaria Common.Arith 264 1 0.0 0.0 0.0 0.0 notFalse PM.Arith.Rules 230 12 0.0 0.0 0.0 0.0 notTrue PM.Arith.Rules 229 13 0.0 0.0 0.0 0.0 orFalseRight PM.Arith.Rules 228 14 0.0 0.0 0.0 0.0 orFalseLeft PM.Arith.Rules 227 15 0.0 0.0 0.0 0.0 orTrueRight PM.Arith.Rules 226 15 0.0 0.0 0.0 0.0 orTrueLeft PM.Arith.Rules 225 15 0.0 0.0 0.0 0.0 andFalseRight PM.Arith.Rules 224 17 0.0 0.0 0.0 0.0 andFalseLeft PM.Arith.Rules 223 18 0.0 0.0 0.0 0.0 andTrueRight PM.Arith.Rules 222 18 0.0 0.0 0.0 0.0 andTrueLeft PM.Arith.Rules 221 18 0.0 0.0 0.0 0.0 eqDifferent PM.Arith.Rules 220 18 0.0 0.0 0.0 0.0 eqSame PM.Arith.Rules 218 18 0.0 0.0 0.0 0.0 ==_aaH4 Common.Arith 219 5 0.0 0.0 0.0 0.0 divisionByZero PM.Arith.Rules 215 18 0.0 0.0 0.0 0.0 hasDivisionByZero Common.Arith 216 36 0.0 0.0 0.0 0.0 coverPowerEven PM.Arith.Rules 212 18 0.0 0.0 0.0 0.0 somewhereProp Common.Arith 208 1 0.0 0.0 0.0 0.0 applyD Common.Arith 235 5 0.0 0.0 0.0 0.0 applyBin Common.Arith 210 7 0.0 0.0 0.0 0.0