Thu Oct 01 14:02 2009 Time and Allocation Profiling Report (Final) TestUni-DNF1 +RTS -p -RTS total time = 84.12 secs (4206 ticks @ 20 ms) total alloc = 15,524,322,572 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc makeRuleList Uni.Rules 30.9 35.3 <|> Common.DNF 14.6 23.5 tick Common.DNF 13.4 0.0 matchLogic Common.Logic 11.9 22.5 |- Uni.Rules 6.3 0.0 alternatives Common.DNF 5.7 0.0 isMetaVar Common.Logic 2.7 0.5 one Common.Once 2.3 2.8 conRules Common.DNF 1.9 0.0 counting Common.DNF 1.3 5.9 somewhere Common.Once 1.3 2.2 |-> Common.Logic 1.0 2.7 foldLogic Common.Logic 0.9 2.8 arbLogic Common.LogicGenerator 0.5 1.1 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF Uni.DNF1.Test 230 5 0.0 0.0 98.2 97.5 nr Uni.DNF1.Test 237 1 0.0 0.0 0.0 0.0 main Uni.DNF1.Test 236 1 0.0 0.0 98.2 97.5 isDNF Common.Logic 349 0 0.0 0.0 0.0 0.1 isAtomic Common.Logic 598 68792 0.0 0.0 0.0 0.0 conjunctions Common.Logic 597 111768 0.0 0.0 0.0 0.0 disjunctions Common.Logic 350 48583 0.0 0.0 0.0 0.0 runStrategy Common.DNF 243 10000 0.0 0.0 0.0 0.0 dnf Uni.DNF1.Test 242 10000 0.0 0.0 98.2 97.5 dnf1 Common.DNF 351 0 0.0 0.0 98.2 97.5 somewhere Common.DNF 358 0 0.1 0.0 97.8 96.8 once Common.Once 359 226716 0.0 0.0 97.7 96.8 somewhere Common.Once 360 7547249 1.3 2.2 97.7 96.8 one Common.Once 453 7330532 2.2 2.8 2.2 2.8 alternatives Common.DNF 361 0 5.6 0.0 94.2 91.9 <|> Common.DNF 362 112180481 14.3 23.2 88.6 91.9 disRules Common.DNF 445 0 0.1 0.0 7.6 9.8 tick Common.DNF 446 7386818 0.6 0.0 7.4 9.8 ruleAndOverOr Uni.Rules 448 0 0.4 0.0 6.7 9.4 |- Uni.Rules 450 14741591 0.2 0.0 2.9 6.0 |-> Common.Logic 610 28083 0.0 0.0 0.1 0.1 isMetaVar Common.Logic 612 112242 0.0 0.0 0.0 0.0 foldLogic Common.Logic 611 28083 0.1 0.0 0.1 0.0 matchLogic Common.Logic 451 21559987 1.7 3.9 2.6 5.9 |-> Common.Logic 564 2318403 0.4 0.7 0.6 1.9 isMetaVar Common.Logic 577 144617 0.0 0.0 0.0 0.0 foldLogic Common.Logic 565 2318403 0.2 1.2 0.2 1.2 isMetaVar Common.Logic 452 21559987 0.3 0.1 0.3 0.1 makeRuleList Uni.Rules 449 7386818 3.4 3.4 3.4 3.4 counting Common.DNF 447 7386818 0.1 0.4 0.1 0.4 notRules Common.DNF 430 0 0.8 0.0 6.0 2.7 tick Common.DNF 431 22300221 2.7 0.0 5.2 2.7 ruleNotNot Uni.Rules 441 0 0.0 0.0 0.7 0.5 |- Uni.Rules 442 7414044 0.3 0.0 0.7 0.5 |-> Common.Logic 605 13594 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 607 13594 0.0 0.0 0.0 0.0 foldLogic Common.Logic 606 13594 0.0 0.0 0.0 0.0 matchLogic Common.Logic 443 8742318 0.3 0.5 0.4 0.5 isMetaVar Common.Logic 444 8742318 0.1 0.0 0.1 0.0 ruleDeMorganOr Uni.Rules 437 0 0.0 0.0 0.7 0.5 |- Uni.Rules 438 7434144 0.3 0.0 0.7 0.5 |-> Common.Logic 602 10037 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 604 19105 0.0 0.0 0.0 0.0 foldLogic Common.Logic 603 10037 0.0 0.0 0.0 0.0 matchLogic Common.Logic 439 8795492 0.2 0.5 0.3 0.5 |-> Common.Logic 464 20100 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 466 20100 0.0 0.0 0.0 0.0 foldLogic Common.Logic 465 20100 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 440 8795492 0.1 0.0 0.1 0.0 ruleDeMorganAnd Uni.Rules 433 0 0.0 0.0 0.9 0.5 |- Uni.Rules 434 7452033 0.2 0.0 0.9 0.5 |-> Common.Logic 608 8931 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 613 17688 0.0 0.0 0.0 0.0 foldLogic Common.Logic 609 8931 0.0 0.0 0.0 0.0 matchLogic Common.Logic 435 8826848 0.4 0.5 0.6 0.5 |-> Common.Logic 588 17889 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 590 17889 0.0 0.0 0.0 0.0 foldLogic Common.Logic 589 17889 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 436 8826848 0.2 0.0 0.2 0.0 counting Common.DNF 432 22300221 0.3 1.1 0.3 1.1 defRules Common.DNF 419 0 0.4 0.0 3.6 1.6 tick Common.DNF 420 14934665 2.1 0.0 3.2 1.6 ruleDefEquiv Uni.Rules 426 0 0.0 0.0 0.5 0.4 |- Uni.Rules 427 7458254 0.2 0.0 0.5 0.4 |-> Common.Logic 625 3108 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 627 12194 0.0 0.0 0.0 0.0 foldLogic Common.Logic 626 3108 0.0 0.0 0.0 0.0 matchLogic Common.Logic 428 7470696 0.2 0.4 0.3 0.4 |-> Common.Logic 622 6221 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 624 6221 0.0 0.0 0.0 0.0 foldLogic Common.Logic 623 6221 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 429 7470696 0.1 0.0 0.1 0.0 ruleDefImpl Uni.Rules 422 0 0.0 0.0 0.6 0.5 |- Uni.Rules 423 7476411 0.2 0.0 0.6 0.5 |-> Common.Logic 462 9069 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 576 17989 0.0 0.0 0.0 0.0 foldLogic Common.Logic 463 9069 0.0 0.0 0.0 0.0 matchLogic Common.Logic 424 7512725 0.3 0.4 0.4 0.4 |-> Common.Logic 458 18157 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 461 18157 0.0 0.0 0.0 0.0 foldLogic Common.Logic 459 18157 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 425 7512725 0.0 0.0 0.0 0.0 counting Common.DNF 421 14934665 0.1 0.8 0.1 0.8 conRules Common.DNF 363 0 1.9 0.0 57.2 54.6 tick Common.DNF 364 67558777 7.8 0.0 55.2 54.6 ruleTrueInImpl Uni.Rules 414 0 0.2 0.0 4.3 4.3 |- Uni.Rules 416 14957308 0.4 0.0 1.0 0.8 |-> Common.Logic 660 1501 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 663 759 0.0 0.0 0.0 0.0 foldLogic Common.Logic 661 1501 0.0 0.0 0.0 0.0 matchLogic Common.Logic 417 15019267 0.5 0.8 0.6 0.8 |-> Common.Logic 456 21159 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 662 1518 0.0 0.0 0.0 0.0 foldLogic Common.Logic 457 21159 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 418 15019267 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 415 7479413 3.1 3.5 3.1 3.5 ruleFalseInImpl Uni.Rules 409 0 0.3 0.0 4.1 4.3 |- Uni.Rules 411 14963416 0.5 0.0 1.5 0.8 |-> Common.Logic 654 1576 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 670 717 0.0 0.0 0.0 0.0 foldLogic Common.Logic 655 1576 0.0 0.0 0.0 0.0 matchLogic Common.Logic 412 15034637 0.8 0.8 1.0 0.8 |-> Common.Logic 454 24313 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 653 1718 0.0 0.0 0.0 0.0 foldLogic Common.Logic 455 24313 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 413 15034637 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 410 7482567 2.4 3.5 2.4 3.5 ruleTrueInEquiv Uni.Rules 404 0 0.5 0.0 4.7 4.3 |- Uni.Rules 406 14966462 0.7 0.0 1.3 0.8 |-> Common.Logic 666 471 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 668 471 0.0 0.0 0.0 0.0 foldLogic Common.Logic 667 471 0.0 0.0 0.0 0.0 matchLogic Common.Logic 407 14987395 0.5 0.8 0.6 0.8 |-> Common.Logic 620 7163 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 669 556 0.0 0.0 0.0 0.0 foldLogic Common.Logic 621 7163 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 408 14987395 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 405 7483509 2.9 3.5 2.9 3.5 ruleFalseInEquiv Uni.Rules 399 0 0.2 0.0 4.6 4.3 |- Uni.Rules 401 14968517 0.5 0.0 1.6 0.8 |-> Common.Logic 617 511 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 619 511 0.0 0.0 0.0 0.0 foldLogic Common.Logic 618 511 0.0 0.0 0.0 0.0 matchLogic Common.Logic 402 14992534 1.0 0.8 1.2 0.8 |-> Common.Logic 614 8192 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 616 559 0.0 0.0 0.0 0.0 foldLogic Common.Logic 615 8192 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 403 14992534 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 400 7484538 2.8 3.5 2.8 3.5 ruleNotBoolConst Uni.Rules 394 0 0.5 0.0 4.9 4.4 |- Uni.Rules 396 14986527 0.5 0.0 1.7 0.9 |-> Common.Logic 638 6114 0.0 0.0 0.0 0.0 foldLogic Common.Logic 639 6114 0.0 0.0 0.0 0.0 matchLogic Common.Logic 397 17682052 1.0 0.9 1.2 0.9 isMetaVar Common.Logic 398 17682052 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 395 7496780 2.7 3.5 2.7 3.5 ruleFalseZeroAnd Uni.Rules 389 0 0.4 0.0 7.0 8.6 |- Uni.Rules 391 15027991 0.8 0.0 3.0 5.1 |-> Common.Logic 640 11068 0.0 0.0 0.0 0.0 foldLogic Common.Logic 641 11068 0.0 0.0 0.0 0.0 matchLogic Common.Logic 392 21798249 1.5 3.8 2.2 5.1 |-> Common.Logic 562 2260075 0.1 0.6 0.4 1.2 isMetaVar Common.Logic 642 9967 0.0 0.0 0.0 0.0 foldLogic Common.Logic 563 2260075 0.2 0.5 0.2 0.5 isMetaVar Common.Logic 393 21798249 0.3 0.1 0.3 0.1 makeRuleList Uni.Rules 390 7518979 3.6 3.5 3.6 3.5 ruleTrueZeroAnd Uni.Rules 384 0 0.4 0.0 6.3 8.6 |- Uni.Rules 386 15056190 0.5 0.0 2.5 5.1 |-> Common.Logic 599 6139 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 601 6139 0.0 0.0 0.0 0.0 foldLogic Common.Logic 600 6139 0.0 0.0 0.0 0.0 matchLogic Common.Logic 387 21866936 1.3 3.8 2.0 5.1 |-> Common.Logic 560 2272364 0.2 0.6 0.3 1.2 isMetaVar Common.Logic 583 6346 0.0 0.0 0.0 0.0 foldLogic Common.Logic 561 2272364 0.1 0.5 0.1 0.5 isMetaVar Common.Logic 388 21866936 0.4 0.1 0.4 0.1 makeRuleList Uni.Rules 385 7531268 3.4 3.5 3.4 3.5 ruleTrueZeroOr Uni.Rules 377 0 0.2 0.0 4.9 6.2 |- Uni.Rules 379 15067312 0.4 0.0 1.5 2.7 |-> Common.Logic 658 1603 0.0 0.0 0.0 0.0 foldLogic Common.Logic 659 1603 0.0 0.0 0.0 0.0 matchLogic Common.Logic 380 18107550 1.0 2.1 1.2 2.7 |-> Common.Logic 382 1013958 0.0 0.3 0.1 0.5 isMetaVar Common.Logic 664 1636 0.0 0.0 0.0 0.0 foldLogic Common.Logic 383 1013958 0.1 0.2 0.1 0.2 isMetaVar Common.Logic 381 18107550 0.1 0.1 0.1 0.1 makeRuleList Uni.Rules 378 7534474 3.1 3.5 3.1 3.5 ruleFalseZeroOr Uni.Rules 366 0 0.4 0.0 5.7 6.2 |- Uni.Rules 368 15086438 0.6 0.0 2.1 2.7 |-> Common.Logic 643 6374 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 645 6374 0.0 0.0 0.0 0.0 foldLogic Common.Logic 644 6374 0.0 0.0 0.0 0.0 matchLogic Common.Logic 369 18158577 1.0 2.2 1.5 2.7 |-> Common.Logic 375 1026733 0.2 0.3 0.3 0.5 isMetaVar Common.Logic 646 8060 0.0 0.0 0.0 0.0 foldLogic Common.Logic 376 1026733 0.1 0.2 0.1 0.2 isMetaVar Common.Logic 370 18158577 0.2 0.1 0.2 0.1 makeRuleList Uni.Rules 367 7547249 3.3 3.5 3.3 3.5 counting Common.DNF 365 67558777 0.9 3.5 0.9 3.5 repeat Common.DNF 352 0 0.0 0.0 0.4 0.6 many Common.DNF 354 0 0.0 0.0 0.2 0.6 <|> Common.DNF 355 119575 0.0 0.0 0.2 0.6 <*> Common.DNF 356 108179 0.2 0.6 0.2 0.6 <*> Common.DNF 353 10097 0.0 0.0 0.1 0.0 notS Common.DNF 357 118537 0.1 0.0 0.1 0.0 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 0.5 1.1 arbLogic Common.LogicGenerator 266 1 0.0 0.0 0.0 0.0 arbitrary_atFF Common.LogicGenerator 265 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.0 0.0 0.5 1.1 arbitrary_atFF Common.LogicGenerator 371 0 0.0 0.0 0.5 1.1 arbLogic Common.LogicGenerator 372 0 0.5 1.1 0.5 1.1 formula Common.LogicGenerator 238 1 0.0 0.0 0.0 0.0 CAF Common.Logic 149 3 0.0 0.0 0.0 0.0 metaVars Common.Logic 374 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 348 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 347 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 8 0.0 0.0 1.3 1.3 reportTick Common.DNF 688 1 0.0 0.0 0.0 0.0 disRules Common.DNF 338 1 0.0 0.0 0.0 0.0 tick Common.DNF 339 1 0.0 0.0 0.0 0.0 counting Common.DNF 340 1 0.0 0.0 0.0 0.0 notRules Common.DNF 320 1 0.0 0.0 0.0 0.0 tick Common.DNF 321 3 0.0 0.0 0.0 0.0 counting Common.DNF 322 3 0.0 0.0 0.0 0.0 defRules Common.DNF 307 1 0.0 0.0 0.0 0.0 tick Common.DNF 308 2 0.0 0.0 0.0 0.0 counting Common.DNF 309 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 counting Common.DNF 259 9 0.0 0.0 0.0 0.0 allRules Common.DNF 255 1 0.0 0.0 0.0 0.0 alternatives Common.DNF 254 1 0.0 0.0 0.0 0.0 <|> Common.DNF 257 15 0.0 0.0 0.0 0.0 dnf1 Common.DNF 244 1 0.0 0.0 1.3 1.3 somewhere Common.DNF 251 1 0.0 0.0 1.3 1.3 once Common.Once 252 360 0.0 0.0 1.3 1.3 somewhere Common.Once 253 103303 0.0 0.0 1.3 1.3 alternatives Common.DNF 467 0 0.1 0.0 1.3 1.3 <|> Common.DNF 468 1547824 0.2 0.3 1.2 1.3 disRules Common.DNF 547 0 0.0 0.0 0.1 0.1 tick Common.DNF 548 103063 0.0 0.0 0.1 0.1 ruleAndOverOr Uni.Rules 550 0 0.0 0.0 0.1 0.1 |- Uni.Rules 552 206043 0.0 0.0 0.0 0.1 |-> Common.Logic 580 120 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 582 480 0.0 0.0 0.0 0.0 foldLogic Common.Logic 581 120 0.0 0.0 0.0 0.0 matchLogic Common.Logic 553 309344 0.0 0.1 0.0 0.1 |-> Common.Logic 571 34526 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 579 323 0.0 0.0 0.0 0.0 foldLogic Common.Logic 572 34526 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 554 309344 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 551 103063 0.0 0.0 0.0 0.0 counting Common.DNF 549 103063 0.0 0.0 0.0 0.0 notRules Common.DNF 532 0 0.0 0.0 0.0 0.0 tick Common.DNF 533 309382 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 543 0 0.0 0.0 0.0 0.0 |- Uni.Rules 544 103101 0.0 0.0 0.0 0.0 |-> Common.Logic 573 38 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 575 38 0.0 0.0 0.0 0.0 foldLogic Common.Logic 574 38 0.0 0.0 0.0 0.0 matchLogic Common.Logic 545 120261 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 546 120261 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 539 0 0.0 0.0 0.0 0.0 |- Uni.Rules 540 103127 0.0 0.0 0.0 0.0 |-> Common.Logic 558 26 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 566 52 0.0 0.0 0.0 0.0 foldLogic Common.Logic 559 26 0.0 0.0 0.0 0.0 matchLogic Common.Logic 541 120327 0.0 0.0 0.0 0.0 |-> Common.Logic 555 26 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 557 26 0.0 0.0 0.0 0.0 foldLogic Common.Logic 556 26 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 542 120327 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 535 0 0.0 0.0 0.0 0.0 |- Uni.Rules 536 103154 0.0 0.0 0.0 0.0 |-> Common.Logic 594 27 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 596 54 0.0 0.0 0.0 0.0 foldLogic Common.Logic 595 27 0.0 0.0 0.0 0.0 matchLogic Common.Logic 537 120383 0.0 0.0 0.0 0.0 |-> Common.Logic 591 27 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 593 27 0.0 0.0 0.0 0.0 foldLogic Common.Logic 592 27 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 538 120383 0.0 0.0 0.0 0.0 counting Common.DNF 534 309382 0.0 0.0 0.0 0.0 defRules Common.DNF 521 0 0.0 0.0 0.1 0.0 tick Common.DNF 522 206337 0.0 0.0 0.1 0.0 ruleDefEquiv Uni.Rules 528 0 0.0 0.0 0.0 0.0 |- Uni.Rules 529 103159 0.0 0.0 0.0 0.0 |-> Common.Logic 682 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 684 20 0.0 0.0 0.0 0.0 foldLogic Common.Logic 683 5 0.0 0.0 0.0 0.0 matchLogic Common.Logic 530 103169 0.0 0.0 0.0 0.0 |-> Common.Logic 679 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 681 5 0.0 0.0 0.0 0.0 foldLogic Common.Logic 680 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 531 103169 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 524 0 0.0 0.0 0.0 0.0 |- Uni.Rules 525 103178 0.0 0.0 0.0 0.0 |-> Common.Logic 635 19 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 637 38 0.0 0.0 0.0 0.0 foldLogic Common.Logic 636 19 0.0 0.0 0.0 0.0 matchLogic Common.Logic 526 103216 0.0 0.0 0.0 0.0 |-> Common.Logic 632 19 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 634 19 0.0 0.0 0.0 0.0 foldLogic Common.Logic 633 19 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 527 103216 0.0 0.0 0.0 0.0 counting Common.DNF 523 206337 0.0 0.0 0.0 0.0 conRules Common.DNF 469 0 0.0 0.0 0.7 0.7 tick Common.DNF 470 929042 0.1 0.0 0.7 0.7 ruleTrueInImpl Uni.Rules 516 0 0.0 0.0 0.0 0.1 |- Uni.Rules 518 206356 0.0 0.0 0.0 0.0 matchLogic Common.Logic 519 206413 0.0 0.0 0.0 0.0 |-> Common.Logic 630 19 0.0 0.0 0.0 0.0 foldLogic Common.Logic 631 19 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 520 206413 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 517 103178 0.0 0.0 0.0 0.0 ruleFalseInImpl Uni.Rules 511 0 0.0 0.0 0.0 0.1 |- Uni.Rules 513 206360 0.0 0.0 0.0 0.0 |-> Common.Logic 685 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 687 2 0.0 0.0 0.0 0.0 foldLogic Common.Logic 686 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 514 206423 0.0 0.0 0.0 0.0 |-> Common.Logic 628 21 0.0 0.0 0.0 0.0 foldLogic Common.Logic 629 21 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 515 206423 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 512 103180 0.0 0.0 0.0 0.0 ruleTrueInEquiv Uni.Rules 506 0 0.0 0.0 0.1 0.1 |- Uni.Rules 508 206360 0.0 0.0 0.0 0.0 matchLogic Common.Logic 509 206375 0.0 0.0 0.0 0.0 |-> Common.Logic 677 5 0.0 0.0 0.0 0.0 foldLogic Common.Logic 678 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 510 206375 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 507 103180 0.1 0.0 0.1 0.0 ruleFalseInEquiv Uni.Rules 501 0 0.0 0.0 0.0 0.1 |- Uni.Rules 503 206367 0.0 0.0 0.0 0.0 |-> Common.Logic 674 7 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 676 7 0.0 0.0 0.0 0.0 foldLogic Common.Logic 675 7 0.0 0.0 0.0 0.0 matchLogic Common.Logic 504 206396 0.0 0.0 0.0 0.0 |-> Common.Logic 671 12 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 673 7 0.0 0.0 0.0 0.0 foldLogic Common.Logic 672 12 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 505 206396 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 502 103187 0.0 0.0 0.0 0.0 ruleNotBoolConst Uni.Rules 496 0 0.0 0.0 0.1 0.1 |- Uni.Rules 498 206391 0.0 0.0 0.0 0.0 |-> Common.Logic 656 14 0.0 0.0 0.0 0.0 foldLogic Common.Logic 657 14 0.0 0.0 0.0 0.0 matchLogic Common.Logic 499 240758 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 500 240758 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 497 103201 0.1 0.0 0.1 0.0 ruleFalseZeroAnd Uni.Rules 491 0 0.0 0.0 0.1 0.1 |- Uni.Rules 493 206505 0.0 0.0 0.1 0.1 |-> Common.Logic 648 63 0.0 0.0 0.0 0.0 foldLogic Common.Logic 649 63 0.0 0.0 0.0 0.0 matchLogic Common.Logic 494 309778 0.0 0.1 0.1 0.1 |-> Common.Logic 569 34432 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 647 23 0.0 0.0 0.0 0.0 foldLogic Common.Logic 570 34432 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 495 309778 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 492 103264 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Uni.Rules 486 0 0.0 0.0 0.1 0.1 |- Uni.Rules 488 206540 0.0 0.0 0.1 0.1 |-> Common.Logic 585 11 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 587 11 0.0 0.0 0.0 0.0 foldLogic Common.Logic 586 11 0.0 0.0 0.0 0.0 matchLogic Common.Logic 489 309859 0.1 0.1 0.1 0.1 |-> Common.Logic 567 34443 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 584 10 0.0 0.0 0.0 0.0 foldLogic Common.Logic 568 34443 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 490 309859 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 487 103275 0.0 0.0 0.0 0.0 ruleTrueZeroOr Uni.Rules 479 0 0.0 0.0 0.0 0.1 |- Uni.Rules 481 206550 0.0 0.0 0.0 0.0 matchLogic Common.Logic 482 233496 0.0 0.0 0.0 0.0 |-> Common.Logic 484 8982 0.0 0.0 0.0 0.0 foldLogic Common.Logic 485 8982 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 483 233496 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 480 103275 0.0 0.0 0.0 0.0 ruleFalseZeroOr Uni.Rules 472 0 0.0 0.0 0.0 0.1 |- Uni.Rules 474 206582 0.0 0.0 0.0 0.0 |-> Common.Logic 650 27 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 652 27 0.0 0.0 0.0 0.0 foldLogic Common.Logic 651 27 0.0 0.0 0.0 0.0 matchLogic Common.Logic 475 233587 0.0 0.0 0.0 0.0 |-> Common.Logic 477 9009 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 665 22 0.0 0.0 0.0 0.0 foldLogic Common.Logic 478 9009 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 476 233587 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 473 103302 0.0 0.0 0.0 0.0 counting Common.DNF 471 929042 0.0 0.0 0.0 0.0 one Common.Once 346 102944 0.0 0.0 0.0 0.0 repeat Common.DNF 245 1 0.0 0.0 0.0 0.0 many Common.DNF 247 371 0.0 0.0 0.0 0.0 <|> Common.DNF 248 376 0.0 0.0 0.0 0.0 <*> Common.DNF 249 359 0.0 0.0 0.0 0.0 <*> Common.DNF 246 1 0.0 0.0 0.0 0.0 notS Common.DNF 250 1 0.0 0.0 0.0 0.0 CAF Uni.Rules 120 18 0.0 0.0 0.0 0.0 z Uni.Rules 578 1 0.0 0.0 0.0 0.0 y Uni.Rules 460 1 0.0 0.0 0.0 0.0 x Uni.Rules 373 1 0.0 0.0 0.0 0.0 ruleAndOverOr Uni.Rules 341 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 343 1 0.0 0.0 0.0 0.0 |- Uni.Rules 342 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 344 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 345 2 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 333 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 335 1 0.0 0.0 0.0 0.0 |- Uni.Rules 334 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 336 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 337 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 328 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 330 1 0.0 0.0 0.0 0.0 |- Uni.Rules 329 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 331 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 332 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 323 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 325 1 0.0 0.0 0.0 0.0 |- Uni.Rules 324 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 326 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 327 1 0.0 0.0 0.0 0.0 ruleDefEquiv Uni.Rules 315 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 317 1 0.0 0.0 0.0 0.0 |- Uni.Rules 316 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 318 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 319 1 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 310 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 312 1 0.0 0.0 0.0 0.0 |- Uni.Rules 311 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 313 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 314 1 0.0 0.0 0.0 0.0 ruleTrueInImpl Uni.Rules 302 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 304 1 0.0 0.0 0.0 0.0 |- Uni.Rules 303 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 305 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 306 2 0.0 0.0 0.0 0.0 ruleFalseInImpl Uni.Rules 297 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 299 1 0.0 0.0 0.0 0.0 |- Uni.Rules 298 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 300 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 301 2 0.0 0.0 0.0 0.0 ruleTrueInEquiv Uni.Rules 292 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 294 1 0.0 0.0 0.0 0.0 |- Uni.Rules 293 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 295 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 296 2 0.0 0.0 0.0 0.0 ruleFalseInEquiv Uni.Rules 287 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 289 1 0.0 0.0 0.0 0.0 |- Uni.Rules 288 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 290 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 291 2 0.0 0.0 0.0 0.0 ruleNotBoolConst Uni.Rules 282 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 284 1 0.0 0.0 0.0 0.0 |- Uni.Rules 283 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 285 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 286 2 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Uni.Rules 277 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 279 1 0.0 0.0 0.0 0.0 |- Uni.Rules 278 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 280 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 281 2 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Uni.Rules 272 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 274 1 0.0 0.0 0.0 0.0 |- Uni.Rules 273 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 275 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 276 2 0.0 0.0 0.0 0.0 ruleTrueZeroOr Uni.Rules 267 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 269 1 0.0 0.0 0.0 0.0 |- Uni.Rules 268 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 270 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 271 2 0.0 0.0 0.0 0.0 ruleFalseZeroOr Uni.Rules 260 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 262 1 0.0 0.0 0.0 0.0 |- Uni.Rules 261 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 263 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 264 2 0.0 0.0 0.0 0.0