Graph

p = 0.5

Linear Program

Variables	100
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	54
Max satisfied	90
Average satisfied	75 (expected value: 75)
Deterministic rounding	n/a
Variance	16.8739 (analytically calculated: 16.875)
Standard deviation	4.1078

Variables	100
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	70
Max satisfied	98
Average satisfied	87.5 (expected value: 87.5)
Deterministic rounding	n/a
Variance	10.7848 (analytically calculated: 10.7812)
Standard deviation	3.284

Variables	100
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	81
Max satisfied	100
Average satisfied	93.75 (expected value: 93.75)
Deterministic rounding	n/a
Variance	5.8153 (analytically calculated: 5.875)
Standard deviation	2.4115

Variables	100
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	87
Max satisfied	100
Average satisfied	96.87 (expected value: 96.88)
Deterministic rounding	n/a
Variance	3.0581 (analytically calculated: 3.0781)
Standard deviation	1.7487

Variables	100
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	90
Max satisfied	100
Average satisfied	98.44 (expected value: 98.44)
Deterministic rounding	n/a
Variance	1.539 (analytically calculated: 1.5396)
Standard deviation	1.2406

Variables	100
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	93
Max satisfied	100
Average satisfied	99.22 (expected value: 99.22)
Deterministic rounding	n/a
Variance	0.7904 (analytically calculated: 0.7855)
Standard deviation	0.8891

Variables	100
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	95
Max satisfied	100
Average satisfied	99.61 (expected value: 99.61)
Deterministic rounding	n/a
Variance	0.3906 (analytically calculated: 0.3904)
Standard deviation	0.625

Variables	100
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	129
Max satisfied	172
Average satisfied	150 (expected value: 150)
Deterministic rounding	n/a
Variance	29.7149 (analytically calculated: 29.875)
Standard deviation	5.4511

Variables	100
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	152
Max satisfied	194
Average satisfied	175 (expected value: 175)
Deterministic rounding	n/a
Variance	21.8788 (analytically calculated: 21.7188)
Standard deviation	4.6775

Variables	100
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	171
Max satisfied	200
Average satisfied	187.49 (expected value: 187.5)
Deterministic rounding	n/a
Variance	11.8194 (analytically calculated: 11.8438)
Standard deviation	3.4379

Variables	100
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	180
Max satisfied	200
Average satisfied	193.74 (expected value: 193.75)
Deterministic rounding	n/a
Variance	5.8525 (analytically calculated: 5.8574)
Standard deviation	2.4192

Variables	100
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	196
Max satisfied	200
Average satisfied	198.25 (expected value: 198.25)
Deterministic rounding	200
Variance	1.1922 (analytically calculated: 1.19)
Standard deviation	1.0919

Variables	100
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	185
Max satisfied	200
Average satisfied	196.87 (expected value: 196.88)
Deterministic rounding	n/a
Variance	3.1181 (analytically calculated: 3.103)
Standard deviation	1.7658

Variables	100
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	191
Max satisfied	200
Average satisfied	198.43 (expected value: 198.44)
Deterministic rounding	n/a
Variance	1.5617 (analytically calculated: 1.5573)
Standard deviation	1.2497

Variables	100
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	194
Max satisfied	200
Average satisfied	199.22 (expected value: 199.22)
Deterministic rounding	n/a
Variance	0.7831 (analytically calculated: 0.7816)
Standard deviation	0.8849

Variables	100
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	24
Max satisfied	49
Average satisfied	37.51 (expected value: 37.5)
Deterministic rounding	n/a
Variance	9.8068 (analytically calculated: 9.75)
Standard deviation	3.1316

Variables	100
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	32
Max satisfied	50
Average satisfied	43.76 (expected value: 43.75)
Deterministic rounding	n/a
Variance	5.3329 (analytically calculated: 5.375)
Standard deviation	2.3093

Variables	100
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	38
Max satisfied	50
Average satisfied	46.87 (expected value: 46.88)
Deterministic rounding	n/a
Variance	2.9776 (analytically calculated: 2.9688)
Standard deviation	1.7256

Variables	100
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	41
Max satisfied	50
Average satisfied	48.44 (expected value: 48.44)
Deterministic rounding	n/a
Variance	1.4818 (analytically calculated: 1.4824)
Standard deviation	1.2173

