Summary

SOL(2017)SOL
YES3154
NO03
MAYBE313
ERROR00
TIMEOUT02
TOTAL6262

Details

SOL(2017)SOL
Applicative_05__Ex3ListsYES 0.021YES 0.022
Applicative_05__Ex4MapListYES 0.019YES 0.019
Applicative_05__Ex5FoldingYES 0.025YES 0.022
Applicative_05__Ex5SortingYES 0.025YES 0.025
Applicative_05__Ex6_11MAYBE 0.02MAYBE 0.017
Applicative_05__Ex6FoldingYES 0.024YES 0.018
Applicative_05__Ex6RecursorYES 0.019YES 0.018
Applicative_05__Ex7_9MAYBE 0.025MAYBE 0.025
Applicative_05__Ex9MapsYES 0.022YES 0.019
Applicative_05__HammingMAYBE 0.035NO 0.044
Applicative_05__mapDivMinusMAYBE 0.027YES 0.101
Applicative_05__mapDivMinusHardMAYBE 0.022YES 0.12
Applicative_05__ReverseLastInitYES 0.023YES 0.02
Applicative_05__TakeDropWhileYES 0.025YES 0.02
Applicative_05__termMonTypesMAYBE 0.021NO 0.016
Applicative_05__TreeFlattenYES 0.025YES 0.022
Applicative_05__TreeHeightYES 0.027YES 0.024
Applicative_05__TreeLevelsMAYBE 0.028MAYBE 0.023
Applicative_05__TreeMapYES 0.022YES 0.019
Applicative_05__TreeSizeYES 0.023YES 0.022
Applicative_05__TypeEx5MAYBE 0.018NO 0.016
Applicative_first_order_05__#3.10YES 0.037YES 0.059
Applicative_first_order_05__#3.13YES 0.036YES 0.046
Applicative_first_order_05__#3.16YES 0.023YES 0.025
Applicative_first_order_05__#3.18MAYBE 0.03YES 0.142
Applicative_first_order_05__#3.2MAYBE 0.023YES 0.102
Applicative_first_order_05__#3.22MAYBE 0.022YES 0.107
Applicative_first_order_05__#3.25MAYBE 0.02YES 0.114
Applicative_first_order_05__#3.27YES 0.022YES 0.021
Applicative_first_order_05__#3.32MAYBE 0.021YES 0.095
Applicative_first_order_05__#3.36YES 0.025YES 0.026
Applicative_first_order_05__#3.38YES 0.028YES 0.035
Applicative_first_order_05__#3.40MAYBE 0.025YES 5.061
Applicative_first_order_05__#3.45MAYBE 0.022YES 0.099
Applicative_first_order_05__#3.48MAYBE 0.025YES 0.119
Applicative_first_order_05__#3.52MAYBE 0.021YES 0.093
Applicative_first_order_05__#3.55MAYBE 0.028YES 0.221
Applicative_first_order_05__#3.57MAYBE 0.026YES 0.17
Applicative_first_order_05__#3.6YES 0.027YES 0.032
Applicative_first_order_05__#3.8MAYBE 0.023YES 0.149
Applicative_first_order_05__01YES 0.025YES 0.026
Applicative_first_order_05__02YES 0.024YES 0.025
Applicative_first_order_05__06YES 0.021YES 0.021
Applicative_first_order_05__08YES 0.022YES 0.028
Applicative_first_order_05__11YES 0.028YES 0.047
Applicative_first_order_05__12YES 0.026YES 0.029
Applicative_first_order_05__13MAYBE 0.023YES 17.03
Applicative_first_order_05__17YES 0.024YES 0.027
Applicative_first_order_05__18YES 0.022YES 0.022
Applicative_first_order_05__21MAYBE 0.022YES 0.128
Applicative_first_order_05__29YES 0.025YES 0.025
Applicative_first_order_05__30MAYBE 0.022YES 0.313
Applicative_first_order_05__31MAYBE 0.024MAYBE 0.024
Applicative_first_order_05__33MAYBE 0.023TIMEOUT 400.003
Applicative_first_order_05__hydraYES 0.024YES 0.025
Applicative_first_order_05__minsortMAYBE 0.028TIMEOUT 400.005
Applicative_first_order_05__motivationMAYBE 0.022YES 0.084
Applicative_first_order_05__perfectMAYBE 0.024YES 0.122
Applicative_first_order_05__perfect2MAYBE 0.03YES 0.152
h21MAYBE 0.023YES 0.249
h22MAYBE 0.026YES 0.337
h23MAYBE 0.027YES 0.376