Thu Oct 01 14:04 2009 Time and Allocation Profiling Report (Final) TestUni-DNF4 +RTS -p -RTS total time = 21.88 secs (1094 ticks @ 20 ms) total alloc = 6,171,605,580 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc makeRuleList Uni.Rules 22.9 17.4 arbLogic Common.LogicGenerator 14.3 30.1 matchLogic Common.Logic 10.7 14.2 <|> Common.DNF 10.2 12.5 tick Common.DNF 9.9 0.0 |- Uni.Rules 3.5 0.4 isMetaVar Common.Logic 3.5 0.6 foldLogic Common.Logic 3.5 2.9 alternatives Common.DNF 3.2 0.0 |-> Common.Logic 3.0 2.9 <*> Common.DNF 2.6 4.2 full Common.Once 2.1 2.9 notS Common.DNF 2.1 2.1 fullBU Common.Once 1.8 2.4 fullTD Common.Once 1.0 2.8 counting Common.DNF 0.9 2.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 Uni.DNF4.Test 230 5 0.0 0.0 84.9 69.0 nr Uni.DNF4.Test 237 1 0.0 0.0 0.0 0.0 main Uni.DNF4.Test 236 1 0.1 0.1 84.9 69.0 isDNF Common.Logic 362 0 0.4 0.4 0.5 1.0 isAtomic Common.Logic 585 547090 0.0 0.0 0.0 0.0 conjunctions Common.Logic 584 878011 0.1 0.4 0.1 0.4 disjunctions Common.Logic 363 401601 0.1 0.2 0.1 0.2 runStrategy Common.DNF 243 100000 0.0 0.0 0.0 0.0 dnf Uni.DNF4.Test 242 100000 0.3 0.0 84.3 67.9 dnf4 Common.DNF 364 0 0.0 0.0 84.0 67.9 try Common.DNF 571 0 0.0 0.0 1.6 1.8 <|> Common.DNF 572 1900135 0.7 0.5 1.6 1.8 notS Common.DNF 573 1755366 0.9 1.3 0.9 1.3 alternatives Common.DNF 538 0 1.7 0.0 22.0 19.3 <|> Common.DNF 539 6224842 2.0 3.4 20.3 19.3 disRules Common.DNF 574 0 0.1 0.0 13.9 13.4 tick Common.DNF 575 3634402 1.4 0.0 13.8 13.4 ruleAndOverOr Uni.Rules 577 0 0.5 0.0 12.2 13.0 |- Uni.Rules 579 7225154 0.6 0.1 6.1 8.6 |-> Common.Logic 597 123670 0.3 0.3 1.3 0.7 isMetaVar Common.Logic 601 494680 0.2 0.1 0.2 0.1 foldLogic Common.Logic 598 123670 0.8 0.3 0.8 0.3 matchLogic Common.Logic 580 10319150 2.2 5.4 4.2 7.8 |-> Common.Logic 582 1140452 0.9 0.9 1.4 2.3 isMetaVar Common.Logic 595 290990 0.1 0.0 0.1 0.0 foldLogic Common.Logic 583 1140452 0.4 1.3 0.4 1.3 isMetaVar Common.Logic 581 10319150 0.6 0.2 0.6 0.2 makeRuleList Uni.Rules 578 3634402 5.5 4.3 5.5 4.3 counting Common.DNF 576 3634402 0.3 0.5 0.3 0.5 notRules Common.DNF 540 0 0.1 0.0 4.4 2.5 tick Common.DNF 541 2590440 1.0 0.0 4.3 2.5 ruleNotNot Uni.Rules 551 0 0.0 0.0 0.8 0.4 |- Uni.Rules 552 786894 0.1 0.0 0.8 0.4 |-> Common.Logic 562 57418 0.0 0.1 0.1 0.1 isMetaVar Common.Logic 564 57418 0.0 0.0 0.0 0.0 foldLogic Common.Logic 563 57418 0.1 0.0 0.1 0.0 matchLogic Common.Logic 553 1146443 0.5 0.2 0.6 0.2 isMetaVar Common.Logic 554 1146443 0.2 0.0 0.2 0.0 ruleDeMorganOr Uni.Rules 547 0 0.0 0.0 1.4 1.0 |- Uni.Rules 548 870112 0.2 0.0 1.4 1.0 |-> Common.Logic 559 41609 0.2 0.1 0.5 0.2 isMetaVar Common.Logic 561 83218 0.0 0.0 0.0 0.0 foldLogic Common.Logic 560 41609 0.3 0.1 0.3 0.1 matchLogic Common.Logic 549 1364479 0.5 0.6 0.7 0.7 |-> Common.Logic 556 83218 0.0 0.1 0.2 0.2 isMetaVar Common.Logic 558 83218 0.0 0.0 0.0 0.0 foldLogic Common.Logic 557 83218 0.2 0.0 0.2 0.0 isMetaVar Common.Logic 550 1364479 0.1 0.0 0.1 0.0 ruleDeMorganAnd Uni.Rules 543 0 0.0 0.0 1.1 0.8 |- Uni.Rules 544 933434 0.1 0.0 1.1 0.8 |-> Common.Logic 568 31661 0.0 0.1 0.3 0.1 isMetaVar Common.Logic 570 63322 0.0 0.0 0.0 0.0 foldLogic Common.Logic 569 31661 0.3 0.1 0.3 0.1 matchLogic Common.Logic 545 1451331 0.5 0.5 0.7 0.6 |-> Common.Logic 565 63322 0.1 0.1 0.2 0.1 isMetaVar Common.Logic 567 63322 0.0 0.0 0.0 0.0 foldLogic Common.Logic 566 63322 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 546 1451331 0.0 0.0 0.0 0.0 counting Common.DNF 542 2590440 0.0 0.3 0.0 0.3 fullTD Common.Once 537 1879036 1.0 2.8 1.9 4.4 full Common.Once 555 1879036 0.9 1.6 0.9 1.6 repeat Common.DNF 370 0 0.0 0.0 54.3 37.9 many Common.DNF 372 0 0.0 0.0 9.0 8.9 <|> Common.DNF 373 3429400 2.1 2.5 9.0 8.9 defRules Common.DNF 501 0 0.0 0.0 0.9 0.9 tick Common.DNF 502 82620 0.0 0.0 0.9 0.9 ruleDefEquiv Uni.Rules 609 0 0.0 0.0 0.3 0.3 |- Uni.Rules 610 18493 0.0 0.0 0.3 0.3 |-> Common.Logic 616 18493 0.1 0.0 0.3 0.1 isMetaVar Common.Logic 618 61824 0.1 0.0 0.1 0.0 foldLogic Common.Logic 617 18493 0.1 0.1 0.1 0.1 matchLogic Common.Logic 611 55479 0.0 0.1 0.0 0.2 |-> Common.Logic 613 18493 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 615 18493 0.0 0.0 0.0 0.0 foldLogic Common.Logic 614 18493 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 612 55479 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 504 0 0.0 0.0 0.6 0.6 |- Uni.Rules 505 64127 0.0 0.0 0.6 0.6 |-> Common.Logic 511 45634 0.0 0.1 0.3 0.2 isMetaVar Common.Logic 515 84452 0.1 0.0 0.1 0.0 foldLogic Common.Logic 512 45634 0.2 0.1 0.2 0.1 matchLogic Common.Logic 506 155395 0.3 0.3 0.4 0.4 |-> Common.Logic 508 45634 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 510 45634 0.0 0.0 0.0 0.0 foldLogic Common.Logic 509 45634 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 507 155395 0.0 0.0 0.0 0.0 counting Common.DNF 503 82620 0.0 0.0 0.0 0.0 alternatives Common.DNF 456 0 0.3 0.0 0.3 0.0 conRules Common.DNF 448 0 0.0 0.0 5.5 4.4 tick Common.DNF 449 1358296 0.5 0.0 5.5 4.4 ruleTrueInImpl Uni.Rules 494 0 0.0 0.0 0.2 0.5 |- Uni.Rules 496 152997 0.0 0.0 0.2 0.4 |-> Common.Logic 640 16913 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 644 9083 0.0 0.0 0.0 0.0 foldLogic Common.Logic 641 16913 0.0 0.0 0.0 0.0 matchLogic Common.Logic 497 331555 0.1 0.2 0.1 0.3 |-> Common.Logic 499 62547 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 643 9083 0.0 0.0 0.0 0.0 foldLogic Common.Logic 500 62547 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 498 331555 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 495 81040 0.0 0.1 0.0 0.1 ruleFalseInImpl Uni.Rules 487 0 0.0 0.0 0.5 0.6 |- Uni.Rules 489 186115 0.1 0.0 0.4 0.4 |-> Common.Logic 634 16368 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 636 7667 0.0 0.0 0.0 0.0 foldLogic Common.Logic 635 16368 0.0 0.0 0.0 0.0 matchLogic Common.Logic 490 414159 0.1 0.3 0.3 0.4 |-> Common.Logic 492 78915 0.0 0.1 0.2 0.1 isMetaVar Common.Logic 633 8701 0.0 0.0 0.0 0.0 foldLogic Common.Logic 493 78915 0.2 0.0 0.2 0.0 isMetaVar Common.Logic 491 414159 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 488 97408 0.2 0.1 0.2 0.1 ruleTrueInEquiv Uni.Rules 482 0 0.1 0.0 0.8 0.3 |- Uni.Rules 484 205377 0.1 0.0 0.3 0.2 |-> Common.Logic 637 7242 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 639 7242 0.0 0.0 0.0 0.0 foldLogic Common.Logic 638 7242 0.0 0.0 0.0 0.0 matchLogic Common.Logic 485 278659 0.1 0.1 0.2 0.2 |-> Common.Logic 607 25735 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 646 3923 0.0 0.0 0.0 0.0 foldLogic Common.Logic 608 25735 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 486 278659 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 483 104650 0.5 0.1 0.5 0.1 ruleFalseInEquiv Uni.Rules 477 0 0.1 0.0 0.4 0.3 |- Uni.Rules 479 220064 0.0 0.0 0.2 0.2 |-> Common.Logic 592 7269 0.0 0.0 0.1 0.0 isMetaVar Common.Logic 594 7269 0.0 0.0 0.0 0.0 foldLogic Common.Logic 593 7269 0.1 0.0 0.1 0.0 matchLogic Common.Logic 480 315302 0.1 0.1 0.1 0.2 |-> Common.Logic 589 33004 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 591 3774 0.0 0.0 0.0 0.0 foldLogic Common.Logic 590 33004 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 481 315302 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 478 111919 0.1 0.1 0.1 0.1 ruleNotBoolConst Uni.Rules 472 0 0.0 0.0 0.5 0.3 |- Uni.Rules 474 268414 0.0 0.0 0.4 0.1 |-> Common.Logic 619 31082 0.2 0.0 0.3 0.0 foldLogic Common.Logic 620 31082 0.1 0.0 0.1 0.0 matchLogic Common.Logic 475 312990 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 476 312990 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 473 143001 0.1 0.2 0.1 0.2 ruleFalseZeroAnd Uni.Rules 467 0 0.0 0.0 0.2 0.4 |- Uni.Rules 469 317519 0.0 0.0 0.1 0.2 |-> Common.Logic 625 21453 0.0 0.0 0.0 0.0 foldLogic Common.Logic 626 21453 0.0 0.0 0.0 0.0 matchLogic Common.Logic 470 370489 0.1 0.1 0.1 0.2 |-> Common.Logic 622 21453 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 624 11389 0.0 0.0 0.0 0.0 foldLogic Common.Logic 623 21453 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 471 370489 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 468 164454 0.1 0.2 0.1 0.2 ruleTrueZeroAnd Uni.Rules 462 0 0.0 0.0 1.3 0.6 |- Uni.Rules 464 371087 0.0 0.0 0.7 0.4 |-> Common.Logic 532 28919 0.2 0.0 0.3 0.1 isMetaVar Common.Logic 534 28919 0.0 0.0 0.0 0.0 foldLogic Common.Logic 533 28919 0.1 0.0 0.1 0.0 matchLogic Common.Logic 465 506544 0.4 0.2 0.5 0.3 |-> Common.Logic 529 50372 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 531 15659 0.0 0.0 0.0 0.0 foldLogic Common.Logic 530 50372 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 466 506544 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 463 193373 0.5 0.2 0.5 0.2 ruleTrueZeroOr Uni.Rules 457 0 0.0 0.0 0.4 0.5 |- Uni.Rules 459 423717 0.2 0.0 0.2 0.2 |-> Common.Logic 524 25354 0.0 0.0 0.0 0.0 foldLogic Common.Logic 525 25354 0.0 0.0 0.0 0.0 matchLogic Common.Logic 460 486042 0.0 0.1 0.0 0.2 |-> Common.Logic 521 25354 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 523 13737 0.0 0.0 0.0 0.0 foldLogic Common.Logic 522 25354 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 461 486042 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 458 218727 0.2 0.3 0.2 0.3 ruleFalseZeroOr Uni.Rules 451 0 0.0 0.0 0.5 0.7 |- Uni.Rules 453 474254 0.0 0.0 0.1 0.4 |-> Common.Logic 627 24997 0.1 0.0 0.1 0.0 isMetaVar Common.Logic 629 24997 0.0 0.0 0.0 0.0 foldLogic Common.Logic 628 24997 0.0 0.0 0.0 0.0 matchLogic Common.Logic 454 612113 0.0 0.2 0.0 0.3 |-> Common.Logic 519 50351 0.0 0.0 0.0 0.1 isMetaVar Common.Logic 631 13194 0.0 0.0 0.0 0.0 foldLogic Common.Logic 520 50351 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 455 612113 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 452 243724 0.5 0.3 0.5 0.3 counting Common.DNF 450 1358296 0.2 0.2 0.2 0.2 <*> Common.DNF 374 374412 0.2 1.1 0.2 1.1 alternatives Common.DNF 447 0 0.0 0.0 0.0 0.0 <*> Common.DNF 371 1610239 1.3 2.2 45.3 29.0 notS Common.DNF 375 1964079 1.2 0.8 44.1 26.8 alternatives Common.DNF 376 0 1.2 0.0 42.9 26.0 <|> Common.DNF 377 11534615 5.4 6.1 41.7 26.0 defRules Common.DNF 426 0 0.1 0.0 2.3 0.9 tick Common.DNF 427 1917838 0.7 0.0 2.2 0.9 ruleDefEquiv Uni.Rules 433 0 0.0 0.0 0.5 0.2 |- Uni.Rules 434 936102 0.1 0.0 0.5 0.2 matchLogic Common.Logic 435 973088 0.3 0.2 0.5 0.2 |-> Common.Logic 604 18493 0.1 0.0 0.2 0.0 isMetaVar Common.Logic 606 18493 0.1 0.0 0.1 0.0 foldLogic Common.Logic 605 18493 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 436 973088 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 429 0 0.0 0.0 0.9 0.4 |- Uni.Rules 430 981736 0.2 0.0 0.9 0.4 matchLogic Common.Logic 431 1073004 0.5 0.3 0.7 0.4 |-> Common.Logic 443 45634 0.0 0.1 0.2 0.1 isMetaVar Common.Logic 446 45634 0.0 0.0 0.0 0.0 foldLogic Common.Logic 444 45634 0.2 0.0 0.2 0.0 isMetaVar Common.Logic 432 1073004 0.1 0.0 0.1 0.0 counting Common.DNF 428 1917838 0.0 0.2 0.0 0.2 conRules Common.DNF 378 0 0.5 0.0 34.0 19.0 tick Common.DNF 379 9616777 6.2 0.0 33.5 19.0 ruleTrueInImpl Uni.Rules 421 0 0.1 0.0 2.6 1.7 |- Uni.Rules 423 1988215 0.2 0.0 1.0 0.6 matchLogic Common.Logic 424 2166773 0.5 0.5 0.8 0.6 |-> Common.Logic 441 62547 0.3 0.0 0.3 0.1 isMetaVar Common.Logic 642 9083 0.0 0.0 0.0 0.0 foldLogic Common.Logic 442 62547 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 425 2166773 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 422 998649 1.5 1.2 1.5 1.2 ruleFalseInImpl Uni.Rules 416 0 0.3 0.0 2.7 1.8 |- Uni.Rules 418 2021333 0.0 0.0 0.9 0.7 matchLogic Common.Logic 419 2249377 0.5 0.5 0.9 0.6 |-> Common.Logic 439 78915 0.2 0.1 0.2 0.1 isMetaVar Common.Logic 632 8701 0.0 0.0 0.0 0.0 foldLogic Common.Logic 440 78915 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 420 2249377 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 417 1015017 1.5 1.2 1.5 1.2 ruleTrueInEquiv Uni.Rules 411 0 0.1 0.0 1.7 1.6 |- Uni.Rules 413 2040595 0.0 0.0 0.4 0.4 matchLogic Common.Logic 414 2113877 0.4 0.4 0.4 0.4 |-> Common.Logic 602 25735 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 645 3923 0.0 0.0 0.0 0.0 foldLogic Common.Logic 603 25735 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 415 2113877 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 412 1022259 1.3 1.2 1.3 1.2 ruleFalseInEquiv Uni.Rules 406 0 0.0 0.0 2.6 1.6 |- Uni.Rules 408 2055282 0.1 0.0 0.9 0.4 matchLogic Common.Logic 409 2150520 0.6 0.4 0.8 0.4 |-> Common.Logic 586 33004 0.0 0.0 0.1 0.0 isMetaVar Common.Logic 588 3774 0.1 0.0 0.1 0.0 foldLogic Common.Logic 587 33004 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 410 2150520 0.1 0.0 0.1 0.0 makeRuleList Uni.Rules 407 1029528 1.6 1.2 1.6 1.2 ruleNotBoolConst Uni.Rules 401 0 0.1 0.0 2.8 1.6 |- Uni.Rules 403 2103632 0.2 0.0 1.3 0.3 matchLogic Common.Logic 404 2370138 0.8 0.3 1.1 0.3 isMetaVar Common.Logic 405 2370138 0.3 0.0 0.3 0.0 makeRuleList Uni.Rules 402 1060610 1.5 1.3 1.5 1.3 ruleFalseZeroAnd Uni.Rules 396 0 0.3 0.0 4.4 2.0 |- Uni.Rules 398 2152737 0.6 0.0 1.7 0.8 matchLogic Common.Logic 399 2427824 0.6 0.6 1.1 0.7 |-> Common.Logic 535 95492 0.2 0.1 0.3 0.1 isMetaVar Common.Logic 621 11389 0.0 0.0 0.0 0.0 foldLogic Common.Logic 536 95492 0.1 0.1 0.1 0.1 isMetaVar Common.Logic 400 2427824 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 397 1082063 2.4 1.3 2.4 1.3 ruleTrueZeroAnd Uni.Rules 391 0 0.3 0.0 2.7 2.2 |- Uni.Rules 393 2206305 0.3 0.0 1.1 0.9 matchLogic Common.Logic 394 2563879 0.6 0.7 0.8 0.9 |-> Common.Logic 526 124411 0.0 0.1 0.0 0.2 isMetaVar Common.Logic 528 15659 0.0 0.0 0.0 0.0 foldLogic Common.Logic 527 124411 0.0 0.1 0.0 0.1 isMetaVar Common.Logic 395 2563879 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 392 1110982 1.4 1.3 1.4 1.3 ruleTrueZeroOr Uni.Rules 386 0 0.3 0.0 2.9 2.5 |- Uni.Rules 388 2258935 0.1 0.0 0.8 1.1 matchLogic Common.Logic 389 2752351 0.4 0.9 0.7 1.1 |-> Common.Logic 516 169051 0.0 0.1 0.2 0.2 isMetaVar Common.Logic 518 13737 0.0 0.0 0.0 0.0 foldLogic Common.Logic 517 169051 0.2 0.1 0.2 0.1 isMetaVar Common.Logic 390 2752351 0.2 0.0 0.2 0.0 makeRuleList Uni.Rules 387 1136336 1.8 1.3 1.8 1.3 ruleFalseZeroOr Uni.Rules 381 0 0.3 0.0 4.4 2.6 |- Uni.Rules 383 2309472 0.4 0.0 1.7 1.2 matchLogic Common.Logic 384 2878422 0.6 1.0 1.4 1.2 |-> Common.Logic 513 194048 0.1 0.1 0.3 0.3 isMetaVar Common.Logic 630 13194 0.0 0.0 0.0 0.0 foldLogic Common.Logic 514 194048 0.2 0.1 0.2 0.1 isMetaVar Common.Logic 385 2878422 0.5 0.0 0.5 0.0 makeRuleList Uni.Rules 382 1161333 2.4 1.4 2.4 1.4 counting Common.DNF 380 9616777 0.5 1.2 0.5 1.2 fullBU Common.Once 366 1589667 1.8 2.4 3.0 3.7 full Common.Once 367 1589667 1.2 1.3 1.2 1.3 <*> Common.DNF 365 1515897 1.1 0.8 1.1 0.8 CAF GHC.ConsoleHandler 228 2 0.0 0.0 0.0 0.0 CAF GHC.Float 201 1 0.0 0.0 0.0 0.0 CAF GHC.Int 190 1 0.0 0.0 0.0 0.0 CAF GHC.Handle 175 2 0.0 0.0 0.0 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 15.0 31.0 arbLogic Common.LogicGenerator 249 1 0.0 0.0 0.0 0.0 arbitrary_atFE Common.LogicGenerator 248 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.7 0.9 15.0 31.0 arbitrary_atFE Common.LogicGenerator 368 0 0.0 0.0 14.3 30.1 arbLogic Common.LogicGenerator 369 0 14.3 30.1 14.3 30.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 438 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 361 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 360 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.1 0.0 reportTick Common.DNF 647 1 0.0 0.0 0.0 0.0 disRules Common.DNF 344 1 0.0 0.0 0.0 0.0 tick Common.DNF 345 1 0.0 0.0 0.0 0.0 counting Common.DNF 346 1 0.0 0.0 0.0 0.0 notRules Common.DNF 321 1 0.0 0.0 0.0 0.0 tick Common.DNF 323 3 0.0 0.0 0.0 0.0 counting Common.DNF 324 3 0.0 0.0 0.0 0.0 defRules Common.DNF 306 1 0.0 0.0 0.0 0.0 tick Common.DNF 307 2 0.0 0.0 0.0 0.0 counting Common.DNF 308 2 0.0 0.0 0.0 0.0 conRules Common.DNF 257 1 0.0 0.0 0.0 0.0 tick Common.DNF 259 9 0.0 0.0 0.0 0.0 counting Common.DNF 260 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 256 1 0.0 0.0 0.0 0.0 <|> Common.DNF 258 11 0.0 0.0 0.0 0.0 dnf4 Common.DNF 244 1 0.0 0.0 0.1 0.0 try Common.DNF 341 0 0.0 0.0 0.0 0.0 <|> Common.DNF 342 10 0.0 0.0 0.0 0.0 notS Common.DNF 343 10 0.0 0.0 0.0 0.0 alternatives Common.DNF 320 0 0.0 0.0 0.0 0.0 <|> Common.DNF 322 23 0.0 0.0 0.0 0.0 disRules Common.DNF 352 0 0.0 0.0 0.0 0.0 tick Common.DNF 353 19 0.0 0.0 0.0 0.0 ruleAndOverOr Uni.Rules 355 0 0.0 0.0 0.0 0.0 |- Uni.Rules 357 38 0.0 0.0 0.0 0.0 matchLogic Common.Logic 358 50 0.0 0.0 0.0 0.0 |-> Common.Logic 599 4 0.0 0.0 0.0 0.0 foldLogic Common.Logic 600 4 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 359 50 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 356 19 0.0 0.0 0.0 0.0 counting Common.DNF 354 19 0.0 0.0 0.0 0.0 fullTD Common.Once 319 10 0.0 0.0 0.0 0.0 full Common.Once 340 10 0.0 0.0 0.0 0.0 repeat Common.DNF 250 2 0.0 0.0 0.1 0.0 many Common.DNF 252 6 0.1 0.0 0.1 0.0 <|> Common.DNF 253 6 0.0 0.0 0.0 0.0 <*> Common.DNF 254 0 0.0 0.0 0.0 0.0 <*> Common.DNF 251 2 0.0 0.0 0.0 0.0 notS Common.DNF 255 2 0.0 0.0 0.0 0.0 fullBU Common.Once 246 2 0.0 0.0 0.0 0.0 full Common.Once 247 2 0.0 0.0 0.0 0.0 <*> Common.DNF 245 4 0.0 0.0 0.0 0.0 CAF Uni.Rules 120 18 0.0 0.0 0.0 0.0 z Uni.Rules 596 1 0.0 0.0 0.0 0.0 y Uni.Rules 445 1 0.0 0.0 0.0 0.0 x Uni.Rules 437 1 0.0 0.0 0.0 0.0 ruleAndOverOr Uni.Rules 347 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 349 1 0.0 0.0 0.0 0.0 |- Uni.Rules 348 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 350 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 351 2 0.0 0.0 0.0 0.0 ruleNotNot Uni.Rules 335 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 337 1 0.0 0.0 0.0 0.0 |- Uni.Rules 336 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 338 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 339 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Uni.Rules 330 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 332 1 0.0 0.0 0.0 0.0 |- Uni.Rules 331 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 333 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 334 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Uni.Rules 325 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 327 1 0.0 0.0 0.0 0.0 |- Uni.Rules 326 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 328 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 329 1 0.0 0.0 0.0 0.0 ruleDefEquiv Uni.Rules 314 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 316 1 0.0 0.0 0.0 0.0 |- Uni.Rules 315 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 317 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 318 1 0.0 0.0 0.0 0.0 ruleDefImpl Uni.Rules 309 1 0.0 0.0 0.0 0.0 makeRule Uni.Rules 311 1 0.0 0.0 0.0 0.0 |- Uni.Rules 310 1 0.0 0.0 0.0 0.0 matchLogic Common.Logic 312 1 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 313 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 261 1 0.0 0.0 0.0 0.0 makeRuleList Uni.Rules 263 1 0.0 0.0 0.0 0.0 |- Uni.Rules 262 2 0.0 0.0 0.0 0.0 matchLogic Common.Logic 264 2 0.0 0.0 0.0 0.0 isMetaVar Common.Logic 265 2 0.0 0.0 0.0 0.0