#Cl-start	#Cl-end	#Cl-step	#Samples/point:	#Var	Random-seed
4	44	4	100	4	#$-198275357
<Sat result>	<Number of States>	<Time>			
#Clauses: 4					
S	14	0.32			
S	14	0.27			
S	20	0.39			
S	10	0.24			
S	30	0.45			
S	14	0.25			
S	14	0.3			
S	16	0.33			
S	16	0.29			
S	16	0.31			
S	16	0.34			
S	16	0.32			
S	16	0.3
S	18	0.35
S	12	0.34
S	14	0.25
S	10	0.25
S	16	0.34
S	14	0.33
S	16	0.32
S	14	0.33
S	14	0.31
S	12	0.23
S	14	0.36
S	14	0.36
S	16	0.33
S	14	0.32
S	30	0.54
S	16	0.31
S	16	0.33
S	14	0.33
S	12	0.29
S	20	0.39
S	12	0.35
S	10	0.24
S	12	0.22
S	26	0.46
S	24	0.46
S	14	0.25
S	20	0.4
S	16	0.39
S	22	0.4
S	16	0.34
S	22	0.4
S	16	0.37
S	16	0.31
S	14	0.28
S	16	0.3
S	12	0.24
S	16	0.33
S	24	0.54
S	14	0.38
S	22	0.31
S	16	0.31
S	16	0.31
S	14	0.35
S	16	0.29
S	30	0.43
S	14	0.3
S	14	0.29
S	16	0.32
S	14	0.3
S	16	0.32
S	18	0.33
S	16	0.3
S	14	0.24
S	16	0.34
S	14	0.37
S	24	0.39
S	16	0.31
S	16	0.39
S	12	0.32
S	16	0.35
S	26	0.45
S	16	0.29
S	12	0.27
S	18	0.34
S	14	0.29
S	26	0.41
S	16	0.28
S	18	0.38
S	14	0.34
S	28	0.43
S	12	0.31
S	12	0.28
S	16	0.38
S	14	0.26
S	14	0.34
S	26	0.45
S	14	0.33
S	16	0.37
S	14	0.31
S	14	0.32
S	14	0.33
S	22	0.38
S	14	0.31
S	12	0.24
S	18	0.4
S	14	0.32
S	10	0.23
#Clauses: 8		
S	22	0.7
S	30	0.87
S	28	1.04
S	28	0.94
S	54	1.09
S	78	1.47
S	22	0.74
S	24	0.86
S	26	0.91
S	32	0.9
S	22	0.6
S	22	0.78
S	32	0.88
S	28	0.81
S	36	0.91
S	36	0.94
S	48	1.07
S	44	1.17
S	68	1.4
S	40	0.81
S	22	0.85
S	22	0.61
S	50	0.97
S	42	0.99
S	24	0.66
S	26	0.69
S	24	0.87
S	28	0.94
S	24	0.81
S	32	0.83
S	28	0.92
S	24	0.77
S	64	1.33
S	18	0.68
S	48	1.13
S	58	1.35
S	22	0.84
S	24	0.7
S	54	1.06
S	20	0.69
S	30	0.83
S	28	0.96
S	36	0.87
S	20	0.84
S	42	1.07
S	26	0.88
S	36	0.82
S	24	0.85
S	20	0.64
S	44	1.19
S	22	0.8
S	32	0.75
S	66	1.48
S	26	0.88
S	36	1.02
S	20	0.76
S	40	1.06
S	22	0.75
S	22	0.93
S	110	1.89
S	18	0.7
S	46	1.13
S	26	0.94
S	26	0.83
S	54	1.19
S	60	1.32
S	20	0.78
S	30	0.73
S	38	0.84
S	56	1.2
S	20	0.76
S	26	1.02
S	22	0.67
S	36	1.02
S	28	0.7
S	54	1.16
S	26	0.79
S	20	0.71
S	24	0.74
S	50	1.17
S	18	0.71
S	54	1.08
S	46	0.99
S	22	0.79
S	42	1.04
S	38	0.96
S	20	0.81
S	30	0.71
S	24	0.71
S	38	0.92
S	28	1.07
S	28	0.88
S	26	0.82
S	30	0.76
S	26	0.93
S	28	0.89
S	34	0.94
S	46	1.16
S	30	0.85
S	40	0.82
#Clauses: 12		
S	30	1.25
S	32	1.6
S	32	1.13
S	74	1.96
S	144	2.91
S	76	1.71
S	138	2.81
S	38	1.63
S	50	1.61
S	106	2.44
S	62	1.82
S	38	1.31
S	30	1.38
S	50	1.81
S	32	1.32
S	102	2.17
S	34	1.48
S	32	1.48
S	106	2.19
S	30	1.29
S	46	1.7
S	68	1.81
S	82	1.79
S	96	2.43
S	116	2.53
S	36	1.51
S	76	1.94
S	46	1.59
S	34	1.71
S	40	1.46
S	54	1.68
S	36	1.46
S	30	1.27
S	62	1.65
S	84	2.18
S	86	2.38
S	98	2.22
S	40	1.68
S	34	1.51
S	48	1.54
S	26	1.06
S	62	1.88
S	32	1.34
S	32	1.5
S	42	1.55
S	36	1.51
S	34	1.7
S	30	1.18
S	42	1.51
S	180	3.39
S	104	2.61
S	40	1.58
S	78	2.03
S	40	1.52
S	40	1.62
S	70	1.86
S	62	1.53
S	80	1.97
S	58	1.89
S	52	1.64
S	34	1.25
S	120	2.62
S	66	1.91
S	30	1.48
S	102	2.36
S	50	1.57
S	64	1.99
S	148	2.91
S	30	1.27
S	38	1.46
S	74	2.14
S	58	1.97
S	128	2.91
S	36	1.75
S	68	2.11
S	72	1.82
S	50	1.63
S	90	2.21
S	38	1.59
S	94	2.34
S	70	1.67
S	114	2.52
S	120	2.73
S	52	1.69
S	74	1.97
S	26	1.25
S	96	2.37
S	30	1.33
S	128	2.59
S	50	1.62
S	36	1.48
S	52	1.76
S	38	1.5
S	28	1.23
S	26	1.44
S	84	2.09
S	144	2.82
S	128	2.61
S	56	2.04
S	50	1.49
#Clauses: 16		
S	48	2.35
S	106	3.07
S	160	3.72
S	86	2.4
S	170	4.2
S	122	3.11
S	40	1.77
S	110	3.14
S	60	2.55
S	92	2.85
S	68	2.7
S	38	2.12
S	60	2.1
S	58	2.35
S	112	2.8
S	36	2.18
S	42	2.15
S	36	2.11
S	34	1.95
S	42	2.19
S	148	3.48
S	182	4.57
U	206	4.88
S	120	3.56
S	116	3.62
S	100	3.21
S	122	3.5
S	92	2.66
S	184	4.25
S	56	2.61
S	154	3.63
S	62	2.22
S	176	4.16
S	138	3.74
S	64	2.51
S	38	2.15
S	42	2.53
S	154	3.42
S	48	2.58
S	62	2.41
S	38	2.06
S	66	2.48
S	36	2.11
S	54	2.29
S	68	2.52
S	80	2.66
S	76	2.64
S	52	2.33
U	176	3.65
S	38	2.34
S	58	2.92
S	94	2.95
U	126	3.25
S	176	4.4
U	128	3.27
S	94	3.06
S	68	2.55
S	150	3.6
S	106	3.42
S	36	2.41
S	58	2.64
S	90	3.04
S	68	2.59
S	40	2.39
S	150	3.39
S	168	3.86
S	76	3.07
S	176	3.95
S	140	3.99
S	128	3.28
S	32	1.74
S	134	3.63
S	40	2.33
S	144	3.73
S	32	2
S	204	4.32
S	84	2.82
S	40	2.45
S	58	1.94
S	62	2.31
S	160	3.33
S	32	1.99
S	60	2.43
U	166	3.78
S	118	3.57
S	76	2.65
S	84	3.29
S	100	2.97
U	134	3.75
S	128	3.79
S	148	3.6
U	194	4.53
S	54	2.32
S	86	2.84
S	44	2.24
S	110	2.83
S	44	2.33
S	106	2.79
S	146	3.93
S	166	4.27
#Clauses: 20		
U	204	5.85
S	44	3.07
S	90	3.34
S	118	3.6
S	36	2.67
U	206	5.41
U	144	4.8
S	188	5.28
U	174	5.98
U	160	4.7
U	176	4.43
S	58	2.98
S	102	4.17
U	220	5.66
S	150	4.4
S	74	3.77
S	178	4.34
S	250	6.21
S	94	3.78
S	54	2.93
S	116	2.96
S	140	3.92
U	200	5.51
S	180	5.43
U	150	4.83
S	40	2.59
S	42	3.06
S	56	3.2
S	44	3.13
S	84	3.26
S	42	3.28
U	130	4
S	100	3.83
S	206	5.65
S	132	4.57
S	40	2.74
U	230	5.73
U	182	5.17
S	146	4.44
U	210	6.02
S	124	3.63
S	106	3.7
S	54	2.46
S	112	4.12
S	70	4.01
U	250	6.49
S	72	3.83
S	70	3.47
S	40	2.75
U	128	4.41
S	46	2.87
S	116	3.76
U	162	4.39
S	48	3.31
S	130	4.05
S	54	3.57
U	182	4.97
U	170	4.96
U	224	5.51
S	140	5.41
S	60	3.11
U	182	5
U	174	4.74
S	122	4.45
S	162	5.65
S	74	3.89
S	212	5.17
S	92	4.19
U	164	5.08
U	138	4.64
U	214	5.45
U	192	5.74
S	104	3.7
S	176	4.99
S	96	4.18
U	198	5.08
S	232	6.68
U	192	5.68
S	92	4.51
S	38	2.44
S	36	2.92
S	158	4.95
S	46	3.04
U	146	4.44
S	118	4.11
U	146	4.68
S	62	3.05
U	218	5.52
S	180	4.84
S	58	4.1
S	154	4.65
U	148	5.09
S	128	5.06
S	148	3.98
U	202	6.21
S	74	2.96
S	190	4.87
S	64	3.64
U	204	5.36
U	222	6.3
#Clauses: 24		
U	154	5.26
S	152	5.28
S	92	4.56
S	168	5.88
S	74	4.97
S	84	4.12
U	156	5.55
S	100	4.53
S	48	4.14
S	90	4.74
U	192	6.5
S	160	5.74
U	160	5.85
U	186	6.72
S	86	4.86
U	178	7.18
U	136	5.72
S	136	5.45
U	200	6.84
U	194	7.8
U	166	6.28
U	190	6.54
S	154	5.87
U	186	6.13
S	126	5.38
S	136	5.02
U	250	7.69
U	174	6.34
U	174	5.2
U	130	6.1
S	94	5.3
S	48	4
U	148	5.6
S	166	5.39
S	162	5.92
U	178	6.36
S	90	5.2
S	196	6.56
S	50	4.81
S	48	3.93
U	200	6.03
U	212	6.32
U	214	7.31
U	220	6.42
S	150	5.35
S	64	3.94
S	82	4.83
S	116	5.55
U	140	5.83
S	182	6.64
U	182	6.23
U	226	7.14
S	158	5.95
S	74	4.77
S	138	4.67
S	60	4.06
S	100	4.51
U	196	6.72
U	170	5.64
U	206	5.82
U	180	5.48
U	170	5.17
S	82	4.71
S	142	5.55
S	108	5.3
S	206	5.99
S	180	5.83
U	224	6.55
U	200	6.41
U	184	6.09
S	104	5.08
U	192	5.76
S	62	4.92
U	156	5.65
S	124	5.16
S	126	5.13
U	132	5.53
S	198	6.14
U	210	6.86
S	224	7.07
S	124	4.66
U	170	5.56
S	50	4.38
S	114	4.84
S	54	3.94
U	226	6.28
S	48	4.15
U	178	5.59
S	52	4.2
S	78	3.87
U	174	6.67
S	42	3.35
U	176	6.39
U	184	6.53
S	96	4.87
S	218	6.11
U	244	6.55
S	120	5.09
S	142	5.58
S	154	5.64
#Clauses: 28		
U	164	7.81
U	198	7.52
U	178	6.6
U	214	7.67
S	110	6.46
U	246	8.8
S	52	5.25
U	210	8.21
U	150	6.46
U	186	7.88
S	138	7.73
S	174	7.65
U	164	6.73
U	164	7.68
S	54	5.99
U	238	7.42
U	190	7.64
U	218	8.26
U	142	7.39
U	270	9.78
U	198	8.51
U	248	9.12
S	146	6.93
U	210	7.26
U	150	7.69
U	150	6.22
U	270	9.43
U	208	8.36
U	194	7.63
U	162	7.49
U	156	6.43
S	118	6.26
U	174	6.41
S	118	5.76
S	174	6.75
U	212	7.27
S	102	6.64
U	226	8.23
U	230	7.97
U	148	7.61
U	184	7.78
U	176	6.71
U	252	7.96
S	144	7.06
S	82	4.89
U	204	7.24
S	236	7.55
U	218	8.99
U	216	8.08
U	152	7.33
S	176	6.4
U	152	6.54
U	242	8.72
U	146	6.38
U	256	7.99
S	110	7.05
U	162	6.45
S	150	6.2
S	174	7.13
U	166	6.57
U	198	7.17
U	188	6.77
U	244	8.6
U	182	7.54
U	188	7.72
S	220	6.66
S	80	6.71
S	98	5.15
U	194	6.78
S	148	7.46
U	244	8.29
U	162	6.73
U	230	8.33
S	176	6.64
U	144	7.06
S	80	5.45
S	88	5.61
U	216	7.23
U	210	7.29
U	188	7.65
S	182	6.84
S	194	7.02
S	152	6.53
U	216	7.42
U	280	9.3
U	156	6.79
U	180	6.08
S	58	5.54
U	190	7.74
U	196	7.03
S	102	5.47
U	206	7.01
U	214	7.49
S	82	6.05
U	206	6.99
U	166	6.76
S	170	6.34
U	194	7.28
S	250	8.36
U	182	6.54
#Clauses: 32		
U	214	8.68
U	214	9.25
U	224	9.04
S	222	9.15
U	200	8.59
S	160	7.73
U	212	9.43
U	194	7.91
S	98	7.31
U	144	7.54
S	48	5.33
U	178	8.67
U	198	8.29
U	202	9.22
U	166	7.42
U	182	8.98
U	234	8.91
U	156	7.95
U	216	9.29
U	182	8.3
U	240	9.55
U	180	8.36
U	154	7.41
U	182	7.81
U	170	9.35
S	168	7.23
U	146	7.85
U	140	6.96
U	162	7.96
U	182	8.49
U	240	8.7
U	234	9.35
U	164	7.87
U	146	7.63
U	196	8.5
S	112	6.7
S	122	6.68
U	176	8.27
U	148	6.44
U	146	7.48
U	188	8
U	124	7.46
U	176	7.18
U	198	9.9
U	176	8.07
U	152	8.3
S	148	7.23
S	136	7.14
U	250	9.84
U	200	9.07
U	208	8.77
S	98	7.45
S	164	6.96
U	172	9.34
S	62	7
U	192	8.19
U	212	9.33
S	164	8.02
U	162	7.55
U	184	8.37
U	218	8.78
U	212	9
U	210	9.33
U	204	9.52
U	200	9.26
U	182	9.34
U	184	9.1
U	178	8.19
U	200	8.32
U	142	8.35
U	218	9.5
U	202	9.61
S	116	7.84
U	230	8.57
U	212	8.8
U	136	7.93
U	210	9.39
S	106	6.62
U	180	8.11
U	158	6.62
U	218	8.78
U	214	8.99
U	228	10.24
U	216	8.99
U	178	8.65
U	172	8.92
U	214	9.15
S	142	7.87
U	210	8.84
U	200	8.85
S	176	8.39
U	160	8.72
S	122	6.6
U	158	7.83
U	136	7.9
S	162	7.54
U	244	9.85
U	232	8.34
U	180	7.99
U	212	8.6
#Clauses: 36		
U	282	11.48
U	136	9.78
U	200	10.62
U	234	10.51
U	128	9.43
U	182	9.72
U	196	9.92
U	174	9.25
U	178	10.78
U	136	9.34
U	170	10.65
S	94	7.53
U	210	8.09
U	188	9.78
U	182	8.38
U	166	9.49
U	174	9.32
U	202	11.07
U	154	9.18
U	202	10.39
S	170	9.96
S	122	8.08
U	178	10.16
U	192	9.67
U	186	8.97
U	192	9.82
S	188	9.82
S	110	8.32
U	188	9.87
U	202	9.04
S	174	9.3
U	232	9.99
U	190	10.69
S	66	8.33
U	186	9.8
U	168	9.29
U	248	10.95
U	216	10.37
U	232	9.62
U	188	10.06
U	212	10.6
U	220	9.65
U	228	10.48
U	124	8.59
U	164	9.05
S	56	7.56
S	110	7.59
S	250	9.48
U	202	10.72
U	234	10.9
U	228	10.15
U	186	9.53
U	244	11.3
U	176	10.31
S	86	9.02
U	238	10.37
U	192	11.41
U	186	10.93
U	222	10.1
U	198	8.86
U	186	9.71
U	256	10.02
U	236	11.21
U	240	12.24
U	170	9
S	142	7.54
U	176	9.89
U	192	10.39
U	204	10.36
U	158	10.1
U	142	9.58
S	198	9.08
U	232	11.56
U	174	11.52
U	200	10.67
U	258	11.54
U	222	10.44
U	136	9.16
U	218	10.47
U	126	8.76
U	192	7.99
U	222	10.19
U	242	10.9
S	264	10.8
U	228	10.01
U	140	9.18
U	232	11.52
U	182	9.56
U	186	9.71
S	68	7.52
U	150	8.84
U	190	10.12
U	198	10.84
U	220	10.84
U	202	10.16
U	180	9.99
U	216	10.54
U	180	8.87
U	242	10.32
U	182	10.65
#Clauses: 40		
U	164	12.49
S	232	12.45
S	64	9.27
U	154	9.85
U	210	11.52
U	242	11.18
S	220	11.56
U	186	12.77
U	190	11.29
S	116	10.08
U	194	10.99
S	144	10.49
U	188	10.96
U	186	12.13
U	250	12.93
U	224	12.73
U	204	11.93
U	182	11.76
U	186	11.01
U	170	11.17
U	214	11.51
S	82	11.24
U	110	10.28
U	162	10.85
U	226	12.77
U	192	11.75
U	150	11.1
U	266	11.42
U	224	13.72
U	160	10.33
U	164	10.18
U	226	11.08
U	156	12.3
S	138	10.81
U	216	12.5
U	206	11.23
U	200	11.55
U	204	12.5
U	182	11
U	204	10.76
U	184	10.52
U	208	12.57
U	202	12.92
U	246	14.31
U	164	12.52
U	188	11.35
U	218	11.86
U	194	11.71
U	198	13.93
U	180	11.99
U	236	11.35
U	218	11.16
U	190	12.35
U	214	11.98
U	176	12.1
U	186	11.15
U	210	10.94
U	218	11.7
U	182	12.9
U	250	12.14
U	188	11.95
U	168	11.22
U	202	14.15
U	262	13.06
U	168	11.29
U	236	12.11
U	208	11.72
U	186	12.07
S	170	10.42
S	58	7.73
U	140	9.05
S	78	7.93
U	242	11.24
U	200	12.5
U	222	12.68
S	176	10.16
U	178	11.82
U	240	11.25
U	184	12.23
U	172	13.18
U	254	11.89
U	188	10.83
U	192	11.4
U	208	11.59
S	206	12.09
U	150	12.22
U	186	11.95
S	142	10.44
U	150	10.14
U	200	10.21
S	214	11.47
U	216	12.5
U	186	11.51
U	210	11.29
U	266	11.56
U	202	12.76
U	218	11.21
U	202	12.75
U	190	12.86
U	192	12.8
#Clauses: 44		
U	214	15.37
U	194	14
U	200	13.77
U	240	14.13
S	68	12.67
U	286	14.79
U	182	13.94
U	220	13.64
U	166	13.16
U	216	13.36
U	242	14.23
U	258	15.53
U	180	13.21
U	136	13.71
U	222	14.45
U	148	13.8
U	252	13.18
U	206	14.28
U	238	15.08
U	216	14.14
U	302	16.32
U	236	15.39
U	260	15.09
U	218	14.6
U	254	13.35
U	160	12.5
U	190	11.46
S	140	11.6
U	152	12.25
U	164	12.93
U	250	12.53
U	162	12.76
U	206	12.23
U	204	12.96
U	208	13.49
U	224	14.09
U	220	14.1
U	222	13.82
U	216	14.14
U	142	12.46
U	178	11.78
U	182	11.58
U	246	12.98
U	230	12.16
U	192	13.64
U	282	14.47
U	196	13.99
U	194	15.1
U	192	11.5
U	182	11.74
U	226	11.82
U	224	11.9
U	188	13.17
S	180	10.98
U	130	11.18
U	158	10.5
U	232	13.81
U	196	12.31
S	104	11.01
U	192	11.78
U	194	14.23
U	234	14.34
U	174	12.45
U	168	12.36
U	204	12.56
U	166	11.17
U	226	13.99
U	190	12.46
U	198	13.76
U	178	14.25
U	162	11.23
U	232	12.32
U	248	14.17
U	218	13.03
U	208	11.81
U	204	12.57
U	200	14.07
U	124	11.38
U	226	13.73
U	264	13.94
U	222	11.9
U	212	14.2
U	178	13.79
U	210	13.63
U	194	11.65
S	276	12.29
U	188	13.56
U	254	13.51
U	222	13.43
U	186	12.35
U	246	12.42
S	172	11.6
U	214	12.59
U	154	10.74
U	260	12.56
U	144	13.25
U	184	12.48
U	186	13.1
U	170	12.62
U	164	11.95