ProblemResultMethodTime (in ms)
KN_2013_example15YESNewmans Lemma 18.76
KN_2013_example2MAYBE---194.49
KN_2013_example5YESNewmans Lemma 11.17
KN_2014_example7_leftMAYBE--- 14.07
KN_2014_example7_rightYESNewmans Lemma 10.93
K_2016_example14YESNewmans Lemma 10.69
K_2016_example6YESNewmans Lemma 9.90
WM_2018_example19MAYBE--- 18.03
WM_2018_example23MAYBE--- 75.69
WM_2018_example23_correctedMAYBE--- 65.77
WM_2018_example3YESNewmans Lemma 13.28
WM_2021_example1Timeout---60064.56
example13MAYBE--- 21.34
example14MAYBE--- 20.46
example3MAYBE--- 16.59
example6YESNewmans Lemma 15.59
example7MAYBE--- 14.35
example9MAYBE--- 13.67
189MAYBE--- 23.98
criticalpair_exampleMAYBE--- 41.91
ackermann_loopYESNewmans Lemma 25.82
cnfMAYBE--- 20.74
decomposeMAYBE---211.05
double_loopYESNewmans Lemma 12.32
double_recYESNewmans Lemma 11.58
ex_graphYESNewmans Lemma 10.10
fact_iterativeYESNewmans Lemma 11.59
fact_recursiveYESNewmans Lemma 10.73
fib_loopYESNewmans Lemma 14.02
fib_recYESNewmans Lemma 11.85
frocosex18MAYBE--- 25.07
llreve_faulty_ackermanna_f1YESNewmans Lemma 14.13
llreve_faulty_ackermanna_f2YESNewmans Lemma 13.46
llreve_faulty_limit2a_f1YESNewmans Lemma 15.32
llreve_faulty_limit2a_f2YESNewmans Lemma 16.69
llreve_rec_ackermanna_f1YESNewmans Lemma 19.05
llreve_rec_ackermanna_f2YESNewmans Lemma 13.75
llreve_rec_cocome1a_tri1YESNewmans Lemma 11.28
llreve_rec_cocome1a_tri2YESNewmans Lemma 11.38
llreve_rec_inlininga_f1YESNewmans Lemma 12.98
llreve_rec_inlininga_f2YESNewmans Lemma 12.51
llreve_rec_limit1unrolleda_f1YESNewmans Lemma 18.06
llreve_rec_limit1unrolleda_f2YESNewmans Lemma 11.68
llreve_rec_limit3a_f1YESNewmans Lemma 11.41
llreve_rec_limit3a_f2YESNewmans Lemma 11.28
llreve_rec_triangulara_tri1YESNewmans Lemma 12.36
llreve_rec_triangulara_tri2YESNewmans Lemma 11.92
nat_ackermannYESNewmans Lemma 13.74
notsn_fYESNewmans Lemma 25.43
notsn_gYESNewmans Lemma 30.48
quadYESNewmans Lemma 12.31
quad1YESNewmans Lemma 11.75
recurse_FYESNewmans Lemma 11.61
recurse_GYESNewmans Lemma 11.75
fib01_badYESNewmans Lemma 12.74
fib01_fastMAYBE--- 12.86
fib02_badYESNewmans Lemma 11.09
fib02_fastMAYBE--- 18.31
fib03_badYESNewmans Lemma 10.92
fib03_fastMAYBE--- 18.08
fib04_badYESNewmans Lemma 12.01
fib04_fastMAYBE--- 21.94
fib05_fastMAYBE--- 16.24
fib06_fastMAYBE--- 17.76
fib07_fastMAYBE--- 20.20
fib08_badYESNewmans Lemma 13.15
fib08_fastMAYBE--- 18.36
fib09_badYESNewmans Lemma 13.15
fib09_fastMAYBE--- 19.69
fib10_fastMAYBE--- 17.26
fib11_fastMAYBE--- 18.91
fib12_fastMAYBE--- 17.14
sum01MAYBE--- 14.35
sum01_sumYESNewmans Lemma 11.47
sum02YESNewmans Lemma 13.31
sum03MAYBE--- 17.59
sum04YESNewmans Lemma 11.66
sum05MAYBE--- 15.53
sum06YESNewmans Lemma 11.15
sum07YESNewmans Lemma 11.85
sum08MAYBE--- 14.92
sum09MAYBE--- 14.25
sum10MAYBE--- 15.55
sum11YESNewmans Lemma 11.35
sum12MAYBE--- 13.64
sumfrom01YESNewmans Lemma 11.54
sumfrom02_sum2YESNewmans Lemma 12.21
sumfrom03_sum2YESNewmans Lemma 13.96
sumfrom04_sum2YESNewmans Lemma 13.22
sumfrom05_sumYESNewmans Lemma 15.72
sumfrom06_sumYESNewmans Lemma 13.52
sum2YESNewmans Lemma 12.59
sum_declYESNewmans Lemma 11.52
sum_loopYESNewmans Lemma 9.70
sum_recYESNewmans Lemma 10.43
sumfrom_loopYESNewmans Lemma 11.13
sumfrom_recYESNewmans Lemma 11.70
sumreduceYESNewmans Lemma 15.51
sumsimple_1YESNewmans Lemma 11.52
sumsimple_2YESNewmans Lemma 11.68
sumsumYESNewmans Lemma 14.87
fibYESNewmans Lemma 13.33
Summary of the 102 problems: #YES: 6762055.01
#NO: 0
#MAYBE: 34
#Timeout: 1
#Error: 0