OpenBench

OpenBench Testing Framework

Date	User	Test	TC	Summary
1774653723	Enfmarinho	fp	16.0+0.16	CREATE P=5 TP=1000
1774642162	Enfmarinho	bug_fix_lmr_check_reduction	16.0+0.16	CREATE P=11 TP=1000
1774638010	Enfmarinho	ttage_v2	16.0+0.16	CREATE P=2 TP=1000
1774402957	Enfmarinho	rfp_score	16.0+0.16	STOP
1774280800	Enfmarinho	probcut_min_depth7	8.0+0.08	STOP
1774238148	Enfmarinho	nmp_verification_search	16.0+0.16	STOP
1774151352	Enfmarinho	512hl	16.0+0.16	CREATE P=20 TP=1000
1774139666	Enfmarinho	384hl	16.0+0.16	MODIFY
1774139655	Enfmarinho	timeman_node_spent	16.0+0.16	MODIFY
1774137739	Enfmarinho	384hl	16.0+0.16	MODIFY
1774137735	Enfmarinho	384hl	16.0+0.16	MODIFY
1774137731	Enfmarinho	timeman_node_spent	16.0+0.16	MODIFY
1774137725	Enfmarinho	nmp_verification_search	16.0+0.16	MODIFY
1774137718	Enfmarinho	lmr_noisy_checker_v2	8.0+0.08	MODIFY
1774137714	Enfmarinho	probcut_min_depth7	8.0+0.08	MODIFY
1774137709	Enfmarinho	rfp_score	16.0+0.16	MODIFY
1774137706	Enfmarinho	lmr_noisy_checker_v2	8.0+0.08	MODIFY
1774130933	Enfmarinho	384hl	16.0+0.16	CREATE P=4000 TP=1000
1774126823	Enfmarinho	384hl	16.0+0.16	CREATE P=4000 TP=1000
1774120973	Enfmarinho	timeman_node_spent	16.0+0.16	CREATE P=3000 TP=1000
1774081292	Enfmarinho	256hl	16.0+0.16	MODIFY
1774075019	Enfmarinho	256hl	16.0+0.16	CREATE P=4000 TP=1000
1774074967	Enfmarinho	256hl	16.0+0.16	CREATE P=4500 TP=1000
1773947331	Enfmarinho	192hl	16.0+0.16	MODIFY
1773945485	Enfmarinho	256hl	16.0+0.16	MODIFY