]> matita.cs.unibo.it Git - helm.git/blob - matita/tests/TPTP/risultati_CASC_2005.txt
tagged 0.5.0-rc1
[helm.git] / matita / tests / TPTP / risultati_CASC_2005.txt
1              Waldmeister   Prover9    Vampire    E        Otter
2 BOO023-1     0.00          0.00       0.00       0.00     ----
3 BOO073-1     0.00          0.00       40.00      0.00     ----
4 COL002-5     ----          0.00       ----       ----     0.00
5 COL004-1     0.00          0.00       39.80      0.00     ----
6 COL006-1     0.00          19.80      209.90     ----     ----
7 COL006-6     0.00          0.00       388.30     ----     ----
8 COL006-7     0.00          0.00       40.00      ----     ----
9 COL034-1     0.00          0.00       0.00       0.00     0.00
10 COL036-1     0.00          9.90       159.70     0.00     0.00
11 COL041-1     0.00          0.00       0.00       0.00     0.00
12 COL042-1     0.00          0.00       ----       19.70    ----
13 COL043-3     0.00          0.00       ----       ----     ----
14 COL044-1     0.00          0.00       0.00       0.00     0.00
15 COL044-9     0.00          0.00       149.50     ----     ----
16 COL046-1     0.00          0.00       19.50      9.80     ----
17 COL049-1     0.00          0.00       20.00      0.00     0.00
18 COL060-1     0.00          0.00       0.00       0.00     ----
19 COL061-1     0.00          0.00       0.00       0.00     ----
20 COL064-1     0.00          ----       0.00       0.00     ----
21 COL066-1     0.00          ----       39.70      ----     ----
22 GRP114-1     0.00          69.60      0.00       0.00     ----
23 GRP167-4     0.00          59.80      0.00       0.00     ----
24 GRP177-2     0.00          29.90      ----       ----     ----
25 GRP179-1     0.00          222.00     0.00       0.00     ----
26 GRP179-2     0.00          131.70     0.00       0.00     ----
27 GRP179-3     0.00          74.40      0.00       0.00     ----
28 GRP180-1     0.00          230.60     0.00       9.90     ----
29 GRP181-1     0.00          89.80      9.80       59.90    ----
30 GRP181-3     0.00          0.00       0.00       0.00     ----
31 GRP183-1     0.00          119.90     149.40     0.00     69.10
32 GRP183-3     0.00          148.80     149.80     0.00     ----
33 GRP183-4     0.00          59.90      149.90     0.00     ----
34 GRP184-1     0.00          0.00       109.30     0.00     ----
35 GRP184-3     0.00          0.00       111.80     0.00     ----
36 GRP186-1     0.00          109.70     0.00       0.00     ----
37 GRP186-2     0.00          69.90      0.00       0.00     ----
38 GRP196-1     ----          ----       138.10     ----     ----
39 GRP200-1     0.00          0.00       0.00       0.00     0.00
40 GRP201-1     0.00          0.00       0.00       0.00     0.00
41 GRP205-1     0.00          0.00       0.00       0.00     ----
42 GRP405-1     0.00          0.00       9.90       0.00     0.00
43 GRP410-1     0.00          0.00       0.00       9.90     ----
44 GRP419-1     0.00          0.00       10.00      0.00     139.20
45 GRP422-1     0.00          0.00       9.70       0.00     0.00
46 GRP423-1     0.00          0.00       20.00      0.00     ----
47 GRP444-1     0.00          0.00       0.00       0.00     ----
48 GRP475-1     0.00          0.00       0.00       0.00     ----
49 GRP476-1     0.00          0.00       0.00       0.00     ----
50 GRP505-1     0.00          29.80      89.60      ----     ----
51 GRP506-1     0.00          49.50      119.70     ----     ----
52 GRP508-1     0.00          39.90      119.60     ----     ----
53 LAT080-1     0.00          0.00       0.00       0.00     ----
54 LAT081-1     0.00          0.00       0.00       0.00     ----
55 LAT083-1     0.00          0.00       0.00       0.00     ----
56 LAT084-1     0.00          ----       0.00       0.00     ----
57 LAT086-1     0.00          0.00       0.00       0.00     ----
58 LAT087-1     0.00          0.00       0.00       0.00     ----
59 LAT092-1     0.00          0.00       0.00       0.00     ----
60 LAT093-1     0.00          0.00       0.00       0.00     ----
61 LAT094-1     0.00          0.00       0.00       0.00     ----
62 LAT096-1     0.00          0.00       0.00       0.00     ----
63 LAT145-1     ----          ----       ----       ----     ----
64 LAT147-1     0.00          ----       ----       ----     ----
65 LAT148-1     ----          29.90      ----       ----     ----
66 LAT151-1     0.00          ----       ----       ----     ----
67 LAT152-1     ----          ----       ----       ----     19.00
68 LAT154-1     ----          ----       ----       ----     159.00
69 LAT156-1     ----          ----       ----       ----     65.00
70 LAT160-1     0.00          ----       ----       ----     ----
71 LAT162-1     ----          ----       ----       ----     ----
72 LAT164-1     ----          ----       ----       ----     ----
73 LAT165-1     0.00          ----       ----       ----     ----
74 LAT169-1     ----          ----       ----       ----     ----
75 LCL138-1     0.00          0.00       0.00       0.00     0.00
76 RNG009-5     0.00          79.80      130.00     0.00     ----
77 RNG009-7     0.00          89.60      0.00       0.00     ----
78 RNG019-6     0.00          0.00       0.00       0.00     0.00
79 RNG020-6     0.00          0.00       0.00       0.00     0.00
80 RNG021-7     0.00          0.00       0.00       0.00     0.00
81 RNG025-4     0.00          9.90       ----       ----     ----
82 RNG025-5     0.00          9.20       ----       ----     0.00
83 RNG025-6     0.00          0.00       339.70     0.00     0.00
84 RNG026-6     0.00          0.00       0.00       0.00     ----
85 RNG026-7     0.00          0.00       0.00       0.00     ----
86 RNG027-5     0.00          48.80      ----       ----     ----
87 RNG027-7     0.00          140.00     ----       ----     ----
88 RNG027-8     0.00          219.60     ----       ----     ----
89 RNG027-9     0.00          259.00     ----       ----     ----
90 RNG028-7     0.00          29.90      ----       ----     ----
91 RNG028-8     0.00          29.90      ----       ----     ----
92 RNG029-6     0.00          73.40      ----       ----     ----
93 RNG029-7     0.00          69.80      ----       ----     ----
94 RNG035-7     0.00          389.60     ----       19.90    ----
95 ROB006-1     0.00          119.80     ----       ----     ----
96 GRP187-1     9.70          ----       189.40     0.00     ----
97 LAT020-1     9.80          0.00       109.90     29.90     ----
98 GRP164-1     19.80         ----       ----       ----     ----
99 BOO067-1     27.60         0.00       0.00       0.00     ----
100 LAT171-1     29.80         ----       ----       ----     0.00
101 LAT150-1     36.80         ----       ----       ----     ----
102 BOO076-1     39.90         139.80     359.80     ----     ----
103 LAT146-1     159.60        ----       ----       ----     ----
104 LAT172-1     196.80        ----       ----       ----     ----
105 LAT175-1     199.80        ----       ----       ----     ----
106 LAT144-1     221.30        ----       ----       ----     ----
107 LAT157-1     229.60        ----       ----       ----     ----
108 LAT155-1     239.20        ----       ----       ----     ----
109 LAT158-1     259.70        ----       ----       ----     ----
110 LAT166-1     309.50        ----       ----       ----     ----
111 LAT153-1     369.60        ----       ----       ----     ----
112 LAT174-1     369.70        40.00      ----       ----     ----
113 LAT142-1     379.40        ----       ----       ----     ----
114 LAT173-1     389.80        ----       ----       ----     ----
115 LAT167-1     391.00        49.90      ----       ----     ----
116 LAT163-1     399.00        ----       ----       ----     ----
117 LAT176-1     449.00        ----       ----       ----     ----
118 LAT159-1     489.20        ----       ----       ----     ----
119 LAT149-1     489.80        ----       ----       ----     ----
120 LAT170-1     496.20        56.10      ----       ----     ----