Thu Oct 01 14:00 2009 Time and Allocation Profiling Report (Final) TestPM-DNF2 +RTS -p -RTS total time = 10.70 secs (535 ticks @ 20 ms) total alloc = 3,103,628,640 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc <|> Common.DNF 19.1 24.6 one Common.Once 17.4 20.1 arbLogic Common.LogicGenerator 15.1 27.2 somewhere Common.Once 14.6 16.3 alternatives Common.DNF 10.3 0.0 tick Common.DNF 9.3 0.0 ruleAndOverOr PM.Rules 2.2 0.2 conRules Common.DNF 2.2 0.0 counting Common.DNF 1.3 5.9 <*> Common.DNF 1.3 3.0 notRules Common.DNF 1.1 0.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.DNF2.Test 230 5 0.0 0.0 83.7 71.2 nr PM.DNF2.Test 237 1 0.0 0.0 0.0 0.0 main PM.DNF2.Test 236 1 0.0 0.1 83.7 71.2 isDNF Common.Logic 291 0 0.4 0.4 0.7 1.0 isAtomic Common.Logic 359 272153 0.0 0.0 0.0 0.0 conjunctions Common.Logic 358 436765 0.0 0.4 0.0 0.4 disjunctions Common.Logic 292 199843 0.4 0.2 0.4 0.2 runStrategy Common.DNF 243 50000 0.0 0.0 0.0 0.0 dnf PM.DNF2.Test 242 50000 0.2 0.0 83.0 70.1 dnf2 Common.DNF 293 0 0.0 0.0 82.8 70.1 alternatives Common.DNF 335 0 7.3 0.0 30.3 18.3 <|> Common.DNF 336 13681648 12.7 14.4 23.0 18.3 disRules Common.DNF 354 0 0.6 0.0 5.2 2.2 tick Common.DNF 355 7866463 2.1 0.0 4.7 2.2 ruleAndOverOr PM.Rules 357 7866463 2.1 0.2 2.1 0.2 counting Common.DNF 356 7866463 0.6 2.0 0.6 2.0 notRules Common.DNF 342 0 1.1 0.0 4.1 1.2 tick Common.DNF 343 4334441 1.9 0.0 3.0 1.2 ruleNotNot PM.Rules 347 1407113 0.7 0.0 0.7 0.0 ruleDeMorganOr PM.Rules 346 1448027 0.0 0.1 0.0 0.1 ruleDeMorganAnd PM.Rules 345 1479301 0.2 0.0 0.2 0.0 counting Common.DNF 344 4334441 0.2 1.1 0.2 1.1 defRules Common.DNF 337 0 0.2 0.0 0.9 0.5 tick Common.DNF 338 1480744 0.6 0.0 0.7 0.5 ruleDefEquiv PM.Rules 341 718747 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 340 761997 0.2 0.0 0.2 0.0 counting Common.DNF 339 1480744 0.0 0.4 0.0 0.4 somewhere Common.DNF 301 0 0.0 0.0 50.3 47.7 once Common.Once 302 691856 0.2 0.2 50.3 47.7 somewhere Common.Once 303 11174671 14.4 16.1 50.1 47.5 one Common.Once 320 10682811 17.4 19.8 17.4 19.8 alternatives Common.DNF 304 0 3.0 0.0 18.3 11.6 <|> Common.DNF 305 8856937 6.2 9.3 15.3 11.6 conRules Common.DNF 306 0 2.2 0.0 9.2 2.3 tick Common.DNF 307 8856937 4.5 0.0 6.9 2.3 ruleTrueInImpl PM.Rules 319 921837 0.2 0.0 0.2 0.0 ruleFalseInImpl PM.Rules 318 935912 0.4 0.0 0.4 0.0 ruleTrueInEquiv PM.Rules 317 942884 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 316 949102 0.2 0.0 0.2 0.0 ruleNotBoolConst PM.Rules 315 976379 0.2 0.0 0.2 0.0 ruleFalseZeroAnd PM.Rules 314 996666 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 313 1021751 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 312 1045496 0.4 0.0 0.4 0.0 ruleFalseZeroOr PM.Rules 309 1066910 0.6 0.0 0.6 0.0 counting Common.DNF 308 8856937 0.6 2.3 0.6 2.3 repeat Common.DNF 295 0 0.0 0.0 2.2 3.6 many Common.DNF 297 0 0.0 0.0 1.1 2.6 <|> Common.DNF 298 452608 0.2 0.7 1.1 2.6 <*> Common.DNF 299 245803 0.9 1.8 0.9 1.8 <*> Common.DNF 296 201718 0.4 0.7 1.1 1.0 notS Common.DNF 300 446053 0.7 0.3 0.7 0.3 <*> Common.DNF 294 151805 0.0 0.4 0.0 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.5 28.1 arbLogic Common.LogicGenerator 262 1 0.0 0.0 0.0 0.0 arbitrary_arOm Common.LogicGenerator 261 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.4 0.9 15.5 28.1 arbitrary_arOm Common.LogicGenerator 310 0 0.0 0.0 15.1 27.2 arbLogic Common.LogicGenerator 311 0 15.1 27.2 15.1 27.2 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 290 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 289 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.7 0.8 reportTick Common.DNF 369 1 0.0 0.0 0.0 0.0 disRules Common.DNF 285 1 0.0 0.0 0.0 0.0 tick Common.DNF 286 1 0.0 0.0 0.0 0.0 ruleAndOverOr PM.Rules 288 1 0.0 0.0 0.0 0.0 counting Common.DNF 287 1 0.0 0.0 0.0 0.0 notRules Common.DNF 279 1 0.0 0.0 0.0 0.0 tick Common.DNF 280 3 0.0 0.0 0.0 0.0 ruleNotNot PM.Rules 284 1 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 283 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd PM.Rules 282 1 0.0 0.0 0.0 0.0 counting Common.DNF 281 3 0.0 0.0 0.0 0.0 defRules Common.DNF 273 1 0.0 0.0 0.0 0.0 tick Common.DNF 275 2 0.0 0.0 0.0 0.0 ruleDefEquiv PM.Rules 278 1 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 277 1 0.0 0.0 0.0 0.0 counting Common.DNF 276 2 0.0 0.0 0.0 0.0 conRules Common.DNF 256 1 0.0 0.0 0.0 0.0 tick Common.DNF 258 9 0.0 0.0 0.0 0.0 ruleTrueInImpl PM.Rules 270 1 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 269 1 0.0 0.0 0.0 0.0 ruleTrueInEquiv PM.Rules 268 1 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 267 1 0.0 0.0 0.0 0.0 ruleNotBoolConst PM.Rules 266 1 0.0 0.0 0.0 0.0 ruleFalseZeroAnd PM.Rules 265 1 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 264 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 263 1 0.0 0.0 0.0 0.0 ruleFalseZeroOr PM.Rules 260 1 0.0 0.0 0.0 0.0 counting Common.DNF 259 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 255 1 0.0 0.0 0.0 0.0 <|> Common.DNF 257 9 0.0 0.0 0.0 0.0 dnf2 Common.DNF 244 1 0.0 0.0 0.7 0.8 alternatives Common.DNF 272 0 0.0 0.0 0.6 0.2 <|> Common.DNF 274 177437 0.0 0.2 0.6 0.2 disRules Common.DNF 365 0 0.0 0.0 0.6 0.0 tick Common.DNF 366 176370 0.4 0.0 0.6 0.0 ruleAndOverOr PM.Rules 368 176370 0.2 0.0 0.2 0.0 counting Common.DNF 367 176370 0.0 0.0 0.0 0.0 defRules Common.DNF 360 0 0.0 0.0 0.0 0.0 tick Common.DNF 361 262 0.0 0.0 0.0 0.0 ruleDefEquiv PM.Rules 364 129 0.0 0.0 0.0 0.0 ruleDefImpl PM.Rules 363 133 0.0 0.0 0.0 0.0 counting Common.DNF 362 262 0.0 0.0 0.0 0.0 notRules Common.DNF 348 0 0.0 0.0 0.0 0.0 tick Common.DNF 349 799 0.0 0.0 0.0 0.0 ruleNotNot PM.Rules 353 265 0.0 0.0 0.0 0.0 ruleDeMorganOr PM.Rules 352 265 0.0 0.0 0.0 0.0 ruleDeMorganAnd PM.Rules 351 269 0.0 0.0 0.0 0.0 counting Common.DNF 350 799 0.0 0.0 0.0 0.0 somewhere Common.DNF 252 4 0.0 0.0 0.2 0.5 once Common.Once 253 258 0.0 0.0 0.2 0.5 somewhere Common.Once 254 176814 0.2 0.3 0.2 0.5 alternatives Common.DNF 321 0 0.0 0.0 0.0 0.0 <|> Common.DNF 322 305 0.0 0.0 0.0 0.0 conRules Common.DNF 323 0 0.0 0.0 0.0 0.0 tick Common.DNF 324 305 0.0 0.0 0.0 0.0 ruleTrueInImpl PM.Rules 334 31 0.0 0.0 0.0 0.0 ruleFalseInImpl PM.Rules 333 32 0.0 0.0 0.0 0.0 ruleTrueInEquiv PM.Rules 332 32 0.0 0.0 0.0 0.0 ruleFalseInEquiv PM.Rules 331 32 0.0 0.0 0.0 0.0 ruleNotBoolConst PM.Rules 330 33 0.0 0.0 0.0 0.0 ruleFalseZeroAnd PM.Rules 329 34 0.0 0.0 0.0 0.0 ruleTrueZeroAnd PM.Rules 328 35 0.0 0.0 0.0 0.0 ruleTrueZeroOr PM.Rules 327 38 0.0 0.0 0.0 0.0 ruleFalseZeroOr PM.Rules 326 38 0.0 0.0 0.0 0.0 counting Common.DNF 325 305 0.0 0.0 0.0 0.0 one Common.Once 271 176560 0.0 0.3 0.0 0.3 repeat Common.DNF 246 4 0.0 0.0 0.0 0.0 many Common.DNF 248 290 0.0 0.0 0.0 0.0 <|> Common.DNF 249 294 0.0 0.0 0.0 0.0 <*> Common.DNF 250 254 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