Variables	100
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	43
Max satisfied	50
Average satisfied	49.22 (expected value: 49.22)
Deterministic rounding	n/a
Variance	0.7715 (analytically calculated: 0.7686)
Standard deviation	0.8784

Variables	100
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	44
Max satisfied	50
Average satisfied	49.61 (expected value: 49.61)
Deterministic rounding	n/a
Variance	0.3884 (analytically calculated: 0.3856)
Standard deviation	0.6232

Variables	100
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	100
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	46
Max satisfied	50
Average satisfied	49.8 (expected value: 49.8)
Deterministic rounding	n/a
Variance	0.1946 (analytically calculated: 0.1941)
Standard deviation	0.4411

Variables	100
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	59
Max satisfied	96
Average satisfied	75 (expected value: 75)
Deterministic rounding	n/a
Variance	15.0774 (analytically calculated: 15.125)
Standard deviation	3.883

Variables	20
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	73
Max satisfied	100
Average satisfied	87.5 (expected value: 87.5)
Deterministic rounding	n/a
Variance	10.3392 (analytically calculated: 10.3438)
Standard deviation	3.2155

Variables	20
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	79
Max satisfied	98
Average satisfied	89.84 (expected value: 89.84)
Deterministic rounding	91
Variance	6.472 (analytically calculated: 6.47)
Standard deviation	2.544

Variables	20
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	83
Max satisfied	100
Average satisfied	93.74 (expected value: 93.75)
Deterministic rounding	n/a
Variance	6.0616 (analytically calculated: 6.0469)
Standard deviation	2.462

Variables	20
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	93
Max satisfied	100
Average satisfied	96.75 (expected value: 96.74)
Deterministic rounding	96
Variance	1.8254 (analytically calculated: 1.84)
Standard deviation	1.3511

Variables	20
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	89
Max satisfied	100
Average satisfied	96.87 (expected value: 96.88)
Deterministic rounding	n/a
Variance	2.8499 (analytically calculated: 2.8516)
Standard deviation	1.6882

Variables	20
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	97
Max satisfied	99
Average satisfied	98.12 (expected value: 98.12)
Deterministic rounding	99
Variance	0.6093 (analytically calculated: 0.61)
Standard deviation	0.7806

Variables	20
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	91
Max satisfied	100
Average satisfied	98.45 (expected value: 98.44)
Deterministic rounding	n/a
Variance	1.4691 (analytically calculated: 1.4829)
Standard deviation	1.2121

Variables	20
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	97
Max satisfied	100
Average satisfied	98.47 (expected value: 98.46)
Deterministic rounding	99
Variance	0.5258 (analytically calculated: 0.53)
Standard deviation	0.7252

Variables	20
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	93
Max satisfied	100
Average satisfied	99.21 (expected value: 99.22)
Deterministic rounding	n/a
Variance	0.8001 (analytically calculated: 0.7932)
Standard deviation	0.8945

Variables	20
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	94
Max satisfied	100
Average satisfied	99.61 (expected value: 99.61)
Deterministic rounding	n/a
Variance	0.3854 (analytically calculated: 0.3866)
Standard deviation	0.6208

Variables	20
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	99
Max satisfied	100
Average satisfied	99.5 (expected value: 99.5)
Deterministic rounding	100
Variance	0.25 (analytically calculated: 0.25)
Standard deviation	0.5

Variables	20
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	125
Max satisfied	193
Average satisfied	149.99 (expected value: 150)
Deterministic rounding	n/a
Variance	45.2155 (analytically calculated: 45)
Standard deviation	6.7242

Variables	20
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	157
Max satisfied	197
Average satisfied	175 (expected value: 175)
Deterministic rounding	n/a
Variance	22.3588 (analytically calculated: 22.375)
Standard deviation	4.7285

Variables	20
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	149
Max satisfied	193
Average satisfied	176.58 (expected value: 176.6)
Deterministic rounding	181
Variance	20.8342 (analytically calculated: 20.92)
Standard deviation	4.5644

Variables	20
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	171
Max satisfied	200
Average satisfied	187.51 (expected value: 187.5)
Deterministic rounding	n/a
Variance	11.3781 (analytically calculated: 11.3984)
Standard deviation	3.3731

