]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/tptp_grafite/unit_equality_problems
added margin option to the pp
[helm.git] / helm / software / 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