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 2012)
MAYBE
Average time
6.121
Total time
12.242
# Results
2
NO
Average time
6.486
Total time
12.972
# Results
2
TIMEOUT
Average time
60.410
Total time
664.512
# Results
11
YES
Average time
8.294
Total time
456.147
# Results
55
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
»
Last
Termination Problem
AProVE (TC 2012)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs
5.809
2
tpdb-8.0/FP/basic_haskell/concatMap_1.hs
5.25
3
tpdb-8.0/FP/basic_haskell/denominator_1.hs
5.217
4
tpdb-8.0/FP/basic_haskell/div_1.hs
5.834
5
tpdb-8.0/FP/basic_haskell/DOT_1.hs
5.085
6
tpdb-8.0/FP/basic_haskell/enumFrom_1.hs
5.136
7
tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs
6.649
8
tpdb-8.0/FP/basic_haskell/enumFromThenTo_2.hs
7.163
9
tpdb-8.0/FP/basic_haskell/enumFromTo_6.hs
18.973
10
tpdb-8.0/FP/basic_haskell/even_1.hs
5.221
11
tpdb-8.0/FP/basic_haskell/floatRadix_1.hs
4.985
12
tpdb-8.0/FP/basic_haskell/fromDouble_2.hs
5.076
13
tpdb-8.0/FP/basic_haskell/fromRational_1.hs
5.085
14
tpdb-8.0/FP/basic_haskell/inRange_2.hs
5.544
15
tpdb-8.0/FP/basic_haskell/isNaN_1.hs
5.027
16
tpdb-8.0/FP/basic_haskell/lookup_2.hs
5.346
17
tpdb-8.0/FP/basic_haskell/mapM__1.hs
5.661
18
tpdb-8.0/FP/basic_haskell/max_3.hs
5.841
19
tpdb-8.0/FP/basic_haskell/min_4.hs
11.113
20
tpdb-8.0/FP/basic_haskell/min_6.hs
5.242
21
tpdb-8.0/FP/basic_haskell/minimum_6.hs
5.548
22
tpdb-8.0/FP/basic_haskell/not_1.hs
5.069
23
tpdb-8.0/FP/basic_haskell/notElem_1.hs
5.352
24
tpdb-8.0/FP/basic_haskell/null_1.hs
5.316
25
tpdb-8.0/FP/basic_haskell/product_2.hs
5.483
26
tpdb-8.0/FP/basic_haskell/quot_1.hs
5.85
27
tpdb-8.0/FP/basic_haskell/read_2.hs
60.402
28
tpdb-8.0/FP/basic_haskell/readHex_1.hs
60.345
29
tpdb-8.0/FP/basic_haskell/sequence__2.hs
5.711
30
tpdb-8.0/FP/basic_haskell/show_5.hs
7.062
31
tpdb-8.0/FP/basic_haskell/showSigned_2.hs
7.153
32
tpdb-8.0/FP/basic_haskell/showsPrec_1.hs
5.361
33
tpdb-8.0/FP/basic_haskell/SLASHEQ_2.hs
5.416
34
tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs
5.04
35
tpdb-8.0/FP/basic_haskell/snd_1.hs
5.242
36
tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_9.hs
22.146
37
tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs
16.508
38
tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs
7.785
39
tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs
60.431
40
tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs
29.985
««
«
1
2
»
Last
Request being processed
Your request is being processed, please wait.