OpenBench

OpenBench Testing Framework

Date	User	Test	TC	Summary
1777484771	Enfmarinho	nmp_reduction_simplification	16.0+0.16	MODIFY
1777484761	Enfmarinho	tuned_lmr	16.0+0.16	MODIFY
1777484708	Enfmarinho	nmp_reduction_simplification	16.0+0.16	STOP
1777484705	Enfmarinho	tuned_lmr	16.0+0.16	RESTART
1777484698	Enfmarinho	tuned_lmr	40.0+0.40	RESTART
1777484691	Enfmarinho	tuned_lmr_take2	16.0+0.16	STOP
1777484688	Enfmarinho	tuned_lmr_take2	40.0+0.40	STOP
1777458158	Enfmarinho	tuned_lmr_take2	40.0+0.40	RESTART
1777458120	Enfmarinho	tuned_lmr_take2	40.0+0.40	STOP
1777456741	Enfmarinho	tuned_lmr_take2	40.0+0.40	MODIFY
1777427541	Enfmarinho	tuned_lmr_take2	16.0+0.16	MODIFY
1777426751	Enfmarinho	nmp_reduction_simplification	16.0+0.16	RESTART
1777426723	Enfmarinho	nmp_reduction_simplification	16.0+0.16	STOP
1777426673	Enfmarinho	nmp_reduction_simplification	16.0+0.16	RESTART
1777426661	Enfmarinho	nmp_reduction_simplification	16.0+0.16	STOP
1777426642	Enfmarinho	tuned_lmr_take2	40.0+0.40	CREATE P=10 TP=1000
1777426627	Enfmarinho	tuned_lmr_take2	16.0+0.16	CREATE P=11 TP=1000
1777426358	Enfmarinho	tune_lmr	40.0+0.40	STOP
1777372797	Enfmarinho	tuned_lmr	40.0+0.40	STOP
1777372794	Enfmarinho	tuned_lmr	16.0+0.16	STOP
1777372790	Enfmarinho	tune_lmr	40.0+0.40	CREATE P=10 TP=1000
1777350673	Enfmarinho	tuned_lmr	40.0+0.40	RESTART
1777350667	Enfmarinho	tuned_lmr	40.0+0.40	STOP
1777350664	Enfmarinho	tuned_lmr	40.0+0.40	MODIFY
1777350656	Enfmarinho	tuned_lmr	16.0+0.16	MODIFY