In case no clique has been found
Init metrics as well as fire timer just before algorithm call. For hide graphs conversion to JGraphT format takes about minute
Results from running progress on C125.9
best known solutions to dimacs problems
Some fixes related to inconsistent format of graph’s name
Results from runs of both algorithms on every dimacs graph with -progress flag and time limit of 90 seconds
Started working on final documentation
Loose notes of my work in R
Generated plots