Thu Oct 01 14:03 2009 Time and Allocation Profiling Report (Final) TestUni-DNF2 +RTS -p -RTS total time = 23.92 secs (1196 ticks @ 20 ms) total alloc = 6,057,905,396 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc makeRuleList Uni.Rules 25.1 20.3 matchLogic Common.Logic 11.7 19.6 <|> Common.DNF 10.7 12.6 one Common.Once 10.5 10.3 tick Common.DNF 8.9 0.0 arbLogic Common.LogicGenerator 6.0 13.9 somewhere Common.Once 5.7 8.4 alternatives Common.DNF 4.1 0.0 |- Uni.Rules 3.5 0.2 isMetaVar Common.Logic 2.5 0.7 |-> Common.Logic 2.2 3.5 foldLogic Common.Logic 1.9 4.6 <*> Common.DNF 1.3 1.5 counting Common.DNF 1.0 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 Uni.DNF2.Test 230 5 0.0 0.0 93.0 84.6 nr Uni.DNF2.Test 237 1 0.0 0.0 0.0 0.0 main Uni.DNF2.Test 236 1 0.0 0.0 93.0 84.6 isDNF Common.Logic 351 0 0.3 0.2 0.5 0.5 isAtomic Common.Logic 578 272153 0.0 0.0 0.0 0.0 conjunctions Common.Logic 577 436765 0.2 0.2 0.2 0.2 disjunctions Common.Logic 352 199843 0.0 0.1 0.0 0.1 runStrategy Common.DNF 243 50000 0.1 0.0 0.1 0.0 dnf Uni.DNF2.Test 242 50000 0.1 0.0 92.4 84.1 dnf2 Common.DNF 353 0 0.0 0.0 92.3 84.1 alternatives Common.DNF 499 0 2.4 0.0 41.6 39.3 <|> Common.DNF 500 13681648 6.7 7.4 39.1 39.3 disRules Common.DNF 567 0 0.4 0.0 25.9 28.8 tick Common.DNF 568 7866463 2.8 0.0 25.5 28.8 ruleAndOverOr Uni.Rules 570 0 0.8 0.0 22.5 27.8 |- Uni.Rules 572 15669151 1.3 0.1 10.2 18.3 |-> Common.Logic 596 71703 0.2 0.2 0.3 0.4 isMetaVar Common.Logic 598 286812 0.0 0.0 0.0 0.0 foldLogic Common.Logic 597 71703 0.2 0.2 0.2 0.2 matchLogic Common.Logic 573 23463788 5.6 11.8 8.5 17.8 |-> Common.Logic 575 2720592 1.1 2.1 1.8 5.6 isMetaVar Common.Logic 594 351051 0.0 0.0 0.0 0.0 foldLogic Common.Logic 576 2720592 0.8 3.4 0.8 3.4 isMetaVar Common.Logic 574 23463788 1.1 0.4 1.1 0.4 makeRuleList Uni.Rules 571 7866463 11.5 9.5 11.5 9.5 counting Common.DNF 569 7866463 0.3 1.0 0.3 1.0 notRules Common.DNF 519 0 0.3 0.0 4.5 2.1 tick Common.DNF 520 4334441 1.8 0.0 4.3 2.1 ruleNotNot Uni.Rules 530 0 0.0 0.0 0.9 0.4 |- Uni.Rules 531 1407113 0.3 0.0 0.9 0.4 |-> Common.Logic 582 28300 0.1 0.0 0.2 0.1 isMetaVar Common.Logic 584 28300 0.0 0.0 0.0 0.0 foldLogic Common.Logic 583 28300 0.1 0.0 0.1 0.0 matchLogic Common.Logic 532 1758540 0.2 0.3 0.5 0.3 isMetaVar Common.Logic 533 1758540 0.3 0.0 0.3 0.0 ruleDeMorganOr Uni.Rules 526 0 0.0 0.0 0.6 0.6 |- Uni.Rules 527 1448027 0.2 0.0 0.6 0.6 |-> Common.Logic 537 20457 0.0 0.0 0.1 0.1 isMetaVar Common.Logic 539 40914 0.0 0.0 0.0 0.0 foldLogic Common.Logic 538 20457 0.1 0.0 0.1 0.0 matchLogic Common.Logic 528 1865589 0.2 0.4 0.3 0.5 |-> Common.Logic 534 40914 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 536 40914 0.0 0.0 0.0 0.0 foldLogic Common.Logic 535 40914 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 529 1865589 0.1 0.0 0.1 0.0 ruleDeMorganAnd Uni.Rules 522 0 0.0 0.0 0.8 0.5 |- Uni.Rules 523 1479301 0.3 0.0 0.8 0.5 |-> Common.Logic 591 15635 0.2 0.0 0.3 0.1 isMetaVar Common.Logic 593 31270 0.0 0.0 0.0 0.0 foldLogic Common.Logic 592 15635 0.2 0.0 0.2 0.0 matchLogic Common.Logic 524 1908857 0.2 0.4 0.3 0.5 |-> Common.Logic 558 31274 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 560 31274 0.0 0.0 0.0 0.0 foldLogic Common.Logic 559 31274 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 525 1908857 0.0 0.0 0.0 0.0 counting Common.DNF 521 4334441 0.1 0.6 0.1 0.6 defRules Common.DNF 501 0 0.0 0.0 2.0 1.0 tick Common.DNF 502 1480744 0.3 0.0 2.0 1.0 ruleDefEquiv Uni.Rules 508 0 0.0 0.0 0.8 0.3 |- Uni.Rules 509 718747 0.2 0.0 0.8 0.3 |-> Common.Logic 604 7562 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 606 30248 0.0 0.0 0.0 0.0 foldLogic Common.Logic 605 7562 0.0 0.0 0.0 0.0 matchLogic Common.Logic 510 748995 0.4 0.2 0.5 0.2 |-> Common.Logic 601 15124 0.0 0.0 0.1 0.0 isMetaVar Common.Logic 603 15124 0.0 0.0 0.0 0.0 foldLogic Common.Logic 602 15124 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 511 748995 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 504 0 0.0 0.0 0.8 0.5 |- Uni.Rules 505 761997 0.1 0.0 0.8 0.5 |-> Common.Logic 516 21623 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 518 43246 0.0 0.0 0.0 0.0 foldLogic Common.Logic 517 21623 0.0 0.0 0.0 0.0 matchLogic Common.Logic 506 848497 0.4 0.3 0.7 0.4 |-> Common.Logic 512 43250 0.1 0.0 0.1 0.1 isMetaVar Common.Logic 515 43250 0.0 0.0 0.0 0.0 foldLogic Common.Logic 513 43250 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 507 848497 0.2 0.0 0.2 0.0 counting Common.DNF 503 1480744 0.2 0.2 0.2 0.2 somewhere Common.DNF 361 0 0.1 0.0 49.0 42.8 once Common.Once 362 691856 0.3 0.1 48.9 42.8 somewhere Common.Once 363 11174671 5.7 8.2 48.7 42.7 one Common.Once 422 10682811 10.3 10.2 10.3 10.2 alternatives Common.DNF 364 0 1.6 0.0 32.7 24.3 <|> Common.DNF 365 8856937 3.7 4.8 31.1 24.3 conRules Common.DNF 366 0 0.6 0.0 27.4 19.5 tick Common.DNF 367 8856937 3.8 0.0 26.8 19.5 ruleTrueInImpl Uni.Rules 417 0 0.1 0.0 1.9 1.9 |- Uni.Rules 419 1835202 0.2 0.0 0.8 0.8 |-> Common.Logic 657 7990 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 660 4236 0.0 0.0 0.0 0.0 foldLogic Common.Logic 658 7990 0.0 0.0 0.0 0.0 matchLogic Common.Logic 420 2161329 0.2 0.6 0.7 0.8 |-> Common.Logic 425 111533 0.1 0.1 0.3 0.2 isMetaVar Common.Logic 659 8472 0.0 0.0 0.0 0.0 foldLogic Common.Logic 426 111533 0.3 0.1 0.3 0.1 isMetaVar Common.Logic 421 2161329 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 418 921837 1.0 1.1 1.0 1.1 ruleFalseInImpl Uni.Rules 412 0 0.0 0.0 2.8 2.0 |- Uni.Rules 414 1864236 0.3 0.0 0.8 0.9 |-> Common.Logic 648 7037 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 665 3243 0.0 0.0 0.0 0.0 foldLogic Common.Logic 649 7037 0.0 0.0 0.0 0.0 matchLogic Common.Logic 415 2233472 0.4 0.7 0.6 0.9 |-> Common.Logic 423 125608 0.0 0.1 0.0 0.2 isMetaVar Common.Logic 647 7588 0.0 0.0 0.0 0.0 foldLogic Common.Logic 424 125608 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 416 2233472 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 413 935912 2.0 1.1 2.0 1.1 ruleTrueInEquiv Uni.Rules 407 0 0.1 0.0 2.0 1.6 |- Uni.Rules 409 1881978 0.2 0.0 0.7 0.5 |-> Common.Logic 661 3486 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 663 3486 0.0 0.0 0.0 0.0 foldLogic Common.Logic 662 3486 0.0 0.0 0.0 0.0 matchLogic Common.Logic 410 2014016 0.3 0.4 0.5 0.5 |-> Common.Logic 599 45276 0.0 0.0 0.1 0.1 isMetaVar Common.Logic 664 3790 0.0 0.0 0.0 0.0 foldLogic Common.Logic 600 45276 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 411 2014016 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 408 942884 1.3 1.1 1.3 1.1 ruleFalseInEquiv Uni.Rules 402 0 0.3 0.0 2.4 1.6 |- Uni.Rules 404 1894892 0.1 0.0 0.7 0.5 |-> Common.Logic 588 3109 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 590 3109 0.0 0.0 0.0 0.0 foldLogic Common.Logic 589 3109 0.0 0.0 0.0 0.0 matchLogic Common.Logic 405 2046062 0.4 0.4 0.6 0.5 |-> Common.Logic 585 51494 0.1 0.0 0.2 0.1 isMetaVar Common.Logic 587 3312 0.0 0.0 0.0 0.0 foldLogic Common.Logic 586 51494 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 406 2046062 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 403 949102 1.4 1.1 1.4 1.1 ruleNotBoolConst Uni.Rules 397 0 0.2 0.0 2.1 1.5 |- Uni.Rules 399 1937667 0.0 0.0 0.6 0.3 |-> Common.Logic 638 13638 0.0 0.0 0.0 0.0 foldLogic Common.Logic 639 13638 0.0 0.0 0.0 0.0 matchLogic Common.Logic 400 2264228 0.4 0.3 0.6 0.3 isMetaVar Common.Logic 401 2264228 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 398 976379 1.3 1.2 1.3 1.2 ruleFalseZeroAnd Uni.Rules 392 0 0.1 0.0 2.8 2.3 |- Uni.Rules 394 1982524 0.1 0.0 0.8 1.1 |-> Common.Logic 641 10143 0.0 0.0 0.0 0.0 foldLogic Common.Logic 642 10143 0.0 0.0 0.0 0.0 matchLogic Common.Logic 395 2454152 0.6 0.8 0.8 1.1 |-> Common.Logic 429 160812 0.0 0.1 0.1 0.2 isMetaVar Common.Logic 640 10808 0.0 0.0 0.0 0.0 foldLogic Common.Logic 430 160812 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 396 2454152 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 393 996666 1.9 1.2 1.9 1.2 ruleTrueZeroAnd Uni.Rules 387 0 0.3 0.0 2.8 2.5 |- Uni.Rules 389 2029825 0.2 0.0 1.3 1.2 |-> Common.Logic 579 12542 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 581 12542 0.0 0.0 0.0 0.0 foldLogic Common.Logic 580 12542 0.0 0.0 0.0 0.0 matchLogic Common.Logic 390 2573839 0.9 0.9 1.1 1.2 |-> Common.Logic 427 185897 0.0 0.1 0.0 0.3 isMetaVar Common.Logic 434 13677 0.0 0.0 0.0 0.0 foldLogic Common.Logic 428 185897 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 391 2573839 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 388 1021751 1.2 1.2 1.2 1.2 ruleTrueZeroOr Uni.Rules 380 0 0.0 0.0 2.8 2.4 |- Uni.Rules 382 2078078 0.2 0.0 0.8 1.1 |-> Common.Logic 432 11871 0.0 0.0 0.0 0.0 foldLogic Common.Logic 433 11871 0.0 0.0 0.0 0.0 matchLogic Common.Logic 383 2564991 0.5 0.8 0.7 1.1 |-> Common.Logic 385 166609 0.2 0.1 0.2 0.2 isMetaVar Common.Logic 431 12914 0.0 0.0 0.0 0.0 foldLogic Common.Logic 386 166609 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 384 2564991 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 381 1045496 1.9 1.3 1.9 1.3 ruleFalseZeroOr Uni.Rules 369 0 0.2 0.0 2.8 2.5 |- Uni.Rules 371 2122388 0.2 0.0 1.2 1.2 |-> Common.Logic 643 10707 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 645 10707 0.0 0.0 0.0 0.0 foldLogic Common.Logic 644 10707 0.0 0.0 0.0 0.0 matchLogic Common.Logic 372 2675025 0.9 0.9 1.0 1.2 |-> Common.Logic 378 188023 0.0 0.1 0.1 0.3 isMetaVar Common.Logic 646 11432 0.0 0.0 0.0 0.0 foldLogic Common.Logic 379 188023 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 373 2675025 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 370 1066910 1.5 1.3 1.5 1.3 counting Common.DNF 368 8856937 0.5 1.2 0.5 1.2 repeat Common.DNF 355 0 0.0 0.0 1.5 1.9 many Common.DNF 357 0 0.0 0.0 1.1 1.3 <|> Common.DNF 358 451300 0.2 0.4 1.1 1.3 <*> Common.DNF 359 245803 0.9 0.9 0.9 0.9 <*> Common.DNF 356 202301 0.2 0.4 0.4 0.5 notS Common.DNF 360 446053 0.3 0.2 0.3 0.2 <*> Common.DNF 354 151294 0.3 0.2 0.3 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.0 0.0 0.0 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 6.3 14.4 arbLogic Common.LogicGenerator 266 1 0.0 0.0 0.0 0.0 arbitrary_atFE Common.LogicGenerator 265 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.3 0.5 6.3 14.4 arbitrary_atFE Common.LogicGenerator 374 0 0.0 0.0 6.0 13.9 arbLogic Common.LogicGenerator 375 0 6.0 13.9 6.0 13.9 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 377 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 350 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 349 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 670 1 0.0 0.0 0.0 0.0 disRules Common.DNF 341 1 0.0 0.0 0.0 0.0 tick Common.DNF 342 1 0.0 0.0 0.0 0.0 counting Common.DNF 343 1 0.0 0.0 0.0 0.0 notRules Common.DNF 323 1 0.0 0.0 0.0 0.0 tick Common.DNF 324 3 0.0 0.0 0.0 0.0 counting Common.DNF 325 3 0.0 0.0 0.0 0.0 defRules Common.DNF 309 1 0.0 0.0 0.0 0.0 tick Common.DNF 311 2 0.0 0.0 0.0 0.0 counting Common.DNF 312 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 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.8 1.0 alternatives Common.DNF 308 0 0.1 0.0 0.6 0.7 <|> Common.DNF 310 177437 0.2 0.1 0.5 0.7 disRules Common.DNF 624 0 0.1 0.0 0.3 0.6 tick Common.DNF 625 176370 0.1 0.0 0.3 0.6 ruleAndOverOr Uni.Rules 627 0 0.1 0.0 0.2 0.6 |- Uni.Rules 629 352611 0.0 0.0 0.1 0.4 |-> Common.Logic 635 232 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 637 928 0.0 0.0 0.0 0.0 foldLogic Common.Logic 636 232 0.0 0.0 0.0 0.0 matchLogic Common.Logic 630 531297 0.1 0.3 0.1 0.4 |-> Common.Logic 632 59751 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 634 593 0.0 0.0 0.0 0.0 foldLogic Common.Logic 633 59751 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 631 531297 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 628 176370 0.0 0.2 0.0 0.2 counting Common.DNF 626 176370 0.0 0.0 0.0 0.0 defRules Common.DNF 607 0 0.0 0.0 0.0 0.0 tick Common.DNF 608 262 0.0 0.0 0.0 0.0 ruleDefEquiv Uni.Rules 614 0 0.0 0.0 0.0 0.0 |- Uni.Rules 615 129 0.0 0.0 0.0 0.0 matchLogic Common.Logic 616 129 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 617 129 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 610 0 0.0 0.0 0.0 0.0 |- Uni.Rules 611 133 0.0 0.0 0.0 0.0 |-> Common.Logic 621 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 623 8 0.0 0.0 0.0 0.0 foldLogic Common.Logic 622 4 0.0 0.0 0.0 0.0 matchLogic Common.Logic 612 141 0.0 0.0 0.0 0.0 |-> Common.Logic 618 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 620 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 619 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 613 141 0.0 0.0 0.0 0.0 counting Common.DNF 609 262 0.0 0.0 0.0 0.0 notRules Common.DNF 540 0 0.0 0.0 0.0 0.0 tick Common.DNF 541 799 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 551 0 0.0 0.0 0.0 0.0 |- Uni.Rules 552 265 0.0 0.0 0.0 0.0 |-> Common.Logic 555 7 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 557 7 0.0 0.0 0.0 0.0 foldLogic Common.Logic 556 7 0.0 0.0 0.0 0.0 matchLogic Common.Logic 553 331 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 554 331 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 547 0 0.0 0.0 0.0 0.0 |- Uni.Rules 548 265 0.0 0.0 0.0 0.0 matchLogic Common.Logic 549 324 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 550 324 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 543 0 0.0 0.0 0.0 0.0 |- Uni.Rules 544 269 0.0 0.0 0.0 0.0 |-> Common.Logic 564 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 566 8 0.0 0.0 0.0 0.0 foldLogic Common.Logic 565 4 0.0 0.0 0.0 0.0 matchLogic Common.Logic 545 340 0.0 0.0 0.0 0.0 |-> Common.Logic 561 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 563 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 562 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 546 340 0.0 0.0 0.0 0.0 counting Common.DNF 542 799 0.0 0.0 0.0 0.0 somewhere Common.DNF 252 4 0.0 0.0 0.2 0.3 once Common.Once 253 258 0.0 0.0 0.2 0.3 somewhere Common.Once 254 176814 0.0 0.1 0.2 0.3 alternatives Common.DNF 435 0 0.0 0.0 0.0 0.0 <|> Common.DNF 436 305 0.0 0.0 0.0 0.0 conRules Common.DNF 437 0 0.0 0.0 0.0 0.0 tick Common.DNF 438 305 0.0 0.0 0.0 0.0 ruleTrueInImpl Uni.Rules 484 0 0.0 0.0 0.0 0.0 |- Uni.Rules 486 62 0.0 0.0 0.0 0.0 matchLogic Common.Logic 487 74 0.0 0.0 0.0 0.0 |-> Common.Logic 491 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 492 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 488 74 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 485 31 0.0 0.0 0.0 0.0 ruleFalseInImpl Uni.Rules 479 0 0.0 0.0 0.0 0.0 |- Uni.Rules 481 64 0.0 0.0 0.0 0.0 |-> Common.Logic 654 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 656 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 655 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 482 79 0.0 0.0 0.0 0.0 |-> Common.Logic 489 5 0.0 0.0 0.0 0.0 foldLogic Common.Logic 490 5 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 483 79 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 480 32 0.0 0.0 0.0 0.0 ruleTrueInEquiv 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 ruleFalseInEquiv Uni.Rules 469 0 0.0 0.0 0.0 0.0 |- Uni.Rules 471 64 0.0 0.0 0.0 0.0 matchLogic Common.Logic 472 64 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 473 64 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 470 32 0.0 0.0 0.0 0.0 ruleNotBoolConst Uni.Rules 464 0 0.0 0.0 0.0 0.0 |- Uni.Rules 466 65 0.0 0.0 0.0 0.0 |-> Common.Logic 652 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 653 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 467 86 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 468 86 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 465 33 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Uni.Rules 459 0 0.0 0.0 0.0 0.0 |- Uni.Rules 461 68 0.0 0.0 0.0 0.0 |-> Common.Logic 668 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 669 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 462 71 0.0 0.0 0.0 0.0 |-> Common.Logic 666 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 667 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 463 71 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 460 34 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Uni.Rules 454 0 0.0 0.0 0.0 0.0 |- Uni.Rules 456 69 0.0 0.0 0.0 0.0 |-> Common.Logic 496 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 498 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 497 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 457 74 0.0 0.0 0.0 0.0 |-> Common.Logic 493 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 495 1 0.0 0.0 0.0 0.0 foldLogic Common.Logic 494 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 458 74 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 455 35 0.0 0.0 0.0 0.0 ruleTrueZeroOr Uni.Rules 447 0 0.0 0.0 0.0 0.0 |- Uni.Rules 449 76 0.0 0.0 0.0 0.0 |-> Common.Logic 650 3 0.0 0.0 0.0 0.0 foldLogic Common.Logic 651 3 0.0 0.0 0.0 0.0 matchLogic Common.Logic 450 106 0.0 0.0 0.0 0.0 |-> Common.Logic 452 10 0.0 0.0 0.0 0.0 foldLogic Common.Logic 453 10 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 451 106 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 448 38 0.0 0.0 0.0 0.0 ruleFalseZeroOr Uni.Rules 440 0 0.0 0.0 0.0 0.0 |- Uni.Rules 442 76 0.0 0.0 0.0 0.0 matchLogic Common.Logic 443 106 0.0 0.0 0.0 0.0 |-> Common.Logic 445 10 0.0 0.0 0.0 0.0 foldLogic Common.Logic 446 10 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 444 106 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 441 38 0.0 0.0 0.0 0.0 counting Common.DNF 439 305 0.0 0.0 0.0 0.0 one Common.Once 307 176560 0.2 0.2 0.2 0.2 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 293 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 CAF Uni.Rules 120 18 0.0 0.0 0.0 0.0 z Uni.Rules 595 1 0.0 0.0 0.0 0.0 y Uni.Rules 514 1 0.0 0.0 0.0 0.0 x Uni.Rules 376 1 0.0 0.0 0.0 0.0 ruleAndOverOr Uni.Rules 344 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 346 1 0.0 0.0 0.0 0.0 |- Uni.Rules 345 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 347 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 348 2 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 336 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 338 1 0.0 0.0 0.0 0.0 |- Uni.Rules 337 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 339 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 340 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 331 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 333 1 0.0 0.0 0.0 0.0 |- Uni.Rules 332 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 334 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 335 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 326 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 328 1 0.0 0.0 0.0 0.0 |- Uni.Rules 327 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 329 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 330 1 0.0 0.0 0.0 0.0 ruleDefEquiv Uni.Rules 318 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 320 1 0.0 0.0 0.0 0.0 |- Uni.Rules 319 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 321 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 322 1 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 313 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 315 1 0.0 0.0 0.0 0.0 |- Uni.Rules 314 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 316 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 317 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