Thu Oct 01 14:01 2009 Time and Allocation Profiling Report (Final) TestPM-DNF4 +RTS -p -RTS total time = 10.38 secs (519 ticks @ 20 ms) total alloc = 3,818,440,908 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc arbLogic Common.LogicGenerator 29.5 48.6 <|> Common.DNF 20.4 20.3 tick Common.DNF 11.4 0.0 alternatives Common.DNF 8.5 0.0 <*> Common.DNF 4.0 6.7 fullBU Common.Once 3.1 3.8 full Common.Once 2.9 4.8 fullTD Common.Once 2.7 4.5 notS Common.DNF 2.5 3.4 conRules Common.DNF 2.3 0.0 counting Common.DNF 1.9 4.0 isDNF Common.Logic 1.3 0.6 repeatM Common.LogicGenerator 1.3 1.4 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.DNF4.Test 230 5 0.0 0.0 69.2 49.9 nr PM.DNF4.Test 237 1 0.0 0.0 0.0 0.0 main PM.DNF4.Test 236 1 0.4 0.1 69.2 49.9 isDNF Common.Logic 298 0 1.3 0.6 2.3 1.7 isAtomic Common.Logic 367 547090 0.2 0.0 0.2 0.0 conjunctions Common.Logic 366 878011 0.6 0.7 0.6 0.7 disjunctions Common.Logic 299 401601 0.2 0.4 0.2 0.4 runStrategy Common.DNF 243 100000 0.2 0.0 0.2 0.0 dnf PM.DNF4.Test 242 100000 0.2 0.0 66.3 48.2 dnf4 Common.DNF 300 0 0.0 0.0 66.1 48.1 try Common.DNF 359 0 0.0 0.0 3.1 3.0 <|> Common.DNF 360 1901060 2.3 0.9 3.1 3.0 notS Common.DNF 361 1755366 0.8 2.1 0.8 2.1 alternatives Common.DNF 350 0 4.0 0.0 15.0 7.1 <|> Common.DNF 351 6224842 6.2 5.5 11.0 7.1 disRules Common.DNF 362 0 0.6 0.0 3.7 0.9 tick Common.DNF 363 3634402 1.5 0.0 3.1 0.9 ruleAndOverOr PM.Rules 365 3634402 1.0 0.2 1.0 0.2 counting Common.DNF 364 3634402 0.6 0.8 0.6 0.8 notRules Common.DNF 352 0 0.0 0.0 1.2 0.7 tick Common.DNF 353 2590440 0.4 0.0 1.2 0.7 ruleNotNot PM.Rules 357 786894 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 356 870112 0.4 0.1 0.4 0.1 ruleDeMorganAnd PM.Rules 355 933434 0.0 0.1 0.0 0.1 counting Common.DNF 354 2590440 0.4 0.5 0.4 0.5 fullTD Common.Once 349 1879036 2.7 4.5 4.0 7.2 full Common.Once 358 1879036 1.3 2.6 1.3 2.6 repeat Common.DNF 306 0 0.0 0.0 38.3 23.6 many Common.DNF 308 0 0.0 0.0 6.9 6.3 <|> Common.DNF 309 3426318 3.5 4.1 6.9 6.3 defRules Common.DNF 345 0 0.0 0.0 0.0 0.1 tick Common.DNF 346 82620 0.0 0.0 0.0 0.1 ruleDefEquiv PM.Rules 368 18493 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 348 64127 0.0 0.0 0.0 0.0 counting Common.DNF 347 82620 0.0 0.0 0.0 0.0 alternatives Common.DNF 336 0 0.4 0.0 0.4 0.0 conRules Common.DNF 332 0 0.2 0.0 1.9 0.3 tick Common.DNF 333 1358296 1.3 0.0 1.7 0.3 ruleTrueInImpl PM.Rules 344 81040 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 343 97408 0.2 0.0 0.2 0.0 ruleTrueInEquiv PM.Rules 342 104650 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 341 111919 0.0 0.0 0.0 0.0 ruleNotBoolConst PM.Rules 340 143001 0.0 0.0 0.0 0.0 ruleFalseZeroAnd PM.Rules 339 164454 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 338 193373 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 337 218727 0.0 0.0 0.0 0.0 ruleFalseZeroOr PM.Rules 335 243724 0.0 0.0 0.0 0.0 counting Common.DNF 334 1358296 0.2 0.3 0.2 0.3 <*> Common.DNF 310 374412 0.8 1.8 1.2 1.8 alternatives Common.DNF 331 0 0.4 0.0 0.4 0.0 <*> Common.DNF 307 1608184 2.3 3.6 31.4 17.3 notS Common.DNF 311 1964079 1.7 1.3 29.1 13.7 alternatives Common.DNF 312 0 3.7 0.0 27.4 12.4 <|> Common.DNF 313 11534615 8.5 9.8 23.7 12.4 defRules Common.DNF 326 0 0.8 0.0 1.9 0.5 tick Common.DNF 327 1917838 0.8 0.0 1.2 0.5 ruleDefEquiv PM.Rules 330 936102 0.2 0.0 0.2 0.0 ruleDefImpl PM.Rules 329 981736 0.2 0.0 0.2 0.0 counting Common.DNF 328 1917838 0.0 0.4 0.0 0.4 conRules Common.DNF 314 0 2.1 0.0 13.3 2.1 tick Common.DNF 315 9616777 7.3 0.0 11.2 2.1 ruleTrueInImpl PM.Rules 325 998649 0.2 0.0 0.2 0.0 ruleFalseInImpl PM.Rules 324 1015017 0.4 0.0 0.4 0.0 ruleTrueInEquiv PM.Rules 323 1022259 0.2 0.0 0.2 0.0 ruleFalseInEquiv PM.Rules 322 1029528 0.2 0.0 0.2 0.0 ruleNotBoolConst PM.Rules 321 1060610 0.2 0.0 0.2 0.0 ruleFalseZeroAnd PM.Rules 320 1082063 0.4 0.0 0.4 0.0 ruleTrueZeroAnd PM.Rules 319 1110982 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 318 1136336 0.6 0.0 0.6 0.0 ruleFalseZeroOr PM.Rules 317 1161333 1.0 0.0 1.0 0.0 counting Common.DNF 316 9616777 0.8 2.0 0.8 2.0 fullBU Common.Once 302 1589667 3.1 3.8 4.6 6.0 full Common.Once 303 1589667 1.5 2.1 1.5 2.1 <*> Common.DNF 301 1515594 1.0 1.3 1.0 1.3 CAF GHC.ConsoleHandler 228 2 0.0 0.0 0.0 0.0 CAF GHC.Float 201 1 0.0 0.0 0.0 0.0 CAF GHC.Int 190 1 0.0 0.0 0.0 0.0 CAF GHC.Handle 175 2 0.0 0.0 0.0 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 30.8 50.1 arbLogic Common.LogicGenerator 249 1 0.0 0.0 0.0 0.0 arbitrary_arOm Common.LogicGenerator 248 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 1.3 1.4 30.8 50.1 arbitrary_arOm Common.LogicGenerator 304 0 0.0 0.0 29.5 48.6 arbLogic Common.LogicGenerator 305 0 29.5 48.6 29.5 48.6 formula Common.LogicGenerator 238 1 0.0 0.0 0.0 0.0 CAF Common.Logic 149 1 0.0 0.0 0.0 0.0 isDNF Common.Logic 240 1 0.0 0.0 0.0 0.0 isAtomic Common.Logic 297 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 296 1 0.0 0.0 0.0 0.0 disjunctions Common.Logic 241 1 0.0 0.0 0.0 0.0 CAF System.CPUTime 127 1 0.0 0.0 0.0 0.0 CAF Common.DNF 122 7 0.0 0.0 0.0 0.0 reportTick Common.DNF 369 1 0.0 0.0 0.0 0.0 disRules Common.DNF 288 1 0.0 0.0 0.0 0.0 tick Common.DNF 289 1 0.0 0.0 0.0 0.0 ruleAndOverOr PM.Rules 291 1 0.0 0.0 0.0 0.0 counting Common.DNF 290 1 0.0 0.0 0.0 0.0 notRules Common.DNF 277 1 0.0 0.0 0.0 0.0 tick Common.DNF 279 3 0.0 0.0 0.0 0.0 ruleNotNot PM.Rules 283 1 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 282 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd PM.Rules 281 1 0.0 0.0 0.0 0.0 counting Common.DNF 280 3 0.0 0.0 0.0 0.0 defRules Common.DNF 270 1 0.0 0.0 0.0 0.0 tick Common.DNF 271 2 0.0 0.0 0.0 0.0 ruleDefEquiv PM.Rules 274 1 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 273 1 0.0 0.0 0.0 0.0 counting Common.DNF 272 2 0.0 0.0 0.0 0.0 conRules Common.DNF 257 1 0.0 0.0 0.0 0.0 tick Common.DNF 259 9 0.0 0.0 0.0 0.0 ruleTrueInImpl PM.Rules 269 1 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 268 1 0.0 0.0 0.0 0.0 ruleTrueInEquiv PM.Rules 267 1 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 266 1 0.0 0.0 0.0 0.0 ruleNotBoolConst PM.Rules 265 1 0.0 0.0 0.0 0.0 ruleFalseZeroAnd PM.Rules 264 1 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 263 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 262 1 0.0 0.0 0.0 0.0 ruleFalseZeroOr PM.Rules 261 1 0.0 0.0 0.0 0.0 counting Common.DNF 260 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 256 1 0.0 0.0 0.0 0.0 <|> Common.DNF 258 11 0.0 0.0 0.0 0.0 dnf4 Common.DNF 244 1 0.0 0.0 0.0 0.0 try Common.DNF 285 0 0.0 0.0 0.0 0.0 <|> Common.DNF 286 10 0.0 0.0 0.0 0.0 notS Common.DNF 287 10 0.0 0.0 0.0 0.0 alternatives Common.DNF 276 0 0.0 0.0 0.0 0.0 <|> Common.DNF 278 23 0.0 0.0 0.0 0.0 disRules Common.DNF 292 0 0.0 0.0 0.0 0.0 tick Common.DNF 293 19 0.0 0.0 0.0 0.0 ruleAndOverOr PM.Rules 295 19 0.0 0.0 0.0 0.0 counting Common.DNF 294 19 0.0 0.0 0.0 0.0 fullTD Common.Once 275 10 0.0 0.0 0.0 0.0 full Common.Once 284 10 0.0 0.0 0.0 0.0 repeat Common.DNF 250 2 0.0 0.0 0.0 0.0 many Common.DNF 252 6 0.0 0.0 0.0 0.0 <|> Common.DNF 253 6 0.0 0.0 0.0 0.0 <*> Common.DNF 254 0 0.0 0.0 0.0 0.0 <*> Common.DNF 251 2 0.0 0.0 0.0 0.0 notS Common.DNF 255 2 0.0 0.0 0.0 0.0 fullBU Common.Once 246 2 0.0 0.0 0.0 0.0 full Common.Once 247 2 0.0 0.0 0.0 0.0 <*> Common.DNF 245 4 0.0 0.0 0.0 0.0