Navigation
«
»
Public
Home
Login
Register
«
»
Competition
Competition List
Download current tools
«
»
Termexec
Create an Experiment
View Experiments
View Tools
«
»
Help
Registration
Tool management
Query interface
Category Results for Haskell
Statistics
Result
AProVE (TC 2013)
MAYBE
Average time
16.792
Total time
1343.386
# Results
80
NO
Average time
7.067
Total time
106.007
# Results
15
TIMEOUT
Average time
60.379
Total time
16423.087
# Results
272
YES
Average time
10.967
Total time
14301.173
# Results
1304
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
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
»
Last
Termination Problem
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/FP/basic_haskell/abs_1.hs
6.862
2
tpdb-8.0/FP/basic_haskell/abs_2.hs
7.678
3
tpdb-8.0/FP/basic_haskell/abs_3.hs
6.517
4
tpdb-8.0/FP/basic_haskell/all_1.hs
6.353
5
tpdb-8.0/FP/basic_haskell/AMPAMP_1.hs
6.065
6
tpdb-8.0/FP/basic_haskell/and_1.hs
6.294
7
tpdb-8.0/FP/basic_haskell/any_1.hs
6.292
8
tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs
6.168
9
tpdb-8.0/FP/basic_haskell/BANGBANG_1.hs
7.276
10
tpdb-8.0/FP/basic_haskell/BARBAR_1.hs
6.083
11
tpdb-8.0/FP/basic_haskell/basicIORun_1.hs
7.509
12
tpdb-8.0/FP/basic_haskell/blockIO_1.hs
6.833
13
tpdb-8.0/FP/basic_haskell/break_1.hs
6.655
14
tpdb-8.0/FP/basic_haskell/CARET_1.hs
60.401
15
tpdb-8.0/FP/basic_haskell/CARET_2.hs
44.021
16
tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs
6.75
17
tpdb-8.0/FP/basic_haskell/ceiling_1.hs
13.887
18
tpdb-8.0/FP/basic_haskell/chr_1.hs
6.2
19
tpdb-8.0/FP/basic_haskell/compare_1.hs
6.016
20
tpdb-8.0/FP/basic_haskell/compare_2.hs
6.269
21
tpdb-8.0/FP/basic_haskell/compare_3.hs
6.728
22
tpdb-8.0/FP/basic_haskell/compare_4.hs
6.32
23
tpdb-8.0/FP/basic_haskell/compare_5.hs
6.813
24
tpdb-8.0/FP/basic_haskell/compare_6.hs
6.439
25
tpdb-8.0/FP/basic_haskell/compare_7.hs
6.321
26
tpdb-8.0/FP/basic_haskell/concat_1.hs
6.292
27
tpdb-8.0/FP/basic_haskell/concatMap_1.hs
6.511
28
tpdb-8.0/FP/basic_haskell/const_1.hs
6.057
29
tpdb-8.0/FP/basic_haskell/curry_1.hs
6.069
30
tpdb-8.0/FP/basic_haskell/cycle_1.hs
6.446
31
tpdb-8.0/FP/basic_haskell/denominator_1.hs
6.207
32
tpdb-8.0/FP/basic_haskell/digitToInt_1.hs
10.074
33
tpdb-8.0/FP/basic_haskell/div_1.hs
7.178
34
tpdb-8.0/FP/basic_haskell/divMod_1.hs
16.034
35
tpdb-8.0/FP/basic_haskell/DOLLAR_1.hs
6.241
36
tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs
6.405
37
tpdb-8.0/FP/basic_haskell/DOT_1.hs
6.08
38
tpdb-8.0/FP/basic_haskell/drop_1.hs
7.009
39
tpdb-8.0/FP/basic_haskell/dropWhile_1.hs
6.312
40
tpdb-8.0/FP/basic_haskell/either_1.hs
6.205
««
«
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
»
Last
Request being processed
Your request is being processed, please wait.