MattBench

MattBench Testing Framework

Date	User	Test	TC	Summary
1779988375	Tecci	main	N=5000	CREATE P=0 TP=1000
1779984088	Dan	feature/mega-spsa	40.0+0.40	MODIFY
1779981593	Dan	feature/mega-spsa	40.0+0.40	MODIFY
1779981588	Dan	feature/2-fast-2-killers	8.0+0.08	CREATE P=0 TP=1000
1779961233	Dan	main	N=12000	RESTART
1779960516	Dan	main	N=12000	STOP
1779960026	Dan	main	N=12000	MODIFY
1779960021	Dan	feature/mega-spsa	40.0+0.40	CREATE P=0 TP=1000
1779959574	Dan	main	N=12000	MODIFY
1779955153	Dan	main	N=12000	MODIFY
1779955147	Dan	main	N=12000	CREATE P=0 TP=1000
1779955112	Dan	main	N=12000	DELETE
1779955089	Dan	main	N=12000	CREATE P=-1 TP=1000
1779955017	Dan	main	N=20000	STOP
1779951273	Dan	feature/mega-spsa	40.0+0.40	MODIFY
1779923137	Dan	feature/pvs-see-quiet-incheck	8.0+0.08	RESTART
1779915495	Dan	feature/proper-opp-worsening	8.0+0.08	MODIFY
1779909677	Dan	feature/proper-opp-worsening	8.0+0.08	MODIFY
1779909641	Dan	feature/mini-pc-before-nmp	8.0+0.08	CREATE P=0 TP=1000
1779902849	Dan	feature/pvs-see-quiet-incheck	8.0+0.08	STOP
1779902845	Dan	feature/proper-opp-worsening	8.0+0.08	CREATE P=0 TP=1000
1779899452	Dan	feature/pvs-see-quiet-incheck	8.0+0.08	MODIFY
1779891969	Dan	feature/mega-spsa	40.0+0.40	MODIFY
1779891964	Dan	feature/qs-see-quiet-evasions	8.0+0.08	CREATE P=0 TP=1000
1779883834	Dan	feature/mega-spsa	40.0+0.40	MODIFY