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 -11.66453447050462 to 219.66453447050463. The y-axis shows values from -260.8206256109482 to 4262.820625610948.