Variables	20
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	178
Max satisfied	198
Average satisfied	190.7 (expected value: 190.71)
Deterministic rounding	193
Variance	6.1856 (analytically calculated: 6.18)
Standard deviation	2.4871

Variables	20
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	182
Max satisfied	200
Average satisfied	193.75 (expected value: 193.75)
Deterministic rounding	n/a
Variance	5.6636 (analytically calculated: 5.6797)
Standard deviation	2.3798

Variables	20
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	193
Max satisfied	199
Average satisfied	196.92 (expected value: 196.91)
Deterministic rounding	198
Variance	0.95 (analytically calculated: 0.95)
Standard deviation	0.9747

Variables	20
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	186
Max satisfied	200
Average satisfied	196.88 (expected value: 196.88)
Deterministic rounding	n/a
Variance	2.9784 (analytically calculated: 2.9966)
Standard deviation	1.7258

Variables	20
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	195
Max satisfied	199
Average satisfied	197.18 (expected value: 197.19)
Deterministic rounding	199
Variance	1.2005 (analytically calculated: 1.2)
Standard deviation	1.0957

Variables	20
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	191
Max satisfied	200
Average satisfied	198.43 (expected value: 198.44)
Deterministic rounding	n/a
Variance	1.5923 (analytically calculated: 1.5751)
Standard deviation	1.2619

Variables	20
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	197
Max satisfied	200
Average satisfied	199.12 (expected value: 199.12)
Deterministic rounding	199
Variance	0.9491 (analytically calculated: 0.95)
Standard deviation	0.9742

Variables	20
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	193
Max satisfied	200
Average satisfied	199.22 (expected value: 199.22)
Deterministic rounding	n/a
Variance	0.7795 (analytically calculated: 0.7781)
Standard deviation	0.8829

Variables	20
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	23
Max satisfied	49
Average satisfied	37.49 (expected value: 37.5)
Deterministic rounding	n/a
Variance	10.6502 (analytically calculated: 10.625)
Standard deviation	3.2635

Variables	20
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	33
Max satisfied	50
Average satisfied	43.74 (expected value: 43.75)
Deterministic rounding	n/a
Variance	5.325 (analytically calculated: 5.3125)
Standard deviation	2.3076

Variables	20
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	44
Max satisfied	49
Average satisfied	47 (expected value: 47)
Deterministic rounding	48
Variance	1.3745 (analytically calculated: 1.38)
Standard deviation	1.1724

Variables	20
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	36
Max satisfied	50
Average satisfied	46.87 (expected value: 46.88)
Deterministic rounding	n/a
Variance	2.9828 (analytically calculated: 2.9688)
Standard deviation	1.7271

Variables	20
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	42
Max satisfied	50
Average satisfied	48.44 (expected value: 48.44)
Deterministic rounding	n/a
Variance	1.4632 (analytically calculated: 1.4688)
Standard deviation	1.2096

Variables	20
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	43
Max satisfied	50
Average satisfied	49.22 (expected value: 49.22)
Deterministic rounding	n/a
Variance	0.8118 (analytically calculated: 0.8037)
Standard deviation	0.901

Variables	20
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	20
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	45
Max satisfied	50
Average satisfied	49.61 (expected value: 49.61)
Deterministic rounding	n/a
Variance	0.4035 (analytically calculated: 0.4036)
Standard deviation	0.6352

Variables	20
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	49
Max satisfied	50
Average satisfied	49.5 (expected value: 49.5)
Deterministic rounding	50
Variance	0.25 (analytically calculated: 0.25)
Standard deviation	0.5

Variables	20
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	46
Max satisfied	50
Average satisfied	49.81 (expected value: 49.8)
Deterministic rounding	n/a
Variance	0.1968 (analytically calculated: 0.1996)
Standard deviation	0.4436

Variables	20
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	992
Max satisfied	1000
Average satisfied	999.02 (expected value: 999.02)
Deterministic rounding	n/a
Variance	0.9659 (analytically calculated: 0.9764)
Standard deviation	0.9828

Variables	400
Clauses	1000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	997
Max satisfied	1000
Average satisfied	999.97 (expected value: 999.97)
Deterministic rounding	n/a
Variance	0.0306 (analytically calculated: 0.0305)
Standard deviation	0.175

