OpenBench

OpenBench Testing Framework

Date	User	Test	TC	Summary
1765039797	World	strict-worsening	8.0+0.08	CREATE P=0 TP=1000
1765037673	World	hs-reduction	8.0+0.08	STOP
1765037662	World	se-log-depth	40.0+0.40	STOP
1765031289	World	hs-reduction	8.0+0.08	CREATE P=0 TP=1000
1765030920	World	decrease-reduction-hs	8.0+0.08	CREATE P=0 TP=1000
1765030176	World	se-log-depth	40.0+0.40	CREATE P=0 TP=1000
1765030145	World	se-log-depth	8.0+0.08	STOP
1765029564	World	se-log-depth	8.0+0.08	CREATE P=0 TP=1000
1765029085	World	networks	8.0+0.08	STOP
1765027155	World	networks	8.0+0.08	MODIFY
1765027152	World	networks	8.0+0.08	CREATE P=0 TP=1000
1765026859	World	networks	N=25000	CREATE P=0 TP=1000
1765021359	World	pc-after-se	40.0+0.40	RESTART
1765020384	World	full-rs2	N=25000	STOP
1765020311	World	full-rs2	8.0+0.08	CREATE P=0 TP=1000
1765020304	World	full-rs2	N=25000	MODIFY
1765019557	World	networks	N=25000	MODIFY
1765019553	World	full-rs2	N=25000	MODIFY
1765019545	World	full-rs2	N=25000	CREATE P=0 TP=1000
1765019479	World	networks	N=25000	MODIFY
1765019474	World	networks	N=25000	CREATE P=0 TP=1000
1765019411	World	pc-after-se	40.0+0.40	STOP
1765019407	World	nmp-exclude-excluded	8.0+0.08	STOP
1765018144	World	paws-history	8.0+0.08	STOP
1765016404	World	paws-history	8.0+0.08	CREATE P=0 TP=1000