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 Logic Programming
Statistics
Result
AProVE (TC 2013)
polytool (2.0)
pTNT (1.0.4)
MAYBE
Average time
7.137
Total time
421.070
# Results
59
Average time
2.983
Total time
178.965
# Results
60
Average time
60.018
Total time
14704.351
# Results
245
NO
Average time
Total time
# Results
Average time
Total time
# Results
Average time
60.020
Total time
3301.080
# Results
55
TIMEOUT
Average time
60.569
Total time
242.277
# Results
4
Average time
60.046
Total time
780.599
# Results
13
Average time
Total time
# Results
YES
Average time
1.810
Total time
428.923
# Results
237
Average time
3.286
Total time
746.005
# Results
227
Average time
Total time
# Results
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
4
5
6
7
8
»
Last
Termination Problem
AProVE (TC 2013)
polytool (2.0)
pTNT (1.0.4)
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/LP/LP/BCGGV05/ackerman.pl
1.439
5.996
60.018
2
tpdb-8.0/LP/LP/BCGGV05/append-bff.pl
1.323
0.829
60.017
3
tpdb-8.0/LP/LP/BCGGV05/append-ffb.pl
1.338
0.828
60.018
4
tpdb-8.0/LP/LP/BCGGV05/delete-bbf.pl
1.791
3.786
60.017
5
tpdb-8.0/LP/LP/BCGGV05/delete-bfb.pl
1.779
3.79
60.018
6
tpdb-8.0/LP/LP/BCGGV05/delete-bff.pl
3.685
3.048
60.019
7
tpdb-8.0/LP/LP/BCGGV05/delete-fbf.pl
2.121
4.717
60.018
8
tpdb-8.0/LP/LP/BCGGV05/delete-ffb.pl
2.084
4.747
60.017
9
tpdb-8.0/LP/LP/BCGGV05/delmin-bff.pl
1.436
0.868
60.018
10
tpdb-8.0/LP/LP/BCGGV05/delmin-ffb.pl
1.425
0.869
60.017
11
tpdb-8.0/LP/LP/BCGGV05/der-bf.pl
2.462
10.291
60.018
12
tpdb-8.0/LP/LP/BCGGV05/der-fb.pl
12.189
60.031
60.019
13
tpdb-8.0/LP/LP/BCGGV05/factor.pl
2.11
2.979
60.028
14
tpdb-8.0/LP/LP/BCGGV05/flat-bf.pl
1.433
1.885
60.017
15
tpdb-8.0/LP/LP/BCGGV05/flat-fb.pl
2.06
1.78
60.018
16
tpdb-8.0/LP/LP/BCGGV05/flatlength-bbf.pl
1.378
2.062
60.017
17
tpdb-8.0/LP/LP/BCGGV05/flatlength-bfb.pl
1.365
1.978
60.019
18
tpdb-8.0/LP/LP/BCGGV05/flatlength-bff.pl
1.378
2.007
60.017
19
tpdb-8.0/LP/LP/BCGGV05/flatlength-fbf.pl
2.483
1.257
60.018
20
tpdb-8.0/LP/LP/BCGGV05/flatlength-ffb.pl
2.076
1.945
60.018
21
tpdb-8.0/LP/LP/BCGGV05/frontier-bf.pl
1.619
2.196
60.018
22
tpdb-8.0/LP/LP/BCGGV05/frontier-fb.pl
6.748
1.465
60.019
23
tpdb-8.0/LP/LP/BCGGV05/g.pl
2.354
0.973
60.018
24
tpdb-8.0/LP/LP/BCGGV05/in-bf.pl
3.052
1.423
60.018
25
tpdb-8.0/LP/LP/BCGGV05/in-fb.pl
1.848
3.817
60.017
26
tpdb-8.0/LP/LP/BCGGV05/inorder-bf.pl
1.55
3.438
60.017
27
tpdb-8.0/LP/LP/BCGGV05/inorder-fb.pl
6.61
1.357
60.018
28
tpdb-8.0/LP/LP/BCGGV05/insert-bbf.pl
1.603
2.838
60.018
29
tpdb-8.0/LP/LP/BCGGV05/insert-bfb.pl
1.64
2.853
60.018
30
tpdb-8.0/LP/LP/BCGGV05/insert-bff.pl
3.178
3.026
60.017
31
tpdb-8.0/LP/LP/BCGGV05/insert-fbf.pl
1.976
3.91
60.017
32
tpdb-8.0/LP/LP/BCGGV05/insert-ffb.pl
1.979
3.886
60.018
33
tpdb-8.0/LP/LP/BCGGV05/length1.pl
1.37
0.851
60.017
34
tpdb-8.0/LP/LP/BCGGV05/length.pl
1.333
0.828
60.017
35
tpdb-8.0/LP/LP/BCGGV05/less-bf.pl
1.306
0.774
60.017
36
tpdb-8.0/LP/LP/BCGGV05/less-fb.pl
1.327
0.766
60.017
37
tpdb-8.0/LP/LP/BCGGV05/list.pl
1.3
0.815
60.016
38
tpdb-8.0/LP/LP/BCGGV05/map_color.pl
1.235
3.569
60.017
39
tpdb-8.0/LP/LP/BCGGV05/maximum-bff.pl
1.407
1.618
60.018
40
tpdb-8.0/LP/LP/BCGGV05/maximum-fbf.pl
1.422
1.514
60.017
««
«
1
2
3
4
5
6
7
8
»
Last
Request being processed
Your request is being processed, please wait.
Your request is being processed, please wait.