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

diff --git a/matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive b/matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive
new file mode 100644
index 000000000..ea726aecd
--- /dev/null
+++ b/matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive
@@ -0,0 +1,18 @@
+Unsatisfiable/COL023-1.ma ... FAIL Rating : 0.00 1
+Unsatisfiable/COL027-1.ma ... FAIL Rating : 0.00 2
+Unsatisfiable/COL031-1.ma ... OK TIME NEEDED: 0.04 Rating : 0.00 3
+Unsatisfiable/COL052-1.ma ... FAIL Rating : 0.00 4
+Unsatisfiable/COL059-1.ma ... FAIL Rating : 0.00 5
+Unsatisfiable/GRP166-4.ma ... FAIL Rating : 0.00 6
+Unsatisfiable/GRP170-1.ma ... FAIL Rating : 0.00 7
+Unsatisfiable/GRP170-2.ma ... FAIL Rating : 0.00 8
+Unsatisfiable/GRP170-3.ma ... FAIL Rating : 0.00 9
+Unsatisfiable/GRP170-4.ma ... FAIL Rating : 0.00 10
+Unsatisfiable/GRP193-1.ma ... FAIL Rating : 0.00 11
+Unsatisfiable/GRP193-2.ma ... FAIL Rating : 0.00 12
+Unsatisfiable/GRP195-1.ma ... FAIL Rating : 0.00 13
+Unsatisfiable/GRP406-1.ma ... FAIL Rating : 0.00 14
+Unsatisfiable/GRP407-1.ma ... FAIL Rating : 0.00 15
+Unsatisfiable/GRP408-1.ma ... FAIL Rating : 0.00 16
+Unsatisfiable/GRP415-1.ma ... FAIL Rating : 0.00 17
+Unsatisfiable/GRP427-1.ma ... 
\ No newline at end of file