blob: bbc91c35637a3a8e25ad5b90508c757033541a91 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
Dafny program verifier finished with 8 verified, 0 errors
Program compiled successfully
Running...
M(3) = 91
M(99) = 91
M(100) = 91
M(101) = 91
M(1013) = 1003
mc91(3) = 91
mc91(99) = 91
mc91(100) = 91
mc91(101) = 91
mc91(1013) = 1003
Mc91(3) = 91
Mc91(99) = 91
Mc91(100) = 91
Mc91(101) = 91
Mc91(1013) = 1003
iter(0, mc91, 40) = 40
iter(1, mc91, 40) = 91
iter(2, mc91, 40) = 91
iter(3, mc91, 40) = 91
iter(4, mc91, 40) = 91
|
