fixing checking of pre-existing solutions (from crowdsourcing)
fixing checking of pre-existing solutions (from crowdsourcing)

ctuning/ck-autotuning,ctuning/ck-autotuning,ctuning/ck-autotuning,ctuning/ck-autotuning,ctuning/ck-autotuning,ctuning/ck-autotuning