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