Variables	400
Clauses	1000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	20
Max clause length	20
Average clause length	20
Min satisfied	999
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0.0008 (analytically calculated: 0.001)
Standard deviation	0.0291

Variables	400
Clauses	1000
Min clause length	20
Max clause length	20
Average clause length	20
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	25
Max clause length	25
Average clause length	25
Min satisfied	999
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0 (analytically calculated: 0)
Standard deviation	0.0045

Variables	400
Clauses	1000
Min clause length	25
Max clause length	25
Average clause length	25
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	30
Max clause length	30
Average clause length	30
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	30
Max clause length	30
Average clause length	30
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	57
Max satisfied	92
Average satisfied	75 (expected value: 75)
Deterministic rounding	n/a
Variance	19.6358 (analytically calculated: 19.625)
Standard deviation	4.4312

Variables	50
Clauses	100
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	71
Max satisfied	99
Average satisfied	87.5 (expected value: 87.5)
Deterministic rounding	n/a
Variance	11.3603 (analytically calculated: 11.2188)
Standard deviation	3.3705

Variables	50
Clauses	100
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	93
Max satisfied	99
Average satisfied	96.93 (expected value: 96.93)
Deterministic rounding	98
Variance	1.2089 (analytically calculated: 1.21)
Standard deviation	1.0995

Variables	50
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	82
Max satisfied	100
Average satisfied	93.75 (expected value: 93.75)
Deterministic rounding	n/a
Variance	6.0109 (analytically calculated: 6.0391)
Standard deviation	2.4517

Variables	50
Clauses	100
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	95
Max satisfied	100
Average satisfied	98.07 (expected value: 98.07)
Deterministic rounding	99
Variance	1.3096 (analytically calculated: 1.3)
Standard deviation	1.1444

Variables	50
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	88
Max satisfied	100
Average satisfied	96.88 (expected value: 96.88)
Deterministic rounding	n/a
Variance	2.8943 (analytically calculated: 2.9082)
Standard deviation	1.7013

Variables	50
Clauses	100
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	91
Max satisfied	100
Average satisfied	98.44 (expected value: 98.44)
Deterministic rounding	n/a
Variance	1.5249 (analytically calculated: 1.5234)
Standard deviation	1.2349

Variables	50
Clauses	100
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	93
Max satisfied	100
Average satisfied	99.22 (expected value: 99.22)
Deterministic rounding	n/a
Variance	0.7704 (analytically calculated: 0.7684)
Standard deviation	0.8777

Variables	50
Clauses	100
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	95
Max satisfied	100
Average satisfied	99.61 (expected value: 99.61)
Deterministic rounding	n/a
Variance	0.3878 (analytically calculated: 0.3869)
Standard deviation	0.6227

Variables	50
Clauses	100
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	100
Max satisfied	100
Average satisfied	100 (expected value: 100)
Deterministic rounding	100
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	124
Max satisfied	174
Average satisfied	149.99 (expected value: 150)
Deterministic rounding	n/a
Variance	36.4091 (analytically calculated: 36.125)
Standard deviation	6.034

Variables	50
Clauses	200
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	154
Max satisfied	190
Average satisfied	174.99 (expected value: 175)
Deterministic rounding	n/a
Variance	19.6439 (analytically calculated: 19.5312)
Standard deviation	4.4321

Variables	50
Clauses	200
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	163
Max satisfied	194
Average satisfied	180.36 (expected value: 180.36)
Deterministic rounding	190
Variance	14.9219 (analytically calculated: 14.9)
Standard deviation	3.8629

Variables	50
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	171
Max satisfied	199
Average satisfied	187.51 (expected value: 187.5)
Deterministic rounding	n/a
Variance	10.687 (analytically calculated: 10.7188)
Standard deviation	3.2691

Variables	50
Clauses	200
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	191
Max satisfied	200
Average satisfied	195.38 (expected value: 195.38)
Deterministic rounding	198
Variance	2.5485 (analytically calculated: 2.55)
Standard deviation	1.5964

Variables	50
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	178
Max satisfied	200
Average satisfied	193.75 (expected value: 193.75)
Deterministic rounding	n/a
Variance	6.2554 (analytically calculated: 6.2832)
Standard deviation	2.5011

