Results from experiments...
Result for unitE
FAILURE
Result for frefl
SUCCESS
Result for fsym
SUCCESS
Result for ftrans
FAILURE
Result for rrefl
SUCCESS
Result for eq_comp
FAILURE
Result for can_pcan
FAILURE
Result for pcan_inj
FAILURE
Result for can_inj
FAILURE
Result for canLR
FAILURE
Result for canRL
FAILURE
Result for Some_inj
FAILURE
Result for esymK
FAILURE
Result for etrans_id
FAILURE
Result for inj_id
SUCCESS
Result for inj_can_sym
SUCCESS
Result for inj_comp
SUCCESS
Result for can_comp
FAILURE
Result for pcan_pcomp
FAILURE
Result for eq_inj
FAILURE
Result for eq_can
FAILURE
Result for inj_can_eq
FAILURE
Result for bij_inj
FAILURE
Result for bij_can_sym
FAILURE
Result for bij_can_eq
FAILURE
Result for eq_bij
FAILURE
Result for bij_comp
FAILURE
Result for bij_can_bij
FAILURE
Result for inv_inj
FAILURE
Result for inv_bij
SUCCESS
There were 7 out of 30 proven by Coq auto tactics
On average, a proof was found automatically after 219 milliseconds
On average, a proof attempt took 244 milliseconds