Bitmap Solution:
Parallel Bitmap :
Rank:0 Matrix: Emilia_923
Rank: 1 computed # Conflicts: 272886 Time: 0.0166561
Rank: 2 computed # Conflicts: 286650 Time: 0.0177858
Rank: 3 computed # Conflicts: 275124 Time: 0.0148709
Rank: 4 computed # Conflicts: 292032 Time: 0.0193805
Rank: 5 computed # Conflicts: 283788 Time: 0.0180188
Rank: 6 computed # Conflicts: 300576 Time: 0.0202578
Rank: 7 computed # Conflicts: 287693 Time: 0.0154547
Rank: 8 computed # Conflicts: 298938 Time: 0.0183333
Rank: 9 computed # Conflicts: 292599 Time: 0.0201869
Rank: 10 computed # Conflicts: 282490 Time: 0.0185248
Rank: 11 computed # Conflicts: 290990 Time: 0.0169468
Rank: 12 computed # Conflicts: 292843 Time: 0.0169442
Rank: 13 computed # Conflicts: 292441 Time: 0.0173056
Rank: 14 computed # Conflicts: 296775 Time: 0.0182685
Rank: 15 computed # Conflicts: 290864 Time: 0.017904
Rank: 16 computed # Conflicts: 286577 Time: 0.0201992
Rank: 17 computed # Conflicts: 297842 Time: 0.0187531
Rank: 18 computed # Conflicts: 301531 Time: 0.0188133
Rank: 19 computed # Conflicts: 305838 Time: 0.0154767
Rank: 20 computed # Conflicts: 308463 Time: 0.0200603
Rank: 21 computed # Conflicts: 307896 Time: 0.0178529
Rank: 22 computed # Conflicts: 313462 Time: 0.0183694
Rank: 23 computed # Conflicts: 305362 Time: 0.0157273
Rank: 24 computed # Conflicts: 305913 Time: 0.0192922
Rank: 25 computed # Conflicts: 313635 Time: 0.019045
Rank: 26 computed # Conflicts: 310983 Time: 0.0178338
Rank: 27 computed # Conflicts: 315942 Time: 0.0152594
Rank: 28 computed # Conflicts: 306285 Time: 0.0177279
Rank: 29 computed # Conflicts: 315812 Time: 0.017973
Rank: 30 computed # Conflicts: 315814 Time: 0.0214931
Rank: 31 computed # Conflicts: 315814 Time: 0.0164181
Rank: 32 computed # Conflicts: 315814 Time: 0.0178015
Rank: 33 computed # Conflicts: 315814 Time: 0.0177228
Rank: 34 computed # Conflicts: 315812 Time: 0.0181177
Rank: 35 computed # Conflicts: 315814 Time: 0.0173166
Rank: 36 computed # Conflicts: 315814 Time: 0.018203
Rank: 37 computed # Conflicts: 315814 Time: 0.0176003
Rank: 38 computed # Conflicts: 315814 Time: 0.018148
Rank: 39 computed # Conflicts: 315814 Time: 0.0152212
Rank: 40 computed # Conflicts: 315814 Time: 0.0200409
Rank: 41 computed # Conflicts: 315814 Time: 0.0182865
Rank: 42 computed # Conflicts: 315814 Time: 0.0182024
Rank: 43 computed # Conflicts: 313458 Time: 0.0147966
Rank: 44 computed # Conflicts: 315841 Time: 0.0194691
Rank: 45 computed # Conflicts: 315537 Time: 0.0175852
Rank: 46 computed # Conflicts: 300779 Time: 0.0179224
Rank: 47 computed # Conflicts: 315600 Time: 0.0169677
Rank: 48 computed # Conflicts: 310320 Time: 0.0178959
Rank: 49 computed # Conflicts: 310827 Time: 0.0175781
Rank: 50 computed # Conflicts: 314610 Time: 0.0178955
Rank: 51 computed # Conflicts: 301787 Time: 0.0168755
Rank: 52 computed # Conflicts: 316032 Time: 0.0179712
Rank: 53 computed # Conflicts: 312096 Time: 0.0175864
Rank: 54 computed # Conflicts: 312360 Time: 0.0171645
Rank: 55 computed # Conflicts: 315654 Time: 0.0153655
Rank: 56 computed # Conflicts: 303231 Time: 0.0177627
Rank: 57 computed # Conflicts: 312004 Time: 0.0193344
Rank: 58 computed # Conflicts: 307140 Time: 0.0196404
Rank: 59 computed # Conflicts: 314835 Time: 0.0152121
Rank: 60 computed # Conflicts: 314688 Time: 0.0196048
Rank: 61 computed # Conflicts: 305370 Time: 0.0175495
Rank: 62 computed # Conflicts: 316506 Time: 0.0168666
Rank: 0 computed # Conflicts: 0 Time: 0.00116461
Rank: 63 computed # Conflicts: 315624 Time: 0.0169214
Rank:0 Matrix: boneS10
Rank: 1 computed # Conflicts: 275089 Time: 0.0166504
Rank: 2 computed # Conflicts: 235420 Time: 0.0167962
Rank: 3 computed # Conflicts: 321351 Time: 0.0164046
Rank: 4 computed # Conflicts: 313232 Time: 0.0198049
Rank: 5 computed # Conflicts: 238264 Time: 0.0178003
Rank: 6 computed # Conflicts: 277763 Time: 0.016968
Rank: 7 computed # Conflicts: 316054 Time: 0.0160647
Rank: 8 computed # Conflicts: 312935 Time: 0.0163426
Rank: 9 computed # Conflicts: 320079 Time: 0.0185586
Rank: 10 computed # Conflicts: 319105 Time: 0.0175191
Rank: 11 computed # Conflicts: 322374 Time: 0.0154231
Rank: 12 computed # Conflicts: 318459 Time: 0.019675
Rank: 13 computed # Conflicts: 306706 Time: 0.0173805
Rank: 14 computed # Conflicts: 316342 Time: 0.0187945
Rank: 15 computed # Conflicts: 313597 Time: 0.0165084
Rank: 16 computed # Conflicts: 319461 Time: 0.0226694
Rank: 17 computed # Conflicts: 316845 Time: 0.0179503
Rank: 18 computed # Conflicts: 314583 Time: 0.019626
Rank: 19 computed # Conflicts: 269255 Time: 0.0137481
Rank: 20 computed # Conflicts: 315695 Time: 0.0158358
Rank: 21 computed # Conflicts: 312567 Time: 0.0176281
Rank: 22 computed # Conflicts: 317544 Time: 0.0187778
Rank: 23 computed # Conflicts: 316185 Time: 0.0161622
Rank: 24 computed # Conflicts: 304502 Time: 0.0167823
Rank: 25 computed # Conflicts: 313469 Time: 0.0207588
Rank: 26 computed # Conflicts: 291081 Time: 0.0168969
Rank: 27 computed # Conflicts: 313382 Time: 0.0156567
Rank: 28 computed # Conflicts: 313118 Time: 0.0167474
Rank: 29 computed # Conflicts: 300103 Time: 0.0165404
Rank: 30 computed # Conflicts: 310101 Time: 0.0184825
Rank: 31 computed # Conflicts: 307504 Time: 0.0153261
Rank: 32 computed # Conflicts: 310139 Time: 0.0157432
Rank: 33 computed # Conflicts: 312068 Time: 0.0167438
Rank: 34 computed # Conflicts: 234172 Time: 0.0147961
Rank: 35 computed # Conflicts: 311597 Time: 0.0161236
Rank: 36 computed # Conflicts: 300720 Time: 0.0158235
Rank: 37 computed # Conflicts: 311594 Time: 0.0211121
Rank: 38 computed # Conflicts: 312618 Time: 0.0185305
Rank: 39 computed # Conflicts: 312965 Time: 0.0164331
Rank: 40 computed # Conflicts: 307555 Time: 0.015711
Rank: 41 computed # Conflicts: 307522 Time: 0.0187553
Rank: 42 computed # Conflicts: 311661 Time: 0.0170616
Rank: 43 computed # Conflicts: 311623 Time: 0.0148873
Rank: 44 computed # Conflicts: 310590 Time: 0.0159206
Rank: 45 computed # Conflicts: 302560 Time: 0.0161708
Rank: 46 computed # Conflicts: 303977 Time: 0.0164018
Rank: 47 computed # Conflicts: 306754 Time: 0.014299
Rank: 48 computed # Conflicts: 307407 Time: 0.01545
Rank: 49 computed # Conflicts: 305535 Time: 0.0165363
Rank: 50 computed # Conflicts: 191558 Time: 0.0132317
Rank: 51 computed # Conflicts: 232099 Time: 0.0125567
Rank: 52 computed # Conflicts: 309149 Time: 0.0156558
Rank: 53 computed # Conflicts: 309843 Time: 0.0203341
Rank: 54 computed # Conflicts: 308668 Time: 0.0165641
Rank: 55 computed # Conflicts: 311180 Time: 0.0148542
Rank: 56 computed # Conflicts: 309776 Time: 0.0158264
Rank: 57 computed # Conflicts: 310868 Time: 0.0186041
Rank: 58 computed # Conflicts: 295383 Time: 0.0175214
Rank: 59 computed # Conflicts: 313778 Time: 0.014674
Rank: 60 computed # Conflicts: 314671 Time: 0.0172705
Rank: 61 computed # Conflicts: 309494 Time: 0.0168141
Rank: 62 computed # Conflicts: 277805 Time: 0.0149661
Rank: 0 computed # Conflicts: 0 Time: 0.00101852
Rank: 63 computed # Conflicts: 325776 Time: 0.0203026
Rank:0 Matrix: ldoor
Rank: 1 computed # Conflicts: 278267 Time: 0.0162825
Rank: 2 computed # Conflicts: 61650 Time: 0.0083611
Rank: 3 computed # Conflicts: 221347 Time: 0.0112803
Rank: 4 computed # Conflicts: 310097 Time: 0.0181466
Rank: 5 computed # Conflicts: 1308 Time: 0.00160714
Rank: 6 computed # Conflicts: 241681 Time: 0.0192552
Rank: 7 computed # Conflicts: 76841 Time: 0.00733426
Rank: 8 computed # Conflicts: 327665 Time: 0.0193305
Rank: 9 computed # Conflicts: 302816 Time: 0.0207843
Rank: 10 computed # Conflicts: 327174 Time: 0.0205791
Rank: 11 computed # Conflicts: 274353 Time: 0.015191
Rank: 12 computed # Conflicts: 350694 Time: 0.0205834
Rank: 13 computed # Conflicts: 356549 Time: 0.0244887
Rank: 14 computed # Conflicts: 371730 Time: 0.023269
Rank: 15 computed # Conflicts: 378985 Time: 0.0182197
Rank: 16 computed # Conflicts: 260178 Time: 0.0159284
Rank: 17 computed # Conflicts: 232374 Time: 0.015786
Rank: 18 computed # Conflicts: 141957 Time: 0.0102693
Rank: 19 computed # Conflicts: 200331 Time: 0.0105599
Rank: 20 computed # Conflicts: 299066 Time: 0.0147362
Rank: 21 computed # Conflicts: 282179 Time: 0.0168556
Rank: 22 computed # Conflicts: 212727 Time: 0.0146427
Rank: 23 computed # Conflicts: 56065 Time: 0.00505969
Rank: 24 computed # Conflicts: 256501 Time: 0.0156229
Rank: 25 computed # Conflicts: 101482 Time: 0.00893544
Rank: 26 computed # Conflicts: 289242 Time: 0.0177639
Rank: 27 computed # Conflicts: 291157 Time: 0.0163315
Rank: 28 computed # Conflicts: 331680 Time: 0.0171419
Rank: 29 computed # Conflicts: 308715 Time: 0.0217511
Rank: 30 computed # Conflicts: 286719 Time: 0.019846
Rank: 31 computed # Conflicts: 322361 Time: 0.0169852
Rank: 32 computed # Conflicts: 326382 Time: 0.0201915
Rank: 33 computed # Conflicts: 309579 Time: 0.0196137
Rank: 34 computed # Conflicts: 286955 Time: 0.0235119
Rank: 35 computed # Conflicts: 0 Time: 0.00133754
Rank: 36 computed # Conflicts: 221853 Time: 0.0135956
Rank: 37 computed # Conflicts: 306501 Time: 0.0182382
Rank: 38 computed # Conflicts: 302183 Time: 0.0220802
Rank: 39 computed # Conflicts: 316670 Time: 0.0160288
Rank: 40 computed # Conflicts: 325300 Time: 0.0167775
Rank: 41 computed # Conflicts: 342725 Time: 0.0219049
Rank: 42 computed # Conflicts: 336472 Time: 0.0217609
Rank: 43 computed # Conflicts: 351965 Time: 0.0316018
Rank: 44 computed # Conflicts: 319172 Time: 0.0181468
Rank: 45 computed # Conflicts: 316251 Time: 0.0198297
Rank: 46 computed # Conflicts: 326778 Time: 0.0204825
Rank: 47 computed # Conflicts: 74099 Time: 0.006409
Rank: 48 computed # Conflicts: 257621 Time: 0.0154617
Rank: 49 computed # Conflicts: 77406 Time: 0.00677646
Rank: 50 computed # Conflicts: 356177 Time: 0.0248233
Rank: 51 computed # Conflicts: 333018 Time: 0.0176102
Rank: 52 computed # Conflicts: 346777 Time: 0.0209684
Rank: 53 computed # Conflicts: 342688 Time: 0.018489
Rank: 54 computed # Conflicts: 366387 Time: 0.0194395
Rank: 55 computed # Conflicts: 376017 Time: 0.0213975
Rank: 56 computed # Conflicts: 386336 Time: 0.0189138
Rank: 57 computed # Conflicts: 367713 Time: 0.0240395
Rank: 58 computed # Conflicts: 385829 Time: 0.0198508
Rank: 59 computed # Conflicts: 402620 Time: 0.0239189
Rank: 60 computed # Conflicts: 391863 Time: 0.0255392
Rank: 61 computed # Conflicts: 389337 Time: 0.025248
Rank: 62 computed # Conflicts: 394618 Time: 0.020856
Rank: 0 computed # Conflicts: 0 Time: 0.00138542
Rank: 63 computed # Conflicts: 421250 Time: 0.0227821
Mock on Root only, split Matrix into 4 :
Rank: 0 Matrix: boneS10 rowLimit: 228724
Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Row piece 1 end -------------------------------------------------------- # Accumulated Conflicts: 128556
Row piece 2 end -------------------------------------------------------- # Accumulated Conflicts: 371497
Row piece 3 end -------------------------------------------------------- # Accumulated Conflicts: 728528
Elapsed Time: 513.729
Unordered Set Solution:
Mock on Root only, split Matrix into 4 :
Rank: 0 Matrix: boneS10 rowLimit: 228724
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 128556
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 242941
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 357031 : (Accumulated Result is equal to that of Bitmap Solution)
Rank: 0Matrix: Emilia_923 rowLimit: 230784
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 180942
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 353517
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 515685
Rank: 0Matrix: ldoor rowLimit: 238050
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 274864
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 1700474
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 4146181
Rank: 0Matrix: af_5_k101 rowLimit: 125906
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 8465
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 16963
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 25452
Rank: 0Matrix: Serena rowLimit: 347837
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 768559
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 1609873
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 2222488
Rank: 0Matrix: audikw_1 rowLimit: 235923
Rank: 0Row piece 0 end -------------------------------------------------------- # Conflicts: 0
Rank: 0Row piece 1 end -------------------------------------------------------- # Conflicts: 4973214
Rank: 0Row piece 2 end -------------------------------------------------------- # Conflicts: 10673640
Rank: 0Row piece 3 end -------------------------------------------------------- # Conflicts: 16696857