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 with Cut
Statistics
Result
AProVE (TC 2013)
MAYBE
Average time
3.077
Total time
70.779
# Results
23
TIMEOUT
Average time
60.627
Total time
121.254
# Results
2
YES
Average time
1.667
Total time
145.041
# Results
87
Actions
Back to summary
Download Excel file
Download CSV file
Reset search filters
Results
««
«
1
2
3
»
Last
Termination Problem
AProVE (TC 2013)
Select…
YES
NO
MAYBE
TIMEOUT
1
tpdb-8.0/LP/CUT/AProVE_10_cut/lateinst.pl
1.139
2
tpdb-8.0/LP/CUT/AProVE_10_cut/latesplit.pl
2.083
3
tpdb-8.0/LP/CUT/AProVE_10_cut/ts04.pl
1.394
4
tpdb-8.0/LP/CUT/AProVE_10_cut/ts05.pl
1.117
5
tpdb-8.0/LP/CUT/AProVE_10_cut/ts06.pl
1.88
6
tpdb-8.0/LP/CUT/AProVE_10_cut/ts07.pl
1.886
7
tpdb-8.0/LP/CUT/AProVE_10_cut/ts09.pl
1.12
8
tpdb-8.0/LP/CUT/AProVE_10_cut/ts10.pl
1.978
9
tpdb-8.0/LP/CUT/Schneider_Kamp_08/appendex.pl
2.02
10
tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminuslinear.pl
2.108
11
tpdb-8.0/LP/CUT/Schneider_Kamp_08/divminus.pl
1.866
12
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus1.pl
1.471
13
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus2.pl
2.083
14
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus3.pl
1.419
15
tpdb-8.0/LP/CUT/Schneider_Kamp_08/minus4.pl
1.176
16
tpdb-8.0/LP/CUT/Schneider_Kamp_08/negationasfailure.pl
1.338
17
tpdb-8.0/LP/CUT/Schneider_Kamp_08/short1.pl
1.233
18
tpdb-8.0/LP/CUT/Schneider_Kamp_08/short2.pl
1.146
19
tpdb-8.0/LP/CUT/Schneider_Kamp_09/append_linear.pl
1.359
20
tpdb-8.0/LP/CUT/Schneider_Kamp_09/existential.pl
2.002
21
tpdb-8.0/LP/CUT/Schneider_Kamp_09/hidden_flatten.pl
1.675
22
tpdb-8.0/LP/CUT/Schneider_Kamp_09/len.pl
2.033
23
tpdb-8.0/LP/CUT/Schneider_Kamp_09/less1.pl
3.138
24
tpdb-8.0/LP/CUT/Schneider_Kamp_09/less2.pl
1.39
25
tpdb-8.0/LP/CUT/Schneider_Kamp_09/max_valued.pl
1.18
26
tpdb-8.0/LP/CUT/Schneider_Kamp_09/negationasfailure.pl
1.352
27
tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk01.pl
1.987
28
tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk02.pl
1.206
29
tpdb-8.0/LP/CUT/Schneider_Kamp_09/psk03.pl
2.045
30
tpdb-8.0/LP/CUT/Schneider_Kamp_09/shape.pl
1.344
31
tpdb-8.0/LP/CUT/Schneider_Kamp_09/shuffle.pl
1.392
32
tpdb-8.0/LP/CUT/Schneider_Kamp_09/soundex.pl
1.93
33
tpdb-8.0/LP/CUT/Schneider_Kamp_09/star1.pl
1.842
34
tpdb-8.0/LP/CUT/Schneider_Kamp_09/star2.pl
1.669
35
tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief1.pl
1.99
36
tpdb-8.0/LP/CUT/Schneider_Kamp_09/thief2.pl
1.115
37
tpdb-8.0/LP/CUT/Stroeder_09/add1.pl
1.338
38
tpdb-8.0/LP/CUT/Stroeder_09/add2.pl
2.053
39
tpdb-8.0/LP/CUT/Stroeder_09/add3.pl
1.379
40
tpdb-8.0/LP/CUT/Stroeder_09/app1.pl
1.361
««
«
1
2
3
»
Last
Request being processed
Your request is being processed, please wait.