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.858
Total time	983.202
# Results	62

Average time	5.289
Total time	100.489
# Results	19

TIMEOUT

Average time	60.623
Total time	17338.215
# Results	286

YES

Average time	10.518
Total time	13715.351
# Results	1304

Actions

Results

««

Last

Termination Problem

AProVE (2011-0.1)


1	tpdb-8.0/FP/basic_haskell/abs_1.hs	2.385
2	tpdb-8.0/FP/basic_haskell/abs_2.hs	5.464
3	tpdb-8.0/FP/basic_haskell/abs_3.hs	2.414
4	tpdb-8.0/FP/basic_haskell/all_1.hs	2.232
5	tpdb-8.0/FP/basic_haskell/AMPAMP_1.hs	2.072
6	tpdb-8.0/FP/basic_haskell/and_1.hs	2.153
7	tpdb-8.0/FP/basic_haskell/any_1.hs	2.195
8	tpdb-8.0/FP/basic_haskell/asTypeOf_1.hs	2.136
9	tpdb-8.0/FP/basic_haskell/BANGBANG_1.hs	2.713
10	tpdb-8.0/FP/basic_haskell/BARBAR_1.hs	2.115
11	tpdb-8.0/FP/basic_haskell/basicIORun_1.hs	3.317
12	tpdb-8.0/FP/basic_haskell/blockIO_1.hs	2.484
13	tpdb-8.0/FP/basic_haskell/break_1.hs	2.487
14	tpdb-8.0/FP/basic_haskell/CARET_1.hs	60.473
15	tpdb-8.0/FP/basic_haskell/CARET_2.hs	60.595
16	tpdb-8.0/FP/basic_haskell/catchHugsException_1.hs	2.536
17	tpdb-8.0/FP/basic_haskell/ceiling_1.hs	10.481
18	tpdb-8.0/FP/basic_haskell/chr_1.hs	2.12
19	tpdb-8.0/FP/basic_haskell/compare_1.hs	2.097
20	tpdb-8.0/FP/basic_haskell/compare_2.hs	2.226
21	tpdb-8.0/FP/basic_haskell/compare_3.hs	3.319
22	tpdb-8.0/FP/basic_haskell/compare_4.hs	2.244
23	tpdb-8.0/FP/basic_haskell/compare_5.hs	3.278
24	tpdb-8.0/FP/basic_haskell/compare_6.hs	2.237
25	tpdb-8.0/FP/basic_haskell/compare_7.hs	2.227
26	tpdb-8.0/FP/basic_haskell/concat_1.hs	2.207
27	tpdb-8.0/FP/basic_haskell/concatMap_1.hs	2.263
28	tpdb-8.0/FP/basic_haskell/const_1.hs	2.105
29	tpdb-8.0/FP/basic_haskell/curry_1.hs	2.12
30	tpdb-8.0/FP/basic_haskell/cycle_1.hs	2.238
31	tpdb-8.0/FP/basic_haskell/denominator_1.hs	2.125
32	tpdb-8.0/FP/basic_haskell/digitToInt_1.hs	7.91
33	tpdb-8.0/FP/basic_haskell/div_1.hs	2.961
34	tpdb-8.0/FP/basic_haskell/divMod_1.hs	13.181
35	tpdb-8.0/FP/basic_haskell/DOLLAR_1.hs	2.101
36	tpdb-8.0/FP/basic_haskell/DOLLARBANG_1.hs	2.147
37	tpdb-8.0/FP/basic_haskell/DOT_1.hs	2.118
38	tpdb-8.0/FP/basic_haskell/drop_1.hs	2.577
39	tpdb-8.0/FP/basic_haskell/dropWhile_1.hs	2.237
40	tpdb-8.0/FP/basic_haskell/either_1.hs	2.137

««

Last