{"job": "444_sigma_ind", "time_limit_s": 1800.0, "result": "UNSAT", "solve_s": 1.8}
exit status 0
