grid size  = 12
max robots = 72
8,3455
c number of literals = 4228126
c number of literals / number of clauses = 2.253
8,12
c number of literals = 3809353
c number of literals / number of clauses = 2.228
8,45
c number of literals = 3686963
c number of literals / number of clauses = 2.262
8,78
c number of literals = 3755204
c number of literals / number of clauses = 2.208
8,8546
c number of literals = 3795380
c number of literals / number of clauses = 2.226
8,474
c number of literals = 4266808
c number of literals / number of clauses = 2.258
8,188
c number of literals = 3458530
c number of literals / number of clauses = 2.177
8,7899
c number of literals = 3674434
c number of literals / number of clauses = 2.205
8,9
c number of literals = 3613786
c number of literals / number of clauses = 2.227
8,774
c number of literals = 4110933
c number of literals / number of clauses = 2.245
16,3455
c number of literals = 11030496
c number of literals / number of clauses = 2.359
16,12
c number of literals = 9987047
c number of literals / number of clauses = 2.340
16,45
c number of literals = 9297201
c number of literals / number of clauses = 2.347
16,78
c number of literals = 10210599
c number of literals / number of clauses = 2.343
16,8546
c number of literals = 10206817
c number of literals / number of clauses = 2.352
16,474
c number of literals = 10867684
c number of literals / number of clauses = 2.351
16,188
c number of literals = 9142788
c number of literals / number of clauses = 2.300
16,7899
c number of literals = 9550862
c number of literals / number of clauses = 2.315
16,9
c number of literals = 10080714
c number of literals / number of clauses = 2.372
16,774
c number of literals = 10630510
c number of literals / number of clauses = 2.348
24,3455
c number of literals = 20865440
c number of literals / number of clauses = 2.442
24,12
c number of literals = 19014561
c number of literals / number of clauses = 2.428
24,45
c number of literals = 17884434
c number of literals / number of clauses = 2.437
24,78
c number of literals = 19205060
c number of literals / number of clauses = 2.425
24,8546
c number of literals = 18607617
c number of literals / number of clauses = 2.417
24,474
c number of literals = 20280690
c number of literals / number of clauses = 2.429
24,188
c number of literals = 17486995
c number of literals / number of clauses = 2.394
24,7899
c number of literals = 18013704
c number of literals / number of clauses = 2.401
24,9
c number of literals = 17800624
c number of literals / number of clauses = 2.419
24,774
c number of literals = 19466003
c number of literals / number of clauses = 2.416
32,3455
c number of literals = 33191397
c number of literals / number of clauses = 2.495
32,12
c number of literals = 29091738
c number of literals / number of clauses = 2.463
32,45
c number of literals = 27919534
c number of literals / number of clauses = 2.480
32,78
c number of literals = 31658111
c number of literals / number of clauses = 2.494
32,8546
c number of literals = 29419366
c number of literals / number of clauses = 2.468
32,474
c number of literals = 32723617
c number of literals / number of clauses = 2.489
32,188
c number of literals = 27340366
c number of literals / number of clauses = 2.441
32,7899
c number of literals = 27812953
c number of literals / number of clauses = 2.442
32,9
c number of literals = 28390705
c number of literals / number of clauses = 2.473
32,774
c number of literals = 32422916
c number of literals / number of clauses = 2.491
40,3455
c number of literals = 47928296
c number of literals / number of clauses = 2.532
40,12
c number of literals = 43193293
c number of literals / number of clauses = 2.513
40,45
c number of literals = 42327980
c number of literals / number of clauses = 2.537
40,78
c number of literals = 44494769
c number of literals / number of clauses = 2.520
40,8546
c number of literals = 41696388
c number of literals / number of clauses = 2.498
40,474
c number of literals = 46470675
c number of literals / number of clauses = 2.519
40,188
c number of literals = 39704139
c number of literals / number of clauses = 2.483
40,7899
c number of literals = 39371756
c number of literals / number of clauses = 2.473
40,9
c number of literals = 39093652
c number of literals / number of clauses = 2.490
40,774
c number of literals = 46850892
c number of literals / number of clauses = 2.529
48,3455
c number of literals = 63951870
c number of literals / number of clauses = 2.553
48,12
c number of literals = 58156152
c number of literals / number of clauses = 2.539
48,45
c number of literals = 58189390
c number of literals / number of clauses = 2.569
48,78
c number of literals = 63188608
c number of literals / number of clauses = 2.566
48,8546
c number of literals = 59351505
c number of literals / number of clauses = 2.547
48,474
c number of literals = 64629541
c number of literals / number of clauses = 2.557
48,188
c number of literals = 52515316
c number of literals / number of clauses = 2.502
48,7899
c number of literals = 54304598
c number of literals / number of clauses = 2.510
48,9
c number of literals = 55943220
c number of literals / number of clauses = 2.541
48,774
c number of literals = 64902194
c number of literals / number of clauses = 2.565
56,3455
c number of literals = 87789797
c number of literals / number of clauses = 2.596
56,12
c number of literals = 77386251
c number of literals / number of clauses = 2.570
56,45
c number of literals = 75301037
c number of literals / number of clauses = 2.588
56,78
c number of literals = 78511260
c number of literals / number of clauses = 2.570
56,8546
c number of literals = 77764377
c number of literals / number of clauses = 2.572
56,474
c number of literals = 85721145
c number of literals / number of clauses = 2.587
56,188
c number of literals = 68705629
c number of literals / number of clauses = 2.529
56,7899
c number of literals = 69550270
c number of literals / number of clauses = 2.528
56,9
c number of literals = 74610212
c number of literals / number of clauses = 2.573
56,774
c number of literals = 83691973
c number of literals / number of clauses = 2.583
64,3455
c number of literals = 111671228
c number of literals / number of clauses = 2.617
64,12
c number of literals = 101469778
c number of literals / number of clauses = 2.603
64,45
c number of literals = 97819134
c number of literals / number of clauses = 2.616
64,78
c number of literals = 101366024
c number of literals / number of clauses = 2.597
64,8546
c number of literals = 94307613
c number of literals / number of clauses = 2.576
64,474
c number of literals = 109214012
c number of literals / number of clauses = 2.609
64,188
c number of literals = 87529920
c number of literals / number of clauses = 2.553
64,7899
c number of literals = 94678601
c number of literals / number of clauses = 2.578
64,9
c number of literals = 92433547
c number of literals / number of clauses = 2.585
64,774
c number of literals = 104700986
c number of literals / number of clauses = 2.599
72,3455
c number of literals = 137733138
c number of literals / number of clauses = 2.633
72,12
72,45
72,78
72,8546
72,474
72,188
72,7899
72,9
72,774
grid size  = 12
max robots = 72
8,3455
c number of visible variables = 22848
c number of hidden variables = 0
c number of propositional variables = 22848
c number of clauses / number of variables = 82.155
8,12
c number of visible variables = 22080
c number of hidden variables = 0
c number of propositional variables = 22080
c number of clauses / number of variables = 77.425
8,45
c number of visible variables = 21120
c number of hidden variables = 0
c number of propositional variables = 21120
c number of clauses / number of variables = 77.182
8,78
c number of visible variables = 22272
c number of hidden variables = 0
c number of propositional variables = 22272
c number of clauses / number of variables = 76.349
8,8546
c number of visible variables = 22080
c number of hidden variables = 0
c number of propositional variables = 22080
c number of clauses / number of variables = 77.221
8,474
c number of visible variables = 22848
c number of hidden variables = 0
c number of propositional variables = 22848
c number of clauses / number of variables = 82.697
8,188
c number of visible variables = 21888
c number of hidden variables = 0
c number of propositional variables = 21888
c number of clauses / number of variables = 72.597
8,7899
c number of visible variables = 22080
c number of hidden variables = 0
c number of propositional variables = 22080
c number of clauses / number of variables = 75.467
8,9
c number of visible variables = 21504
c number of hidden variables = 0
c number of propositional variables = 21504
c number of clauses / number of variables = 75.453
8,774
c number of visible variables = 22656
c number of hidden variables = 0
c number of propositional variables = 22656
c number of clauses / number of variables = 80.822
16,3455
c number of visible variables = 45696
c number of hidden variables = 0
c number of propositional variables = 45696
c number of clauses / number of variables = 102.309
16,12
c number of visible variables = 44160
c number of hidden variables = 0
c number of propositional variables = 44160
c number of clauses / number of variables = 96.641
16,45
c number of visible variables = 42240
c number of hidden variables = 0
c number of propositional variables = 42240
c number of clauses / number of variables = 93.798
16,78
c number of visible variables = 44544
c number of hidden variables = 0
c number of propositional variables = 44544
c number of clauses / number of variables = 97.817
16,8546
c number of visible variables = 44160
c number of hidden variables = 0
c number of propositional variables = 44160
c number of clauses / number of variables = 98.266
16,474
c number of visible variables = 45696
c number of hidden variables = 0
c number of propositional variables = 45696
c number of clauses / number of variables = 101.146
16,188
c number of visible variables = 43776
c number of hidden variables = 0
c number of propositional variables = 43776
c number of clauses / number of variables = 90.817
16,7899
c number of visible variables = 44160
c number of hidden variables = 0
c number of propositional variables = 44160
c number of clauses / number of variables = 93.415
16,9
c number of visible variables = 43008
c number of hidden variables = 0
c number of propositional variables = 43008
c number of clauses / number of variables = 98.811
16,774
c number of visible variables = 45312
c number of hidden variables = 0
c number of propositional variables = 45312
c number of clauses / number of variables = 99.921
24,3455
c number of visible variables = 68544
c number of hidden variables = 0
c number of propositional variables = 68544
c number of clauses / number of variables = 124.633
24,12
c number of visible variables = 66240
c number of hidden variables = 0
c number of propositional variables = 66240
c number of clauses / number of variables = 118.243
24,45
c number of visible variables = 63360
c number of hidden variables = 0
c number of propositional variables = 63360
c number of clauses / number of variables = 115.813
24,78
c number of visible variables = 66816
c number of hidden variables = 0
c number of propositional variables = 66816
c number of clauses / number of variables = 118.538
24,8546
c number of visible variables = 66240
c number of hidden variables = 0
c number of propositional variables = 66240
c number of clauses / number of variables = 116.223
24,474
c number of visible variables = 68544
c number of hidden variables = 0
c number of propositional variables = 68544
c number of clauses / number of variables = 121.829
24,188
c number of visible variables = 65664
c number of hidden variables = 0
c number of propositional variables = 65664
c number of clauses / number of variables = 111.251
24,7899
c number of visible variables = 66240
c number of hidden variables = 0
c number of propositional variables = 66240
c number of clauses / number of variables = 113.275
24,9
c number of visible variables = 64512
c number of hidden variables = 0
c number of propositional variables = 64512
c number of clauses / number of variables = 114.071
24,774
c number of visible variables = 67968
c number of hidden variables = 0
c number of propositional variables = 67968
c number of clauses / number of variables = 118.541
32,3455
c number of visible variables = 91392
c number of hidden variables = 0
c number of propositional variables = 91392
c number of clauses / number of variables = 145.562
32,12
c number of visible variables = 88320
c number of hidden variables = 0
c number of propositional variables = 88320
c number of clauses / number of variables = 133.736
32,45
c number of visible variables = 84480
c number of hidden variables = 0
c number of propositional variables = 84480
c number of clauses / number of variables = 133.248
32,78
c number of visible variables = 89088
c number of hidden variables = 0
c number of propositional variables = 89088
c number of clauses / number of variables = 142.473
32,8546
c number of visible variables = 88320
c number of hidden variables = 0
c number of propositional variables = 88320
c number of clauses / number of variables = 134.960
32,474
c number of visible variables = 91392
c number of hidden variables = 0
c number of propositional variables = 91392
c number of clauses / number of variables = 143.874
32,188
c number of visible variables = 87552
c number of hidden variables = 0
c number of propositional variables = 87552
c number of clauses / number of variables = 127.920
32,7899
c number of visible variables = 88320
c number of hidden variables = 0
c number of propositional variables = 88320
c number of clauses / number of variables = 128.959
32,9
c number of visible variables = 86016
c number of hidden variables = 0
c number of propositional variables = 86016
c number of clauses / number of variables = 133.448
32,774
c number of visible variables = 90624
c number of hidden variables = 0
c number of propositional variables = 90624
c number of clauses / number of variables = 143.610
40,3455
c number of visible variables = 114240
c number of hidden variables = 0
c number of propositional variables = 114240
c number of clauses / number of variables = 165.694
40,12
c number of visible variables = 110400
c number of hidden variables = 0
c number of propositional variables = 110400
c number of clauses / number of variables = 155.663
40,45
c number of visible variables = 105600
c number of hidden variables = 0
c number of propositional variables = 105600
c number of clauses / number of variables = 157.986
40,78
c number of visible variables = 111360
c number of hidden variables = 0
c number of propositional variables = 111360
c number of clauses / number of variables = 158.580
40,8546
c number of visible variables = 110400
c number of hidden variables = 0
c number of propositional variables = 110400
c number of clauses / number of variables = 151.180
40,474
c number of visible variables = 114240
c number of hidden variables = 0
c number of propositional variables = 114240
c number of clauses / number of variables = 161.476
40,188
c number of visible variables = 109440
c number of hidden variables = 0
c number of propositional variables = 109440
c number of clauses / number of variables = 146.088
40,7899
c number of visible variables = 110400
c number of hidden variables = 0
c number of propositional variables = 110400
c number of clauses / number of variables = 144.219
40,9
c number of visible variables = 107520
c number of hidden variables = 0
c number of propositional variables = 107520
c number of clauses / number of variables = 146.014
40,774
c number of visible variables = 113280
c number of hidden variables = 0
c number of propositional variables = 113280
c number of clauses / number of variables = 163.556
48,3455
c number of visible variables = 137088
c number of hidden variables = 0
c number of propositional variables = 137088
c number of clauses / number of variables = 182.710
48,12
c number of visible variables = 132480
c number of hidden variables = 0
c number of propositional variables = 132480
c number of clauses / number of variables = 172.924
48,45
c number of visible variables = 126720
c number of hidden variables = 0
c number of propositional variables = 126720
c number of clauses / number of variables = 178.772
48,78
c number of visible variables = 133632
c number of hidden variables = 0
c number of propositional variables = 133632
c number of clauses / number of variables = 184.307
48,8546
c number of visible variables = 132480
c number of hidden variables = 0
c number of propositional variables = 132480
c number of clauses / number of variables = 175.911
48,474
c number of visible variables = 137088
c number of hidden variables = 0
c number of propositional variables = 137088
c number of clauses / number of variables = 184.347
48,188
c number of visible variables = 131328
c number of hidden variables = 0
c number of propositional variables = 131328
c number of clauses / number of variables = 159.811
48,7899
c number of visible variables = 132480
c number of hidden variables = 0
c number of propositional variables = 132480
c number of clauses / number of variables = 163.300
48,9
c number of visible variables = 129024
c number of hidden variables = 0
c number of propositional variables = 129024
c number of clauses / number of variables = 170.632
48,774
c number of visible variables = 135936
c number of hidden variables = 0
c number of propositional variables = 135936
c number of clauses / number of variables = 186.164
56,3455
c number of visible variables = 159936
c number of hidden variables = 0
c number of propositional variables = 159936
c number of clauses / number of variables = 211.462
56,12
c number of visible variables = 154560
c number of hidden variables = 0
c number of propositional variables = 154560
c number of clauses / number of variables = 194.810
56,45
c number of visible variables = 147840
c number of hidden variables = 0
c number of propositional variables = 147840
c number of clauses / number of variables = 196.835
56,78
c number of visible variables = 155904
c number of hidden variables = 0
c number of propositional variables = 155904
c number of clauses / number of variables = 195.940
56,8546
c number of visible variables = 154560
c number of hidden variables = 0
c number of propositional variables = 154560
c number of clauses / number of variables = 195.621
56,474
c number of visible variables = 159936
c number of hidden variables = 0
c number of propositional variables = 159936
c number of clauses / number of variables = 207.176
56,188
c number of visible variables = 153216
c number of hidden variables = 0
c number of propositional variables = 153216
c number of clauses / number of variables = 177.323
56,7899
c number of visible variables = 154560
c number of hidden variables = 0
c number of propositional variables = 154560
c number of clauses / number of variables = 178.010
56,9
c number of visible variables = 150528
c number of hidden variables = 0
c number of propositional variables = 150528
c number of clauses / number of variables = 192.638
56,774
c number of visible variables = 158592
c number of hidden variables = 0
c number of propositional variables = 158592
c number of clauses / number of variables = 204.273
64,3455
c number of visible variables = 182784
c number of hidden variables = 0
c number of propositional variables = 182784
c number of clauses / number of variables = 233.474
64,12
c number of visible variables = 176640
c number of hidden variables = 0
c number of propositional variables = 176640
c number of clauses / number of variables = 220.696
64,45
c number of visible variables = 168960
c number of hidden variables = 0
c number of propositional variables = 168960
c number of clauses / number of variables = 221.348
64,78
c number of visible variables = 178176
c number of hidden variables = 0
c number of propositional variables = 178176
c number of clauses / number of variables = 219.029
64,8546
c number of visible variables = 176640
c number of hidden variables = 0
c number of propositional variables = 176640
c number of clauses / number of variables = 207.250
64,474
c number of visible variables = 182784
c number of hidden variables = 0
c number of propositional variables = 182784
c number of clauses / number of variables = 229.016
64,188
c number of visible variables = 175104
c number of hidden variables = 0
c number of propositional variables = 175104
c number of clauses / number of variables = 195.800
64,7899
c number of visible variables = 176640
c number of hidden variables = 0
c number of propositional variables = 176640
c number of clauses / number of variables = 207.947
64,9
c number of visible variables = 172032
c number of hidden variables = 0
c number of propositional variables = 172032
c number of clauses / number of variables = 207.876
64,774
c number of visible variables = 181248
c number of hidden variables = 0
c number of propositional variables = 181248
c number of clauses / number of variables = 222.270
72,3455
c number of visible variables = 205632
c number of hidden variables = 0
c number of propositional variables = 205632
c number of clauses / number of variables = 254.430
72,12
72,45
72,78
72,8546
72,474
72,188
72,7899
72,9
72,774
grid size  = 12
max robots = 72
8,3455
c number of clauses = 1877070
c number of clauses / number of variables = 82.155
c number of literals / number of clauses = 2.253
8,12
c number of clauses = 1709536
c number of clauses / number of variables = 77.425
c number of literals / number of clauses = 2.228
8,45
c number of clauses = 1630078
c number of clauses / number of variables = 77.182
c number of literals / number of clauses = 2.262
8,78
c number of clauses = 1700450
c number of clauses / number of variables = 76.349
c number of literals / number of clauses = 2.208
8,8546
c number of clauses = 1705043
c number of clauses / number of variables = 77.221
c number of literals / number of clauses = 2.226
8,474
c number of clauses = 1889467
c number of clauses / number of variables = 82.697
c number of literals / number of clauses = 2.258
8,188
c number of clauses = 1588995
c number of clauses / number of variables = 72.597
c number of literals / number of clauses = 2.177
8,7899
c number of clauses = 1666319
c number of clauses / number of variables = 75.467
c number of literals / number of clauses = 2.205
8,9
c number of clauses = 1622540
c number of clauses / number of variables = 75.453
c number of literals / number of clauses = 2.227
8,774
c number of clauses = 1831095
c number of clauses / number of variables = 80.822
c number of literals / number of clauses = 2.245
16,3455
c number of clauses = 4675100
c number of clauses / number of variables = 102.309
c number of literals / number of clauses = 2.359
16,12
c number of clauses = 4267673
c number of clauses / number of variables = 96.641
c number of literals / number of clauses = 2.340
16,45
c number of clauses = 3962023
c number of clauses / number of variables = 93.798
c number of literals / number of clauses = 2.347
16,78
c number of clauses = 4357139
c number of clauses / number of variables = 97.817
c number of literals / number of clauses = 2.343
16,8546
c number of clauses = 4339421
c number of clauses / number of variables = 98.266
c number of literals / number of clauses = 2.352
16,474
c number of clauses = 4621950
c number of clauses / number of variables = 101.146
c number of literals / number of clauses = 2.351
16,188
c number of clauses = 3975599
c number of clauses / number of variables = 90.817
c number of literals / number of clauses = 2.300
16,7899
c number of clauses = 4125205
c number of clauses / number of variables = 93.415
c number of literals / number of clauses = 2.315
16,9
c number of clauses = 4249653
c number of clauses / number of variables = 98.811
c number of literals / number of clauses = 2.372
16,774
c number of clauses = 4527614
c number of clauses / number of variables = 99.921
c number of literals / number of clauses = 2.348
24,3455
c number of clauses = 8542873
c number of clauses / number of variables = 124.633
c number of literals / number of clauses = 2.442
24,12
c number of clauses = 7832449
c number of clauses / number of variables = 118.243
c number of literals / number of clauses = 2.428
24,45
c number of clauses = 7337922
c number of clauses / number of variables = 115.813
c number of literals / number of clauses = 2.437
24,78
c number of clauses = 7920240
c number of clauses / number of variables = 118.538
c number of literals / number of clauses = 2.425
24,8546
c number of clauses = 7698613
c number of clauses / number of variables = 116.223
c number of literals / number of clauses = 2.417
24,474
c number of clauses = 8350622
c number of clauses / number of variables = 121.829
c number of literals / number of clauses = 2.429
24,188
c number of clauses = 7305205
c number of clauses / number of variables = 111.251
c number of literals / number of clauses = 2.394
24,7899
c number of clauses = 7503346
c number of clauses / number of variables = 113.275
c number of literals / number of clauses = 2.401
24,9
c number of clauses = 7358959
c number of clauses / number of variables = 114.071
c number of literals / number of clauses = 2.419
24,774
c number of clauses = 8056989
c number of clauses / number of variables = 118.541
c number of literals / number of clauses = 2.416
32,3455
c number of clauses = 13303226
c number of clauses / number of variables = 145.562
c number of literals / number of clauses = 2.495
32,12
c number of clauses = 11811596
c number of clauses / number of variables = 133.736
c number of literals / number of clauses = 2.463
32,45
c number of clauses = 11256774
c number of clauses / number of variables = 133.248
c number of literals / number of clauses = 2.480
32,78
c number of clauses = 12692636
c number of clauses / number of variables = 142.473
c number of literals / number of clauses = 2.494
32,8546
c number of clauses = 11919626
c number of clauses / number of variables = 134.960
c number of literals / number of clauses = 2.468
32,474
c number of clauses = 13148914
c number of clauses / number of variables = 143.874
c number of literals / number of clauses = 2.489
32,188
c number of clauses = 11199642
c number of clauses / number of variables = 127.920
c number of literals / number of clauses = 2.441
32,7899
c number of clauses = 11389670
c number of clauses / number of variables = 128.959
c number of literals / number of clauses = 2.442
32,9
c number of clauses = 11478667
c number of clauses / number of variables = 133.448
c number of literals / number of clauses = 2.473
32,774
c number of clauses = 13014535
c number of clauses / number of variables = 143.610
c number of literals / number of clauses = 2.491
40,3455
c number of clauses = 18928914
c number of clauses / number of variables = 165.694
c number of literals / number of clauses = 2.532
40,12
c number of clauses = 17185168
c number of clauses / number of variables = 155.663
c number of literals / number of clauses = 2.513
40,45
c number of clauses = 16683313
c number of clauses / number of variables = 157.986
c number of literals / number of clauses = 2.537
40,78
c number of clauses = 17659515
c number of clauses / number of variables = 158.580
c number of literals / number of clauses = 2.520
40,8546
c number of clauses = 16690259
c number of clauses / number of variables = 151.180
c number of literals / number of clauses = 2.498
40,474
c number of clauses = 18447052
c number of clauses / number of variables = 161.476
c number of literals / number of clauses = 2.519
40,188
c number of clauses = 15987879
c number of clauses / number of variables = 146.088
c number of literals / number of clauses = 2.483
40,7899
c number of clauses = 15921770
c number of clauses / number of variables = 144.219
c number of literals / number of clauses = 2.473
40,9
c number of clauses = 15699443
c number of clauses / number of variables = 146.014
c number of literals / number of clauses = 2.490
40,774
c number of clauses = 18527646
c number of clauses / number of variables = 163.556
c number of literals / number of clauses = 2.529
48,3455
c number of clauses = 25047400
c number of clauses / number of variables = 182.710
c number of literals / number of clauses = 2.553
48,12
c number of clauses = 22909010
c number of clauses / number of variables = 172.924
c number of literals / number of clauses = 2.539
48,45
c number of clauses = 22653970
c number of clauses / number of variables = 178.772
c number of literals / number of clauses = 2.569
48,78
c number of clauses = 24629287
c number of clauses / number of variables = 184.307
c number of literals / number of clauses = 2.566
48,8546
c number of clauses = 23304653
c number of clauses / number of variables = 175.911
c number of literals / number of clauses = 2.547
48,474
c number of clauses = 25271750
c number of clauses / number of variables = 184.347
c number of literals / number of clauses = 2.557
48,188
c number of clauses = 20987669
c number of clauses / number of variables = 159.811
c number of literals / number of clauses = 2.502
48,7899
c number of clauses = 21633942
c number of clauses / number of variables = 163.300
c number of literals / number of clauses = 2.510
48,9
c number of clauses = 22015654
c number of clauses / number of variables = 170.632
c number of literals / number of clauses = 2.541
48,774
c number of clauses = 25306449
c number of clauses / number of variables = 186.164
c number of literals / number of clauses = 2.565
56,3455
c number of clauses = 33820426
c number of clauses / number of variables = 211.462
c number of literals / number of clauses = 2.596
56,12
c number of clauses = 30109894
c number of clauses / number of variables = 194.810
c number of literals / number of clauses = 2.570
56,45
c number of clauses = 29100092
c number of clauses / number of variables = 196.835
c number of literals / number of clauses = 2.588
56,78
c number of clauses = 30547769
c number of clauses / number of variables = 195.940
c number of literals / number of clauses = 2.570
56,8546
c number of clauses = 30235112
c number of clauses / number of variables = 195.621
c number of literals / number of clauses = 2.572
56,474
c number of clauses = 33134947
c number of clauses / number of variables = 207.176
c number of literals / number of clauses = 2.587
56,188
c number of clauses = 27168755
c number of clauses / number of variables = 177.323
c number of literals / number of clauses = 2.529
56,7899
c number of clauses = 27513285
c number of clauses / number of variables = 178.010
c number of literals / number of clauses = 2.528
56,9
c number of clauses = 28997361
c number of clauses / number of variables = 192.638
c number of literals / number of clauses = 2.573
56,774
c number of clauses = 32396082
c number of clauses / number of variables = 204.273
c number of literals / number of clauses = 2.583
64,3455
c number of clauses = 42675287
c number of clauses / number of variables = 233.474
c number of literals / number of clauses = 2.617
64,12
c number of clauses = 38983800
c number of clauses / number of variables = 220.696
c number of literals / number of clauses = 2.603
64,45
c number of clauses = 37399006
c number of clauses / number of variables = 221.348
c number of literals / number of clauses = 2.616
64,78
c number of clauses = 39025731
c number of clauses / number of variables = 219.029
c number of literals / number of clauses = 2.597
64,8546
c number of clauses = 36608691
c number of clauses / number of variables = 207.250
c number of literals / number of clauses = 2.576
64,474
c number of clauses = 41860461
c number of clauses / number of variables = 229.016
c number of literals / number of clauses = 2.609
64,188
c number of clauses = 34285318
c number of clauses / number of variables = 195.800
c number of literals / number of clauses = 2.553
64,7899
c number of clauses = 36731724
c number of clauses / number of variables = 207.947
c number of literals / number of clauses = 2.578
64,9
c number of clauses = 35761256
c number of clauses / number of variables = 207.876
c number of literals / number of clauses = 2.585
64,774
c number of clauses = 40285963
c number of clauses / number of variables = 222.270
c number of literals / number of clauses = 2.599
72,3455
c number of clauses = 52318908
c number of clauses / number of variables = 254.430
c number of literals / number of clauses = 2.633
72,12
72,45
72,78
72,8546
72,474
72,188
72,7899
72,9
72,774