Retro Result Analysis

These are results of the experiments for Retro:

Benchmark	pyex-hard-prod
Timeout	10 s
Benchmarks	20022

It seems your data is too big for client-side DataTables. You may consider server-side processing: https://rstudio.github.io/DT/server.htmlIt seems your data is too big for client-side DataTables. You may consider server-side processing: https://rstudio.github.io/DT/server.html

RMC timeouts	3143
CVC4 timeouts	331
Z3 timeouts	3236
CVC4 and Z3 timeout	331
CVC4 timeouts but RMC does not	181
Z3 timeouts but RMC does not	2640

Cases where RMC finishes and CVC4 doesn’t

It seems your data is too big for client-side DataTables. You may consider server-side processing: https://rstudio.github.io/DT/server.htmlIt seems your data is too big for client-side DataTables. You may consider server-side processing: https://rstudio.github.io/DT/server.html

Scatter plots