Delta can be shared

[ginfung]

Delta can be shared

model	var_size	rnd_sample_cnt	Squre_of_cnt	delta	Rate=delta/square_of_cnt
polynomial.sk_7_25.cnf	312	32	1024	55	5.37%
ActivityService.sk_11_27.cnf	1836	100	10000	415	4.15%
sort.sk_8_52.cnf	12124	100	10000	1213	12.13%

Apply deltas

model	hit_rate
polynomial.sk_7_25.cnf	31/55
ActivityService.sk_11_27.cnf	127/415
sort.sk_8_52.cnf	378/1213

[ginfung]

Guide by the mutation tree

model	var_size	Exec Time(secs/1000)	QuickSampler(secs/1000)	Speedup
blasted_case47.cnf	118	0.0163393	0.076962	5
blasted_case110.cnf	287	0.0664428	0.111135	2
s820a_7_4.cnf	616	0.0248088	0.148018	6
s820a_15_7.cnf	685	0.0395172	0.165051	4
s1238a_3_2.cnf	685	0.0168061	0.161839	10
s1196a_3_2.cnf	689	0.0147272	0.153093	10
s832a_15_7.cnf	693	0.0716819	0.163492	2
blasted_case_1_b12_2.cnf	827	0.135089	0.221741	2
blasted_squaring16.cnf	1627	0.213506	0.558186	3
blasted_squaring7.cnf	1628	0.25514	0.875598	3
70.sk_3_40.cnf	4669	0.107641	1.37097	13
ProcessBean.sk_8_64.cnf	4767	1.46098	1.26295	1
56.sk_6_38.cnf	4836	0.144941	0.940267	6
35.sk_3_52.cnf	4894	0.151454	0.370808	2
80.sk_2_48.cnf	4963	0.156508	1.63998	10
7.sk_4_50.cnf	6674	0.175952	2.02575	12
doublyLinkedList.sk_8_37.cnf	6889	1.14524	3.73615	3
19.sk_3_48.cnf	6984	0.264454	1.89569	7
29.sk_3_45.cnf	8857	0.108982	3.05842	28
isolateRightmost.sk_7_481.cnf	10024	4.81806	5.79211	1
17.sk_3_45.cnf	10081	0.135388	2.57621	19
81.sk_5_51.cnf	10764	0.122185	3.47717	28
LoginService2.sk_23_36.cnf	11510	2.26972	4.10819	2
sort.sk_8_52.cnf	12124	5.19365	9.85693	2
parity.sk_11_11.cnf	13115	3.35431	??	??
77.sk_3_44.cnf	14524	0.210355	6744	32060
20.sk_1_51.cnf	15465	0.252581	9.98619	40

[ginfung]