{"record_type":"stats","body_states_started":27648,"body_states_completed":27648,"body_nodes":11943936,"finite_reading_branches":442368,"body_partial_stops_before_full_classes":1,"symbolic_stops":3,"deferred_stops":0,"board_class_completions_checked":45,"candidates":45,"symbolic_traversal_exhaustive":true,"concrete_enumeration_exhaustive":true,"node_cap":80000000,"completion_cap_per_family_per_full_class":1000,"ranked_retention":false,"seconds":0.484003}