Variables	50
Clauses	200
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	192
Max satisfied	200
Average satisfied	196.06 (expected value: 196.06)
Deterministic rounding	199
Variance	1.9613 (analytically calculated: 1.98)
Standard deviation	1.4005

Variables	50
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	187
Max satisfied	200
Average satisfied	196.87 (expected value: 196.88)
Deterministic rounding	n/a
Variance	3.1059 (analytically calculated: 3.0693)
Standard deviation	1.7623

Variables	50
Clauses	200
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	199
Max satisfied	200
Average satisfied	199.5 (expected value: 199.5)
Deterministic rounding	200
Variance	0.25 (analytically calculated: 0.25)
Standard deviation	0.5

Variables	50
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	190
Max satisfied	200
Average satisfied	198.44 (expected value: 198.44)
Deterministic rounding	n/a
Variance	1.5629 (analytically calculated: 1.5717)
Standard deviation	1.2501

Variables	50
Clauses	200
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	193
Max satisfied	200
Average satisfied	199.22 (expected value: 199.22)
Deterministic rounding	n/a
Variance	0.7682 (analytically calculated: 0.7749)
Standard deviation	0.8765

Variables	50
Clauses	200
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	200
Max satisfied	200
Average satisfied	200 (expected value: 200)
Deterministic rounding	200
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	25
Max satisfied	48
Average satisfied	37.5 (expected value: 37.5)
Deterministic rounding	n/a
Variance	8.5378 (analytically calculated: 8.5)
Standard deviation	2.922

Variables	50
Clauses	50
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	31
Max satisfied	50
Average satisfied	43.75 (expected value: 43.75)
Deterministic rounding	n/a
Variance	5.5151 (analytically calculated: 5.5)
Standard deviation	2.3484

Variables	50
Clauses	50
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	38
Max satisfied	50
Average satisfied	46.87 (expected value: 46.88)
Deterministic rounding	n/a
Variance	2.7147 (analytically calculated: 2.6953)
Standard deviation	1.6476

Variables	50
Clauses	50
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	42
Max satisfied	50
Average satisfied	48.44 (expected value: 48.44)
Deterministic rounding	n/a
Variance	1.5012 (analytically calculated: 1.498)
Standard deviation	1.2252

Variables	50
Clauses	50
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	44
Max satisfied	50
Average satisfied	49.21 (expected value: 49.22)
Deterministic rounding	n/a
Variance	0.7752 (analytically calculated: 0.772)
Standard deviation	0.8805

Variables	50
Clauses	50
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	45
Max satisfied	50
Average satisfied	49.61 (expected value: 49.61)
Deterministic rounding	n/a
Variance	0.3919 (analytically calculated: 0.3861)
Standard deviation	0.626

Variables	50
Clauses	50
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	50
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	46
Max satisfied	50
Average satisfied	49.8 (expected value: 49.8)
Deterministic rounding	n/a
Variance	0.1945 (analytically calculated: 0.1931)
Standard deviation	0.441

Variables	50
Clauses	50
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	50
Max satisfied	50
Average satisfied	50 (expected value: 50)
Deterministic rounding	50
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	992
Max satisfied	1000
Average satisfied	999.03 (expected value: 999.02)
Deterministic rounding	n/a
Variance	0.9727 (analytically calculated: 0.9756)
Standard deviation	0.9862

Variables	400
Clauses	1000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	11
Max clause length	11
Average clause length	11
Min satisfied	994
Max satisfied	1000
Average satisfied	999.51 (expected value: 999.51)
Deterministic rounding	n/a
Variance	0.4921 (analytically calculated: 0.4878)
Standard deviation	0.7015

Variables	400
Clauses	1000
Min clause length	11
Max clause length	11
Average clause length	11
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	12
Max clause length	12
Average clause length	12
Min satisfied	996
Max satisfied	1000
Average satisfied	999.76 (expected value: 999.76)
Deterministic rounding	n/a
Variance	0.2456 (analytically calculated: 0.244)
Standard deviation	0.4956

Variables	400
Clauses	1000
Min clause length	12
Max clause length	12
Average clause length	12
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	13
Max clause length	13
Average clause length	13
Min satisfied	996
Max satisfied	1000
Average satisfied	999.88 (expected value: 999.88)
Deterministic rounding	n/a
Variance	0.1231 (analytically calculated: 0.122)
Standard deviation	0.3509

