Gnuplot
Produced by GNUPLOT 5.2 patchlevel 6
0
500
1000
1500
2000
2500
3000
3500
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
Number of vertices in biggest SCC
Date
default universe
default universe + opt. IS
optimal universe
universe without disjunctions
default universe
default universe
default universe + opt. IS
default universe + opt. IS
optimal universe
optimal universe
universe without disjunctions
universe without disjunctions