Peano arithmetic
Submit
Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.
Problem
Do Peano arithmetic. "S" means "successor".
Options
exec is denied
rejudge feature is enabled
now post-mortem time, all source codes will be revealed
Sample input:_
SS0 + S0
SSS0 * SS0
0 + SSSSS0
SSSS0 * 0
Sample output:
SSS0
SSSSSS0
SSSSS0
0
Sample input:_
SS0 + SSSS0
0 + 0
0 + S0
SS0 + 0
SSS0 + SSSS0
SS0 + 0
SSS0 + S0
0 * 0
SSSS0 * SSSSS0
SSSS0 + SSS0
0 * SS0
S0 * SSSS0
SS0 + 0
S0 + S0
SSSSS0 * 0
0 * SSS0
SSSS0 * S0
SSS0 * S0
SSSSS0 * SSSSS0
SSSSS0 + SSSS0
Sample output:
SSSSSS0
0
S0
SS0
SSSSSSS0
SS0
SSSS0
0
SSSSSSSSSSSSSSSSSSSS0
SSSSSSS0
0
SSSS0
SS0
SS0
0
0
SSSS0
SSS0
SSSSSSSSSSSSSSSSSSSSSSSSS0
SSSSSSSSS0
Ranking
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 38 | 0.0339 | 2023/11/22 16:38:43 | 0B / 19B / 17B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 37 | 0.1300 | 2023/11/22 16:38:38 | 0B / 19B / 15B |
2 | Sisyphus | 40 | 0.1146 | 2023/11/15 11:31:38 | 0B / 23B / 17B |
3 | rotary-o | 40 | 0.1181 | 2023/11/29 12:25:23 | 0B / 12B / 22B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Sisyphus | 39 | 0.0300 | 2023/11/15 10:32:36 | 0B / 21B / 17B |
2 | tails | 39 | 0.0300 | 2023/11/16 01:55:49 | 0B / 21B / 17B |
3 | teebee | 39 | 0.0384 | 2023/11/16 09:40:43 | 0B / 14B / 24B |
4 | fuzzylojik | 43 | 0.0301 | 2023/11/25 02:27:16 | 0B / 22B / 20B |
5 | Hydrazer | 44 | 0.0301 | 2023/11/22 02:58:32 | 0B / 27B / 16B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Erik the Outgolfer | 56 | 0.0524 | 2023/11/15 05:43:34 | 0B / 33B / 22B |
2 | fuzzylojik | 56 | 0.0610 | 2023/11/15 05:55:10 | 0B / 33B / 23B |
3 | xnor | 56 | 0.0995 | 2023/11/23 12:26:05 | 0B / 33B / 22B |
4 | kaki | 56 | 0.1013 | 2023/11/27 16:44:23 | 0B / 33B / 22B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 88 | 0.0471 | 2023/11/29 03:02:05 | 0B / 43B / 42B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | ZED.CWT | 70 | 0.0408 | 2023/11/16 17:41:11 | 0B / 40B / 30B |
2 | fuzzylojik | 70 | 0.0431 | 2023/11/21 04:40:59 | 0B / 41B / 29B |
3 | kaki | 70 | 0.0448 | 2023/11/22 18:19:56 | 0B / 41B / 29B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 25 | 0.2830 | 2023/11/23 19:38:32 | 0B / 3B / 22B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 79 | 0.0355 | 2023/11/29 02:21:30 | 0B / 36B / 41B |
2 | xnor | 83 | 0.0341 | 2023/11/28 17:35:55 | 0B / 49B / 31B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Fleur | 34 | 0.0279 | 2023/11/15 13:29:12 | 0B / 13B / 21B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 41 | 0.0281 | 2023/11/27 19:58:56 | 0B / 12B / 23B |
2 | kaki | 42 | 0.0282 | 2023/11/27 20:59:02 | 0B / 11B / 23B |
3 | McBusLuck | 48 | 0.0286 | 2023/11/27 03:47:39 | 0B / 13B / 31B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 53 | 0.0332 | 2023/11/15 10:33:03 | 0B / 23B / 23B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 68 | 0.0288 | 2023/11/21 18:51:57 | 0B / 57B / 10B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 51 | 0.0342 | 2023/11/23 03:09:45 | 0B / 15B / 31B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 48 | 0.0441 | 2023/11/23 13:37:50 | 0B / 16B / 26B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 23 | 0.0481 | 2023/11/17 09:53:59 | 0B / 5B / 17B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | whio | 14 | 0.2044 | 2023/11/24 22:06:28 | 3B / 6B / 5B |
2 | tails | 14 | 0.1404 | 2023/11/28 09:32:12 | 7B / 4B / 3B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 11 | 0.0520 | 2023/11/29 00:21:44 | 6B / 3B / 2B |
2 | tails | 12 | 0.0352 | 2023/11/21 21:50:09 | 6B / 3B / 3B |
3 | tails (kaki) | 7 | 0.0358 | 2023/11/29 14:53:12 | 3B / 2B / 2B |
4 | kaki | 10 | 0.0336 | 2023/11/29 13:28:34 | 9B / 0B / 1B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 621 | 0.0412 | 2023/11/27 20:51:36 | 0B / 337B / 284B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | kaki | 28 | 0.1065 | 2023/11/29 01:36:35 | 0B / 11B / 15B |
Language Ranking_
Rank | Lang | User | Size | Score |
1 | Nibbles | tails (kaki) | 7 | 10000 |
2 | gs2 | whio | 14 | 5000 |
3 | GolfScript | tails | 23 | 3043 |
4 | Atlas | tails | 25 | 2800 |
5 | goruby | kaki | 28 | 2500 |
6 | AWK | Fleur | 34 | 2058 |
7 | Burlesque | Hendrik | 34 | 2058 |
8 | Ruby2 | kaki | 37 | 1891 |
9 | Ruby | kaki | 38 | 1842 |
10 | Perl | Sisyphus | 39 | 1794 |
11 | sed | tails | 41 | 1707 |
12 | Befunge-98 | kaki | 48 | 1458 |
13 | Befunge | kaki | 51 | 1372 |
14 | Bash (builtins) | tails | 53 | 1320 |
15 | Python3 | orthoplex | 54 | 1296 |
16 | Python | Erik the Outgolfer | 56 | 1250 |
17 | dc | tails | 68 | 1029 |
18 | JavaScript | ZED.CWT | 70 | 1000 |
19 | Scala | rotary-o | 73 | 958 |
20 | Haskell | kaki | 79 | 886 |
21 | Scheme | kaki | 88 | 795 |
22 | C# | rotary-o(fuzzylojik) | 146 | 479 |
23 | Java | rotary-o | 152 | 460 |
24 | Lazy-K | tails | 621 | 112 |
return to the top page