halting problem

Submit

Your name:
File:
Open code-statistics:

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

Ruby _

RankUserSizeTimeDateStatistics
1rotary-o260.04922023/02/15 00:09:270B / 16B / 8B

Ruby2 _

RankUserSizeTimeDateStatistics
1rotary-o260.17122023/02/15 00:09:130B / 16B / 8B

Perl _

RankUserSizeTimeDateStatistics
1tails210.04702023/02/14 09:17:530B / 14B / 7B
2Sisyphus210.04972023/02/14 09:26:380B / 14B / 7B
3teebee210.04492023/02/14 16:04:490B / 15B / 6B
4rotary-o210.05232023/02/14 23:52:580B / 14B / 7B
5Hydrazer210.04472023/02/23 08:04:590B / 14B / 7B
6test220.04442023/02/14 12:12:070B / 13B / 9B

Python _

RankUserSizeTimeDateStatistics
1mitchs220.09062023/02/14 07:24:290B / 15B / 6B
2Sisyphus220.09052023/02/14 07:26:420B / 16B / 5B
3Dingledooper220.09812023/02/14 08:20:140B / 16B / 5B
4xnor220.09252023/02/17 12:32:200B / 16B / 5B
5lynn220.09052023/02/17 22:15:190B / 15B / 6B
6hallvabo220.09082023/02/28 03:02:040B / 16B / 5B

Python3 _

RankUserSizeTimeDateStatistics
1mypetlion200.16752023/02/16 07:36:140B / 13B / 6B
2cefqrn200.13652023/02/16 19:34:210B / ?B / ?B
3xnor200.14072023/02/17 12:32:330B / 13B / 6B
4Bob th200.13982023/02/24 08:46:240B / ?B / ?B
5this problem is a joke460.15012023/02/15 02:02:460B / ?B / ?B

JavaScript _

RankUserSizeTimeDateStatistics
1ZED.CWT360.05772023/02/14 18:51:470B / 24B / 12B
2teebee360.06332023/02/15 07:42:120B / 24B / 12B
3Sisyphus360.05742023/02/15 08:19:180B / 24B / 12B
4KrausRaus400.05762023/02/16 10:21:580B / 24B / 16B

SNOBOL _

RankUserSizeTimeDateStatistics
1teebee500.04662023/02/16 04:28:110B / 27B / 15B

Atlas _

RankUserSizeTimeDateStatistics
1tails210.56452023/02/14 11:36:530B / 11B / 10B

C _

RankUserSizeTimeDateStatistics
1tails370.04092023/02/14 12:09:100B / 22B / 14B
2Sisyphus380.03562023/02/14 07:25:120B / 23B / 15B

Haskell _

RankUserSizeTimeDateStatistics
1lynn270.04232023/02/17 22:16:170B / 21B / 5B

Java _

RankUserSizeTimeDateStatistics
1rotary-o900.14802023/02/15 00:30:350B / 58B / 29B

AWK _

RankUserSizeTimeDateStatistics
1Fleur250.04112023/02/14 15:59:250B / 11B / 14B
2teebee250.04162023/02/15 04:37:360B / 14B / 11B
3Fleur240.04192023/02/28 08:41:250B / 12B / 12B

sed _

RankUserSizeTimeDateStatistics
1Sisyphus150.04112023/02/14 09:53:540B / 12B / 1B
2mitchs150.04152023/02/14 09:54:530B / 12B / 1B
3tails150.04282023/02/14 11:11:450B / 12B / 1B
4McBusLuck160.04242023/02/26 19:18:100B / 13B / 1B

Bash (builtins) _

RankUserSizeTimeDateStatistics
1Sisyphus210.04362023/02/14 08:21:200B / 15B / 5B
2tails210.04352023/02/14 15:45:100B / 15B / 3B
3McBusLuck250.01512023/02/26 18:57:240B / 13B / 10B

GolfScript _

RankUserSizeTimeDateStatistics
1tails170.06122023/02/14 11:42:360B / 12B / 5B

gs2 _

RankUserSizeTimeDateStatistics
1tails150.26902023/02/14 19:37:094B / 10B / 1B
2whio150.21292023/02/24 22:57:223B / 11B / 1B

Nibbles _

RankUserSizeTimeDateStatistics
1tails140.07012023/02/14 17:01:455B / 9B / 0B

FerNANDo _

RankUserSizeTimeDateStatistics
1test1970.13142023/02/15 06:38:120B / ?B / ?B

Lazy-K _

RankUserSizeTimeDateStatistics
1tails4900.04802023/02/15 09:37:370B / 271B / 219B

Scala _

RankUserSizeTimeDateStatistics
1rotary-o408.29182023/02/15 00:16:040B / 27B / 13B

Language Ranking_

RankLangUserSizeScore
1Nibblestails1410000
2sedSisyphus159333
3gs2tails159333
4GolfScripttails178235
5Python3mypetlion207000
6Bash (builtins)Sisyphus216666
7Perltails216666
8Atlastails216666
9Pythonmitchs226363
10AWKFleur245833
11Ruby2rotary-o265384
12Rubyrotary-o265384
13Haskelllynn275185
14JavaScriptZED.CWT363888
15Ctails373783
16Scalarotary-o403500
17SNOBOLteebee502800
18Javarotary-o901555
19FerNANDotest1971443
20Lazy-Ktails490285

return to the top page