Thu Oct 01 14:01 2009 Time and Allocation Profiling Report (Final) TestPM-DNF3 +RTS -p -RTS total time = 10.70 secs (535 ticks @ 20 ms) total alloc = 3,060,868,364 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc one Common.Once 17.4 20.7 <|> Common.DNF 16.6 25.2 arbLogic Common.LogicGenerator 15.0 27.6 alternatives Common.DNF 11.2 0.0 somewhere Common.Once 9.5 11.6 tick Common.DNF 9.3 0.0 oneTD Common.Once 3.7 2.2 conRules Common.DNF 3.2 0.0 counting Common.DNF 3.0 6.0 disRules Common.DNF 1.5 0.0 <*> Common.DNF 1.3 3.0 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.DNF3.Test 230 5 0.0 0.0 83.4 70.8 nr PM.DNF3.Test 237 1 0.0 0.0 0.0 0.0 main PM.DNF3.Test 236 1 0.4 0.1 83.4 70.8 isDNF Common.Logic 297 0 0.6 0.4 0.7 1.0 isAtomic Common.Logic 371 272153 0.0 0.0 0.0 0.0 conjunctions Common.Logic 370 436765 0.2 0.4 0.2 0.4 disjunctions Common.Logic 298 199843 0.0 0.2 0.0 0.2 runStrategy Common.DNF 243 50000 0.0 0.0 0.0 0.0 dnf PM.DNF3.Test 242 50000 0.0 0.0 82.2 69.7 dnf3 Common.DNF 299 0 0.2 0.0 82.2 69.6 somewhere Common.DNF 362 0 0.0 0.0 22.4 25.3 once Common.Once 363 193637 0.0 0.1 22.4 25.3 somewhere Common.Once 364 7866463 9.3 11.4 22.4 25.3 one Common.Once 369 7722825 13.1 13.9 13.1 13.9 alternatives Common.DNF 343 0 6.2 0.0 27.1 18.9 <|> Common.DNF 344 13920668 11.0 14.9 20.9 18.9 disRules Common.DNF 365 0 1.5 0.0 5.4 2.3 tick Common.DNF 366 7866463 2.2 0.0 3.9 2.3 ruleAndOverOr PM.Rules 368 7866463 0.9 0.2 0.9 0.2 counting Common.DNF 367 7866463 0.7 2.1 0.7 2.1 notRules Common.DNF 350 0 0.7 0.0 3.2 1.2 tick Common.DNF 351 4334441 1.3 0.0 2.4 1.2 ruleNotNot PM.Rules 355 1407113 0.2 0.0 0.2 0.0 ruleDeMorganOr PM.Rules 354 1448027 0.2 0.1 0.2 0.1 ruleDeMorganAnd PM.Rules 353 1479301 0.0 0.0 0.0 0.0 counting Common.DNF 352 4334441 0.7 1.1 0.7 1.1 defRules Common.DNF 345 0 0.6 0.0 1.3 0.5 tick Common.DNF 346 1719764 0.6 0.0 0.7 0.5 ruleDefEquiv PM.Rules 349 840568 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 348 879196 0.0 0.0 0.0 0.0 counting Common.DNF 347 1719764 0.2 0.4 0.2 0.4 oneBU Common.Once 340 959574 0.4 0.9 0.7 2.5 one Common.Once 342 959574 0.4 1.6 0.4 1.6 +> Common.Once 341 959574 0.0 0.0 0.0 0.0 oneTD Common.Once 307 2546211 3.7 2.2 29.5 18.9 one Common.Once 325 2256363 3.6 4.9 3.6 4.9 alternatives Common.DNF 309 0 4.7 0.0 22.1 11.8 <|> Common.DNF 310 8856937 4.7 9.4 17.4 11.8 conRules Common.DNF 311 0 3.2 0.0 12.7 2.4 tick Common.DNF 312 8856937 5.2 0.0 9.5 2.4 ruleTrueInImpl PM.Rules 324 921837 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 323 935912 0.2 0.0 0.2 0.0 ruleTrueInEquiv PM.Rules 322 942884 0.6 0.0 0.6 0.0 ruleFalseInEquiv PM.Rules 321 949102 0.4 0.0 0.4 0.0 ruleNotBoolConst PM.Rules 320 976379 0.2 0.0 0.2 0.0 ruleFalseZeroAnd PM.Rules 319 996666 0.2 0.0 0.2 0.0 ruleTrueZeroAnd PM.Rules 318 1021751 0.9 0.0 0.9 0.0 ruleTrueZeroOr PM.Rules 317 1045496 0.2 0.0 0.2 0.0 ruleFalseZeroOr PM.Rules 314 1066910 0.4 0.0 0.4 0.0 counting Common.DNF 313 8856937 1.3 2.3 1.3 2.3 +> Common.Once 308 2546211 0.2 0.0 0.2 0.0 repeat Common.DNF 301 0 0.0 0.0 1.5 3.6 many Common.DNF 303 0 0.0 0.0 1.1 2.6 <|> Common.DNF 304 448497 0.6 0.8 1.1 2.6 <*> Common.DNF 305 243493 0.6 1.8 0.6 1.8 <*> Common.DNF 302 201991 0.0 0.7 0.4 1.1 notS Common.DNF 306 443741 0.4 0.3 0.4 0.3 <*> Common.DNF 300 151784 0.7 0.4 0.7 0.4 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 15.3 28.5 arbLogic Common.LogicGenerator 261 1 0.0 0.0 0.0 0.0 arbitrary_arOm Common.LogicGenerator 260 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.4 0.9 15.3 28.4 arbitrary_arOm Common.LogicGenerator 315 0 0.0 0.0 15.0 27.6 arbLogic Common.LogicGenerator 316 0 15.0 27.6 15.0 27.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 296 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 295 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 1.3 0.8 reportTick Common.DNF 381 1 0.0 0.0 0.0 0.0 disRules Common.DNF 290 1 0.0 0.0 0.0 0.0 tick Common.DNF 291 1 0.0 0.0 0.0 0.0 ruleAndOverOr PM.Rules 293 1 0.0 0.0 0.0 0.0 counting Common.DNF 292 1 0.0 0.0 0.0 0.0 notRules Common.DNF 281 1 0.0 0.0 0.0 0.0 tick Common.DNF 282 3 0.0 0.0 0.0 0.0 ruleNotNot PM.Rules 286 1 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 285 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd PM.Rules 284 1 0.0 0.0 0.0 0.0 counting Common.DNF 283 3 0.0 0.0 0.0 0.0 defRules Common.DNF 275 1 0.0 0.0 0.0 0.0 tick Common.DNF 277 2 0.0 0.0 0.0 0.0 ruleDefEquiv PM.Rules 280 1 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 279 1 0.0 0.0 0.0 0.0 counting Common.DNF 278 2 0.0 0.0 0.0 0.0 conRules Common.DNF 255 1 0.0 0.0 0.0 0.0 tick Common.DNF 257 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 259 1 0.0 0.0 0.0 0.0 counting Common.DNF 258 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 254 1 0.0 0.0 0.0 0.0 <|> Common.DNF 256 9 0.0 0.0 0.0 0.0 dnf3 Common.DNF 244 1 0.0 0.0 1.3 0.8 somewhere Common.DNF 287 1 0.0 0.0 0.6 0.6 once Common.Once 288 233 0.0 0.0 0.6 0.6 somewhere Common.Once 289 176371 0.2 0.3 0.6 0.6 one Common.Once 294 176139 0.4 0.3 0.4 0.3 alternatives Common.DNF 274 0 0.4 0.0 0.7 0.2 <|> Common.DNF 276 177301 0.4 0.2 0.4 0.2 disRules Common.DNF 377 0 0.0 0.0 0.0 0.0 tick Common.DNF 378 176370 0.0 0.0 0.0 0.0 ruleAndOverOr PM.Rules 380 176370 0.0 0.0 0.0 0.0 counting Common.DNF 379 176370 0.0 0.0 0.0 0.0 defRules Common.DNF 372 0 0.0 0.0 0.0 0.0 tick Common.DNF 373 126 0.0 0.0 0.0 0.0 ruleDefEquiv PM.Rules 376 62 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 375 64 0.0 0.0 0.0 0.0 counting Common.DNF 374 126 0.0 0.0 0.0 0.0 notRules Common.DNF 356 0 0.0 0.0 0.0 0.0 tick Common.DNF 357 799 0.0 0.0 0.0 0.0 ruleNotNot PM.Rules 361 265 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 360 265 0.0 0.0 0.0 0.0 ruleDeMorganAnd PM.Rules 359 269 0.0 0.0 0.0 0.0 counting Common.DNF 358 799 0.0 0.0 0.0 0.0 oneBU Common.Once 271 69 0.0 0.0 0.0 0.0 one Common.Once 273 69 0.0 0.0 0.0 0.0 +> Common.Once 272 69 0.0 0.0 0.0 0.0 oneTD Common.Once 252 309 0.0 0.0 0.0 0.0 alternatives Common.DNF 326 0 0.0 0.0 0.0 0.0 <|> Common.DNF 327 305 0.0 0.0 0.0 0.0 conRules Common.DNF 328 0 0.0 0.0 0.0 0.0 tick Common.DNF 329 305 0.0 0.0 0.0 0.0 ruleTrueInImpl PM.Rules 339 31 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 338 32 0.0 0.0 0.0 0.0 ruleTrueInEquiv PM.Rules 337 32 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 336 32 0.0 0.0 0.0 0.0 ruleNotBoolConst PM.Rules 335 33 0.0 0.0 0.0 0.0 ruleFalseZeroAnd PM.Rules 334 34 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 333 35 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 332 38 0.0 0.0 0.0 0.0 ruleFalseZeroOr PM.Rules 331 38 0.0 0.0 0.0 0.0 counting Common.DNF 330 305 0.0 0.0 0.0 0.0 one Common.Once 270 291 0.0 0.0 0.0 0.0 +> Common.Once 253 309 0.0 0.0 0.0 0.0 repeat Common.DNF 246 4 0.0 0.0 0.0 0.0 many Common.DNF 248 286 0.0 0.0 0.0 0.0 <|> Common.DNF 249 289 0.0 0.0 0.0 0.0 <*> Common.DNF 250 252 0.0 0.0 0.0 0.0 <*> Common.DNF 247 4 0.0 0.0 0.0 0.0 notS Common.DNF 251 4 0.0 0.0 0.0 0.0 <*> Common.DNF 245 3 0.0 0.0 0.0 0.0