Active Student Time in InferCabulary