Variables	400
Clauses	1000
Min clause length	13
Max clause length	13
Average clause length	13
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	14
Max clause length	14
Average clause length	14
Min satisfied	997
Max satisfied	1000
Average satisfied	999.94 (expected value: 999.94)
Deterministic rounding	n/a
Variance	0.0613 (analytically calculated: 0.061)
Standard deviation	0.2476

Variables	400
Clauses	1000
Min clause length	14
Max clause length	14
Average clause length	14
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	998
Max satisfied	1000
Average satisfied	999.97 (expected value: 999.97)
Deterministic rounding	n/a
Variance	0.0302 (analytically calculated: 0.0305)
Standard deviation	0.1737

Variables	400
Clauses	1000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	16
Max clause length	16
Average clause length	16
Min satisfied	998
Max satisfied	1000
Average satisfied	999.99 (expected value: 999.98)
Deterministic rounding	n/a
Variance	0.015 (analytically calculated: 0.0153)
Standard deviation	0.1223

Variables	400
Clauses	1000
Min clause length	16
Max clause length	16
Average clause length	16
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	17
Max clause length	17
Average clause length	17
Min satisfied	998
Max satisfied	1000
Average satisfied	999.99 (expected value: 999.99)
Deterministic rounding	n/a
Variance	0.0073 (analytically calculated: 0.0076)
Standard deviation	0.0854

Variables	400
Clauses	1000
Min clause length	17
Max clause length	17
Average clause length	17
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	18
Max clause length	18
Average clause length	18
Min satisfied	998
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0.0041 (analytically calculated: 0.0038)
Standard deviation	0.0637

Variables	400
Clauses	1000
Min clause length	18
Max clause length	18
Average clause length	18
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	19
Max clause length	19
Average clause length	19
Min satisfied	999
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0.0019 (analytically calculated: 0.0019)
Standard deviation	0.0432

Variables	400
Clauses	1000
Min clause length	19
Max clause length	19
Average clause length	19
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	687
Max satisfied	812
Average satisfied	749.96 (expected value: 750)
Deterministic rounding	n/a
Variance	195.5094 (analytically calculated: 194.75)
Standard deviation	13.9825

Variables	400
Clauses	1000
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	728
Max satisfied	831
Average satisfied	783.5 (expected value: 783.5)
Deterministic rounding	789
Variance	149.6819 (analytically calculated: 149.75)
Standard deviation	12.2345

Variables	400
Clauses	1000
Min clause length	20
Max clause length	20
Average clause length	20
Min satisfied	999
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0.001 (analytically calculated: 0.001)
Standard deviation	0.0311

Variables	400
Clauses	1000
Min clause length	20
Max clause length	20
Average clause length	20
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	30
Max clause length	30
Average clause length	30
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	n/a
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	30
Max clause length	30
Average clause length	30
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	830
Max satisfied	916
Average satisfied	875.03 (expected value: 875)
Deterministic rounding	n/a
Variance	109.0318 (analytically calculated: 109.0312)
Standard deviation	10.4418

Variables	400
Clauses	1000
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	940
Max satisfied	985
Average satisfied	964.61 (expected value: 964.59)
Deterministic rounding	990
Variance	29.2036 (analytically calculated: 29.39)
Standard deviation	5.404

Variables	400
Clauses	1000
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	900
Max satisfied	968
Average satisfied	937.49 (expected value: 937.5)
Deterministic rounding	n/a
Variance	62.3324 (analytically calculated: 61.8359)
Standard deviation	7.8951

Variables	400
Clauses	1000
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	984
Max satisfied	1000
Average satisfied	992.63 (expected value: 992.62)
Deterministic rounding	999
Variance	4.2945 (analytically calculated: 4.3)
Standard deviation	2.0723

Variables	400
Clauses	1000
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	942
Max satisfied	989
Average satisfied	968.74 (expected value: 968.75)
Deterministic rounding	n/a
Variance	30.1474 (analytically calculated: 29.9648)
Standard deviation	5.4907

