Current Kernelization Track Version including Benchmarking and a timeout
Added a new function which applies kernel rules 3, 12, 23, 24, 25, 28, benchmarking for cerperus-kern and a timeout
Edited by Julian Tat
Added a new function which applies kernel rules 3, 12, 23, 24, 25, 28, benchmarking for cerperus-kern and a timeout