-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsaout.csv
We can make this file beautiful and searchable if this error is corrected: It looks like row 2 should actually have 1 column, instead of 7 in line 1.
3502 lines (3502 loc) · 321 KB
/
saout.csv
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(base) [01;32mirowe_bbn_gmail_com@instance-1[00m:[01;34m~/satprograms[00m$ python run.py test/
test/uf20-0162.cnf, 20, 91, SATISFIABLE, 91, 194, 0.042241573333740234
test/uf20-0160.cnf, 20, 91, SATISFIABLE, 91, 879, 0.2452070713043213
test/100.420.143200046.cnf, 100, 420, SATISFIABLE, 420, 2143, 2.6386704444885254
test/uf50-010.cnf, 50, 218, SATISFIABLE, 218, 1328, 0.8176877498626709
test/uuf50-03.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.54612064361572
test/uf20-0161.cnf, 20, 91, SATISFIABLE, 91, 240, 0.05630230903625488
test/uf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.678996324539185
test/uuf50-09.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.91029763221741
test/uuf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.20635628700256
test/uuf75-06.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.77790451049805
test/100.430.165418000.cnf, 100, 430, SATISFIABLE, 430, 2728, 3.487063407897949
test/100.460.90785379.cnf, 100, 460, SATISFIABLE, 460, 38284, 54.73182201385498
test/100.410.1167671470.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.862234354019165
test/100.440.740896193.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.67978930473328
test/100.440.810950830.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.35091948509216
test/100.440.1369153400.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.57829809188843
test/100.430.169712775.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 65.89618754386902
test/100.450.562677102.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.62665009498596
test/100.450.975684953.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.92968130111694
test/100.450.317312702.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 71.05251860618591
test/100.420.1018887015.cnf, 100, 420, SATISFIABLE, 420, 2887, 3.539247751235962
test/100.460.80870092.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.38702940940857
test/100.460.1034670663.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.76555395126343
test/uf20-0156.cnf, 20, 91, SATISFIABLE, 91, 480, 0.12375092506408691
test/100.410.1198757303.cnf, 100, 410, SATISFIABLE, 410, 4930, 6.000351905822754
test/100.460.852152153.cnf, 100, 460, SATISFIABLE, 460, 10491, 14.752479553222656
test/100.420.529185557.cnf, 100, 420, SATISFIABLE, 420, 16713, 21.086881637573242
test/100.410.748497649.cnf, 100, 410, SATISFIABLE, 410, 3855, 4.672217845916748
test/100.410.865550131.cnf, 100, 410, SATISFIABLE, 410, 19849, 24.875192165374756
test/100.410.493366755.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.664822578430176
test/100.410.1343419672.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 63.2242386341095
test/100.410.699718290.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.27642560005188
test/uf75-09.cnf, 75, 325, SATISFIABLE, 325, 1569, 1.4268019199371338
test/100.420.604335459.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.93905758857727
test/uuf50-010.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.31957769393921
test/100.430.955921359.cnf, 100, 430, SATISFIABLE, 430, 812, 0.939089298248291
test/100.440.1176126774.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 67.60929870605469
test/100.440.1172890912.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.65864419937134
test/100.420.1004370250.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 63.96199178695679
test/100.420.254227893.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.63143491744995
test/100.410.249209365.cnf, 100, 410, SATISFIABLE, 410, 4476, 5.488360643386841
test/100.410.703539617.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.64237594604492
test/100.440.511157684.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 68.73353624343872
test/100.450.1268267724.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.95914053916931
test/100.450.27782894.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.6953763961792
test/uf75-010.cnf, 75, 325, SATISFIABLE, 325, 4082, 3.8795182704925537
test/100.460.673819371.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.36239671707153
test/100.460.1120465449.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.68914198875427
test/100.420.236603380.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.99386715888977
test/100.430.297670159.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.64579725265503
test/uf20-0165.cnf, 20, 91, SATISFIABLE, 91, 216, 0.054712533950805664
test/100.430.1362651598.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.70391464233398
test/100.430.1230680788.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.91971945762634
test/100.460.531137970.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.73013877868652
test/uuf75-02.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.424821615219116
test/100.460.1248014670.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 73.0569109916687
test/100.420.554788831.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.38766431808472
test/uuf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.51322054862976
test/100.430.548412766.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 67.69503402709961
test/100.420.77495801.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.0719907283783
test/100.430.635040118.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.77883386611938
test/100.450.234222082.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.0155758857727
test/100.460.492020851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.91685390472412
test/uuf75-09.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.18925428390503
test/100.450.232061476.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.70663046836853
test/100.450.181773497.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.82305431365967
test/100.450.379182505.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.11430168151855
test/100.430.676259029.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.13685059547424
test/100.410.1325082094.cnf, 100, 410, SATISFIABLE, 410, 4191, 5.0533223152160645
test/100.430.1311725926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.0909960269928
test/100.430.1295553926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.88297867774963
test/100.410.18944532.cnf, 100, 410, SATISFIABLE, 410, 9108, 11.234969139099121
test/uuf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.97254037857056
test/100.460.1107530692.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.31165409088135
test/100.450.646151308.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.64709329605103
test/100.420.1137516528.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.61027884483337
test/100.440.365145208.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 67.55579495429993
test/uuf50-04.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.386913776397705
test/100.430.671555998.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 68.01555275917053
test/100.440.399054951.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.31002068519592
test/100.460.472121275.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.44666934013367
test/100.430.294942140.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.45881700515747
test/100.410.17065549.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.33526015281677
test/100.410.417933666.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 63.26007032394409
test/100.420.250339992.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.89636135101318
test/100.440.789166541.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 69.50731325149536
test/100.450.1207763422.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.41439199447632
test/100.430.1144243042.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.84734749794006
test/100.430.430833627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 65.62376475334167
test/100.460.597351851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.19275093078613
test/100.410.1297652889.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.04363203048706
test/100.440.811207404.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.31098055839539
test/100.450.993732303.cnf, 100, 450, SATISFIABLE, 450, 12537, 17.01644206047058
test/100.410.1356802637.cnf, 100, 410, SATISFIABLE, 410, 8047, 9.948293685913086
test/uf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.92024540901184
test/uf75-01.cnf, 75, 325, SATISFIABLE, 325, 7453, 7.47701358795166
test/100.460.85539484.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.64585566520691
test/100.410.1352161695.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.5514395236969
test/100.460.1229087645.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.59581756591797
test/100.450.19073624.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.9724371433258
test/100.460.655149865.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.90855669975281
test/100.430.412627036.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.82421040534973
test/100.450.648893346.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.7855155467987
test/100.420.518689011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.73918318748474
test/100.460.543285046.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.6549620628357
test/100.420.727977011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.5343656539917
test/100.430.855454777.cnf, 100, 430, SATISFIABLE, 430, 5627, 7.124661922454834
test/100.460.1339750937.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.22340178489685
test/100.420.760693063.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.42600536346436
test/100.440.718644139.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 70.3297688961029
test/100.440.911795405.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.28691840171814
test/uf75-07.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.54119825363159
test/100.450.958149348.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.79909896850586
test/100.430.911209613.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.27096772193909
test/100.440.1083045173.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.99226021766663
test/100.430.1190092751.cnf, 100, 430, SATISFIABLE, 430, 9542, 12.440224170684814
test/100.430.1291431781.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 68.09621834754944
test/uf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 215, 50000, 33.56632709503174
test/100.410.714373159.cnf, 100, 410, SATISFIABLE, 410, 3042, 3.731302261352539
test/100.450.832057164.cnf, 100, 450, SATISFIABLE, 450, 7298, 9.853290319442749
test/100.450.465510147.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.84100198745728
test/uuf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.15944981575012
test/100.450.244924402.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.90444421768188
test/100.420.103750882.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.7235004901886
test/100.410.951635834.cnf, 100, 410, SATISFIABLE, 410, 4495, 5.315505504608154
test/100.420.608137651.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.27209281921387
test/100.410.1203798210.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.627445697784424
test/uuf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 34.12824630737305
test/100.460.387910811.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.11487293243408
test/100.410.1296325318.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.94506311416626
test/uuf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.538713455200195
test/100.440.1157971829.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.40051937103271
test/100.420.212275068.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.43798685073853
test/100.430.345819663.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.71816802024841
test/100.450.1101475794.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.26412582397461
test/100.410.1059004828.cnf, 100, 410, SATISFIABLE, 410, 19125, 23.943729400634766
test/100.440.307365877.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.67260837554932
test/uf20-0164.cnf, 20, 91, SATISFIABLE, 91, 26, 0.0069658756256103516
test/100.460.991891494.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 73.02114534378052
test/100.460.133427116.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.25386571884155
test/100.440.323252473.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.58518195152283
test/100.410.947230899.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.37614369392395
test/100.430.11841216.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.34487533569336
test/100.410.447004890.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.570425033569336
test/100.410.699744512.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.16456604003906
test/100.420.143119294.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.72394251823425
test/100.410.593203825.cnf, 100, 410, SATISFIABLE, 410, 8005, 9.797999620437622
test/100.440.319437359.cnf, 100, 440, SATISFIABLE, 440, 4625, 6.053568363189697
test/100.460.962406099.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.40522456169128
test/100.420.18433043.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.89137554168701
test/100.440.788131367.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.69016289710999
test/100.430.975412199.cnf, 100, 430, SATISFIABLE, 430, 4825, 6.302454233169556
test/uf50-07.cnf, 50, 218, SATISFIABLE, 218, 1278, 0.7944631576538086
test/100.440.803893564.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.52822089195251
test/100.420.1338323141.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.80515551567078
test/100.430.818546406.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.96878671646118
test/100.430.873008634.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.75772476196289
test/uf20-0158.cnf, 20, 91, SATISFIABLE, 91, 129, 0.03270554542541504
test/uuf75-07.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.7213077545166
test/100.460.798117943.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.15591645240784
test/100.430.283929550.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.98961138725281
test/100.430.1264799022.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 68.61511445045471
test/100.420.1027789284.cnf, 100, 420, SATISFIABLE, 420, 7501, 9.485989332199097
test/100.440.263082781.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.82038450241089
test/uuf75-03.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 51.05037307739258
test/100.420.783505917.cnf, 100, 420, SATISFIABLE, 420, 3110, 3.8755362033843994
test/100.430.402460209.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.93420648574829
test/100.410.455731701.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.48011827468872
test/100.460.1072412257.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.68333315849304
test/uuf50-05.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.815512895584106
test/100.420.94472846.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.13429832458496
test/uf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.55448794364929
test/100.420.520571188.cnf, 100, 420, SATISFIABLE, 420, 29223, 37.7090528011322
test/100.420.350899733.cnf, 100, 420, SATISFIABLE, 420, 2558, 3.1603009700775146
test/100.410.387305577.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 64.11293029785156
test/100.450.159110324.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.60546469688416
test/uf50-03.cnf, 50, 218, SATISFIABLE, 218, 2727, 1.727271556854248
test/100.440.223352132.cnf, 100, 440, SATISFIABLE, 440, 14297, 19.335546493530273
test/100.460.377328835.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.59758639335632
test/100.430.189575513.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 68.02734088897705
test/100.460.1190504159.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.74879169464111
test/100.450.1007582229.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 68.92033052444458
test/100.450.1241741466.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.25348806381226
test/100.410.341202973.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.41403985023499
test/100.420.264006863.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.31887316703796
test/100.460.494726053.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 70.81707215309143
test/100.450.919378425.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.2645194530487
test/100.410.885938738.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.46293115615845
test/100.450.632072978.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.72878503799438
test/uf50-04.cnf, 50, 218, SATISFIABLE, 218, 4731, 3.1454248428344727
test/100.450.596395829.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 444, 50000, 71.5865433216095
test/100.450.661818827.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 71.23025250434875
test/100.440.696662980.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.94182419776917
test/100.420.655542588.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 67.39728808403015
test/100.410.430142855.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 64.12287926673889
test/100.420.105354414.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.21154999732971
test/100.460.353869069.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 72.47584795951843
test/100.460.1142210744.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 73.06504797935486
test/100.430.138787627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 65.93121480941772
test/100.430.250643689.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.96229124069214
test/100.410.309690489.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.17724967002869
test/100.430.883642754.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.81431722640991
test/100.410.59012100.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.616626501083374
test/100.430.1198532553.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 67.51815533638
test/100.420.1244568963.cnf, 100, 420, SATISFIABLE, 420, 12966, 16.777962684631348
test/100.460.361726079.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.06702899932861
test/100.440.767998326.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.84455299377441
test/100.450.771499479.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 71.18194222450256
test/100.460.921850402.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.74672508239746
test/100.460.1058594877.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.58624768257141
test/100.450.1128886329.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.38413619995117
test/100.450.1208596361.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.78336930274963
test/100.450.268823949.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.4269585609436
test/100.410.956835828.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 62.98687744140625
test/uuf75-01.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 50.015949726104736
test/100.410.1039232932.cnf, 100, 410, SATISFIABLE, 410, 8104, 9.990933656692505
test/100.460.745058687.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 69.2770607471466
test/100.420.513314709.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.0388855934143
test/100.420.779746526.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 63.5860390663147
test/uf20-0157.cnf, 20, 91, SATISFIABLE, 91, 253, 0.06278371810913086
test/100.460.943901411.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.5788848400116
test/100.460.1092352123.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.14529991149902
test/100.420.508764440.cnf, 100, 420, SATISFIABLE, 420, 29262, 37.733583211898804
test/100.460.817401592.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 454, 50000, 72.63133597373962
test/100.450.299813349.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.83051919937134
test/100.440.547408509.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.58981108665466
test/uuf75-010.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 51.47163486480713
test/100.430.312952587.cnf, 100, 430, SATISFIABLE, 430, 30463, 40.33497858047485
test/100.410.1306390556.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.97862672805786
test/100.440.142925087.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.95541715621948
test/100.450.1192161593.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.42533087730408
test/100.430.98717088.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 64.31398177146912
test/100.450.617676236.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.1016047000885
test/100.410.456412111.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.837008237838745
test/100.430.618397536.cnf, 100, 430, SATISFIABLE, 430, 12007, 15.524073362350464
test/100.420.720084340.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.87339806556702
test/100.420.306915120.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.06443643569946
test/100.410.965077260.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.96386933326721
test/100.440.309266109.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.54983973503113
test/100.430.1109013847.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.15749430656433
test/100.430.1332119530.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.135910987854
test/100.450.129152699.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.52094340324402
test/100.440.1341570152.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 70.07804083824158
test/100.420.517278458.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.13750433921814
test/100.450.680081709.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.54453349113464
test/100.450.913828363.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.36052823066711
test/100.420.6076625.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.81877827644348
test/100.440.1306976744.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 435, 50000, 68.69396591186523
test/100.440.322562276.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.84835958480835
test/100.440.1058678104.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.70384645462036
test/100.460.1365123519.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 73.0273334980011
test/100.440.313322538.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 66.77003073692322
test/100.420.648503742.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.29282331466675
test/100.410.195152248.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.21630597114563
test/100.440.1114956439.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 66.96647930145264
test/100.440.281513920.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.52065706253052
test/uf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.646127223968506
test/100.460.1220038146.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.65727376937866
test/100.460.1027890229.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.30249881744385
test/100.410.943139823.cnf, 100, 410, SATISFIABLE, 410, 1665, 1.9306800365447998
test/100.450.185051212.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 69.09457635879517
test/100.460.620825221.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.86919403076172
test/100.440.733279005.cnf, 100, 440, SATISFIABLE, 440, 2133, 2.71598482131958
test/100.430.424141971.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.40038418769836
test/100.460.1189894898.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.3660159111023
test/100.460.701101784.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.41722202301025
test/100.440.145777343.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.34504103660583
test/100.420.1301491304.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 416, 50000, 65.31208181381226
test/100.430.470266958.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.88193488121033
test/100.420.940484221.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.88066077232361
test/100.410.1169081110.cnf, 100, 410, SATISFIABLE, 410, 2342, 2.8130245208740234
test/uf75-02.cnf, 75, 325, SATISFIABLE, 325, 1879, 1.7493987083435059
test/100.430.1309663570.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 67.57406997680664
test/100.420.248389397.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 63.81257128715515
test/100.410.163250976.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.52696633338928
test/100.450.1267817750.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 71.36460185050964
test/100.410.536371506.cnf, 100, 410, SATISFIABLE, 410, 39170, 49.39216876029968
test/100.450.621295037.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.03013134002686
test/100.430.1145009819.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 67.9167308807373
test/100.420.1252715679.cnf, 100, 420, SATISFIABLE, 420, 4588, 5.736069202423096
test/100.430.1009492299.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 67.94858050346375
test/uf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.24829173088074
test/100.440.822619456.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.83962750434875
test/uf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.066601514816284
test/100.420.631989035.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.72512865066528
test/100.410.241891775.cnf, 100, 410, SATISFIABLE, 410, 12697, 16.06905698776245
test/uf75-06.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.87741708755493
test/100.440.814030407.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 70.01700973510742
test/100.440.176071722.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 66.99221873283386
test/100.460.501195765.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.40808176994324
test/100.450.701186156.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.02248406410217
test/100.440.892511122.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 39.42300200462341
test/100.460.294886552.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 72.45178437232971
test/uuf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.595160722732544
test/100.420.78668076.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.86639738082886
test/100.450.1043369226.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 61.892754554748535
test/100.420.1182894637.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.35101008415222
test/100.450.685657939.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.60017895698547
test/100.410.264858125.cnf, 100, 410, SATISFIABLE, 410, 22128, 27.711939096450806
test/uf20-0163.cnf, 20, 91, SATISFIABLE, 91, 424, 0.10581517219543457
test/100.460.152641495.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 52.578089237213135
test/100.430.31052356.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.35392951965332
test/100.430.332966265.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.50104928016663
test/100.410.891788457.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 62.84405469894409
test/100.440.1336653464.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.08246636390686
test/uf75-03.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 24.526138305664062
test/100.430.452966654.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 37.257046699523926
test/100.450.1367308746.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.80999207496643
test/100.460.815142642.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 34.36547636985779
test/100.410.884024713.cnf, 100, 410, SATISFIABLE, 410, 9395, 5.625132083892822
test/uf20-0159.cnf, 20, 91, SATISFIABLE, 91, 890, 0.11362934112548828
test/uf50-09.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.64483380317688
test/100.450.912105512.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.58425307273865
test/100.450.473731487.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 33.93442416191101
test/uf50-05.cnf, 50, 218, SATISFIABLE, 218, 768, 0.45453310012817383
test/100.420.259141876.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.96899104118347
test/100.420.462406586.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 31.325006008148193
test/100.440.367330071.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.563591957092285
test/100.450.292993877.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.97202658653259
test/100.430.1026925615.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 31.883893251419067
test/100.440.640374730.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 435, 50000, 68.15859317779541
test/100.450.64481687.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 47.17767834663391
test/100.410.1010795163.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 63.9996223449707
test/100.460.700577847.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 44.089786767959595
test/100.420.660152703.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.45443105697632
test/uuf50-07.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 16.692057132720947
test/100.420.837469646.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 31.365112781524658
test/100.460.1014883666.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 34.80205702781677
test/100.460.560748751.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 49.77824354171753
test/100.440.971561465.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 46.53880524635315
test/100.430.311192608.cnf, 100, 430, SATISFIABLE, 430, 7069, 4.425152540206909
test/100.440.1055366826.cnf, 100, 440, SATISFIABLE, 440, 2126, 1.3064913749694824
test/100.410.730428774.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 40.335609674453735
test/100.440.682901286.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 32.803282022476196
test/100.420.279259170.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 38.779144287109375
test/100.440.1373334538.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 32.76300573348999
test/100.450.988280688.cnf, 100, 450, SATISFIABLE, 450, 7625, 4.995843172073364
test/100.450.1280531473.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 33.937477350234985
test/100.430.1272843192.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 32.18233513832092
test/100.410.1300691559.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 30.563162088394165
test/100.430.891876911.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 32.00961494445801
test/100.410.1162274926.cnf, 100, 410, SATISFIABLE, 410, 2111, 1.1949002742767334
test/100.420.918981202.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 31.151813983917236
test/100.450.755865893.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 33.5800404548645
test/100.460.152995728.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 34.39908814430237
test/100.460.1035710439.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 34.417011976242065
test/100.440.1218687394.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 32.69269514083862
test/100.440.295658976.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 32.98081064224243
test/100.440.279437772.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 33.39662504196167
test/100.440.276826985.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.00847554206848
test/uf20-0162.cnf, 20, 91, SATISFIABLE, 91, 324, 0.08049941062927246
test/uf20-0160.cnf, 20, 91, CANNOT SATISFY IN MAX FLIPS, 90, 50000, 15.185436010360718
test/100.420.143200046.cnf, 100, 420, SATISFIABLE, 420, 15514, 19.57828426361084
test/uf50-010.cnf, 50, 218, SATISFIABLE, 218, 1138, 0.711158037185669
test/uuf50-09.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.868212938308716
test/uf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.040441036224365
test/uuf50-03.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.34176325798035
test/uf20-0161.cnf, 20, 91, SATISFIABLE, 91, 651, 0.16667485237121582
test/uuf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.739232301712036
test/uuf75-06.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 50.318480014801025
test/100.420.604335459.cnf, 100, 420, SATISFIABLE, 420, 2248, 2.7493999004364014
test/100.430.165418000.cnf, 100, 430, SATISFIABLE, 430, 7605, 9.982252359390259
test/100.410.1167671470.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.41548299789429
test/100.440.1369153400.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.78133296966553
test/100.440.740896193.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.82869720458984
test/100.450.975684953.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 68.96640086174011
test/100.420.529185557.cnf, 100, 420, SATISFIABLE, 420, 4285, 5.387783050537109
test/100.440.810950830.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 70.20768427848816
test/100.450.317312702.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.73026037216187
test/100.410.865550131.cnf, 100, 410, SATISFIABLE, 410, 1800, 2.112886905670166
test/100.450.562677102.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 71.31134343147278
test/100.460.1034670663.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.51015758514404
test/100.460.80870092.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.6784873008728
test/100.420.1018887015.cnf, 100, 420, SATISFIABLE, 420, 3165, 3.951162815093994
test/uf20-0156.cnf, 20, 91, SATISFIABLE, 91, 1025, 0.27423572540283203
test/100.460.90785379.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.77387261390686
test/100.410.1198757303.cnf, 100, 410, SATISFIABLE, 410, 1459, 1.7124364376068115
test/100.430.169712775.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.09510374069214
test/100.410.1343419672.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.03797793388367
test/100.410.699718290.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.64879035949707
test/100.410.493366755.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.78559160232544
test/100.430.297670159.cnf, 100, 430, SATISFIABLE, 430, 3288, 4.212628364562988
test/uf20-0165.cnf, 20, 91, SATISFIABLE, 91, 452, 0.10848140716552734
test/100.430.1230680788.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.83179092407227
test/uuf50-010.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 32.43000364303589
test/100.430.955921359.cnf, 100, 430, SATISFIABLE, 430, 1223, 1.4412639141082764
test/100.440.1176126774.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.73099255561829
test/100.420.236603380.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.60609292984009
test/100.420.1004370250.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.94852137565613
test/100.420.254227893.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.66802334785461
test/100.410.703539617.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.706714391708374
test/100.460.852152153.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 71.57768487930298
test/100.440.511157684.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.87665319442749
test/100.450.1268267724.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.59232449531555
test/100.440.1172890912.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.78636384010315
test/100.450.27782894.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.79103589057922
test/uf75-010.cnf, 75, 325, SATISFIABLE, 325, 4972, 4.860604524612427
test/100.460.673819371.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.65157628059387
test/uf75-09.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.080623626708984
test/100.420.554788831.cnf, 100, 420, SATISFIABLE, 420, 18843, 24.068583488464355
test/100.430.1362651598.cnf, 100, 430, SATISFIABLE, 430, 5260, 6.76688289642334
test/100.410.748497649.cnf, 100, 410, SATISFIABLE, 410, 19939, 24.97507119178772
test/100.460.531137970.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.57540011405945
test/100.430.676259029.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.90746903419495
test/100.410.249209365.cnf, 100, 410, SATISFIABLE, 410, 32312, 40.271780252456665
test/100.430.1295553926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.8887529373169
test/uuf75-02.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.30337190628052
test/uuf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 51.373419761657715
test/100.460.1248014670.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.90948009490967
test/100.430.548412766.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.50513243675232
test/100.450.379182505.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 69.20237851142883
test/100.420.77495801.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.59851098060608
test/100.430.635040118.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.67587065696716
test/100.450.232061476.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.61278462409973
test/100.460.492020851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.5290298461914
test/100.420.1137516528.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.28511953353882
test/100.430.1311725926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.11492276191711
test/100.410.1297652889.cnf, 100, 410, SATISFIABLE, 410, 7451, 9.221032857894897
test/100.420.250339992.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 63.94100522994995
test/100.460.1120465449.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 70.4159324169159
test/uuf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 34.102890729904175
test/100.460.1107530692.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.17231702804565
test/uuf75-09.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 49.08313322067261
test/100.410.18944532.cnf, 100, 410, SATISFIABLE, 410, 2790, 3.3296804428100586
test/100.450.234222082.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.53951716423035
test/100.430.1144243042.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.13034725189209
test/100.440.365145208.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.42052841186523
test/100.450.646151308.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.4937047958374
test/100.410.17065549.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.34908437728882
test/100.430.671555998.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 66.85416173934937
test/100.410.1325082094.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.75573968887329
test/100.460.472121275.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.5975079536438
test/uuf50-04.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.79169845581055
test/100.430.294942140.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.32150793075562
test/100.450.1207763422.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 68.97391366958618
test/100.440.718644139.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.22608685493469
test/100.450.181773497.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.53554391860962
test/100.460.85539484.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.26988768577576
test/100.430.430833627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.63527703285217
test/100.460.597351851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.81775832176208
test/100.440.399054951.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 69.17995023727417
test/100.410.1352161695.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.696205615997314
test/100.450.19073624.cnf, 100, 450, SATISFIABLE, 450, 3882, 5.250194072723389
test/uf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.08531355857849
test/100.430.412627036.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.30525207519531
test/100.440.811207404.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 67.95337224006653
test/100.450.648893346.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.93316555023193
test/100.410.417933666.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.62889528274536
test/100.460.1229087645.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.79576683044434
test/100.450.993732303.cnf, 100, 450, SATISFIABLE, 450, 9139, 12.432013750076294
test/100.460.543285046.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.97941756248474
test/100.460.655149865.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.15522193908691
test/100.420.518689011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 66.37316083908081
test/100.420.103750882.cnf, 100, 420, SATISFIABLE, 420, 19743, 25.471874952316284
test/uf75-07.cnf, 75, 325, SATISFIABLE, 325, 22479, 22.282838344573975
test/100.440.1157971829.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.01649045944214
test/100.430.911209613.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.2382595539093
test/100.440.789166541.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.09781122207642
test/100.420.727977011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.22973799705505
test/100.410.1356802637.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.66175198554993
test/100.450.832057164.cnf, 100, 450, SATISFIABLE, 450, 1891, 2.5244832038879395
test/100.430.1291431781.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 68.26359105110168
test/100.460.1339750937.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 70.93946480751038
test/uf75-01.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 52.379515409469604
test/100.420.760693063.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.06889057159424
test/100.450.958149348.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 71.05043530464172
test/uf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 34.173402309417725
test/100.410.1203798210.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.539217710495
test/100.430.855454777.cnf, 100, 430, SATISFIABLE, 430, 33760, 45.0981502532959
test/100.420.608137651.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.02627897262573
test/100.440.911795405.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.85064339637756
test/100.450.465510147.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.18126463890076
test/100.430.11841216.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 68.27115893363953
test/100.410.593203825.cnf, 100, 410, SATISFIABLE, 410, 2676, 3.2271728515625
test/100.420.212275068.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.0046226978302
test/100.440.788131367.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.66095280647278
test/uuf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 50.91099572181702
test/100.450.244924402.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.50496625900269
test/100.460.133427116.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.15181303024292
test/100.410.951635834.cnf, 100, 410, SATISFIABLE, 410, 5913, 7.106433391571045
test/100.410.714373159.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.47246479988098
test/100.410.1296325318.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.71239614486694
test/100.440.1083045173.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.8269305229187
test/100.450.1101475794.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 71.3047947883606
test/uuf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.74680852890015
test/100.440.307365877.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 69.997061252594
test/uf20-0164.cnf, 20, 91, SATISFIABLE, 91, 241, 0.05905747413635254
test/100.410.699744512.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.959773540496826
test/100.410.447004890.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.73347544670105
test/100.410.1059004828.cnf, 100, 410, SATISFIABLE, 410, 19613, 24.315608263015747
test/100.430.1190092751.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.4834349155426
test/100.440.323252473.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.25920176506042
test/100.460.387910811.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 73.17919301986694
test/100.440.319437359.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.9446611404419
test/uuf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.9388530254364
test/100.440.803893564.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.04848194122314
test/100.450.159110324.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.61462450027466
test/uf50-03.cnf, 50, 218, SATISFIABLE, 218, 327, 0.1938626766204834
test/100.430.283929550.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 425, 50000, 67.24883389472961
test/100.410.947230899.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 62.197023153305054
test/100.460.991891494.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.88501119613647
test/100.420.1338323141.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.44131469726562
test/100.420.18433043.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.32885217666626
test/uuf75-07.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.50962519645691
test/uuf75-03.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.736382484436035
test/uf20-0158.cnf, 20, 91, SATISFIABLE, 91, 214, 0.052204132080078125
test/100.430.402460209.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.76494288444519
test/100.460.798117943.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.64037752151489
test/100.430.873008634.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.16991686820984
test/100.460.1072412257.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.71182012557983
test/100.430.345819663.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.50733971595764
test/100.460.962406099.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.74901986122131
test/100.420.143119294.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.1808340549469
test/100.410.387305577.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.57115626335144
test/100.460.377328835.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.71295595169067
test/uuf50-05.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.23471188545227
test/100.440.263082781.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.60052490234375
test/100.450.1007582229.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.78396725654602
test/uf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.25542235374451
test/100.430.1264799022.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 68.26494216918945
test/100.420.783505917.cnf, 100, 420, SATISFIABLE, 420, 10186, 13.03668999671936
test/100.420.520571188.cnf, 100, 420, SATISFIABLE, 420, 7398, 9.331670045852661
test/100.430.975412199.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.0227587223053
test/uf50-07.cnf, 50, 218, SATISFIABLE, 218, 1866, 1.182121753692627
test/100.460.1190504159.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 70.97162199020386
test/100.420.264006863.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.54558897018433
test/100.420.1027789284.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.57990312576294
test/100.450.632072978.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.69586133956909
test/100.460.494726053.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 70.81185388565063
test/uf50-04.cnf, 50, 218, SATISFIABLE, 218, 1750, 1.1087923049926758
test/100.430.818546406.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.77288150787354
test/100.410.455731701.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.83200526237488
test/100.420.94472846.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 67.1255464553833
test/100.410.341202973.cnf, 100, 410, SATISFIABLE, 410, 9748, 12.07077932357788
test/100.420.105354414.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.83878087997437
test/100.440.696662980.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.63592553138733
test/100.410.885938738.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.37256717681885
test/100.420.350899733.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.54211664199829
test/100.450.596395829.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.15534591674805
test/100.450.919378425.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.79063081741333
test/100.440.223352132.cnf, 100, 440, SATISFIABLE, 440, 24773, 33.68640494346619
test/100.420.655542588.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.24332594871521
test/100.430.138787627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.8120493888855
test/100.460.353869069.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.58545064926147
test/100.460.1142210744.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.6010389328003
test/100.450.1241741466.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.4574203491211
test/100.430.1198532553.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.54665732383728
test/100.430.250643689.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.3977861404419
test/100.430.189575513.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.36835527420044
test/100.430.883642754.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 66.19104504585266
test/100.410.59012100.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.67419242858887
test/100.450.268823949.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.78531217575073
test/100.460.921850402.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.64646339416504
test/100.450.661818827.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.82251071929932
test/100.450.771499479.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.17829513549805
test/100.410.309690489.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.92352914810181
test/100.410.430142855.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 406, 50000, 63.12478709220886
test/100.450.1208596361.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.95139241218567
test/100.410.956835828.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.94708442687988
test/100.430.98717088.cnf, 100, 430, SATISFIABLE, 430, 1982, 2.455777168273926
test/100.420.1244568963.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 64.31340217590332
test/100.460.745058687.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.19458508491516
test/100.420.513314709.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.60357546806335
test/100.460.361726079.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.36554956436157
test/100.440.767998326.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.59581923484802
test/100.460.817401592.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.39093065261841
test/100.460.943901411.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.19126510620117
test/uuf75-01.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.9862961769104
test/100.460.1092352123.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.33805084228516
test/100.450.1128886329.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 70.07902407646179
test/100.440.142925087.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.518390417099
test/100.420.508764440.cnf, 100, 420, SATISFIABLE, 420, 2315, 2.853116750717163
test/100.410.1306390556.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.70592188835144
test/uuf75-010.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 51.401328563690186
test/100.420.779746526.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.63037419319153
test/uf20-0157.cnf, 20, 91, SATISFIABLE, 91, 365, 0.09252548217773438
test/100.460.1058594877.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.8301911354065
test/100.420.6076625.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.377037525177
test/100.430.312952587.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.8731791973114
test/100.450.1192161593.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.78966331481934
test/100.420.720084340.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.0451226234436
test/100.430.1332119530.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.1795928478241
test/100.440.547408509.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.47062397003174
test/100.450.299813349.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 71.24602508544922
test/100.450.680081709.cnf, 100, 450, SATISFIABLE, 450, 12161, 16.757198095321655
test/100.440.309266109.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 67.6768867969513
test/100.430.1109013847.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.95355772972107
test/100.410.965077260.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.670788288116455
test/100.450.617676236.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 69.81857419013977
test/100.430.618397536.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.94758367538452
test/100.450.913828363.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 68.86027765274048
test/100.420.517278458.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.456307888031
test/100.410.1039232932.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.779948711395264
test/100.420.306915120.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.45130443572998
test/100.460.701101784.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 73.32300209999084
test/100.440.1306976744.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.29370832443237
test/100.440.313322538.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.41273236274719
test/100.440.1341570152.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.32939624786377
test/100.460.1220038146.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.16823363304138
test/100.450.129152699.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.59753561019897
test/100.430.424141971.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.75417613983154
test/100.410.195152248.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.11736989021301
test/100.420.248389397.cnf, 100, 420, SATISFIABLE, 420, 1880, 2.256988763809204
test/100.440.1114956439.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.12216854095459
test/100.440.281513920.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.44191980361938
test/100.440.1058678104.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.63824725151062
test/100.460.1365123519.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.62428665161133
test/uf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.37055420875549
test/100.410.456412111.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.63226699829102
test/100.420.648503742.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.12100100517273
test/100.460.1189894898.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 70.95694899559021
test/100.450.185051212.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.77891778945923
test/uf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.87944269180298
test/100.420.940484221.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.01389503479004
test/100.430.1145009819.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.95451951026917
test/100.460.620825221.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.97187566757202
test/100.420.631989035.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.75203776359558
test/100.460.1027890229.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.74407505989075
test/100.450.1267817750.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.56305050849915
test/100.410.163250976.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.85751247406006
test/100.420.1301491304.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 64.79442191123962
test/100.460.294886552.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 454, 50000, 71.62609243392944
test/100.430.470266958.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.44490551948547
test/100.450.621295037.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.78422379493713
test/uf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.51573848724365
test/100.440.322562276.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.7066547870636
test/100.430.1309663570.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.0602388381958
test/uf75-02.cnf, 75, 325, SATISFIABLE, 325, 7352, 7.193814039230347
test/100.440.814030407.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.17125177383423
test/100.440.822619456.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.19492387771606
test/100.420.1252715679.cnf, 100, 420, SATISFIABLE, 420, 8163, 10.502534627914429
test/100.440.176071722.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.5375030040741
test/100.440.733279005.cnf, 100, 440, SATISFIABLE, 440, 38346, 52.11101460456848
test/100.410.536371506.cnf, 100, 410, SATISFIABLE, 410, 6674, 8.17532467842102
test/100.420.1182894637.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.1222231388092
test/100.410.943139823.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.46267914772034
test/uuf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.86707520484924
test/100.450.1043369226.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.46327519416809
test/100.420.78668076.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.49375605583191
test/100.410.241891775.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 64.52433633804321
test/100.410.891788457.cnf, 100, 410, SATISFIABLE, 410, 2307, 2.7976975440979004
test/100.450.685657939.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.44283103942871
test/100.440.892511122.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 63.53897166252136
test/100.430.332966265.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.29441428184509
test/100.440.145777343.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 69.35229969024658
test/100.460.501195765.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 73.93443655967712
test/100.450.701186156.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.34493708610535
test/100.430.31052356.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.28158688545227
test/uf50-09.cnf, 50, 218, SATISFIABLE, 218, 1032, 0.3101766109466553
test/100.460.152641495.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.3511471748352
test/100.410.264858125.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.012765407562256
test/uf20-0163.cnf, 20, 91, SATISFIABLE, 91, 175, 0.0420994758605957
test/100.420.259141876.cnf, 100, 420, SATISFIABLE, 420, 20254, 26.221554279327393
test/100.440.1336653464.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.14316916465759
test/100.460.700577847.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 33.93220925331116
test/100.430.1009492299.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 64.5873384475708
test/100.450.292993877.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 68.69267296791077
test/100.450.1367308746.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.57108616828918
test/100.430.452966654.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.20065212249756
test/100.440.640374730.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 37.04431962966919
test/uf75-03.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 41.43692898750305
test/100.460.815142642.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.96580600738525
test/100.450.912105512.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 52.87111306190491
test/100.420.660152703.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.94380474090576
test/100.410.1169081110.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.900691986083984
test/100.410.1010795163.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.2814199924469
test/uf75-06.cnf, 75, 325, SATISFIABLE, 325, 1749, 1.6546857357025146
test/100.450.473731487.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 33.80381941795349
test/uf50-05.cnf, 50, 218, SATISFIABLE, 218, 1716, 0.5263035297393799
test/100.410.730428774.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 30.769559621810913
test/100.420.279259170.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 31.73101043701172
test/100.420.462406586.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 31.287649631500244
test/100.410.884024713.cnf, 100, 410, SATISFIABLE, 410, 27440, 34.915592193603516
test/uf20-0159.cnf, 20, 91, SATISFIABLE, 91, 910, 0.23903870582580566
test/100.460.560748751.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 34.8707594871521
test/100.440.1373334538.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 36.53112053871155
test/100.450.988280688.cnf, 100, 450, SATISFIABLE, 450, 4062, 2.6608171463012695
test/100.440.971561465.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 32.87464666366577
test/100.410.1300691559.cnf, 100, 410, SATISFIABLE, 410, 2102, 1.1964402198791504
test/100.430.891876911.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 32.3568229675293
test/100.420.918981202.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 31.478956937789917
test/100.450.64481687.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.28790044784546
test/100.440.367330071.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 66.21421718597412
test/100.460.1014883666.cnf, 100, 460, SATISFIABLE, 460, 2108, 1.3597595691680908
test/100.410.1162274926.cnf, 100, 410, SATISFIABLE, 410, 15654, 9.26360034942627
test/100.420.837469646.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 31.8209490776062
test/100.440.682901286.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 51.40533399581909
test/100.430.311192608.cnf, 100, 430, SATISFIABLE, 430, 42354, 27.060439109802246
test/100.440.1055366826.cnf, 100, 440, SATISFIABLE, 440, 8110, 5.214282512664795
test/100.430.1026925615.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 39.299317598342896
test/100.460.152995728.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 34.918081521987915
test/uuf50-07.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 16.196317672729492
test/100.430.1272843192.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 31.946014165878296
test/100.440.295658976.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.07017230987549
test/100.450.1280531473.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 34.052252769470215
test/100.450.755865893.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 33.32450222969055
test/100.440.1218687394.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.1373655796051
test/100.440.279437772.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 33.32307457923889
test/100.460.1035710439.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 35.25678277015686
test/100.440.276826985.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 32.80985236167908
test/uf20-0162.cnf, 20, 91, SATISFIABLE, 91, 84, 0.020179271697998047
test/uf20-0160.cnf, 20, 91, SATISFIABLE, 91, 410, 0.10433316230773926
test/100.420.143200046.cnf, 100, 420, SATISFIABLE, 420, 1175, 1.3685064315795898
test/uf50-010.cnf, 50, 218, SATISFIABLE, 218, 3000, 1.9395825862884521
test/uf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.7674036026001
test/uuf50-09.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.91688370704651
test/uuf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.412917613983154
test/uuf50-03.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.91800117492676
test/uf20-0161.cnf, 20, 91, SATISFIABLE, 91, 102, 0.026515722274780273
test/100.420.604335459.cnf, 100, 420, SATISFIABLE, 420, 3090, 3.8315913677215576
test/100.410.493366755.cnf, 100, 410, SATISFIABLE, 410, 3988, 4.770179986953735
test/uf75-09.cnf, 75, 325, SATISFIABLE, 325, 2141, 1.997349500656128
test/uuf75-06.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 51.29619836807251
test/100.410.1167671470.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.01567029953003
test/100.440.740896193.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.31999897956848
test/100.440.810950830.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.3126699924469
test/100.440.1369153400.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.43579459190369
test/100.450.975684953.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 69.94622111320496
test/100.450.562677102.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.39226126670837
test/100.430.169712775.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.12262988090515
test/100.460.90785379.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 70.57055592536926
test/100.450.317312702.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 70.72263288497925
test/100.460.80870092.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.87406754493713
test/100.460.1034670663.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.49876093864441
test/100.460.852152153.cnf, 100, 460, SATISFIABLE, 460, 5799, 8.074680089950562
test/100.410.748497649.cnf, 100, 410, SATISFIABLE, 410, 1954, 2.301635980606079
test/uf20-0156.cnf, 20, 91, CANNOT SATISFY IN MAX FLIPS, 90, 50000, 14.229694604873657
test/100.410.699718290.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 62.75064754486084
test/100.410.1343419672.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.82418084144592
test/uuf50-010.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 33.14203429222107
test/100.430.1230680788.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.10293745994568
test/100.430.1362651598.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.01421189308167
test/100.430.165418000.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.31038308143616
test/100.420.529185557.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.69493436813354
test/100.420.1018887015.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 64.02218270301819
test/100.410.865550131.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.65507173538208
test/100.410.1198757303.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.42390823364258
test/100.420.1004370250.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.53832483291626
test/100.420.254227893.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.20406913757324
test/100.440.1172890912.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 435, 50000, 67.70023107528687
test/100.450.1268267724.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.91744351387024
test/100.460.1120465449.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 454, 50000, 72.32512593269348
test/100.450.27782894.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.16687297821045
test/100.430.297670159.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.63468074798584
test/uf20-0165.cnf, 20, 91, SATISFIABLE, 91, 73, 0.018236637115478516
test/100.460.531137970.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.2319917678833
test/100.430.955921359.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.3531608581543
test/100.430.1295553926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.33904457092285
test/100.430.1311725926.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.44079613685608
test/100.440.1176126774.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.88368129730225
test/uuf75-02.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 49.972944498062134
test/100.430.676259029.cnf, 100, 430, SATISFIABLE, 430, 24524, 32.60364747047424
test/100.410.249209365.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.976181745529175
test/100.420.236603380.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.65359687805176
test/100.410.703539617.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.60721969604492
test/100.440.511157684.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 68.3187837600708
test/100.460.673819371.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.26856398582458
test/uf75-010.cnf, 75, 325, SATISFIABLE, 325, 3673, 3.5853490829467773
test/100.430.548412766.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.64737796783447
test/100.420.77495801.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.93547058105469
test/100.450.181773497.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.73343563079834
test/100.460.492020851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.78576970100403
test/100.430.635040118.cnf, 100, 430, SATISFIABLE, 430, 27091, 35.654505014419556
test/uuf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 34.05855703353882
test/uuf75-09.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 48.64354348182678
test/100.430.1144243042.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.23093342781067
test/100.410.18944532.cnf, 100, 410, SATISFIABLE, 410, 2453, 2.9224331378936768
test/100.460.1107530692.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 73.42144918441772
test/100.450.1207763422.cnf, 100, 450, SATISFIABLE, 450, 3570, 4.750800848007202
test/100.460.1248014670.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 73.41195487976074
test/100.450.646151308.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 70.56044912338257
test/100.410.1297652889.cnf, 100, 410, SATISFIABLE, 410, 4811, 5.925078392028809
test/100.420.554788831.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.72013688087463
test/uuf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 51.07208752632141
test/100.420.250339992.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.17900562286377
test/100.450.234222082.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.02490496635437
test/100.450.379182505.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.96418023109436
test/100.450.232061476.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.64995288848877
test/uuf50-04.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.61791443824768
test/100.460.472121275.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.47956013679504
test/100.410.1325082094.cnf, 100, 410, SATISFIABLE, 410, 9312, 11.6156587600708
test/100.440.789166541.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.52121376991272
test/100.430.294942140.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.60700798034668
test/100.430.671555998.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 67.91809320449829
test/100.460.597351851.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.4891254901886
test/100.420.518689011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.9843065738678
test/100.430.430833627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.75191235542297
test/100.440.811207404.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.38577079772949
test/100.420.1137516528.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.09115219116211
test/100.440.718644139.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 68.96807527542114
test/100.440.365145208.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 67.99347519874573
test/uf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.71144700050354
test/100.410.17065549.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.98970150947571
test/100.460.85539484.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.2533221244812
test/100.410.1352161695.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.22171664237976
test/100.460.543285046.cnf, 100, 460, SATISFIABLE, 460, 13747, 19.37314796447754
test/100.440.399054951.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 69.94852209091187
test/100.450.19073624.cnf, 100, 450, SATISFIABLE, 450, 1769, 2.3136043548583984
test/100.430.1291431781.cnf, 100, 430, SATISFIABLE, 430, 4853, 6.256101131439209
test/100.410.417933666.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.07981657981873
test/uf75-01.cnf, 75, 325, SATISFIABLE, 325, 7465, 7.518091440200806
test/100.430.412627036.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.76916861534119
test/100.420.103750882.cnf, 100, 420, SATISFIABLE, 420, 5580, 7.0132153034210205
test/100.460.655149865.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.69657301902771
test/100.410.1356802637.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.06311893463135
test/100.420.608137651.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.0374231338501
test/100.460.1229087645.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.3350772857666
test/100.420.727977011.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.60959005355835
test/100.420.760693063.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 416, 50000, 65.8539822101593
test/100.440.1157971829.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 70.53328466415405
test/100.460.1339750937.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.8186388015747
test/100.450.958149348.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.62432312965393
test/100.410.1203798210.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.511178731918335
test/100.430.911209613.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.2873592376709
test/100.450.648893346.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.66542363166809
test/100.410.447004890.cnf, 100, 410, SATISFIABLE, 410, 24103, 30.207436323165894
test/100.410.714373159.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.657310485839844
test/100.450.993732303.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 68.97591423988342
test/uf75-07.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 51.050323486328125
test/100.420.212275068.cnf, 100, 420, SATISFIABLE, 420, 3533, 4.427298069000244
test/100.440.1083045173.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.46444272994995
test/100.430.11841216.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 65.11185383796692
test/uf50-08.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.73570966720581
test/100.410.593203825.cnf, 100, 410, SATISFIABLE, 410, 3015, 3.5623629093170166
test/100.450.465510147.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.26781940460205
test/100.410.1296325318.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.430255651474
test/uuf75-04.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.29491138458252
test/100.430.855454777.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 68.01793050765991
test/100.450.244924402.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.34772825241089
test/100.410.951635834.cnf, 100, 410, SATISFIABLE, 410, 1981, 2.3042447566986084
test/uuf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.89694142341614
test/100.440.788131367.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.79099178314209
test/100.410.699744512.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.93272113800049
test/100.430.402460209.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.78149580955505
test/100.450.832057164.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.18953442573547
test/100.450.1101475794.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.67891359329224
test/100.440.911795405.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.41162896156311
test/100.460.991891494.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.07527375221252
test/uuf50-02.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.98405599594116
test/100.440.803893564.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.32479476928711
test/100.440.307365877.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.36094236373901
test/uf20-0164.cnf, 20, 91, SATISFIABLE, 91, 44, 0.011058568954467773
test/100.440.319437359.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.66873788833618
test/100.440.323252473.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.4612169265747
test/100.410.1059004828.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.04245090484619
test/100.410.947230899.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 61.39212441444397
test/100.460.387910811.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.82324123382568
test/100.420.143119294.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.33752751350403
test/100.450.159110324.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 69.88930916786194
test/uf50-03.cnf, 50, 218, SATISFIABLE, 218, 2507, 1.5933637619018555
test/100.460.1072412257.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.53426337242126
test/100.420.264006863.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 66.00007939338684
test/uf20-0158.cnf, 20, 91, SATISFIABLE, 91, 123, 0.02961277961730957
test/100.420.1338323141.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.78407430648804
test/100.460.133427116.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.47699427604675
test/100.430.1190092751.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 66.80312275886536
test/100.420.18433043.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.23818063735962
test/100.430.1264799022.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.91590595245361
test/100.420.520571188.cnf, 100, 420, SATISFIABLE, 420, 3134, 3.867882013320923
test/uuf75-03.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.17354488372803
test/uuf75-07.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 49.54973888397217
test/100.460.377328835.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 72.68442416191101
test/uuf50-05.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.77897071838379
test/100.460.798117943.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 71.70529413223267
test/100.430.873008634.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 68.31127381324768
test/100.440.263082781.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.40231490135193
test/100.420.1027789284.cnf, 100, 420, SATISFIABLE, 420, 6935, 8.768154859542847
test/100.410.455731701.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.91081881523132
test/uf75-05.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 324, 50000, 50.62642455101013
test/100.460.962406099.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.80629372596741
test/100.410.387305577.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 64.09320950508118
test/100.410.341202973.cnf, 100, 410, SATISFIABLE, 410, 8477, 10.533222675323486
test/100.420.783505917.cnf, 100, 420, SATISFIABLE, 420, 15968, 20.52791452407837
test/100.450.632072978.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.78462934494019
test/100.430.283929550.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 426, 50000, 67.43645215034485
test/100.430.975412199.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.68150973320007
test/100.430.345819663.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 68.56135416030884
test/100.460.494726053.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 71.39920449256897
test/100.450.596395829.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.29561114311218
test/100.460.1190504159.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.3408362865448
test/100.420.105354414.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 67.10405373573303
test/100.410.885938738.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.30368232727051
test/uf50-04.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.20303416252136
test/100.420.655542588.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.71450757980347
test/uf50-07.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 216, 50000, 34.65854573249817
test/100.450.1241741466.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.70128560066223
test/100.420.350899733.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.42290163040161
test/100.420.94472846.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.93772888183594
test/100.440.696662980.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 69.08223104476929
test/100.460.353869069.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.42623043060303
test/100.450.919378425.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.63576984405518
test/100.410.956835828.cnf, 100, 410, SATISFIABLE, 410, 1604, 1.8774538040161133
test/100.430.818546406.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.47969222068787
test/100.450.1007582229.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.00384044647217
test/100.430.1198532553.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.76516270637512
test/100.450.771499479.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 69.27652096748352
test/100.410.59012100.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 63.35420489311218
test/100.450.268823949.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 68.99785852432251
test/100.460.1142210744.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.41208291053772
test/100.430.138787627.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.67984676361084
test/100.450.1208596361.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.31437230110168
test/100.430.250643689.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 66.49287509918213
test/100.430.883642754.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.49186062812805
test/100.440.223352132.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.07373213768005
test/100.450.661818827.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.57478594779968
test/100.410.309690489.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.70509338378906
test/100.460.921850402.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 459, 50000, 72.3070592880249
test/100.430.98717088.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.92201447486877
test/100.430.189575513.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.6443305015564
test/100.460.361726079.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 72.7422993183136
test/100.410.1306390556.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 62.031978368759155
test/100.460.817401592.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.82976746559143
test/uuf75-010.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 51.20314288139343
test/100.420.1244568963.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 64.96797776222229
test/100.440.767998326.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 69.39077377319336
test/100.460.1092352123.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.33871555328369
test/100.420.513314709.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.10261249542236
test/100.460.745058687.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.15131640434265
test/uuf75-01.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 322, 50000, 50.90325713157654
test/100.430.312952587.cnf, 100, 430, SATISFIABLE, 430, 6139, 7.974225759506226
test/100.410.430142855.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 64.8658173084259
test/100.460.943901411.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 71.35180521011353
test/100.450.680081709.cnf, 100, 450, SATISFIABLE, 450, 1830, 2.396681070327759
test/100.460.1058594877.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 455, 50000, 70.30842709541321
test/100.420.6076625.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 65.20113325119019
test/100.440.142925087.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.33671450614929
test/100.450.1128886329.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 70.64394497871399
test/100.450.913828363.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 68.93766283988953
test/100.450.299813349.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.52255201339722
test/100.430.1332119530.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 67.25288772583008
test/100.420.517278458.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.19036769866943
test/100.420.779746526.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.1917929649353
test/uf20-0157.cnf, 20, 91, SATISFIABLE, 91, 683, 0.1701657772064209
test/100.430.1109013847.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.22317934036255
test/100.440.547408509.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 69.08186769485474
test/100.420.720084340.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.26346278190613
test/100.450.617676236.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 70.59007501602173
test/100.430.424141971.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 66.96104121208191
test/100.440.309266109.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.16479253768921
test/100.410.1039232932.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 62.716962575912476
test/100.450.1192161593.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 71.64627885818481
test/100.430.618397536.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 65.22356271743774
test/100.460.701101784.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.5441882610321
test/100.420.508764440.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 64.00926041603088
test/100.450.129152699.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.94334936141968
test/100.460.1189894898.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.5268874168396
test/100.420.306915120.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 65.4483540058136
test/100.450.185051212.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 69.48603677749634
test/100.460.1220038146.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 457, 50000, 72.25906729698181
test/100.440.1341570152.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.1422233581543
test/100.440.281513920.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 70.46727228164673
test/100.440.313322538.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.37094140052795
test/100.420.631989035.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.04870843887329
test/100.410.456412111.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 408, 50000, 65.42773628234863
test/100.440.1114956439.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 67.5117678642273
test/uf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.51491093635559
test/100.460.1365123519.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 73.6603262424469
test/100.440.1306976744.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 436, 50000, 68.69186735153198
test/100.440.1058678104.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 68.3688702583313
test/100.410.965077260.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 407, 50000, 64.95023798942566
test/100.410.195152248.cnf, 100, 410, SATISFIABLE, 410, 4885, 6.022660732269287
test/100.420.648503742.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.14571380615234
test/100.440.814030407.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 67.83633589744568
test/uf50-01.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 34.449557304382324
test/100.460.1027890229.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.00297951698303
test/100.410.943139823.cnf, 100, 410, SATISFIABLE, 410, 1875, 2.1553878784179688
test/100.440.822619456.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 437, 50000, 68.7067449092865
test/100.430.1145009819.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 67.72057771682739
test/100.410.241891775.cnf, 100, 410, SATISFIABLE, 410, 4762, 5.9083263874053955
test/100.450.621295037.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 449, 50000, 70.49962949752808
test/100.420.940484221.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.17017436027527
test/100.460.620825221.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 458, 50000, 71.1812334060669
test/100.410.163250976.cnf, 100, 410, SATISFIABLE, 410, 13308, 16.642646074295044
test/100.430.470266958.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 427, 50000, 67.56264090538025
test/100.440.322562276.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 438, 50000, 67.55586791038513
test/100.440.176071722.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.60389590263367
test/100.420.1301491304.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 416, 50000, 65.5748302936554
test/100.450.1267817750.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 447, 50000, 69.44464421272278
test/100.420.1182894637.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 419, 50000, 65.0753448009491
test/uf75-02.cnf, 75, 325, SATISFIABLE, 325, 11907, 11.689428567886353
test/100.440.733279005.cnf, 100, 440, SATISFIABLE, 440, 24095, 32.5872437953949
test/uf50-06.cnf, 50, 218, CANNOT SATISFY IN MAX FLIPS, 217, 50000, 33.07637333869934
test/100.410.536371506.cnf, 100, 410, SATISFIABLE, 410, 2074, 2.471198558807373
test/uuf75-08.cnf, 75, 325, CANNOT SATISFY IN MAX FLIPS, 323, 50000, 50.408628940582275
test/100.420.248389397.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 418, 50000, 66.02774143218994
test/100.430.1309663570.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 67.21430230140686
test/100.420.1252715679.cnf, 100, 420, SATISFIABLE, 420, 42122, 54.33432650566101
test/100.430.1009492299.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 428, 50000, 65.44162678718567
test/100.450.1043369226.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 448, 50000, 70.32316732406616
test/100.410.891788457.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.702815532684326
test/100.420.78668076.cnf, 100, 420, CANNOT SATISFY IN MAX FLIPS, 417, 50000, 66.10493183135986
test/100.410.264858125.cnf, 100, 410, CANNOT SATISFY IN MAX FLIPS, 409, 50000, 63.47179627418518
test/uf20-0163.cnf, 20, 91, SATISFIABLE, 91, 303, 0.07698440551757812
test/100.440.145777343.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 67.87189936637878
test/100.460.501195765.cnf, 100, 460, CANNOT SATISFY IN MAX FLIPS, 456, 50000, 71.76422023773193
test/100.450.685657939.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 446, 50000, 70.99125742912292
test/100.430.332966265.cnf, 100, 430, CANNOT SATISFY IN MAX FLIPS, 429, 50000, 62.74773454666138
test/100.450.292993877.cnf, 100, 450, CANNOT SATISFY IN MAX FLIPS, 445, 50000, 70.15250563621521
test/100.440.892511122.cnf, 100, 440, CANNOT SATISFY IN MAX FLIPS, 439, 50000, 68.15854215621948