Variables	400
Clauses	1000
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	967
Max satisfied	998
Average satisfied	984.38 (expected value: 984.38)
Deterministic rounding	n/a
Variance	15.2421 (analytically calculated: 15.2856)
Standard deviation	3.9041

Variables	400
Clauses	1000
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	977
Max satisfied	1000
Average satisfied	992.19 (expected value: 992.19)
Deterministic rounding	n/a
Variance	7.7756 (analytically calculated: 7.7656)
Standard deviation	2.7885

Variables	400
Clauses	1000
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	985
Max satisfied	1000
Average satisfied	996.1 (expected value: 996.09)
Deterministic rounding	n/a
Variance	3.9122 (analytically calculated: 3.8963)
Standard deviation	1.9779

Variables	400
Clauses	1000
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	400
Clauses	1000
Min clause length	9
Max clause length	9
Average clause length	9
Min satisfied	990
Max satisfied	1000
Average satisfied	998.06 (expected value: 998.05)
Deterministic rounding	n/a
Variance	1.9371 (analytically calculated: 1.9482)
Standard deviation	1.3918

Variables	400
Clauses	1000
Min clause length	9
Max clause length	9
Average clause length	9
Min satisfied	1000
Max satisfied	1000
Average satisfied	1000 (expected value: 1000)
Deterministic rounding	1000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	3617
Max satisfied	3888
Average satisfied	3750.02 (expected value: 3750)
Deterministic rounding	n/a
Variance	922.7536 (analytically calculated: 921.5)
Standard deviation	30.3769

Variables	1000
Clauses	5000
Min clause length	2
Max clause length	2
Average clause length	2
Min satisfied	3604
Max satisfied	3879
Average satisfied	3755.8 (expected value: 3756)
Deterministic rounding	3731
Variance	909.9376 (analytically calculated: 911.12)
Standard deviation	30.1652

Variables	1000
Clauses	5000
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	4265
Max satisfied	4475
Average satisfied	4375.11 (expected value: 4375)
Deterministic rounding	n/a
Variance	538.2594 (analytically calculated: 539.6875)
Standard deviation	23.2004

Variables	1000
Clauses	5000
Min clause length	3
Max clause length	3
Average clause length	3
Min satisfied	4367
Max satisfied	4550
Average satisfied	4454.32 (expected value: 4454.38)
Deterministic rounding	4564
Variance	446.4202 (analytically calculated: 444.11)
Standard deviation	21.1287

Variables	1000
Clauses	5000
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	4611
Max satisfied	4764
Average satisfied	4687.56 (expected value: 4687.5)
Deterministic rounding	n/a
Variance	294.1187 (analytically calculated: 295.2891)
Standard deviation	17.1499

Variables	1000
Clauses	5000
Min clause length	4
Max clause length	4
Average clause length	4
Min satisfied	4728
Max satisfied	4840
Average satisfied	4784.7 (expected value: 4784.71)
Deterministic rounding	4858
Variance	185.3815 (analytically calculated: 185.39)
Standard deviation	13.6155

Variables	1000
Clauses	5000
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	4769
Max satisfied	4894
Average satisfied	4843.73 (expected value: 4843.75)
Deterministic rounding	n/a
Variance	153.8621 (analytically calculated: 153.3223)
Standard deviation	12.4041

Variables	1000
Clauses	5000
Min clause length	5
Max clause length	5
Average clause length	5
Min satisfied	4926
Max satisfied	4977
Average satisfied	4952.57 (expected value: 4952.6)
Deterministic rounding	4973
Variance	38.2532 (analytically calculated: 38.12)
Standard deviation	6.1849

Variables	1000
Clauses	5000
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	4881
Max satisfied	4955
Average satisfied	4921.84 (expected value: 4921.88)
Deterministic rounding	n/a
Variance	78.2069 (analytically calculated: 77.4946)
Standard deviation	8.8435

Variables	1000
Clauses	5000
Min clause length	6
Max clause length	6
Average clause length	6
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	4932
Max satisfied	4987
Average satisfied	4960.96 (expected value: 4960.94)
Deterministic rounding	n/a
Variance	38.7779 (analytically calculated: 38.7307)
Standard deviation	6.2272

