0
50
100
150
200
0
1000
2000
3000
4000
Baseline Kissat
ML-Kissat
Figure 4: Baseline Kissat vs ML-Kissat
Problems solved
Time
plotly-logomark
Edit chart
Gtchen's interactive graph and data of "Figure 4: Baseline Kissat vs ML-Kissat" is a , showing Baseline Kissat vs ML-Kissat; with Problems solved in the x-axis and Time in the y-axis.. The x-axis shows values from 0 to 220. The y-axis shows values from 0 to 4000.
