McCarthy 91 function
Submit
Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.
Problem
"The McCarthy 91 function is a recursive function, defined by the computer scientist John McCarthy as a test case for formal verification within computer science."
The McCarthy 91 function is defined as:
M(n) = n-10, if n > 100
= M(M(n+11)), if n <= 100
http://en.wikipedia.org/wiki/McCarthy_91_function
Options
exec is denied
now post-mortem time, all source codes will be revealed
Sample input:_
99
Sample output:
M(99)
M(M(110))
M(100)
M(M(111))
M(101)
91
Sample input:_
87
Sample output:
M(87)
M(M(98))
M(M(M(109)))
M(M(99))
M(M(M(110)))
M(M(100))
M(M(M(111)))
M(M(101))
M(91)
M(M(102))
M(92)
M(M(103))
M(93)
M(M(104))
M(94)
M(M(105))
M(95)
M(M(106))
M(96)
M(M(107))
M(97)
M(M(108))
M(98)
M(M(109))
M(99)
M(M(110))
M(100)
M(M(111))
M(101)
91
Sample input:_
1
Sample output:
M(1)
M(M(12))
M(M(M(23)))
M(M(M(M(34))))
M(M(M(M(M(45)))))
M(M(M(M(M(M(56))))))
M(M(M(M(M(M(M(67)))))))
M(M(M(M(M(M(M(M(78))))))))
M(M(M(M(M(M(M(M(M(89)))))))))
M(M(M(M(M(M(M(M(M(M(100))))))))))
M(M(M(M(M(M(M(M(M(M(M(111)))))))))))
M(M(M(M(M(M(M(M(M(M(101))))))))))
M(M(M(M(M(M(M(M(M(91)))))))))
M(M(M(M(M(M(M(M(M(M(102))))))))))
M(M(M(M(M(M(M(M(M(92)))))))))
M(M(M(M(M(M(M(M(M(M(103))))))))))
M(M(M(M(M(M(M(M(M(93)))))))))
M(M(M(M(M(M(M(M(M(M(104))))))))))
M(M(M(M(M(M(M(M(M(94)))))))))
M(M(M(M(M(M(M(M(M(M(105))))))))))
M(M(M(M(M(M(M(M(M(95)))))))))
M(M(M(M(M(M(M(M(M(M(106))))))))))
M(M(M(M(M(M(M(M(M(96)))))))))
M(M(M(M(M(M(M(M(M(M(107))))))))))
M(M(M(M(M(M(M(M(M(97)))))))))
M(M(M(M(M(M(M(M(M(M(108))))))))))
M(M(M(M(M(M(M(M(M(98)))))))))
M(M(M(M(M(M(M(M(M(M(109))))))))))
M(M(M(M(M(M(M(M(M(99)))))))))
M(M(M(M(M(M(M(M(M(M(110))))))))))
M(M(M(M(M(M(M(M(M(100)))))))))
M(M(M(M(M(M(M(M(M(M(111))))))))))
M(M(M(M(M(M(M(M(M(101)))))))))
M(M(M(M(M(M(M(M(91))))))))
M(M(M(M(M(M(M(M(M(102)))))))))
M(M(M(M(M(M(M(M(92))))))))
M(M(M(M(M(M(M(M(M(103)))))))))
M(M(M(M(M(M(M(M(93))))))))
M(M(M(M(M(M(M(M(M(104)))))))))
M(M(M(M(M(M(M(M(94))))))))
M(M(M(M(M(M(M(M(M(105)))))))))
M(M(M(M(M(M(M(M(95))))))))
M(M(M(M(M(M(M(M(M(106)))))))))
M(M(M(M(M(M(M(M(96))))))))
M(M(M(M(M(M(M(M(M(107)))))))))
M(M(M(M(M(M(M(M(97))))))))
M(M(M(M(M(M(M(M(M(108)))))))))
M(M(M(M(M(M(M(M(98))))))))
M(M(M(M(M(M(M(M(M(109)))))))))
M(M(M(M(M(M(M(M(99))))))))
M(M(M(M(M(M(M(M(M(110)))))))))
M(M(M(M(M(M(M(M(100))))))))
M(M(M(M(M(M(M(M(M(111)))))))))
M(M(M(M(M(M(M(M(101))))))))
M(M(M(M(M(M(M(91)))))))
M(M(M(M(M(M(M(M(102))))))))
M(M(M(M(M(M(M(92)))))))
M(M(M(M(M(M(M(M(103))))))))
M(M(M(M(M(M(M(93)))))))
M(M(M(M(M(M(M(M(104))))))))
M(M(M(M(M(M(M(94)))))))
M(M(M(M(M(M(M(M(105))))))))
M(M(M(M(M(M(M(95)))))))
M(M(M(M(M(M(M(M(106))))))))
M(M(M(M(M(M(M(96)))))))
M(M(M(M(M(M(M(M(107))))))))
M(M(M(M(M(M(M(97)))))))
M(M(M(M(M(M(M(M(108))))))))
M(M(M(M(M(M(M(98)))))))
M(M(M(M(M(M(M(M(109))))))))
M(M(M(M(M(M(M(99)))))))
M(M(M(M(M(M(M(M(110))))))))
M(M(M(M(M(M(M(100)))))))
M(M(M(M(M(M(M(M(111))))))))
M(M(M(M(M(M(M(101)))))))
M(M(M(M(M(M(91))))))
M(M(M(M(M(M(M(102)))))))
M(M(M(M(M(M(92))))))
M(M(M(M(M(M(M(103)))))))
M(M(M(M(M(M(93))))))
M(M(M(M(M(M(M(104)))))))
M(M(M(M(M(M(94))))))
M(M(M(M(M(M(M(105)))))))
M(M(M(M(M(M(95))))))
M(M(M(M(M(M(M(106)))))))
M(M(M(M(M(M(96))))))
M(M(M(M(M(M(M(107)))))))
M(M(M(M(M(M(97))))))
M(M(M(M(M(M(M(108)))))))
M(M(M(M(M(M(98))))))
M(M(M(M(M(M(M(109)))))))
M(M(M(M(M(M(99))))))
M(M(M(M(M(M(M(110)))))))
M(M(M(M(M(M(100))))))
M(M(M(M(M(M(M(111)))))))
M(M(M(M(M(M(101))))))
M(M(M(M(M(91)))))
M(M(M(M(M(M(102))))))
M(M(M(M(M(92)))))
M(M(M(M(M(M(103))))))
M(M(M(M(M(93)))))
M(M(M(M(M(M(104))))))
M(M(M(M(M(94)))))
M(M(M(M(M(M(105))))))
M(M(M(M(M(95)))))
M(M(M(M(M(M(106))))))
M(M(M(M(M(96)))))
M(M(M(M(M(M(107))))))
M(M(M(M(M(97)))))
M(M(M(M(M(M(108))))))
M(M(M(M(M(98)))))
M(M(M(M(M(M(109))))))
M(M(M(M(M(99)))))
M(M(M(M(M(M(110))))))
M(M(M(M(M(100)))))
M(M(M(M(M(M(111))))))
M(M(M(M(M(101)))))
M(M(M(M(91))))
M(M(M(M(M(102)))))
M(M(M(M(92))))
M(M(M(M(M(103)))))
M(M(M(M(93))))
M(M(M(M(M(104)))))
M(M(M(M(94))))
M(M(M(M(M(105)))))
M(M(M(M(95))))
M(M(M(M(M(106)))))
M(M(M(M(96))))
M(M(M(M(M(107)))))
M(M(M(M(97))))
M(M(M(M(M(108)))))
M(M(M(M(98))))
M(M(M(M(M(109)))))
M(M(M(M(99))))
M(M(M(M(M(110)))))
M(M(M(M(100))))
M(M(M(M(M(111)))))
M(M(M(M(101))))
M(M(M(91)))
M(M(M(M(102))))
M(M(M(92)))
M(M(M(M(103))))
M(M(M(93)))
M(M(M(M(104))))
M(M(M(94)))
M(M(M(M(105))))
M(M(M(95)))
M(M(M(M(106))))
M(M(M(96)))
M(M(M(M(107))))
M(M(M(97)))
M(M(M(M(108))))
M(M(M(98)))
M(M(M(M(109))))
M(M(M(99)))
M(M(M(M(110))))
M(M(M(100)))
M(M(M(M(111))))
M(M(M(101)))
M(M(91))
M(M(M(102)))
M(M(92))
M(M(M(103)))
M(M(93))
M(M(M(104)))
M(M(94))
M(M(M(105)))
M(M(95))
M(M(M(106)))
M(M(96))
M(M(M(107)))
M(M(97))
M(M(M(108)))
M(M(98))
M(M(M(109)))
M(M(99))
M(M(M(110)))
M(M(100))
M(M(M(111)))
M(M(101))
M(91)
M(M(102))
M(92)
M(M(103))
M(93)
M(M(104))
M(94)
M(M(105))
M(95)
M(M(106))
M(96)
M(M(107))
M(97)
M(M(108))
M(98)
M(M(109))
M(99)
M(M(110))
M(100)
M(M(111))
M(101)
91
Ranking
Rank | User | Size | Time | Date | Statistics |
---|
1 | leonid | 68 | 0.0396 | 2014/11/13 10:52:30 | 0B / 31B / 34B |
2 | mitchs | 70 | 0.0285 | 2014/11/13 07:04:44 | 0B / 35B / 33B |
3 | jpl | 90 | 0.0406 | 2014/11/14 01:00:23 | 0B / ?B / ?B |
4 | mitchs (leonid) | 67 | 0.0494 | 2014/11/26 19:20:05 | 0B / 31B / 33B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 63 | 0.0326 | 2014/11/12 23:41:20 | 0B / 25B / 38B |
2 | teebee | 63 | 0.0333 | 2014/11/15 09:07:46 | 0B / 26B / 37B |
3 | brx | 67 | 0.0344 | 2014/11/26 08:51:59 | 0B / 21B / 46B |
4 | BioFALSE | 94 | 0.0399 | 2014/11/30 20:45:48 | 0B / 39B / 53B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | whatisgolf | 70 | 0.0989 | 2014/11/19 05:41:35 | 0B / ?B / ?B |
2 | llhuii | 70 | 0.0933 | 2014/11/25 23:08:47 | 0B / 36B / 33B |
3 | leonid | 70 | 0.0926 | 2014/11/26 04:18:44 | 0B / 37B / 30B |
4 | mitchs | 72 | 0.0885 | 2014/11/13 07:04:34 | 0B / 38B / 31B |
5 | rolf | 92 | 0.0939 | 2014/11/13 07:53:10 | 0B / 50B / 30B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 116 | 0.2304 | 2014/11/26 16:45:32 | 0B / 48B / 59B |
2 | frob | 321 | 0.0520 | 2014/12/04 00:10:59 | 0B / 93B / 74B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Haaroth | 202 | 0.0501 | 2014/11/26 02:01:43 | 0B / 110B / 89B |
2 | aaa | 261 | 0.0449 | 2014/11/26 01:54:27 | 0B / ?B / ?B |
3 | FizzyTea | 105 | 0.0643 | 2014/12/02 09:58:15 | 0B / 53B / 52B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | henkma | 96 | 0.0428 | 2014/11/26 17:21:09 | 0B / 53B / 36B |
2 | int-e | 97 | 0.0394 | 2014/11/25 21:30:45 | 0B / 50B / 41B |
3 | oerjan | 121 | 0.0376 | 2014/11/13 10:20:49 | 0B / 54B / 62B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 72 | 0.0640 | 2014/11/13 02:59:17 | 0B / 53B / 19B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 45 | 0.1029 | 2014/11/13 00:42:58 | 0B / 16B / 29B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 25 | 0.0509 | 2022/02/15 19:41:56 | 12B / 9B / 2B |
Language Ranking_
Rank | Lang | User | Size | Score |
1 | Nibbles | tails | 25 | 10000 |
2 | GolfScript | tails | 45 | 5555 |
3 | Perl | tails | 63 | 3968 |
4 | Ruby | mitchs (leonid) | 67 | 3731 |
5 | Python | whatisgolf | 70 | 3571 |
6 | dc | tails | 72 | 3472 |
7 | xgawk | llhuii | 74 | 3378 |
8 | AWK | llhuii | 74 | 3378 |
9 | Haskell | henkma | 96 | 2604 |
10 | JavaScript | FizzyTea | 105 | 2380 |
11 | C | llhuii | 113 | 2212 |
12 | Scheme | kaki | 116 | 2155 |
13 | Lua | AndoDaan | 225 | 1111 |
14 | OCaml | hebiyan | 506 | 494 |
return to the top page