Variables	1000
Clauses	5000
Min clause length	7
Max clause length	7
Average clause length	7
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	4954
Max satisfied	4996
Average satisfied	4980.48 (expected value: 4980.47)
Deterministic rounding	n/a
Variance	19.5214 (analytically calculated: 19.439)
Standard deviation	4.4183

Variables	1000
Clauses	5000
Min clause length	8
Max clause length	8
Average clause length	8
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	9
Max clause length	9
Average clause length	9
Min satisfied	4975
Max satisfied	5000
Average satisfied	4990.25 (expected value: 4990.23)
Deterministic rounding	n/a
Variance	9.6956 (analytically calculated: 9.7447)
Standard deviation	3.1138

Variables	1000
Clauses	5000
Min clause length	9
Max clause length	9
Average clause length	9
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	4984
Max satisfied	5000
Average satisfied	4995.12 (expected value: 4995.12)
Deterministic rounding	n/a
Variance	4.8562 (analytically calculated: 4.8811)
Standard deviation	2.2037

Variables	1000
Clauses	5000
Min clause length	10
Max clause length	10
Average clause length	10
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	11
Max clause length	11
Average clause length	11
Min satisfied	4988
Max satisfied	5000
Average satisfied	4997.55 (expected value: 4997.56)
Deterministic rounding	n/a
Variance	2.4371 (analytically calculated: 2.4403)
Standard deviation	1.5611

Variables	1000
Clauses	5000
Min clause length	11
Max clause length	11
Average clause length	11
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	12
Max clause length	12
Average clause length	12
Min satisfied	4992
Max satisfied	5000
Average satisfied	4998.78 (expected value: 4998.78)
Deterministic rounding	n/a
Variance	1.2158 (analytically calculated: 1.2203)
Standard deviation	1.1026

Variables	1000
Clauses	5000
Min clause length	12
Max clause length	12
Average clause length	12
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	13
Max clause length	13
Average clause length	13
Min satisfied	4994
Max satisfied	5000
Average satisfied	4999.39 (expected value: 4999.39)
Deterministic rounding	n/a
Variance	0.6094 (analytically calculated: 0.6103)
Standard deviation	0.7807

Variables	1000
Clauses	5000
Min clause length	13
Max clause length	13
Average clause length	13
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	14
Max clause length	14
Average clause length	14
Min satisfied	4996
Max satisfied	5000
Average satisfied	4999.7 (expected value: 4999.69)
Deterministic rounding	n/a
Variance	0.3034 (analytically calculated: 0.3052)
Standard deviation	0.5508

Variables	1000
Clauses	5000
Min clause length	14
Max clause length	14
Average clause length	14
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	4995
Max satisfied	5000
Average satisfied	4999.85 (expected value: 4999.85)
Deterministic rounding	n/a
Variance	0.153 (analytically calculated: 0.1526)
Standard deviation	0.3911

Variables	1000
Clauses	5000
Min clause length	15
Max clause length	15
Average clause length	15
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	16
Max clause length	16
Average clause length	16
Min satisfied	4997
Max satisfied	5000
Average satisfied	4999.93 (expected value: 4999.92)
Deterministic rounding	n/a
Variance	0.0753 (analytically calculated: 0.0763)
Standard deviation	0.2744

Variables	1000
Clauses	5000
Min clause length	16
Max clause length	16
Average clause length	16
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	17
Max clause length	17
Average clause length	17
Min satisfied	4998
Max satisfied	5000
Average satisfied	4999.96 (expected value: 4999.96)
Deterministic rounding	n/a
Variance	0.038 (analytically calculated: 0.0381)
Standard deviation	0.1949

Variables	1000
Clauses	5000
Min clause length	17
Max clause length	17
Average clause length	17
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0

Variables	1000
Clauses	5000
Min clause length	18
Max clause length	18
Average clause length	18
Min satisfied	4997
Max satisfied	5000
Average satisfied	4999.98 (expected value: 4999.98)
Deterministic rounding	n/a
Variance	0.0195 (analytically calculated: 0.0191)
Standard deviation	0.1398

Variables	1000
Clauses	5000
Min clause length	18
Max clause length	18
Average clause length	18
Min satisfied	5000
Max satisfied	5000
Average satisfied	5000 (expected value: 5000)
Deterministic rounding	5000
Variance	0 (analytically calculated: 0)
Standard deviation	0