OpenBench

OpenBench Testing Framework

Date	User	Test	TC	Summary
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
1777315557	Enfmarinho	tuned2	16.0+0.16	MODIFY
1777315552	Enfmarinho	tuned2	40.0+0.40	CREATE P=5 TP=1000
1777315503	Enfmarinho	negative_extension	16.0+0.16	MODIFY
1777315500	Enfmarinho	nmp_reduction_simplification	16.0+0.16	MODIFY
1777315497	Enfmarinho	nmp_reduction_simplification	16.0+0.16	MODIFY
1777313173	Enfmarinho	tune_lmr	16.0+0.16	STOP
1777313153	Enfmarinho	tuned2	16.0+0.16	CREATE P=10 TP=1000
1777312386	Enfmarinho	negative_extension	16.0+0.16	RESTART
1777312309	Enfmarinho	negative_extension	16.0+0.16	STOP
1777311752	Enfmarinho	nmp_reduction_simplification	16.0+0.16	RESTART
1777311728	Enfmarinho	tune_lmr	16.0+0.16	CREATE P=5 TP=1000
1777308501	Enfmarinho	nmp_reduction_simplification	16.0+0.16	STOP
1777308498	Enfmarinho	negative_extension	16.0+0.16	MODIFY