Example Run of MaLARea on Mizar data


Table 3: Statistics of MaLARea running in fast mode on MPTP Challenge
iternr ax. limit solved cumul iternr ax. limit solved cumul
1 0 60 60 18 4 2 130
2 256 7 67 19 4 0 130
3 256 1 68 20 8 0 130
4 4 12 80 21 16 3 133
5 4 10 90 22 4 1 134
6 4 14 104 23 4 0 134
7 4 5 109 24 8 1 135
8 4 2 111 25 4 0 135
9 4 3 114 26 8 0 135
10 4 2 116 27 16 0 135
11 4 1 117 28 32 4 139
12 4 3 120 29 4 0 139
13 4 1 121 30 8 0 139
14 4 2 123 31 16 0 139
15 4 3 126 32 32 0 139
16 4 0 126 33 64 2 141
17 8 2 128        


Josef Urban 2011-01-14