]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/tests/TPTP/log.300.30-6.fixdemodgoalinpassive
...
[helm.git] / helm / software / matita / tests / TPTP / log.300.30-6.fixdemodgoalinpassive
1 Unsatisfiable/COL023-1.ma ... FAIL Rating : 0.00 1
2 Unsatisfiable/COL027-1.ma ... FAIL Rating : 0.00 2
3 Unsatisfiable/COL031-1.ma ... OK TIME NEEDED: 0.04 Rating : 0.00 3
4 Unsatisfiable/COL052-1.ma ... FAIL Rating : 0.00 4
5 Unsatisfiable/COL059-1.ma ... FAIL Rating : 0.00 5
6 Unsatisfiable/GRP166-4.ma ... FAIL Rating : 0.00 6
7 Unsatisfiable/GRP170-1.ma ... FAIL Rating : 0.00 7
8 Unsatisfiable/GRP170-2.ma ... FAIL Rating : 0.00 8
9 Unsatisfiable/GRP170-3.ma ... FAIL Rating : 0.00 9
10 Unsatisfiable/GRP170-4.ma ... FAIL Rating : 0.00 10
11 Unsatisfiable/GRP193-1.ma ... FAIL Rating : 0.00 11
12 Unsatisfiable/GRP193-2.ma ... FAIL Rating : 0.00 12
13 Unsatisfiable/GRP195-1.ma ... FAIL Rating : 0.00 13
14 Unsatisfiable/GRP406-1.ma ... FAIL Rating : 0.00 14
15 Unsatisfiable/GRP407-1.ma ... FAIL Rating : 0.00 15
16 Unsatisfiable/GRP408-1.ma ... FAIL Rating : 0.00 16
17 Unsatisfiable/GRP415-1.ma ... FAIL Rating : 0.00 17
18 Unsatisfiable/GRP427-1.ma ...