components/tptp_grafite/unit_equality_problems

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