termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for Haskell

Statistics

Result

AProVE (2011-0.1)

MAYBE

Average time	15.327
Total time	61.309
# Results	4

Average time	4.263
Total time	8.526
# Results	2

TIMEOUT

Average time	60.678
Total time	667.454
# Results	11

YES

Average time	7.071
Total time	374.741
# Results	53

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/FP/basic_haskell/chr_1.hs	2.189
2	tpdb-8.0/FP/basic_haskell/compare_2.hs	2.181
3	tpdb-8.0/FP/basic_haskell/const_1.hs	2.079
4	tpdb-8.0/FP/basic_haskell/divMod_1.hs	13.526
5	tpdb-8.0/FP/basic_haskell/enumFrom_6.hs	0.066
6	tpdb-8.0/FP/basic_haskell/enumFromTo_7.hs	3.955
7	tpdb-8.0/FP/basic_haskell/EQEQ_1.hs	2.054
8	tpdb-8.0/FP/basic_haskell/EQEQ_7.hs	2.113
9	tpdb-8.0/FP/basic_haskell/floatRadix_1.hs	2.082
10	tpdb-8.0/FP/basic_haskell/gcd_1.hs	15.642
11	tpdb-8.0/FP/basic_haskell/GTEQ_2.hs	3.315
12	tpdb-8.0/FP/basic_haskell/GTEQ_4.hs	2.337
13	tpdb-8.0/FP/basic_haskell/isInfinite_1.hs	2.021
14	tpdb-8.0/FP/basic_haskell/iterate_1.hs	2.186
15	tpdb-8.0/FP/basic_haskell/max_5.hs	3.507
16	tpdb-8.0/FP/basic_haskell/maximum_2.hs	2.245
17	tpdb-8.0/FP/basic_haskell/maximum_4.hs	16.719
18	tpdb-8.0/FP/basic_haskell/maybe_1.hs	2.05
19	tpdb-8.0/FP/basic_haskell/min_3.hs	3.413
20	tpdb-8.0/FP/basic_haskell/min_4.hs	11.595
21	tpdb-8.0/FP/basic_haskell/minBound_2.hs	2.111
22	tpdb-8.0/FP/basic_haskell/minimum_3.hs	3.619
23	tpdb-8.0/FP/basic_haskell/primThrowException_1.hs	2.171
24	tpdb-8.0/FP/basic_haskell/product_1.hs	2.444
25	tpdb-8.0/FP/basic_haskell/quot_1.hs	2.71
26	tpdb-8.0/FP/basic_haskell/range_1.hs	2.159
27	tpdb-8.0/FP/basic_haskell/range_2.hs	31.436
28	tpdb-8.0/FP/basic_haskell/read_2.hs	60.433
29	tpdb-8.0/FP/basic_haskell/realToFrac_1.hs	2.149
30	tpdb-8.0/FP/basic_haskell/seq_1.hs	2.013
31	tpdb-8.0/FP/basic_haskell/showsPrec_4.hs	61.326
32	tpdb-8.0/FP/basic_haskell/SLASHEQ_6.hs	2.225
33	tpdb-8.0/FP/basic_haskell/STAR_2.hs	2.224
34	tpdb-8.0/FP/basic_haskell/undefined_1.hs	2.054
35	tpdb-8.0/FP/basic_haskell/unzip_1.hs	2.252
36	tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_12.hs	21.645
37	tpdb-8.0/FP/full_haskell/FiniteMap_addListToFM_7.hs	60.493
38	tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_1.hs	9.573
39	tpdb-8.0/FP/full_haskell/FiniteMap_eltsFM_LE_4.hs	28.242
40	tpdb-8.0/FP/full_haskell/FiniteMap_keysFM_GE_11.hs	11.138

««

Last