OpenBench

OpenBench Testing Framework

Date	User	Test	TC	Summary
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
1777349562	Enfmarinho	tuned_lmr	40.0+0.40	MODIFY
1777349556	Enfmarinho	tuned_lmr	40.0+0.40	CREATE P=5 TP=1000
1777337184	Enfmarinho	nmp_reduction_simplification	16.0+0.16	RESTART
1777337067	Enfmarinho	nmp_reduction_simplification	16.0+0.16	STOP
1777337064	Enfmarinho	tuned_lmr	16.0+0.16	CREATE P=5 TP=1000
1777336841	Enfmarinho	tune_lmr	16.0+0.16	STOP
1777327319	Enfmarinho	tuned2	16.0+0.16	STOP
1777327315	Enfmarinho	tuned2	40.0+0.40	STOP
1777327311	Enfmarinho	tune_lmr	16.0+0.16	RESTART
1777327272	Enfmarinho	tune2	40.0+0.40	STOP
1777315616	Enfmarinho	tuned2	16.0+0.16	RESTART
1777315586	Enfmarinho	tuned2	16.0+0.16	STOP