helm/software/components/tptp_grafite/unit_equality_problems

   1 ALG005-1
   2 ALG006-1
   3 ALG007-1
   4 ALG235-1
   5 ALG236-1
   6 ALG237-1
   7 ALG238-1
   8 ALG239-1
   9 ALG240-1
  10 ALG241-1
  11 ALG242-1
  12 ALG243-1
  13 ALG244-1
  14 ALG245-1
  15 ALG246-1
  16 BOO001-1
  17 BOO002-1
  18 BOO002-2
  19 BOO003-2
  20 BOO003-4
  21 BOO004-2
  22 BOO004-4
  23 BOO005-2
  24 BOO005-4
  25 BOO006-2
  26 BOO006-4
  27 BOO007-2
  28 BOO007-4
  29 BOO008-2
  30 BOO008-4
  31 BOO009-2
  32 BOO009-4
  33 BOO010-2
  34 BOO010-4
  35 BOO011-2
  36 BOO011-4
  37 BOO012-2
  38 BOO012-4
  39 BOO013-2
  40 BOO013-4
  41 BOO014-2
  42 BOO014-4
  43 BOO015-2
  44 BOO015-4
  45 BOO016-2
  46 BOO017-2
  47 BOO018-4
  48 BOO019-1
  49 BOO021-1
  50 BOO022-1
  51 BOO023-1
  52 BOO024-1
  53 BOO025-1
  54 BOO026-1
  55 BOO027-1
  56 BOO028-1
  57 BOO029-1
  58 BOO030-1
  59 BOO031-1
  60 BOO032-1
  61 BOO033-1
  62 BOO034-1
  63 BOO036-1
  64 BOO037-2
  65 BOO037-3
  66 BOO067-1
  67 BOO068-1
  68 BOO069-1
  69 BOO070-1
  70 BOO071-1
  71 BOO072-1
  72 BOO073-1
  73 BOO074-1
  74 BOO075-1
  75 BOO076-1
  76 BOO077-1
  77 BOO078-1
  78 BOO079-1
  79 BOO080-1
  80 BOO081-1
  81 BOO082-1
  82 BOO083-1
  83 BOO084-1
  84 BOO085-1
  85 BOO086-1
  86 BOO087-1
  87 BOO088-1
  88 BOO089-1
  89 BOO090-1
  90 BOO091-1
  91 BOO092-1
  92 BOO093-1
  93 BOO094-1
  94 BOO095-1
  95 BOO096-1
  96 BOO097-1
  97 BOO098-1
  98 BOO099-1
  99 BOO100-1
 100 BOO101-1
 101 BOO102-1
 102 BOO103-1
 103 BOO104-1
 104 BOO105-1
 105 BOO106-1
 106 BOO107-1
 107 BOO108-1
 108 COL001-1
 109 COL001-2
 110 COL002-1
 111 COL002-4
 112 COL002-5
 113 COL003-1
 114 COL003-12
 115 COL003-13
 116 COL003-14
 117 COL003-15
 118 COL003-16
 119 COL003-17
 120 COL003-18
 121 COL003-19
 122 COL003-20
 123 COL004-1
 124 COL004-3
 125 COL005-1
 126 COL006-1
 127 COL006-5
 128 COL006-6
 129 COL006-7
 130 COL007-1
 131 COL008-1
 132 COL009-1
 133 COL010-1
 134 COL011-1
 135 COL012-1
 136 COL013-1
 137 COL014-1
 138 COL015-1
 139 COL016-1
 140 COL017-1
 141 COL018-1
 142 COL019-1
 143 COL020-1
 144 COL021-1
 145 COL022-1
 146 COL023-1
 147 COL024-1
 148 COL025-1
 149 COL026-1
 150 COL027-1
 151 COL029-1
 152 COL030-1
 153 COL031-1
 154 COL032-1
 155 COL033-1
 156 COL034-1
 157 COL035-1
 158 COL036-1
 159 COL037-1
 160 COL038-1
 161 COL039-1
 162 COL041-1
 163 COL042-1
 164 COL042-6
 165 COL042-7
 166 COL042-8
 167 COL042-9
 168 COL043-1
 169 COL043-3
 170 COL044-1
 171 COL044-6
 172 COL044-7
 173 COL044-8
 174 COL044-9
 175 COL045-1
 176 COL046-1
 177 COL047-1
 178 COL048-1
 179 COL049-1
 180 COL050-1
 181 COL051-1
 182 COL052-1
 183 COL053-1
 184 COL056-1
 185 COL057-1
 186 COL058-1
 187 COL058-2
 188 COL058-3
 189 COL059-1
 190 COL060-1
 191 COL060-2
 192 COL060-3
 193 COL061-1
 194 COL061-2
 195 COL061-3
 196 COL062-1
 197 COL062-2
 198 COL062-3
 199 COL063-1
 200 COL063-2
 201 COL063-3
 202 COL063-4
 203 COL063-5
 204 COL063-6
 205 COL064-1
 206 COL064-2
 207 COL064-3
 208 COL064-4
 209 COL064-5
 210 COL064-6
 211 COL064-7
 212 COL064-8
 213 COL064-9
 214 COL064-10
 215 COL064-11
 216 COL065-1
 217 COL066-1
 218 COL066-2
 219 COL066-3
 220 COL067-1
 221 COL068-1
 222 COL069-1
 223 COL070-1
 224 COL071-1
 225 COL073-1
 226 COL075-2
 227 COL083-1
 228 COL084-1
 229 COL085-1
 230 COL086-1
 231 COL087-1
 232 COM010-2
 233 GRP001-2
 234 GRP001-4
 235 GRP002-2
 236 GRP002-3
 237 GRP002-4
 238 GRP010-4
 239 GRP011-4
 240 GRP012-4
 241 GRP014-1
 242 GRP022-2
 243 GRP023-2
 244 GRP024-5
 245 GRP114-1
 246 GRP115-1
 247 GRP116-1
 248 GRP117-1
 249 GRP118-1
 250 GRP119-1
 251 GRP120-1
 252 GRP121-1
 253 GRP122-1
 254 GRP136-1
 255 GRP137-1
 256 GRP138-1
 257 GRP139-1
 258 GRP140-1
 259 GRP141-1
 260 GRP142-1
 261 GRP143-1
 262 GRP144-1
 263 GRP145-1
 264 GRP146-1
 265 GRP147-1
 266 GRP148-1
 267 GRP149-1
 268 GRP150-1
 269 GRP151-1
 270 GRP152-1
 271 GRP153-1
 272 GRP154-1
 273 GRP155-1
 274 GRP156-1
 275 GRP157-1
 276 GRP158-1
 277 GRP159-1
 278 GRP160-1
 279 GRP161-1
 280 GRP162-1
 281 GRP163-1
 282 GRP164-1
 283 GRP164-2
 284 GRP165-1
 285 GRP165-2
 286 GRP166-1
 287 GRP166-2
 288 GRP166-3
 289 GRP166-4
 290 GRP167-1
 291 GRP167-2
 292 GRP167-3
 293 GRP167-4
 294 GRP167-5
 295 GRP168-1
 296 GRP168-2
 297 GRP169-1
 298 GRP169-2
 299 GRP170-1
 300 GRP170-2
 301 GRP170-3
 302 GRP170-4
 303 GRP171-1
 304 GRP171-2
 305 GRP172-1
 306 GRP172-2
 307 GRP173-1
 308 GRP174-1
 309 GRP175-1
 310 GRP175-2
 311 GRP175-3
 312 GRP175-4
 313 GRP176-1
 314 GRP176-2
 315 GRP177-1
 316 GRP177-2
 317 GRP178-1
 318 GRP178-2
 319 GRP179-1
 320 GRP179-2
 321 GRP179-3
 322 GRP180-1
 323 GRP180-2
 324 GRP181-1
 325 GRP181-2
 326 GRP181-3
 327 GRP181-4
 328 GRP182-1
 329 GRP182-2
 330 GRP182-3
 331 GRP182-4
 332 GRP183-1
 333 GRP183-2
 334 GRP183-3
 335 GRP183-4
 336 GRP184-1
 337 GRP184-2
 338 GRP184-3
 339 GRP184-4
 340 GRP185-1
 341 GRP185-2
 342 GRP185-3
 343 GRP185-4
 344 GRP186-1
 345 GRP186-2
 346 GRP186-3
 347 GRP186-4
 348 GRP187-1
 349 GRP188-1
 350 GRP188-2
 351 GRP189-1
 352 GRP189-2
 353 GRP190-1
 354 GRP190-2
 355 GRP191-1
 356 GRP191-2
 357 GRP192-1
 358 GRP193-1
 359 GRP193-2
 360 GRP195-1
 361 GRP196-1
 362 GRP200-1
 363 GRP201-1
 364 GRP202-1
 365 GRP203-1
 366 GRP204-1
 367 GRP205-1
 368 GRP206-1
 369 GRP207-1
 370 GRP393-2
 371 GRP394-3
 372 GRP399-1
 373 GRP403-1
 374 GRP404-1
 375 GRP405-1
 376 GRP406-1
 377 GRP407-1
 378 GRP408-1
 379 GRP409-1
 380 GRP410-1
 381 GRP411-1
 382 GRP412-1
 383 GRP413-1
 384 GRP414-1
 385 GRP415-1
 386 GRP416-1
 387 GRP417-1
 388 GRP418-1
 389 GRP419-1
 390 GRP420-1
 391 GRP421-1
 392 GRP422-1
 393 GRP423-1
 394 GRP424-1
 395 GRP425-1
 396 GRP426-1
 397 GRP427-1
 398 GRP428-1
 399 GRP429-1
 400 GRP430-1
 401 GRP431-1
 402 GRP432-1
 403 GRP433-1
 404 GRP434-1
 405 GRP435-1
 406 GRP436-1
 407 GRP437-1
 408 GRP438-1
 409 GRP439-1
 410 GRP440-1
 411 GRP441-1
 412 GRP442-1
 413 GRP443-1
 414 GRP444-1
 415 GRP445-1
 416 GRP446-1
 417 GRP447-1
 418 GRP448-1
 419 GRP449-1
 420 GRP450-1
 421 GRP451-1
 422 GRP452-1
 423 GRP453-1
 424 GRP454-1
 425 GRP455-1
 426 GRP456-1
 427 GRP457-1
 428 GRP458-1
 429 GRP459-1
 430 GRP460-1
 431 GRP461-1
 432 GRP462-1
 433 GRP463-1
 434 GRP464-1
 435 GRP465-1
 436 GRP466-1
 437 GRP467-1
 438 GRP468-1
 439 GRP469-1
 440 GRP470-1
 441 GRP471-1
 442 GRP472-1
 443 GRP473-1
 444 GRP474-1
 445 GRP475-1
 446 GRP476-1
 447 GRP477-1
 448 GRP478-1
 449 GRP479-1
 450 GRP480-1
 451 GRP481-1
 452 GRP482-1
 453 GRP483-1
 454 GRP484-1
 455 GRP485-1
 456 GRP486-1
 457 GRP487-1
 458 GRP488-1
 459 GRP489-1
 460 GRP490-1
 461 GRP491-1
 462 GRP492-1
 463 GRP493-1
 464 GRP494-1
 465 GRP495-1
 466 GRP496-1
 467 GRP497-1
 468 GRP498-1
 469 GRP499-1
 470 GRP500-1
 471 GRP501-1
 472 GRP502-1
 473 GRP503-1
 474 GRP504-1
 475 GRP505-1
 476 GRP506-1
 477 GRP507-1
 478 GRP508-1
 479 GRP509-1
 480 GRP510-1
 481 GRP511-1
 482 GRP512-1
 483 GRP513-1
 484 GRP514-1
 485 GRP515-1
 486 GRP516-1
 487 GRP517-1
 488 GRP518-1
 489 GRP519-1
 490 GRP520-1
 491 GRP521-1
 492 GRP522-1
 493 GRP523-1
 494 GRP524-1
 495 GRP525-1
 496 GRP526-1
 497 GRP527-1
 498 GRP528-1
 499 GRP529-1
 500 GRP530-1
 501 GRP531-1
 502 GRP532-1
 503 GRP533-1
 504 GRP534-1
 505 GRP535-1
 506 GRP536-1
 507 GRP537-1
 508 GRP538-1
 509 GRP539-1
 510 GRP540-1
 511 GRP541-1
 512 GRP542-1
 513 GRP543-1
 514 GRP544-1
 515 GRP545-1
 516 GRP546-1
 517 GRP547-1
 518 GRP548-1
 519 GRP549-1
 520 GRP550-1
 521 GRP551-1
 522 GRP552-1
 523 GRP553-1
 524 GRP554-1
 525 GRP555-1
 526 GRP556-1
 527 GRP557-1
 528 GRP558-1
 529 GRP559-1
 530 GRP560-1
 531 GRP561-1
 532 GRP562-1
 533 GRP563-1
 534 GRP564-1
 535 GRP565-1
 536 GRP566-1
 537 GRP567-1
 538 GRP568-1
 539 GRP569-1
 540 GRP570-1
 541 GRP571-1
 542 GRP572-1
 543 GRP573-1
 544 GRP574-1
 545 GRP575-1
 546 GRP576-1
 547 GRP577-1
 548 GRP578-1
 549 GRP579-1
 550 GRP580-1
 551 GRP581-1
 552 GRP582-1
 553 GRP583-1
 554 GRP584-1
 555 GRP585-1
 556 GRP586-1
 557 GRP587-1
 558 GRP588-1
 559 GRP589-1
 560 GRP590-1
 561 GRP591-1
 562 GRP592-1
 563 GRP593-1
 564 GRP594-1
 565 GRP595-1
 566 GRP596-1
 567 GRP597-1
 568 GRP598-1
 569 GRP599-1
 570 GRP600-1
 571 GRP601-1
 572 GRP602-1
 573 GRP603-1
 574 GRP604-1
 575 GRP605-1
 576 GRP606-1
 577 GRP607-1
 578 GRP608-1
 579 GRP609-1
 580 GRP610-1
 581 GRP611-1
 582 GRP612-1
 583 GRP613-1
 584 GRP614-1
 585 GRP615-1
 586 GRP616-1
 587 GRP661-1
 588 GRP662-1
 589 GRP663-1
 590 GRP666-2
 591 GRP666-3
 592 GRP666-4
 593 GRP666-5
 594 GRP667-2
 595 GRP667-3
 596 GRP667-4
 597 GRP667-5
 598 GRP668-1
 599 GRP669-1
 600 GRP670-1
 601 GRP671-1
 602 GRP675-1
 603 GRP676-1
 604 GRP677-1
 605 GRP678-1
 606 GRP679-1
 607 GRP680-1
 608 GRP681-1
 609 GRP684-1
 610 GRP686-1
 611 GRP687-1
 612 GRP688-1
 613 GRP689-1
 614 GRP690-1
 615 GRP691-1
 616 GRP692-1
 617 GRP693-1
 618 GRP694-1
 619 GRP695-1
 620 GRP696-1
 621 GRP697-1
 622 GRP698-1
 623 GRP699-1
 624 GRP701-1
 625 GRP705-1
 626 GRP706-1
 627 GRP707-1
 628 GRP708-1
 629 GRP709-1
 630 GRP712-1
 631 GRP713-1
 632 GRP714-1
 633 GRP716-1
 634 GRP717-1
 635 GRP718-1
 636 GRP719-1
 637 GRP720-2
 638 GRP721-1
 639 GRP722-1
 640 GRP723-1
 641 GRP724-1
 642 GRP725-1
 643 GRP726-1
 644 GRP727-1
 645 GRP728-1
 646 GRP729-1
 647 GRP730-1
 648 GRP731-1
 649 GRP732-1
 650 GRP735-1
 651 GRP736-1
 652 GRP737-1
 653 GRP738-1
 654 GRP739-1
 655 GRP740-1
 656 GRP741-1
 657 GRP742-1
 658 GRP743-1
 659 GRP744-1
 660 GRP749-1
 661 GRP750-1
 662 GRP751-1
 663 GRP752-1
 664 GRP753-1
 665 GRP754-1
 666 GRP756-1
 667 HWC004-1
 668 HWC004-2
 669 LAT006-1
 670 LAT007-1
 671 LAT008-1
 672 LAT009-1
 673 LAT010-1
 674 LAT011-1
 675 LAT012-1
 676 LAT013-1
 677 LAT014-1
 678 LAT016-1
 679 LAT017-1
 680 LAT018-1
 681 LAT019-1
 682 LAT020-1
 683 LAT021-1
 684 LAT022-1
 685 LAT023-1
 686 LAT024-1
 687 LAT025-1
 688 LAT026-1
 689 LAT027-1
 690 LAT028-1
 691 LAT031-1
 692 LAT032-1
 693 LAT033-1
 694 LAT034-1
 695 LAT038-1
 696 LAT039-1
 697 LAT039-2
 698 LAT040-1
 699 LAT042-1
 700 LAT043-1
 701 LAT044-1
 702 LAT045-1
 703 LAT046-1
 704 LAT047-1
 705 LAT048-1
 706 LAT049-1
 707 LAT050-1
 708 LAT051-1
 709 LAT052-1
 710 LAT053-1
 711 LAT054-1
 712 LAT055-2
 713 LAT059-1
 714 LAT060-1
 715 LAT061-1
 716 LAT062-1
 717 LAT063-1
 718 LAT070-1
 719 LAT071-1
 720 LAT072-1
 721 LAT073-1
 722 LAT074-1
 723 LAT075-1
 724 LAT076-1
 725 LAT077-1
 726 LAT078-1
 727 LAT079-1
 728 LAT080-1
 729 LAT081-1
 730 LAT082-1
 731 LAT083-1
 732 LAT084-1
 733 LAT085-1
 734 LAT086-1
 735 LAT087-1
 736 LAT088-1
 737 LAT089-1
 738 LAT090-1
 739 LAT091-1
 740 LAT092-1
 741 LAT093-1
 742 LAT094-1
 743 LAT095-1
 744 LAT096-1
 745 LAT097-1
 746 LAT098-1
 747 LAT099-1
 748 LAT100-1
 749 LAT101-1
 750 LAT102-1
 751 LAT103-1
 752 LAT104-1
 753 LAT105-1
 754 LAT106-1
 755 LAT107-1
 756 LAT108-1
 757 LAT109-1
 758 LAT110-1
 759 LAT111-1
 760 LAT112-1
 761 LAT113-1
 762 LAT114-1
 763 LAT115-1
 764 LAT116-1
 765 LAT117-1
 766 LAT118-1
 767 LAT119-1
 768 LAT120-1
 769 LAT121-1
 770 LAT122-1
 771 LAT123-1
 772 LAT124-1
 773 LAT125-1
 774 LAT126-1
 775 LAT127-1
 776 LAT128-1
 777 LAT129-1
 778 LAT130-1
 779 LAT131-1
 780 LAT132-1
 781 LAT133-1
 782 LAT134-1
 783 LAT135-1
 784 LAT136-1
 785 LAT137-1
 786 LAT138-1
 787 LAT139-1
 788 LAT140-1
 789 LAT141-1
 790 LAT142-1
 791 LAT143-1
 792 LAT144-1
 793 LAT145-1
 794 LAT146-1
 795 LAT147-1
 796 LAT148-1
 797 LAT149-1
 798 LAT150-1
 799 LAT151-1
 800 LAT152-1
 801 LAT153-1
 802 LAT154-1
 803 LAT155-1
 804 LAT156-1
 805 LAT157-1
 806 LAT158-1
 807 LAT159-1
 808 LAT160-1
 809 LAT161-1
 810 LAT162-1
 811 LAT163-1
 812 LAT164-1
 813 LAT165-1
 814 LAT166-1
 815 LAT167-1
 816 LAT168-1
 817 LAT169-1
 818 LAT170-1
 819 LAT171-1
 820 LAT172-1
 821 LAT173-1
 822 LAT174-1
 823 LAT175-1
 824 LAT176-1
 825 LAT177-1
 826 LAT389-1
 827 LAT390-1
 828 LAT391-1
 829 LAT392-1
 830 LCL109-2
 831 LCL109-6
 832 LCL110-2
 833 LCL111-2
 834 LCL112-2
 835 LCL113-2
 836 LCL114-2
 837 LCL115-2
 838 LCL116-2
 839 LCL132-1
 840 LCL133-1
 841 LCL134-1
 842 LCL135-1
 843 LCL136-1
 844 LCL137-1
 845 LCL138-1
 846 LCL139-1
 847 LCL140-1
 848 LCL141-1
 849 LCL153-1
 850 LCL154-1
 851 LCL155-1
 852 LCL156-1
 853 LCL157-1
 854 LCL158-1
 855 LCL159-1
 856 LCL160-1
 857 LCL161-1
 858 LCL162-1
 859 LCL163-1
 860 LCL164-1
 861 LCL165-1
 862 LCL407-1
 863 LCL407-2
 864 LCL409-1
 865 LCL410-1
 866 LDA001-1
 867 LDA002-1
 868 LDA007-3
 869 REL001-1
 870 REL002-1
 871 REL004-1
 872 REL004-2
 873 REL004-3
 874 REL005-1
 875 REL005-3
 876 REL006-1
 877 REL007-1
 878 REL008-1
 879 REL008-3
 880 REL010-1
 881 REL010-2
 882 REL011-1
 883 REL011-2
 884 REL012-1
 885 REL012-2
 886 REL014-1
 887 REL015-1
 888 REL016-1
 889 REL016-3
 890 REL017-1
 891 REL017-3
 892 REL018-1
 893 REL019-1
 894 REL019-2
 895 REL020-1
 896 REL020-2
 897 REL021-1
 898 REL021-2
 899 REL022-1
 900 REL022-2
 901 REL023-1
 902 REL023-2
 903 REL024-1
 904 REL024-2
 905 REL025-1
 906 REL026-1
 907 REL026-3
 908 REL027-1
 909 REL027-3
 910 REL028-1
 911 REL028-2
 912 REL029-1
 913 REL029-3
 914 REL030-1
 915 REL030-3
 916 REL031-1
 917 REL031-2
 918 REL032-1
 919 REL032-2
 920 REL033-1
 921 REL033-3
 922 REL034-1
 923 REL034-2
 924 REL035-1
 925 REL035-2
 926 REL036-1
 927 REL036-2
 928 REL037-1
 929 REL037-2
 930 REL038-1
 931 REL039-1
 932 REL040-1
 933 REL040-3
 934 REL041-1
 935 REL041-2
 936 REL042-1
 937 REL042-2
 938 REL043-1
 939 REL043-2
 940 REL044-1
 941 REL044-2
 942 REL045-1
 943 REL045-2
 944 REL047-1
 945 REL049-1
 946 REL050-1
 947 REL050-3
 948 RNG007-4
 949 RNG008-3
 950 RNG008-4
 951 RNG008-7
 952 RNG009-5
 953 RNG009-7
 954 RNG010-5
 955 RNG010-6
 956 RNG010-7
 957 RNG011-5
 958 RNG012-6
 959 RNG013-6
 960 RNG014-6
 961 RNG015-6
 962 RNG016-6
 963 RNG017-6
 964 RNG018-6
 965 RNG019-6
 966 RNG019-7
 967 RNG020-6
 968 RNG020-7
 969 RNG021-6
 970 RNG021-7
 971 RNG023-6
 972 RNG023-7
 973 RNG024-6
 974 RNG024-7
 975 RNG025-4
 976 RNG025-5
 977 RNG025-6
 978 RNG025-7
 979 RNG025-8
 980 RNG025-9
 981 RNG026-6
 982 RNG026-7
 983 RNG027-5
 984 RNG027-7
 985 RNG027-8
 986 RNG027-9
 987 RNG028-5
 988 RNG028-7
 989 RNG028-8
 990 RNG028-9
 991 RNG029-5
 992 RNG029-6
 993 RNG029-7
 994 RNG030-6
 995 RNG030-7
 996 RNG031-6
 997 RNG031-7
 998 RNG032-6
 999 RNG032-7
1000 RNG033-6
1001 RNG033-7
1002 RNG033-8
1003 RNG033-9
1004 RNG035-7
1005 RNG036-7
1006 RNG042-2
1007 RNG042-3
1008 RNG043-1
1009 ROB001-1
1010 ROB002-1
1011 ROB003-1
1012 ROB004-1
1013 ROB005-1
1014 ROB006-1
1015 ROB006-2
1016 ROB007-1
1017 ROB007-2
1018 ROB008-1
1019 ROB009-1
1020 ROB010-1
1021 ROB013-1
1022 ROB020-1
1023 ROB020-2
1024 ROB022-1
1025 ROB023-1
1026 ROB024-1
1027 ROB026-1
1028 ROB027-1
1029 ROB028-1
1030 ROB030-1
1031 ROB031-1
1032 ROB032-1
1033 SWV243-2
1034 SWV262-2
1035 SYN080-1
1036 SYN083-1
1037 SYN305-1
1038 SYN552-1