branch for universe

[helm.git] / matita / tests / TPTP / elenco_CASC.txt

diff --git a/matita/tests/TPTP/elenco_CASC.txt b/matita/tests/TPTP/elenco_CASC.txt
new file mode 100644 (file)
index 0000000..2a4f8f0
--- /dev/null
+++ b/matita/tests/TPTP/elenco_CASC.txt
@@ -0,0 +1,119 @@
+Unsatisfiable/BOO023-1.ma 
+Unsatisfiable/BOO073-1.ma
+Unsatisfiable/COL002-5.ma
+Unsatisfiable/COL004-1.ma
+Unsatisfiable/COL006-1.ma
+Unsatisfiable/COL006-6.ma
+Unsatisfiable/COL006-7.ma
+Unsatisfiable/COL034-1.ma
+Unsatisfiable/COL036-1.ma
+Unsatisfiable/COL041-1.ma
+Unsatisfiable/COL042-1.ma
+Unsatisfiable/COL043-3.ma
+Unsatisfiable/COL044-1.ma
+Unsatisfiable/COL044-9.ma
+Unsatisfiable/COL046-1.ma
+Unsatisfiable/COL049-1.ma
+Unsatisfiable/COL060-1.ma
+Unsatisfiable/COL061-1.ma
+Unsatisfiable/COL064-1.ma
+Unsatisfiable/COL066-1.ma
+Unsatisfiable/GRP114-1.ma
+Unsatisfiable/GRP167-4.ma
+Unsatisfiable/GRP177-2.ma
+Unsatisfiable/GRP179-1.ma
+Unsatisfiable/GRP179-2.ma
+Unsatisfiable/GRP179-3.ma
+Unsatisfiable/GRP180-1.ma
+Unsatisfiable/GRP181-1.ma
+Unsatisfiable/GRP181-3.ma
+Unsatisfiable/GRP183-1.ma
+Unsatisfiable/GRP183-3.ma
+Unsatisfiable/GRP183-4.ma
+Unsatisfiable/GRP184-1.ma
+Unsatisfiable/GRP184-3.ma
+Unsatisfiable/GRP186-1.ma
+Unsatisfiable/GRP186-2.ma
+Unsatisfiable/GRP196-1.ma
+Unsatisfiable/GRP200-1.ma
+Unsatisfiable/GRP201-1.ma
+Unsatisfiable/GRP205-1.ma
+Unsatisfiable/GRP405-1.ma
+Unsatisfiable/GRP410-1.ma
+Unsatisfiable/GRP419-10.ma
+Unsatisfiable/GRP422-1.ma 
+Unsatisfiable/GRP423-1.ma
+Unsatisfiable/GRP444-1.ma
+Unsatisfiable/GRP475-1.ma
+Unsatisfiable/GRP476-1.ma
+Unsatisfiable/GRP505-1.ma
+Unsatisfiable/GRP506-1.ma
+Unsatisfiable/GRP508-1.ma
+Unsatisfiable/LAT080-1.ma
+Unsatisfiable/LAT081-1.ma
+Unsatisfiable/LAT083-1.ma
+Unsatisfiable/LAT084-1.ma
+Unsatisfiable/LAT086-1.ma
+Unsatisfiable/LAT087-1.ma
+Unsatisfiable/LAT092-1.ma
+Unsatisfiable/LAT093-1.ma
+Unsatisfiable/LAT094-1.ma
+Unsatisfiable/LAT096-1.ma
+Unsatisfiable/LAT145-1.ma
+Unsatisfiable/LAT147-1.ma
+Unsatisfiable/LAT148-1.ma
+Unsatisfiable/LAT151-1.ma
+Unsatisfiable/LAT152-1.ma
+Unsatisfiable/LAT154-10.ma
+Unsatisfiable/LAT156-1.ma 
+Unsatisfiable/LAT160-1.ma
+Unsatisfiable/LAT162-1.ma
+Unsatisfiable/LAT164-1.ma
+Unsatisfiable/LAT165-1.ma
+Unsatisfiable/LAT169-1.ma
+Unsatisfiable/LCL138-1.ma
+Unsatisfiable/RNG009-5.ma
+Unsatisfiable/RNG009-7.ma
+Unsatisfiable/RNG019-6.ma
+Unsatisfiable/RNG020-6.ma
+Unsatisfiable/RNG021-7.ma
+Unsatisfiable/RNG025-4.ma
+Unsatisfiable/RNG025-5.ma
+Unsatisfiable/RNG025-6.ma
+Unsatisfiable/RNG026-6.ma
+Unsatisfiable/RNG026-7.ma
+Unsatisfiable/RNG027-5.ma
+Unsatisfiable/RNG027-7.ma
+Unsatisfiable/RNG027-8.ma
+Unsatisfiable/RNG027-9.ma
+Unsatisfiable/RNG028-7.ma
+Unsatisfiable/RNG028-8.ma
+Unsatisfiable/RNG029-6.ma
+Unsatisfiable/RNG029-7.ma
+Unsatisfiable/RNG035-7.ma
+Unsatisfiable/ROB006-1.ma
+Unsatisfiable/GRP187-1.ma
+Unsatisfiable/LAT020-1.ma
+Unsatisfiable/GRP164-1.ma
+Unsatisfiable/BOO067-1.ma
+Unsatisfiable/LAT171-1.ma
+Unsatisfiable/LAT150-1.ma
+Unsatisfiable/BOO076-1.ma
+Unsatisfiable/LAT146-1.ma
+Unsatisfiable/LAT172-1.ma
+Unsatisfiable/LAT175-1.ma
+Unsatisfiable/LAT144-1.ma
+Unsatisfiable/LAT157-1.ma
+Unsatisfiable/LAT155-1.ma
+Unsatisfiable/LAT158-1.ma
+Unsatisfiable/LAT166-1.ma
+Unsatisfiable/LAT153-1.ma
+Unsatisfiable/LAT174-1.ma
+Unsatisfiable/LAT142-1.ma
+Unsatisfiable/LAT173-1.ma
+Unsatisfiable/LAT167-1.ma
+Unsatisfiable/LAT163-1.ma
+Unsatisfiable/LAT176-1.ma
+Unsatisfiable/LAT159-1.ma
+Unsatisfiable/LAT149-1.ma
+Unsatisfiable/LAT170-1.ma