Thu Oct 01 14:03 2009 Time and Allocation Profiling Report (Final) TestUni-DNF3 +RTS -p -RTS total time = 24.10 secs (1205 ticks @ 20 ms) total alloc = 6,014,530,388 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc makeRuleList Uni.Rules 23.6 20.5 matchLogic Common.Logic 11.9 19.8 one Common.Once 10.1 10.5 <|> Common.DNF 9.9 12.8 tick Common.DNF 8.0 0.0 arbLogic Common.LogicGenerator 5.9 14.0 alternatives Common.DNF 5.2 0.0 |- Uni.Rules 4.3 0.2 somewhere Common.Once 4.2 5.9 isMetaVar Common.Logic 2.7 0.7 foldLogic Common.Logic 2.2 4.6 |-> Common.Logic 1.8 3.5 oneTD Common.Once 1.4 1.1 <*> Common.DNF 1.2 1.5 disRules Common.DNF 1.1 0.0 conRules Common.DNF 1.1 0.0 counting Common.DNF 0.8 3.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.DNF3.Test 230 5 0.0 0.0 92.8 84.5 nr Uni.DNF3.Test 237 1 0.0 0.0 0.0 0.0 main Uni.DNF3.Test 236 1 0.0 0.0 92.8 84.5 isDNF Common.Logic 357 0 0.3 0.2 0.5 0.5 isAtomic Common.Logic 590 272153 0.1 0.0 0.1 0.0 conjunctions Common.Logic 589 436765 0.1 0.2 0.1 0.2 disjunctions Common.Logic 358 199843 0.0 0.1 0.0 0.1 runStrategy Common.DNF 243 50000 0.0 0.0 0.0 0.0 dnf Uni.DNF3.Test 242 50000 0.2 0.0 92.3 84.0 dnf3 Common.DNF 359 0 0.2 0.0 92.1 84.0 somewhere Common.DNF 575 0 0.0 0.0 11.4 12.9 once Common.Once 576 193637 0.2 0.0 11.4 12.9 somewhere Common.Once 577 7866463 4.1 5.8 11.2 12.9 one Common.Once 586 7722825 7.1 7.1 7.1 7.1 alternatives Common.DNF 507 0 3.1 0.0 41.0 39.7 <|> Common.DNF 508 13920668 5.7 7.6 37.9 39.7 disRules Common.DNF 578 0 1.1 0.0 27.1 29.0 tick Common.DNF 579 7866463 2.4 0.0 26.1 29.0 ruleAndOverOr Uni.Rules 581 0 0.9 0.0 23.3 28.0 |- Uni.Rules 583 15669151 1.4 0.1 11.7 18.4 |-> Common.Logic 608 71703 0.2 0.2 0.9 0.4 isMetaVar Common.Logic 610 286812 0.0 0.0 0.0 0.0 foldLogic Common.Logic 609 71703 0.7 0.2 0.7 0.2 matchLogic Common.Logic 584 23463788 6.7 11.9 9.4 17.9 |-> Common.Logic 587 2720592 0.9 2.1 1.7 5.6 isMetaVar Common.Logic 606 351051 0.0 0.0 0.0 0.0 foldLogic Common.Logic 588 2720592 0.7 3.5 0.7 3.5 isMetaVar Common.Logic 585 23463788 1.0 0.4 1.0 0.4 makeRuleList Uni.Rules 582 7866463 10.7 9.5 10.7 9.5 counting Common.DNF 580 7866463 0.3 1.0 0.3 1.0 notRules Common.DNF 527 0 0.3 0.0 4.2 2.1 tick Common.DNF 528 4334441 1.5 0.0 3.9 2.1 ruleNotNot Uni.Rules 538 0 0.0 0.0 0.5 0.4 |- Uni.Rules 539 1407113 0.2 0.0 0.5 0.4 |-> Common.Logic 594 28300 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 596 28300 0.0 0.0 0.0 0.0 foldLogic Common.Logic 595 28300 0.0 0.0 0.0 0.0 matchLogic Common.Logic 540 1758540 0.2 0.3 0.3 0.3 isMetaVar Common.Logic 541 1758540 0.2 0.0 0.2 0.0 ruleDeMorganOr Uni.Rules 534 0 0.0 0.0 0.6 0.6 |- Uni.Rules 535 1448027 0.2 0.0 0.6 0.6 |-> Common.Logic 545 20457 0.0 0.0 0.1 0.1 isMetaVar Common.Logic 547 40914 0.0 0.0 0.0 0.0 foldLogic Common.Logic 546 20457 0.1 0.0 0.1 0.0 matchLogic Common.Logic 536 1865589 0.3 0.4 0.3 0.5 |-> Common.Logic 542 40914 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 544 40914 0.0 0.0 0.0 0.0 foldLogic Common.Logic 543 40914 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 537 1865589 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 530 0 0.0 0.0 1.2 0.6 |- Uni.Rules 531 1479301 0.6 0.0 1.2 0.6 |-> Common.Logic 603 15635 0.1 0.0 0.2 0.1 isMetaVar Common.Logic 605 31270 0.2 0.0 0.2 0.0 foldLogic Common.Logic 604 15635 0.0 0.0 0.0 0.0 matchLogic Common.Logic 532 1908857 0.2 0.4 0.3 0.5 |-> Common.Logic 566 31274 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 568 31274 0.0 0.0 0.0 0.0 foldLogic Common.Logic 567 31274 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 533 1908857 0.0 0.0 0.0 0.0 counting Common.DNF 529 4334441 0.2 0.6 0.2 0.6 defRules Common.DNF 509 0 0.0 0.0 0.8 1.0 tick Common.DNF 510 1719764 0.3 0.0 0.8 1.0 ruleDefEquiv Uni.Rules 516 0 0.0 0.0 0.2 0.3 |- Uni.Rules 517 840568 0.1 0.0 0.2 0.3 |-> Common.Logic 616 7562 0.0 0.0 0.1 0.1 isMetaVar Common.Logic 618 30248 0.0 0.0 0.0 0.0 foldLogic Common.Logic 617 7562 0.1 0.0 0.1 0.0 matchLogic Common.Logic 518 870816 0.1 0.2 0.1 0.2 |-> Common.Logic 613 15124 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 615 15124 0.0 0.0 0.0 0.0 foldLogic Common.Logic 614 15124 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 519 870816 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 512 0 0.0 0.0 0.2 0.5 |- Uni.Rules 513 879196 0.0 0.0 0.2 0.5 |-> Common.Logic 524 19313 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 526 38626 0.0 0.0 0.0 0.0 foldLogic Common.Logic 525 19313 0.0 0.0 0.0 0.0 matchLogic Common.Logic 514 956452 0.1 0.3 0.2 0.4 |-> Common.Logic 520 38628 0.0 0.0 0.2 0.1 isMetaVar Common.Logic 523 38628 0.0 0.0 0.0 0.0 foldLogic Common.Logic 521 38628 0.2 0.0 0.2 0.0 isMetaVar Common.Logic 515 956452 0.0 0.0 0.0 0.0 counting Common.DNF 511 1719764 0.0 0.2 0.0 0.2 oneBU Common.Once 504 959574 0.3 0.4 1.3 1.3 one Common.Once 506 959574 1.0 0.8 1.0 0.8 +> Common.Once 505 959574 0.0 0.0 0.0 0.0 oneTD Common.Once 367 2546211 1.4 1.1 36.4 28.1 one Common.Once 427 2256363 1.9 2.5 1.9 2.5 alternatives Common.DNF 369 0 2.0 0.0 33.1 24.4 <|> Common.DNF 370 8856937 3.8 4.8 31.1 24.4 conRules Common.DNF 371 0 1.1 0.0 27.3 19.7 tick Common.DNF 372 8856937 3.8 0.0 26.2 19.7 ruleTrueInImpl Uni.Rules 422 0 0.2 0.0 1.6 1.9 |- Uni.Rules 424 1835202 0.3 0.0 0.4 0.8 |-> Common.Logic 669 7990 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 672 4236 0.0 0.0 0.0 0.0 foldLogic Common.Logic 670 7990 0.0 0.0 0.0 0.0 matchLogic Common.Logic 425 2161329 0.1 0.6 0.1 0.8 |-> Common.Logic 430 111533 0.0 0.1 0.0 0.2 isMetaVar Common.Logic 671 8472 0.0 0.0 0.0 0.0 foldLogic Common.Logic 431 111533 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 426 2161329 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 423 921837 1.0 1.1 1.0 1.1 ruleFalseInImpl Uni.Rules 417 0 0.0 0.0 1.9 2.0 |- Uni.Rules 419 1864236 0.3 0.0 1.2 0.9 |-> Common.Logic 660 7037 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 677 3243 0.0 0.0 0.0 0.0 foldLogic Common.Logic 661 7037 0.0 0.0 0.0 0.0 matchLogic Common.Logic 420 2233472 0.5 0.7 0.9 0.9 |-> Common.Logic 428 125608 0.2 0.1 0.2 0.2 isMetaVar Common.Logic 659 7588 0.0 0.0 0.0 0.0 foldLogic Common.Logic 429 125608 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 421 2233472 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 418 935912 0.7 1.1 0.7 1.1 ruleTrueInEquiv Uni.Rules 412 0 0.0 0.0 1.3 1.6 |- Uni.Rules 414 1881978 0.2 0.0 0.4 0.5 |-> Common.Logic 673 3486 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 675 3486 0.0 0.0 0.0 0.0 foldLogic Common.Logic 674 3486 0.0 0.0 0.0 0.0 matchLogic Common.Logic 415 2014016 0.1 0.4 0.2 0.5 |-> Common.Logic 611 45276 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 676 3790 0.0 0.0 0.0 0.0 foldLogic Common.Logic 612 45276 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 416 2014016 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 413 942884 0.9 1.1 0.9 1.1 ruleFalseInEquiv Uni.Rules 407 0 0.1 0.0 2.4 1.7 |- Uni.Rules 409 1894892 0.2 0.0 0.8 0.5 |-> Common.Logic 600 3109 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 602 3109 0.0 0.0 0.0 0.0 foldLogic Common.Logic 601 3109 0.0 0.0 0.0 0.0 matchLogic Common.Logic 410 2046062 0.5 0.4 0.7 0.5 |-> Common.Logic 597 51494 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 599 3312 0.0 0.0 0.0 0.0 foldLogic Common.Logic 598 51494 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 411 2046062 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 408 949102 1.5 1.1 1.5 1.1 ruleNotBoolConst Uni.Rules 402 0 0.1 0.0 2.4 1.5 |- Uni.Rules 404 1937667 0.1 0.0 0.9 0.3 |-> Common.Logic 650 13638 0.0 0.0 0.0 0.0 foldLogic Common.Logic 651 13638 0.0 0.0 0.0 0.0 matchLogic Common.Logic 405 2264228 0.5 0.3 0.8 0.3 isMetaVar Common.Logic 406 2264228 0.3 0.0 0.3 0.0 makeRuleList Uni.Rules 403 976379 1.4 1.2 1.4 1.2 ruleFalseZeroAnd Uni.Rules 397 0 0.2 0.0 3.0 2.3 |- Uni.Rules 399 1982524 0.1 0.0 1.2 1.1 |-> Common.Logic 653 10143 0.0 0.0 0.1 0.0 foldLogic Common.Logic 654 10143 0.1 0.0 0.1 0.0 matchLogic Common.Logic 400 2454152 0.7 0.8 1.1 1.1 |-> Common.Logic 434 160812 0.1 0.1 0.2 0.2 isMetaVar Common.Logic 652 10808 0.0 0.0 0.0 0.0 foldLogic Common.Logic 435 160812 0.2 0.1 0.2 0.1 isMetaVar Common.Logic 401 2454152 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 398 996666 1.6 1.2 1.6 1.2 ruleTrueZeroAnd Uni.Rules 392 0 0.1 0.0 3.2 2.5 |- Uni.Rules 394 2029825 0.4 0.0 1.5 1.2 |-> Common.Logic 591 12542 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 593 12542 0.0 0.0 0.0 0.0 foldLogic Common.Logic 592 12542 0.0 0.0 0.0 0.0 matchLogic Common.Logic 395 2573839 0.8 0.9 1.1 1.2 |-> Common.Logic 432 185897 0.1 0.1 0.2 0.3 isMetaVar Common.Logic 439 13677 0.0 0.0 0.0 0.0 foldLogic Common.Logic 433 185897 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 396 2573839 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 393 1021751 1.7 1.2 1.7 1.2 ruleTrueZeroOr Uni.Rules 385 0 0.2 0.0 3.1 2.4 |- Uni.Rules 387 2078078 0.2 0.0 1.1 1.1 |-> Common.Logic 437 11871 0.0 0.0 0.0 0.0 foldLogic Common.Logic 438 11871 0.0 0.0 0.0 0.0 matchLogic Common.Logic 388 2564991 0.6 0.9 0.8 1.1 |-> Common.Logic 390 166609 0.1 0.1 0.2 0.2 isMetaVar Common.Logic 436 12914 0.1 0.0 0.1 0.0 foldLogic Common.Logic 391 166609 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 389 2564991 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 386 1045496 1.8 1.3 1.8 1.3 ruleFalseZeroOr Uni.Rules 374 0 0.2 0.0 3.2 2.5 |- Uni.Rules 376 2122388 0.0 0.0 0.8 1.2 |-> Common.Logic 655 10707 0.0 0.0 0.1 0.0 isMetaVar Common.Logic 657 10707 0.0 0.0 0.0 0.0 foldLogic Common.Logic 656 10707 0.1 0.0 0.1 0.0 matchLogic Common.Logic 377 2675025 0.4 0.9 0.7 1.2 |-> Common.Logic 383 188023 0.0 0.1 0.1 0.3 isMetaVar Common.Logic 658 11432 0.0 0.0 0.0 0.0 foldLogic Common.Logic 384 188023 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 378 2675025 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 375 1066910 2.1 1.3 2.1 1.3 counting Common.DNF 373 8856937 0.3 1.2 0.3 1.2 +> Common.Once 368 2546211 0.0 0.0 0.0 0.0 repeat Common.DNF 361 0 0.0 0.0 1.4 1.9 many Common.DNF 363 0 0.0 0.0 0.9 1.3 <|> Common.DNF 364 449000 0.2 0.4 0.9 1.3 <*> Common.DNF 365 243493 0.7 0.9 0.7 0.9 <*> Common.DNF 362 201747 0.2 0.4 0.5 0.5 notS Common.DNF 366 443741 0.3 0.2 0.3 0.2 <*> Common.DNF 360 151572 0.4 0.2 0.4 0.2 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.1 0.0 0.1 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 6.3 14.5 arbLogic Common.LogicGenerator 265 1 0.0 0.0 0.0 0.0 arbitrary_atFE Common.LogicGenerator 264 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.4 0.5 6.3 14.5 arbitrary_atFE Common.LogicGenerator 379 0 0.0 0.0 5.9 14.0 arbLogic Common.LogicGenerator 380 0 5.9 14.0 5.9 14.0 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 382 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 356 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 355 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.8 1.0 reportTick Common.DNF 682 1 0.0 0.0 0.0 0.0 disRules Common.DNF 346 1 0.0 0.0 0.0 0.0 tick Common.DNF 347 1 0.0 0.0 0.0 0.0 counting Common.DNF 348 1 0.0 0.0 0.0 0.0 notRules Common.DNF 325 1 0.0 0.0 0.0 0.0 tick Common.DNF 326 3 0.0 0.0 0.0 0.0 counting Common.DNF 327 3 0.0 0.0 0.0 0.0 defRules Common.DNF 311 1 0.0 0.0 0.0 0.0 tick Common.DNF 313 2 0.0 0.0 0.0 0.0 counting Common.DNF 314 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 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 0.8 1.0 somewhere Common.DNF 343 1 0.0 0.0 0.2 0.3 once Common.Once 344 233 0.0 0.0 0.2 0.3 somewhere Common.Once 345 176371 0.1 0.1 0.2 0.3 one Common.Once 354 176139 0.2 0.2 0.2 0.2 alternatives Common.DNF 310 0 0.2 0.0 0.6 0.7 <|> Common.DNF 312 177301 0.1 0.1 0.4 0.7 disRules Common.DNF 636 0 0.0 0.0 0.3 0.6 tick Common.DNF 637 176370 0.0 0.0 0.3 0.6 ruleAndOverOr Uni.Rules 639 0 0.0 0.0 0.3 0.6 |- Uni.Rules 641 352611 0.0 0.0 0.1 0.4 |-> Common.Logic 647 232 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 649 928 0.0 0.0 0.0 0.0 foldLogic Common.Logic 648 232 0.0 0.0 0.0 0.0 matchLogic Common.Logic 642 531297 0.1 0.3 0.1 0.4 |-> Common.Logic 644 59751 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 646 593 0.0 0.0 0.0 0.0 foldLogic Common.Logic 645 59751 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 643 531297 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 640 176370 0.2 0.2 0.2 0.2 counting Common.DNF 638 176370 0.0 0.0 0.0 0.0 defRules Common.DNF 619 0 0.0 0.0 0.0 0.0 tick Common.DNF 620 126 0.0 0.0 0.0 0.0 ruleDefEquiv Uni.Rules 626 0 0.0 0.0 0.0 0.0 |- Uni.Rules 627 62 0.0 0.0 0.0 0.0 matchLogic Common.Logic 628 62 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 629 62 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 622 0 0.0 0.0 0.0 0.0 |- Uni.Rules 623 64 0.0 0.0 0.0 0.0 |-> Common.Logic 633 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 635 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 634 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 624 68 0.0 0.0 0.0 0.0 |-> Common.Logic 630 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 632 2 0.0 0.0 0.0 0.0 foldLogic Common.Logic 631 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 625 68 0.0 0.0 0.0 0.0 counting Common.DNF 621 126 0.0 0.0 0.0 0.0 notRules Common.DNF 548 0 0.0 0.0 0.0 0.0 tick Common.DNF 549 799 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 559 0 0.0 0.0 0.0 0.0 |- Uni.Rules 560 265 0.0 0.0 0.0 0.0 |-> Common.Logic 563 7 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 565 7 0.0 0.0 0.0 0.0 foldLogic Common.Logic 564 7 0.0 0.0 0.0 0.0 matchLogic Common.Logic 561 331 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 562 331 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 555 0 0.0 0.0 0.0 0.0 |- Uni.Rules 556 265 0.0 0.0 0.0 0.0 matchLogic Common.Logic 557 324 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 558 324 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 551 0 0.0 0.0 0.0 0.0 |- Uni.Rules 552 269 0.0 0.0 0.0 0.0 |-> Common.Logic 572 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 574 8 0.0 0.0 0.0 0.0 foldLogic Common.Logic 573 4 0.0 0.0 0.0 0.0 matchLogic Common.Logic 553 340 0.0 0.0 0.0 0.0 |-> Common.Logic 569 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 571 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 570 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 554 340 0.0 0.0 0.0 0.0 counting Common.DNF 550 799 0.0 0.0 0.0 0.0 oneBU Common.Once 307 69 0.0 0.0 0.0 0.0 one Common.Once 309 69 0.0 0.0 0.0 0.0 +> Common.Once 308 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 440 0 0.0 0.0 0.0 0.0 <|> Common.DNF 441 305 0.0 0.0 0.0 0.0 conRules Common.DNF 442 0 0.0 0.0 0.0 0.0 tick Common.DNF 443 305 0.0 0.0 0.0 0.0 ruleTrueInImpl Uni.Rules 489 0 0.0 0.0 0.0 0.0 |- Uni.Rules 491 62 0.0 0.0 0.0 0.0 matchLogic Common.Logic 492 74 0.0 0.0 0.0 0.0 |-> Common.Logic 496 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 497 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 493 74 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 490 31 0.0 0.0 0.0 0.0 ruleFalseInImpl Uni.Rules 484 0 0.0 0.0 0.0 0.0 |- Uni.Rules 486 64 0.0 0.0 0.0 0.0 |-> Common.Logic 666 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 668 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 667 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 487 79 0.0 0.0 0.0 0.0 |-> Common.Logic 494 5 0.0 0.0 0.0 0.0 foldLogic Common.Logic 495 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 488 79 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 485 32 0.0 0.0 0.0 0.0 ruleTrueInEquiv Uni.Rules 479 0 0.0 0.0 0.0 0.0 |- Uni.Rules 481 64 0.0 0.0 0.0 0.0 matchLogic Common.Logic 482 64 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 483 64 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 480 32 0.0 0.0 0.0 0.0 ruleFalseInEquiv Uni.Rules 474 0 0.0 0.0 0.0 0.0 |- Uni.Rules 476 64 0.0 0.0 0.0 0.0 matchLogic Common.Logic 477 64 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 478 64 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 475 32 0.0 0.0 0.0 0.0 ruleNotBoolConst Uni.Rules 469 0 0.0 0.0 0.0 0.0 |- Uni.Rules 471 65 0.0 0.0 0.0 0.0 |-> Common.Logic 664 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 665 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 472 86 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 473 86 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 470 33 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Uni.Rules 464 0 0.0 0.0 0.0 0.0 |- Uni.Rules 466 68 0.0 0.0 0.0 0.0 |-> Common.Logic 680 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 681 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 467 71 0.0 0.0 0.0 0.0 |-> Common.Logic 678 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 679 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 468 71 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 465 34 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Uni.Rules 459 0 0.0 0.0 0.0 0.0 |- Uni.Rules 461 69 0.0 0.0 0.0 0.0 |-> Common.Logic 501 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 503 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 502 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 462 74 0.0 0.0 0.0 0.0 |-> Common.Logic 498 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 500 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 499 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 463 74 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 460 35 0.0 0.0 0.0 0.0 ruleTrueZeroOr Uni.Rules 452 0 0.0 0.0 0.0 0.0 |- Uni.Rules 454 76 0.0 0.0 0.0 0.0 |-> Common.Logic 662 3 0.0 0.0 0.0 0.0 foldLogic Common.Logic 663 3 0.0 0.0 0.0 0.0 matchLogic Common.Logic 455 106 0.0 0.0 0.0 0.0 |-> Common.Logic 457 10 0.0 0.0 0.0 0.0 foldLogic Common.Logic 458 10 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 456 106 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 453 38 0.0 0.0 0.0 0.0 ruleFalseZeroOr Uni.Rules 445 0 0.0 0.0 0.0 0.0 |- Uni.Rules 447 76 0.0 0.0 0.0 0.0 matchLogic Common.Logic 448 106 0.0 0.0 0.0 0.0 |-> Common.Logic 450 10 0.0 0.0 0.0 0.0 foldLogic Common.Logic 451 10 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 449 106 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 446 38 0.0 0.0 0.0 0.0 counting Common.DNF 444 305 0.0 0.0 0.0 0.0 one Common.Once 306 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 291 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 CAF Uni.Rules 120 18 0.0 0.0 0.0 0.0 z Uni.Rules 607 1 0.0 0.0 0.0 0.0 y Uni.Rules 522 1 0.0 0.0 0.0 0.0 x Uni.Rules 381 1 0.0 0.0 0.0 0.0 ruleAndOverOr Uni.Rules 349 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 351 1 0.0 0.0 0.0 0.0 |- Uni.Rules 350 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 352 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 353 2 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 338 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 340 1 0.0 0.0 0.0 0.0 |- Uni.Rules 339 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 341 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 342 1 0.0 0.0 0.0 0.0 ruleDeMorganOr 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 ruleDeMorganAnd 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 ruleDefEquiv Uni.Rules 320 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 322 1 0.0 0.0 0.0 0.0 |- Uni.Rules 321 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 323 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 324 1 0.0 0.0 0.0 0.0 ruleDefImpl 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 ruleTrueInImpl Uni.Rules 301 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 303 1 0.0 0.0 0.0 0.0 |- Uni.Rules 302 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 304 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 305 2 0.0 0.0 0.0 0.0 ruleFalseInImpl Uni.Rules 296 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 298 1 0.0 0.0 0.0 0.0 |- Uni.Rules 297 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 299 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 300 2 0.0 0.0 0.0 0.0 ruleTrueInEquiv Uni.Rules 291 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 293 1 0.0 0.0 0.0 0.0 |- Uni.Rules 292 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 294 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 295 2 0.0 0.0 0.0 0.0 ruleFalseInEquiv Uni.Rules 286 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 288 1 0.0 0.0 0.0 0.0 |- Uni.Rules 287 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 289 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 290 2 0.0 0.0 0.0 0.0 ruleNotBoolConst Uni.Rules 281 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 283 1 0.0 0.0 0.0 0.0 |- Uni.Rules 282 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 284 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 285 2 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Uni.Rules 276 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 278 1 0.0 0.0 0.0 0.0 |- Uni.Rules 277 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 279 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 280 2 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Uni.Rules 271 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 273 1 0.0 0.0 0.0 0.0 |- Uni.Rules 272 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 274 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 275 2 0.0 0.0 0.0 0.0 ruleTrueZeroOr Uni.Rules 266 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 268 1 0.0 0.0 0.0 0.0 |- Uni.Rules 267 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 269 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 270 2 0.0 0.0 0.0 0.0 ruleFalseZeroOr Uni.Rules 259 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 261 1 0.0 0.0 0.0 0.0 |- Uni.Rules 260 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 262 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 263 2 0.0 0.0 0.0 0.0