X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Flog.300.29-5.CASC;fp=matita%2Ftests%2FTPTP%2Flog.300.29-5.CASC;h=df032105e9997e60d8ac1c9b2d06b3da93c12da8;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

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