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

Results

«««12»Last
Termination Problem
AProVE (TC 2012)
 
 
 
1
tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs
2
tpdb-8.0/FP/basic_haskell/concatMap_1.hs
3
tpdb-8.0/FP/basic_haskell/denominator_1.hs
4
tpdb-8.0/FP/basic_haskell/div_1.hs
5
tpdb-8.0/FP/basic_haskell/DOT_1.hs
6
tpdb-8.0/FP/basic_haskell/enumFrom_1.hs
7
tpdb-8.0/FP/basic_haskell/enumFromThen_5.hs
8
tpdb-8.0/FP/basic_haskell/enumFromThenTo_2.hs
9
tpdb-8.0/FP/basic_haskell/enumFromTo_6.hs
10
tpdb-8.0/FP/basic_haskell/even_1.hs
11
tpdb-8.0/FP/basic_haskell/floatRadix_1.hs
12
tpdb-8.0/FP/basic_haskell/fromDouble_2.hs
13
tpdb-8.0/FP/basic_haskell/fromRational_1.hs
14
tpdb-8.0/FP/basic_haskell/inRange_2.hs
15
tpdb-8.0/FP/basic_haskell/isNaN_1.hs
16
tpdb-8.0/FP/basic_haskell/lookup_2.hs
17
tpdb-8.0/FP/basic_haskell/mapM__1.hs
18
tpdb-8.0/FP/basic_haskell/max_3.hs
19
tpdb-8.0/FP/basic_haskell/min_4.hs
20
tpdb-8.0/FP/basic_haskell/min_6.hs
21
tpdb-8.0/FP/basic_haskell/minimum_6.hs
22
tpdb-8.0/FP/basic_haskell/not_1.hs
23
tpdb-8.0/FP/basic_haskell/notElem_1.hs
24
tpdb-8.0/FP/basic_haskell/null_1.hs
25
tpdb-8.0/FP/basic_haskell/product_2.hs
26
tpdb-8.0/FP/basic_haskell/quot_1.hs
27
tpdb-8.0/FP/basic_haskell/read_2.hs
28
tpdb-8.0/FP/basic_haskell/readHex_1.hs
29
tpdb-8.0/FP/basic_haskell/sequence__2.hs
30
tpdb-8.0/FP/basic_haskell/show_5.hs
31
tpdb-8.0/FP/basic_haskell/showSigned_2.hs
32
tpdb-8.0/FP/basic_haskell/showsPrec_1.hs
33
tpdb-8.0/FP/basic_haskell/SLASHEQ_2.hs
34
tpdb-8.0/FP/basic_haskell/SLASHEQ_3.hs
35
tpdb-8.0/FP/basic_haskell/snd_1.hs
36
tpdb-8.0/FP/full_haskell/FiniteMap_delFromFM_9.hs
37
tpdb-8.0/FP/full_haskell/FiniteMap_fmToList_LE_4.hs
38
tpdb-8.0/FP/full_haskell/FiniteMap_foldFM_LE_8.hs
39
tpdb-8.0/FP/full_haskell/FiniteMap_intersectFM_C_10.hs
40
tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_LE_9.hs
«««12»Last