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