Thu Oct 01 14:06 2009 Time and Allocation Profiling Report (Final) TestGen-DNF1 +RTS -p -RTS total time = 158.92 secs (7946 ticks @ 20 ms) total alloc = 59,184,265,868 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc rewriteMl Gen.Rules 27.1 25.6 match'_a1W3 Common.GuardedRewriting 15.3 2.6 rewriteM Common.GuardedRewriting 9.5 19.2 match Common.GuardedRewriting 8.7 16.5 tick Common.DNF 8.4 0.0 <|> Common.DNF 8.2 6.2 match'_a1Vb Common.GuardedRewriting 5.9 9.5 from_aaXM Common.Logic 5.5 15.8 alternatives Common.DNF 2.7 0.0 rewriteM' Common.GuardedRewriting 1.8 0.0 conRules Common.DNF 1.5 0.0 one Common.Once 1.2 0.7 notRules Common.DNF 1.0 0.0 counting Common.DNF 0.8 1.5 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF Gen.DNF1.Test 230 5 0.0 0.0 98.2 98.4 nr Gen.DNF1.Test 237 1 0.0 0.0 0.0 0.0 main Gen.DNF1.Test 236 1 0.0 0.0 98.2 98.4 isDNF Common.Logic 464 0 0.0 0.0 0.0 0.0 isAtomic Common.Logic 764 68792 0.0 0.0 0.0 0.0 conjunctions Common.Logic 763 111768 0.0 0.0 0.0 0.0 disjunctions Common.Logic 465 48583 0.0 0.0 0.0 0.0 runStrategy Common.DNF 243 10000 0.0 0.0 0.0 0.0 dnf Gen.DNF1.Test 242 10000 0.0 0.0 98.2 98.4 dnf1 Common.DNF 466 0 0.0 0.0 98.2 98.4 somewhere Common.DNF 473 0 0.0 0.0 98.1 98.2 once Common.Once 474 226716 0.0 0.0 98.1 98.2 somewhere Common.Once 475 7547249 0.8 0.6 98.1 98.2 one Common.Once 543 7330532 1.2 0.7 1.2 0.7 alternatives Common.DNF 476 0 2.6 0.0 96.0 96.9 <|> Common.DNF 477 112180481 8.1 6.1 93.4 96.9 disRules Common.DNF 533 0 0.1 0.0 8.2 9.1 tick Common.DNF 534 7386818 0.6 0.0 8.1 9.1 makeRuleList Gen.Rules 536 0 0.0 0.0 7.5 9.0 synthesise' Common.GuardedRewriting 782 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 783 0 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 921 0 0.0 0.0 0.0 0.0 |- Gen.Rules 922 858 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 924 858 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 923 858 0.0 0.0 0.0 0.0 |- Gen.Rules 785 23382 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 787 23382 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 786 23382 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 784 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 537 0 2.1 1.8 7.5 9.0 rewriteM' Common.GuardedRewriting 538 14741591 0.1 0.0 5.4 7.1 rewriteM Common.GuardedRewriting 539 14741591 1.0 1.5 5.3 7.1 synthesise_a1GC Common.GuardedRewriting 807 0 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 836 0 0.0 0.0 0.0 0.0 |- Gen.Rules 837 807 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 839 807 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 838 807 0.0 0.0 0.0 0.0 |- Gen.Rules 809 31220 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 811 31220 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 810 31220 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 808 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 780 168855 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 960 0 0.0 0.0 0.0 0.0 |- Gen.Rules 962 17 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 964 17 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 963 17 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 961 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 781 56285 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 713 394002 0.1 0.0 0.3 0.3 to_aaXQ Common.Logic 788 84249 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 716 225144 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 717 442484 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 714 731718 0.1 0.1 0.1 0.2 subst'_a1SP Common.GuardedRewriting 715 337716 0.1 0.1 0.1 0.1 subst'_a1Sh Common.GuardedRewriting 718 168858 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 540 21559987 0.8 1.6 3.9 5.3 singleton Common.GuardedRewriting 674 168858 0.0 0.1 0.0 0.1 update Common.GuardedRewriting 712 337716 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 542 19185298 0.5 1.4 0.5 1.4 match'_a1W3 Common.GuardedRewriting 541 56211988 1.5 0.2 2.6 2.2 match'_a1Vb Common.GuardedRewriting 673 6818396 1.0 1.9 1.1 2.0 +++ Common.GuardedRewriting 711 900576 0.1 0.1 0.1 0.1 match'_a1Ut Common.GuardedRewriting 710 112572 0.0 0.0 0.0 0.0 counting Common.DNF 535 7386818 0.0 0.1 0.0 0.1 notRules Common.DNF 514 0 1.0 0.0 12.6 11.9 makeRule Gen.Rules 525 0 0.0 0.0 3.1 3.8 makeRuleList Gen.Rules 526 0 0.0 0.0 3.1 3.8 synthesise' Common.GuardedRewriting 703 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 704 0 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 706 0 0.0 0.0 0.0 0.0 |- Gen.Rules 707 27225 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 709 27225 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 708 27225 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 705 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 527 0 1.2 1.3 3.1 3.8 rewriteM' Common.GuardedRewriting 528 7414044 0.1 0.0 1.9 2.5 rewriteM Common.GuardedRewriting 529 7414044 0.4 0.8 1.8 2.5 subst Common.GuardedRewriting 681 27226 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 682 27226 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 683 27226 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 679 27226 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 680 27226 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 530 8742318 0.3 0.6 1.4 1.7 singleton Common.GuardedRewriting 675 27226 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 678 27226 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 532 8715092 0.2 0.6 0.2 0.6 match'_a1W3 Common.GuardedRewriting 531 26143186 0.7 0.1 0.9 0.5 match'_a1Vb Common.GuardedRewriting 548 1328274 0.2 0.4 0.2 0.4 +++ Common.GuardedRewriting 677 108904 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 676 54452 0.0 0.0 0.0 0.0 tick Common.DNF 515 22300221 1.5 0.0 8.5 8.2 makeRule Gen.Rules 517 0 0.0 0.0 6.8 7.9 makeRuleList Gen.Rules 518 0 0.0 0.0 6.8 7.9 synthesise' Common.GuardedRewriting 773 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 774 0 0.0 0.0 0.0 0.0 ruleDeMorganAnd Gen.Rules 879 0 0.0 0.0 0.0 0.0 |- Gen.Rules 880 205 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 882 205 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 881 205 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 855 0 0.0 0.0 0.0 0.0 |- Gen.Rules 856 530 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 858 530 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 857 530 0.0 0.0 0.0 0.0 |- Gen.Rules 776 37252 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 778 37252 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 777 37252 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 775 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 519 0 2.9 2.6 6.8 7.8 rewriteM' Common.GuardedRewriting 520 14886177 0.1 0.0 3.9 5.2 rewriteM Common.GuardedRewriting 521 14886177 0.9 1.5 3.8 5.2 subst Common.GuardedRewriting 585 189945 0.0 0.0 0.1 0.2 to_aaXQ Common.Logic 779 56891 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 588 75978 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 589 113967 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 586 625713 0.1 0.1 0.1 0.2 subst'_a1SP Common.GuardedRewriting 587 151956 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 590 113967 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 583 75978 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 584 37989 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 522 17622340 0.6 1.3 2.8 3.5 singleton Common.GuardedRewriting 579 75978 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 582 113967 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 524 17546362 0.4 1.2 0.4 1.2 match'_a1W3 Common.GuardedRewriting 523 52805684 1.3 0.2 1.8 1.0 match'_a1Vb Common.GuardedRewriting 547 2736163 0.5 0.7 0.5 0.8 +++ Common.GuardedRewriting 581 341901 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 580 75978 0.0 0.0 0.0 0.0 counting Common.DNF 516 22300221 0.2 0.3 0.2 0.3 defRules Common.DNF 503 0 0.3 0.0 7.2 6.9 tick Common.DNF 504 14934665 1.6 0.0 6.9 6.9 makeRule Gen.Rules 506 0 0.0 0.0 5.1 6.7 makeRuleList Gen.Rules 507 0 0.0 0.0 5.1 6.7 synthesise' Common.GuardedRewriting 801 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 802 0 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 851 0 0.0 0.0 0.0 0.0 |- Gen.Rules 852 354 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 854 354 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 853 354 0.0 0.0 0.0 0.0 |- Gen.Rules 804 5866 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 806 5866 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 805 5866 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 803 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 508 0 2.6 2.6 5.1 6.7 rewriteM' Common.GuardedRewriting 509 14934665 0.1 0.0 2.6 4.1 rewriteM Common.GuardedRewriting 510 14934665 0.7 1.5 2.4 4.1 synthesise_a1GC Common.GuardedRewriting 568 0 0.0 0.0 0.0 0.0 ruleDefImpl Gen.Rules 847 0 0.0 0.0 0.0 0.0 |- Gen.Rules 848 438 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 850 438 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 849 438 0.0 0.0 0.0 0.0 |- Gen.Rules 570 17717 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 572 17717 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 571 17717 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 569 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 566 48754 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 965 0 0.0 0.0 0.0 0.0 |- Gen.Rules 967 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 969 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 968 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 966 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 567 24377 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 558 128614 0.0 0.0 0.1 0.1 to_aaXQ Common.Logic 578 33635 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 575 61196 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 576 91794 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 573 355241 0.1 0.1 0.1 0.1 subst'_a1SP Common.GuardedRewriting 574 104236 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 577 67417 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 511 14983421 0.6 1.1 1.7 2.5 singleton Common.GuardedRewriting 550 48756 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 553 73134 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 513 14934665 0.4 1.1 0.4 1.1 match'_a1W3 Common.GuardedRewriting 512 28753070 0.6 0.2 0.7 0.2 match'_a1Vb Common.GuardedRewriting 549 48756 0.0 0.0 0.1 0.0 +++ Common.GuardedRewriting 552 146268 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 551 24378 0.0 0.0 0.0 0.0 counting Common.DNF 505 14934665 0.1 0.2 0.1 0.2 conRules Common.DNF 478 0 1.5 0.0 57.3 62.8 makeRuleList Gen.Rules 496 0 0.0 0.0 6.2 6.9 rewriteMl Gen.Rules 497 0 2.2 1.9 6.2 6.9 rewriteM' Common.GuardedRewriting 498 14986527 0.2 0.0 4.0 5.0 rewriteM Common.GuardedRewriting 499 14986527 0.7 1.5 3.8 5.0 subst Common.GuardedRewriting 865 12242 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 869 6114 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 866 85693 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 868 12241 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 864 12242 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 500 17682052 0.9 1.3 3.1 3.5 from_aaXM Common.Logic 502 17682052 0.5 1.2 0.5 1.2 match'_a1W3 Common.GuardedRewriting 501 53491861 1.3 0.2 1.7 0.9 match'_a1Ut Common.GuardedRewriting 859 12242 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 544 2695525 0.5 0.7 0.5 0.7 +++ Common.GuardedRewriting 863 12242 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 861 12242 0.0 0.0 0.0 0.0 tick Common.DNF 479 67558777 4.6 0.0 49.6 56.0 makeRuleList Gen.Rules 481 0 0.0 0.0 44.6 55.0 synthesise' Common.GuardedRewriting 766 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 767 0 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 931 0 0.0 0.0 0.0 0.0 |- Gen.Rules 932 940 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 934 940 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 933 940 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 917 0 0.0 0.0 0.0 0.0 |- Gen.Rules 918 3000 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 920 3000 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 919 3000 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 913 0 0.0 0.0 0.0 0.0 |- Gen.Rules 914 3204 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 916 3204 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 915 3204 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 901 0 0.0 0.0 0.0 0.0 |- Gen.Rules 902 3152 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 904 3152 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 903 3152 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 875 0 0.0 0.0 0.0 0.0 |- Gen.Rules 876 4714 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 878 4714 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 877 4714 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 871 0 0.0 0.0 0.0 0.0 |- Gen.Rules 872 22197 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 874 22197 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 873 22197 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 792 0 0.0 0.0 0.0 0.0 |- Gen.Rules 793 1027 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 795 1027 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 794 1027 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 769 0 0.0 0.0 0.0 0.0 |- Gen.Rules 770 12287 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 772 12287 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 771 12287 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 768 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 482 0 15.7 15.0 44.5 55.0 rewriteM' Common.GuardedRewriting 483 120093634 1.1 0.0 28.8 40.0 rewriteM Common.GuardedRewriting 484 120093634 5.8 12.2 27.8 40.0 synthesise_a1GC Common.GuardedRewriting 884 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 886 0 0.0 0.0 0.0 0.0 |- Gen.Rules 887 8059 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 889 8059 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 888 8059 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 885 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 744 61061 0.0 0.0 0.0 0.1 to_aaXQ Common.Logic 796 15500 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 789 215039 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 870 28607 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 790 2465 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 791 2465 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 745 29989 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 746 29989 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 742 58596 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 743 58596 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 485 139965143 5.2 10.3 22.0 27.8 singleton Common.GuardedRewriting 495 58596 0.0 0.2 0.0 0.2 update Common.GuardedRewriting 741 58596 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 487 133331186 3.5 10.0 3.5 10.0 match'_a1W3 Common.GuardedRewriting 486 347410080 9.6 1.6 13.2 7.2 match'_a1Ut Common.GuardedRewriting 765 58595 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 494 19871509 3.6 5.6 3.7 5.6 +++ Common.GuardedRewriting 740 234384 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 739 58596 0.0 0.0 0.0 0.0 counting Common.DNF 480 67558777 0.5 0.9 0.5 0.9 repeat Common.DNF 467 0 0.0 0.0 0.1 0.2 many Common.DNF 469 0 0.0 0.0 0.1 0.2 <|> Common.DNF 470 119776 0.0 0.0 0.1 0.2 <*> Common.DNF 471 108179 0.1 0.1 0.1 0.1 <*> Common.DNF 468 10079 0.0 0.0 0.0 0.0 notS Common.DNF 472 118537 0.0 0.0 0.0 0.0 CAF GHC.ConsoleHandler 228 2 0.0 0.0 0.0 0.0 CAF Data.Typeable 216 1 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 Data.HashTable 181 2 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.3 0.3 arbLogic Common.LogicGenerator 312 1 0.0 0.0 0.0 0.0 arbitrary_auh0 Common.LogicGenerator 311 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.0 0.0 0.3 0.3 arbitrary_auh0 Common.LogicGenerator 488 0 0.0 0.0 0.3 0.3 arbLogic Common.LogicGenerator 489 0 0.3 0.3 0.3 0.3 formula Common.LogicGenerator 238 1 0.0 0.0 0.0 0.0 CAF Common.Logic 149 44 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 560 3 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 565 2 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 561 3 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 563 2 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 564 3 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 562 5 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 559 7 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 867 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 490 2 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 491 2 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 493 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 492 10 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 309 7 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 738 1 0.0 0.0 0.0 0.0 right'_a1PR Common.GuardedRewriting 302 1 0.0 0.0 0.0 0.0 left'_a1P2 Common.GuardedRewriting 298 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 398 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 407 2 0.0 0.0 0.0 0.0 to_a22m Common.GuardedRewriting 399 1 0.0 0.0 0.0 0.0 left'_a1PK Common.GuardedRewriting 297 2 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 284 3 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 307 2 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 287 3 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 397 1 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 396 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 290 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 289 6 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 283 3 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 306 2 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 286 3 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 395 1 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 305 1 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 303 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 288 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 279 7 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 293 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 278 7 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 292 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 463 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 462 1 0.0 0.0 0.0 0.0 disjunctions Common.Logic 241 1 0.0 0.0 0.0 0.0 CAF Common.GuardedRewriting 148 4 0.0 0.0 0.0 0.0 empty_a1XJ Common.GuardedRewriting 555 1 0.0 0.0 0.0 0.0 left'_a1Qo Common.GuardedRewriting 400 1 0.0 0.0 0.0 0.0 left'_a1OL Common.GuardedRewriting 299 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.5 1.3 reportTick Common.DNF 970 1 0.0 0.0 0.0 0.0 disRules Common.DNF 446 1 0.0 0.0 0.0 0.0 tick Common.DNF 447 1 0.0 0.0 0.0 0.0 counting Common.DNF 448 1 0.0 0.0 0.0 0.0 notRules Common.DNF 436 1 0.0 0.0 0.0 0.0 tick Common.DNF 437 3 0.0 0.0 0.0 0.0 counting Common.DNF 438 3 0.0 0.0 0.0 0.0 defRules Common.DNF 379 1 0.0 0.0 0.0 0.0 tick Common.DNF 380 2 0.0 0.0 0.0 0.0 counting Common.DNF 381 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.5 1.3 somewhere Common.DNF 251 1 0.0 0.0 1.5 1.3 once Common.Once 252 360 0.0 0.0 1.5 1.3 somewhere Common.Once 253 103303 0.0 0.0 1.5 1.3 alternatives Common.DNF 591 0 0.1 0.0 1.5 1.3 <|> Common.DNF 592 1547824 0.1 0.1 1.4 1.3 disRules Common.DNF 642 0 0.0 0.0 0.1 0.1 tick Common.DNF 643 103063 0.0 0.0 0.1 0.1 makeRuleList Gen.Rules 645 0 0.0 0.0 0.1 0.1 synthesise' Common.GuardedRewriting 724 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 725 0 0.0 0.0 0.0 0.0 |- Gen.Rules 840 35 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 842 35 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 841 35 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 727 0 0.0 0.0 0.0 0.0 |- Gen.Rules 728 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 730 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 729 2 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 726 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 646 0 0.0 0.0 0.1 0.1 rewriteM' Common.GuardedRewriting 647 206043 0.0 0.0 0.0 0.1 rewriteM Common.GuardedRewriting 648 206043 0.0 0.0 0.0 0.1 synthesise_a1GC Common.GuardedRewriting 812 0 0.0 0.0 0.0 0.0 |- Gen.Rules 814 82 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 816 82 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 815 82 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 813 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 731 840 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 737 360 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 734 480 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 735 914 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 732 1560 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 733 720 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 736 360 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 722 360 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 947 0 0.0 0.0 0.0 0.0 |- Gen.Rules 949 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 951 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 950 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 948 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 723 120 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 649 309344 0.0 0.0 0.0 0.1 singleton Common.GuardedRewriting 685 360 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 721 720 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 651 274698 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 650 783591 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 684 103301 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 720 1920 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 719 240 0.0 0.0 0.0 0.0 counting Common.DNF 644 103063 0.0 0.0 0.0 0.0 notRules Common.DNF 623 0 0.0 0.0 0.2 0.2 makeRule Gen.Rules 634 0 0.0 0.0 0.0 0.1 makeRuleList Gen.Rules 635 0 0.0 0.0 0.0 0.1 synthesise' Common.GuardedRewriting 693 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 694 0 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 696 0 0.0 0.0 0.0 0.0 |- Gen.Rules 697 38 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 699 38 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 698 38 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 695 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 636 0 0.0 0.0 0.0 0.1 rewriteM' Common.GuardedRewriting 637 103101 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 638 103101 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 700 38 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 701 38 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 702 38 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 691 38 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 692 38 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 639 120261 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 687 38 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 690 38 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 641 120223 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 640 345072 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 686 17160 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 689 152 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 688 76 0.0 0.0 0.0 0.0 tick Common.DNF 624 309382 0.0 0.0 0.1 0.1 makeRule Gen.Rules 626 0 0.0 0.0 0.1 0.1 makeRuleList Gen.Rules 627 0 0.0 0.0 0.1 0.1 synthesise' Common.GuardedRewriting 660 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 661 0 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 956 0 0.0 0.0 0.0 0.0 |- Gen.Rules 957 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 959 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 958 1 0.0 0.0 0.0 0.0 |- Gen.Rules 663 52 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 665 52 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 664 52 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 662 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 628 0 0.0 0.0 0.1 0.1 rewriteM' Common.GuardedRewriting 629 206281 0.0 0.0 0.1 0.1 rewriteM Common.GuardedRewriting 630 206281 0.0 0.0 0.1 0.1 subst Common.GuardedRewriting 666 265 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 672 159 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 669 106 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 670 159 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 667 875 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 668 212 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 671 159 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 658 106 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 659 53 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 631 240710 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 654 106 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 657 159 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 633 240604 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 632 690846 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 653 34429 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 656 477 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 655 106 0.0 0.0 0.0 0.0 counting Common.DNF 625 309382 0.0 0.0 0.0 0.0 defRules Common.DNF 612 0 0.0 0.0 0.1 0.1 tick Common.DNF 613 206337 0.0 0.0 0.1 0.1 makeRule Gen.Rules 615 0 0.0 0.0 0.1 0.1 makeRuleList Gen.Rules 616 0 0.0 0.0 0.1 0.1 synthesise' Common.GuardedRewriting 941 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 942 0 0.0 0.0 0.0 0.0 |- Gen.Rules 944 5 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 946 5 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 945 5 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 943 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 617 0 0.1 0.0 0.1 0.1 rewriteM' Common.GuardedRewriting 618 206337 0.0 0.0 0.0 0.1 rewriteM Common.GuardedRewriting 619 206337 0.0 0.0 0.0 0.1 subst Common.GuardedRewriting 829 121 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 835 63 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 832 58 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 833 87 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 830 334 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 831 97 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 834 63 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 824 0 0.0 0.0 0.0 0.0 ruleDefImpl Gen.Rules 843 0 0.0 0.0 0.0 0.0 |- Gen.Rules 844 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 846 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 845 2 0.0 0.0 0.0 0.0 |- Gen.Rules 826 17 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 828 17 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 827 17 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 825 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 822 48 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 823 24 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 620 206385 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 818 48 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 821 72 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 622 206337 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 621 387963 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 817 48 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 820 144 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 819 24 0.0 0.0 0.0 0.0 counting Common.DNF 614 206337 0.0 0.0 0.0 0.0 conRules Common.DNF 593 0 0.0 0.0 0.9 0.9 makeRuleList Gen.Rules 605 0 0.0 0.0 0.1 0.1 rewriteMl Gen.Rules 606 0 0.0 0.0 0.1 0.1 rewriteM' Common.GuardedRewriting 607 206391 0.0 0.0 0.1 0.1 rewriteM Common.GuardedRewriting 608 206391 0.0 0.0 0.1 0.1 subst Common.GuardedRewriting 909 14 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 912 14 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 910 98 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 911 14 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 908 14 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 609 240758 0.0 0.0 0.1 0.0 from_aaXM Common.Logic 611 240758 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 610 691651 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 905 14 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 652 34367 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 907 14 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 906 14 0.0 0.0 0.0 0.0 tick Common.DNF 594 929042 0.1 0.0 0.8 0.8 makeRuleList Gen.Rules 596 0 0.0 0.0 0.7 0.7 synthesise' Common.GuardedRewriting 753 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 754 0 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 952 0 0.0 0.0 0.0 0.0 |- Gen.Rules 953 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 955 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 954 2 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 935 0 0.0 0.0 0.0 0.0 |- Gen.Rules 936 7 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 938 7 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 937 7 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 897 0 0.0 0.0 0.0 0.0 |- Gen.Rules 898 5 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 900 5 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 899 5 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 890 0 0.0 0.0 0.0 0.0 |- Gen.Rules 891 63 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 893 63 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 892 63 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 756 0 0.0 0.0 0.0 0.0 |- Gen.Rules 757 11 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 759 11 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 758 11 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 755 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 597 0 0.2 0.2 0.7 0.7 rewriteM' Common.GuardedRewriting 598 1651620 0.0 0.0 0.5 0.5 rewriteM Common.GuardedRewriting 599 1651620 0.1 0.2 0.5 0.5 synthesise_a1GC Common.GuardedRewriting 925 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 927 0 0.0 0.0 0.0 0.0 |- Gen.Rules 928 22 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 930 22 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 929 22 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 926 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 760 119 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 896 72 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 894 495 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 939 9 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 940 9 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 895 63 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 761 47 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 762 47 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 751 110 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 752 110 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 600 1912327 0.1 0.1 0.4 0.4 singleton Common.GuardedRewriting 604 110 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 750 110 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 602 1825404 0.0 0.1 0.0 0.1 match'_a1W3 Common.GuardedRewriting 601 4566618 0.2 0.0 0.3 0.1 match'_a1Ut Common.GuardedRewriting 747 110 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 603 260707 0.1 0.1 0.1 0.1 +++ Common.GuardedRewriting 749 440 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 748 110 0.0 0.0 0.0 0.0 counting Common.DNF 595 929042 0.0 0.0 0.0 0.0 one Common.Once 461 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 375 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 Gen.Rules 120 40 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 556 5 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 557 2 0.0 0.0 0.0 0.0 empty_a1Xo Common.GuardedRewriting 554 3 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 449 1 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 441 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 440 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Gen.Rules 439 1 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 412 1 0.0 0.0 0.0 0.0 makeRule Gen.Rules 383 5 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 384 5 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 387 5 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 413 0 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 797 0 0.0 0.0 0.0 0.0 |- Gen.Rules 798 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 800 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 799 1 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 442 0 0.0 0.0 0.0 0.0 |- Gen.Rules 443 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 445 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 444 3 0.0 0.0 0.0 0.0 |- Gen.Rules 417 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 419 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 418 14 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 416 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 420 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 429 42 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 428 42 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 426 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 423 156 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 422 450 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 425 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 431 124 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 414 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 415 109 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 435 7 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 434 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 432 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 433 22 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 427 21 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 421 313 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 424 109 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 430 78 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 385 5 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 386 5 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 388 5 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 389 5 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 411 5 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 410 5 0.0 0.0 0.0 0.0 ruleDefImpl Gen.Rules 382 1 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 374 1 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 369 1 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 364 1 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 359 1 0.0 0.0 0.0 0.0 ruleNotBoolConst Gen.Rules 351 1 0.0 0.0 0.0 0.0 |- Gen.Rules 353 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 355 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 354 2 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 346 1 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 341 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 336 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 270 1 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 275 1 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 883 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 280 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 267 3 0.0 0.0 0.0 0.0 |- Gen.Rules 390 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 392 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 391 14 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 304 3 0.0 0.0 0.0 0.0 right Common.GuardedRewriting 300 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 301 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 295 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 296 3 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 276 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 277 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 402 71 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 401 71 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 291 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 282 176 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 281 390 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 294 1 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 285 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 308 148 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 271 0 0.0 0.0 0.0 0.0 |- Gen.Rules 272 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 274 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 273 3 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 268 3 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 269 162 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 409 12 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 408 44 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 405 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 403 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 404 22 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 393 293 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 394 159 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 406 103 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 261 10 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 264 20 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 352 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 356 0 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 546 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 358 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 357 40 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 860 4 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 545 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 862 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 313 0 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 453 0 0.0 0.0 0.0 0.0 |- Gen.Rules 454 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 456 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 455 3 0.0 0.0 0.0 0.0 |- Gen.Rules 450 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 452 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 451 6 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 375 0 0.0 0.0 0.0 0.0 |- Gen.Rules 376 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 378 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 377 6 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 370 0 0.0 0.0 0.0 0.0 |- Gen.Rules 371 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 373 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 372 6 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 365 0 0.0 0.0 0.0 0.0 |- Gen.Rules 366 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 368 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 367 6 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 360 0 0.0 0.0 0.0 0.0 |- Gen.Rules 361 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 363 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 362 6 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 347 0 0.0 0.0 0.0 0.0 |- Gen.Rules 348 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 350 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 349 6 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 342 0 0.0 0.0 0.0 0.0 |- Gen.Rules 343 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 345 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 344 6 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 337 0 0.0 0.0 0.0 0.0 |- Gen.Rules 338 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 340 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 339 6 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 317 0 0.0 0.0 0.0 0.0 |- Gen.Rules 318 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 320 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 319 3 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 316 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 321 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 459 48 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 458 48 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 327 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 324 254 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 323 760 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 332 42 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 326 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 334 140 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 314 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 315 153 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 460 14 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 457 30 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 330 36 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 328 36 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 329 48 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 322 462 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 331 21 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 325 153 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 333 93 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 262 10 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 263 20 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 265 20 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 266 20 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 335 19 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 310 20 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 260 1 0.0 0.0 0.0 0.0