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 (1.8)

MAYBE

Average time	21.080
Total time	105.401
# Results	5

Average time	2.430
Total time	7.291
# Results	3

TIMEOUT

Average time	60.785
Total time	1094.132
# Results	18

YES

Average time	7.759
Total time	962.127
# Results	124

Actions

Results

««

Last

Termination Problem

AProVE (1.8)


1	tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs	1.936
2	tpdb-8.0/FP/basic_haskell/CARET_2.hs	60.674
3	tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs	2.579
4	tpdb-8.0/FP/basic_haskell/ceiling_1.hs	10.164
5	tpdb-8.0/FP/basic_haskell/chr_1.hs	1.989
6	tpdb-8.0/FP/basic_haskell/compare_5.hs	2.672
7	tpdb-8.0/FP/basic_haskell/compare_7.hs	2.142
8	tpdb-8.0/FP/basic_haskell/div_1.hs	3.026
9	tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs	1.991
10	tpdb-8.0/FP/basic_haskell/elem_6.hs	2.304
11	tpdb-8.0/FP/basic_haskell/elem_7.hs	2.25
12	tpdb-8.0/FP/basic_haskell/enumFromThen_1.hs	1.945
13	tpdb-8.0/FP/basic_haskell/EQEQ_3.hs	1.937
14	tpdb-8.0/FP/basic_haskell/floor_1.hs	11.335
15	tpdb-8.0/FP/basic_haskell/fmap_1.hs	1.992
16	tpdb-8.0/FP/basic_haskell/fromEnum_3.hs	1.942
17	tpdb-8.0/FP/basic_haskell/fromEnum_4.hs	1.987
18	tpdb-8.0/FP/basic_haskell/fromEnum_6.hs	1.943
19	tpdb-8.0/FP/basic_haskell/fromInt_3.hs	1.934
20	tpdb-8.0/FP/basic_haskell/fromIntegral_1.hs	2.04
21	tpdb-8.0/FP/basic_haskell/GT_1.hs	2.013
22	tpdb-8.0/FP/basic_haskell/GT_7.hs	2.204
23	tpdb-8.0/FP/basic_haskell/GTEQ_5.hs	2.891
24	tpdb-8.0/FP/basic_haskell/index_2.hs	5.805
25	tpdb-8.0/FP/basic_haskell/isHexDigit_1.hs	4.97
26	tpdb-8.0/FP/basic_haskell/isSpace_1.hs	4.763
27	tpdb-8.0/FP/basic_haskell/isUpper_1.hs	19.375
28	tpdb-8.0/FP/basic_haskell/iterate_1.hs	2.209
29	tpdb-8.0/FP/basic_haskell/lookup_2.hs	2.252
30	tpdb-8.0/FP/basic_haskell/LT_3.hs	2.249
31	tpdb-8.0/FP/basic_haskell/LT_5.hs	2.248
32	tpdb-8.0/FP/basic_haskell/LTEQ_2.hs	2.827
33	tpdb-8.0/FP/basic_haskell/LTEQ_6.hs	2.247
34	tpdb-8.0/FP/basic_haskell/max_4.hs	9.378
35	tpdb-8.0/FP/basic_haskell/max_5.hs	3.092
36	tpdb-8.0/FP/basic_haskell/maxBound_1.hs	1.927
37	tpdb-8.0/FP/basic_haskell/maxBound_2.hs	1.94
38	tpdb-8.0/FP/basic_haskell/maxBound_4.hs	2.511
39	tpdb-8.0/FP/basic_haskell/maximum_3.hs	3.353
40	tpdb-8.0/FP/basic_haskell/maximum_6.hs	2.298

««

Last