This script executes Specimin on various bugs reported in checker frameworks and java JDK and records the execution status. Execution command python main.py