halting problem
Submit
Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.
Problem
You are given a program in your programming language of choice as input. As output, you must say if the program eventually halts. All examples are in Python.
Options
exec is denied
rejudge feature is enabled
now post-mortem time, all source codes will be revealed
Sample input:_
print("Obviously doesn't halt")
Sample output:
True
Sample input:_
while True:
print("Never halts")
Sample output:
False
Sample input:_
def f():
yield 0
f()
for _ in f(): pass
Sample output:
False
Ranking
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 21 | 0.0470 | 2023/02/14 09:17:53 | 0B / 14B / 7B |
2 | Sisyphus | 21 | 0.0497 | 2023/02/14 09:26:38 | 0B / 14B / 7B |
3 | teebee | 21 | 0.0449 | 2023/02/14 16:04:49 | 0B / 15B / 6B |
4 | rotary-o | 21 | 0.0523 | 2023/02/14 23:52:58 | 0B / 14B / 7B |
5 | Hydrazer | 21 | 0.0447 | 2023/02/23 08:04:59 | 0B / 14B / 7B |
6 | test | 22 | 0.0444 | 2023/02/14 12:12:07 | 0B / 13B / 9B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | mitchs | 22 | 0.0906 | 2023/02/14 07:24:29 | 0B / 15B / 6B |
2 | Sisyphus | 22 | 0.0905 | 2023/02/14 07:26:42 | 0B / 16B / 5B |
3 | Dingledooper | 22 | 0.0981 | 2023/02/14 08:20:14 | 0B / 16B / 5B |
4 | xnor | 22 | 0.0925 | 2023/02/17 12:32:20 | 0B / 16B / 5B |
5 | lynn | 22 | 0.0905 | 2023/02/17 22:15:19 | 0B / 15B / 6B |
6 | hallvabo | 22 | 0.0908 | 2023/02/28 03:02:04 | 0B / 16B / 5B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | ZED.CWT | 36 | 0.0577 | 2023/02/14 18:51:47 | 0B / 24B / 12B |
2 | teebee | 36 | 0.0633 | 2023/02/15 07:42:12 | 0B / 24B / 12B |
3 | Sisyphus | 36 | 0.0574 | 2023/02/15 08:19:18 | 0B / 24B / 12B |
4 | KrausRaus | 40 | 0.0576 | 2023/02/16 10:21:58 | 0B / 24B / 16B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 21 | 0.5645 | 2023/02/14 11:36:53 | 0B / 11B / 10B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 37 | 0.0409 | 2023/02/14 12:09:10 | 0B / 22B / 14B |
2 | Sisyphus | 38 | 0.0356 | 2023/02/14 07:25:12 | 0B / 23B / 15B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | lynn | 27 | 0.0423 | 2023/02/17 22:16:17 | 0B / 21B / 5B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Fleur | 25 | 0.0411 | 2023/02/14 15:59:25 | 0B / 11B / 14B |
2 | teebee | 25 | 0.0416 | 2023/02/15 04:37:36 | 0B / 14B / 11B |
3 | Fleur | 24 | 0.0419 | 2023/02/28 08:41:25 | 0B / 12B / 12B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Sisyphus | 15 | 0.0411 | 2023/02/14 09:53:54 | 0B / 12B / 1B |
2 | mitchs | 15 | 0.0415 | 2023/02/14 09:54:53 | 0B / 12B / 1B |
3 | tails | 15 | 0.0428 | 2023/02/14 11:11:45 | 0B / 12B / 1B |
4 | McBusLuck | 16 | 0.0424 | 2023/02/26 19:18:10 | 0B / 13B / 1B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | Sisyphus | 21 | 0.0436 | 2023/02/14 08:21:20 | 0B / 15B / 5B |
2 | tails | 21 | 0.0435 | 2023/02/14 15:45:10 | 0B / 15B / 3B |
3 | McBusLuck | 25 | 0.0151 | 2023/02/26 18:57:24 | 0B / 13B / 10B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 17 | 0.0612 | 2023/02/14 11:42:36 | 0B / 12B / 5B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 15 | 0.2690 | 2023/02/14 19:37:09 | 4B / 10B / 1B |
2 | whio | 15 | 0.2129 | 2023/02/24 22:57:22 | 3B / 11B / 1B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 14 | 0.0701 | 2023/02/14 17:01:45 | 5B / 9B / 0B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | test1 | 97 | 0.1314 | 2023/02/15 06:38:12 | 0B / ?B / ?B |
Rank | User | Size | Time | Date | Statistics |
---|
1 | tails | 490 | 0.0480 | 2023/02/15 09:37:37 | 0B / 271B / 219B |
Language Ranking_
Rank | Lang | User | Size | Score |
1 | Nibbles | tails | 14 | 10000 |
2 | sed | Sisyphus | 15 | 9333 |
3 | gs2 | tails | 15 | 9333 |
4 | GolfScript | tails | 17 | 8235 |
5 | Python3 | mypetlion | 20 | 7000 |
6 | Bash (builtins) | Sisyphus | 21 | 6666 |
7 | Perl | tails | 21 | 6666 |
8 | Atlas | tails | 21 | 6666 |
9 | Python | mitchs | 22 | 6363 |
10 | AWK | Fleur | 24 | 5833 |
11 | Ruby2 | rotary-o | 26 | 5384 |
12 | Ruby | rotary-o | 26 | 5384 |
13 | Haskell | lynn | 27 | 5185 |
14 | JavaScript | ZED.CWT | 36 | 3888 |
15 | C | tails | 37 | 3783 |
16 | Scala | rotary-o | 40 | 3500 |
17 | SNOBOL | teebee | 50 | 2800 |
18 | Java | rotary-o | 90 | 1555 |
19 | FerNANDo | test1 | 97 | 1443 |
20 | Lazy-K | tails | 490 | 285 |
return to the top page