/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 40561566
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.491 Prop: 5.348 PropClause: 4.353 Set: 4.782 Check: 0.0 Back: 0.0
INFO - Atoms: 519/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.552 Prop: 5.753 PropClause: 4.607 Set: 4.941 Check: 0.0 Back: 0.02
INFO - Atoms: 465/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.574 Prop: 5.968 PropClause: 4.74 Set: 5.125 Check: 0.0 Back: 0.03
INFO - Atoms: 552/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.661 Prop: 6.442 PropClause: 5.085 Set: 5.348 Check: 0.0 Back: 0.043
INFO - Atoms: 570/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.692 Prop: 6.673 PropClause: 5.205 Set: 5.572 Check: 0.0 Back: 0.057
INFO - Atoms: 606/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.705 Prop: 6.924 PropClause: 5.354 Set: 5.824 Check: 0.0 Back: 0.071
INFO - Atoms: 664/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 4016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.715 Prop: 7.162 PropClause: 5.495 Set: 6.058 Check: 0.0 Back: 0.086
INFO - Atoms: 640/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 4706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.726 Prop: 7.421 PropClause: 5.648 Set: 6.317 Check: 0.0 Back: 0.101
INFO - Atoms: 690/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 5409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.745 Prop: 7.703 PropClause: 5.821 Set: 6.882 Check: 0.0 Back: 0.118
INFO - Atoms: 703/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 6117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.765 Prop: 9.572 PropClause: 6.04 Set: 11.024 Check: 0.0 Back: 0.135
INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 6818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.777 Prop: 9.88 PropClause: 6.235 Set: 11.329 Check: 0.0 Back: 0.151
INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 7528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.791 Prop: 10.095 PropClause: 6.426 Set: 11.645 Check: 0.0 Back: 0.168
INFO - Atoms: 710/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 8247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.804 Prop: 10.312 PropClause: 6.619 Set: 11.981 Check: 0.0 Back: 0.184
INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 8961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.821 Prop: 10.537 PropClause: 6.821 Set: 12.287 Check: 0.0 Back: 0.201
INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 9680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.835 Prop: 10.747 PropClause: 7.008 Set: 12.622 Check: 0.0 Back: 0.217
INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 10364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.849 Prop: 10.952 PropClause: 7.191 Set: 12.92 Check: 0.0 Back: 0.234
INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 11080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.858 Prop: 11.162 PropClause: 7.38 Set: 13.28 Check: 0.0 Back: 0.25
INFO - Atoms: 716/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 11784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.883 Prop: 11.379 PropClause: 7.576 Set: 13.58 Check: 0.0 Back: 0.267
INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 12496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.918 Prop: 11.604 PropClause: 7.775 Set: 13.974 Check: 0.0 Back: 0.283
INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 13214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.949 Prop: 11.834 PropClause: 7.978 Set: 14.918 Check: 0.0 Back: 0.299
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 13937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 12.048 PropClause: 8.17 Set: 15.352 Check: 0.0 Back: 0.316
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 14659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.98 Prop: 12.262 PropClause: 8.363 Set: 15.839 Check: 0.0 Back: 0.333
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 15382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.999 Prop: 12.48 PropClause: 8.556 Set: 16.257 Check: 0.0 Back: 0.35
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 16106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 12.683 PropClause: 8.736 Set: 16.644 Check: 0.0 Back: 0.367
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 16829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.019 Prop: 12.894 PropClause: 8.926 Set: 17.075 Check: 0.0 Back: 0.384
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 17553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.029 Prop: 13.104 PropClause: 9.114 Set: 17.5 Check: 0.0 Back: 0.4
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 18276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.04 Prop: 13.315 PropClause: 9.303 Set: 17.925 Check: 0.0 Back: 0.417
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 18996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.083 Prop: 13.558 PropClause: 9.52 Set: 18.375 Check: 0.0 Back: 0.434
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 19723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.103 Prop: 13.783 PropClause: 9.72 Set: 18.798 Check: 0.0 Back: 0.45
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 20447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.113 Prop: 13.998 PropClause: 9.912 Set: 19.192 Check: 0.0 Back: 0.468
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 21170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 15.423 PropClause: 10.108 Set: 20.899 Check: 0.0 Back: 0.484
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 21884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 15.651 PropClause: 10.302 Set: 21.347 Check: 0.0 Back: 0.501
INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 22607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 15.878 PropClause: 10.504 Set: 21.789 Check: 0.0 Back: 0.518
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 23327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.174 Prop: 16.103 PropClause: 10.696 Set: 22.19 Check: 0.0 Back: 0.535
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 24048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.185 Prop: 16.322 PropClause: 10.883 Set: 22.549 Check: 0.0 Back: 0.551
INFO - Atoms: 721/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 24760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 16.543 PropClause: 11.08 Set: 23.011 Check: 0.0 Back: 0.568
INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 25464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.246 Prop: 16.762 PropClause: 11.271 Set: 23.448 Check: 0.0 Back: 0.585
INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 26165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.291 Prop: 16.993 PropClause: 11.473 Set: 23.854 Check: 0.0 Back: 0.602
INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 26872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.309 Prop: 17.205 PropClause: 11.658 Set: 24.194 Check: 0.0 Back: 0.618
INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 27579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.319 Prop: 17.409 PropClause: 11.839 Set: 24.572 Check: 0.0 Back: 0.634
INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 28297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.334 Prop: 17.649 PropClause: 12.029 Set: 24.984 Check: 0.0 Back: 0.651
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 29015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.344 Prop: 17.86 PropClause: 12.216 Set: 25.341 Check: 0.0 Back: 0.668
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 29726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.356 Prop: 18.067 PropClause: 12.399 Set: 25.692 Check: 0.0 Back: 0.685
INFO - Atoms: 711/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 30458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.368 Prop: 18.284 PropClause: 12.591 Set: 26.106 Check: 0.0 Back: 0.701
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 31191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.384 Prop: 18.504 PropClause: 12.786 Set: 26.522 Check: 0.0 Back: 0.718
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 31922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.398 Prop: 18.741 PropClause: 12.998 Set: 27.02 Check: 0.0 Back: 0.735
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 32508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.423 Prop: 18.929 PropClause: 13.164 Set: 27.372 Check: 0.0 Back: 0.752
INFO - Atoms: 586/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 33237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.449 Prop: 19.153 PropClause: 13.362 Set: 27.876 Check: 0.0 Back: 0.767
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 33959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 19.427 PropClause: 13.573 Set: 28.328 Check: 0.0 Back: 0.784
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 34692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.073 Prop: 19.665 PropClause: 13.784 Set: 28.808 Check: 0.0 Back: 0.801
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 35202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.088 Prop: 19.794 PropClause: 13.895 Set: 28.965 Check: 0.0 Back: 0.818
INFO - Atoms: 510/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 35935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 19.957 PropClause: 14.033 Set: 29.235 Check: 0.0 Back: 0.83
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 36657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.114 Prop: 20.145 PropClause: 14.196 Set: 29.503 Check: 0.0 Back: 0.847
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 37386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.134 Prop: 20.34 PropClause: 14.368 Set: 29.805 Check: 0.0 Back: 0.863
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 37953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.278 Prop: 20.528 PropClause: 14.534 Set: 30.025 Check: 0.0 Back: 0.88
INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 38683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 20.728 PropClause: 14.709 Set: 30.323 Check: 0.0 Back: 0.894
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 39406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 20.9 PropClause: 14.857 Set: 30.585 Check: 0.0 Back: 0.911
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 40139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.298 Prop: 21.078 PropClause: 15.01 Set: 30.852 Check: 0.0 Back: 0.927
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 40754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 21.222 PropClause: 15.134 Set: 31.04 Check: 0.0 Back: 0.944
INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 41376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.318 Prop: 21.377 PropClause: 15.269 Set: 31.272 Check: 0.0 Back: 0.959
INFO - Atoms: 622/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 42024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 21.571 PropClause: 15.438 Set: 31.519 Check: 0.0 Back: 0.973
INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 42659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.336 Prop: 21.723 PropClause: 15.57 Set: 31.754 Check: 0.0 Back: 0.988
INFO - Atoms: 635/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 43392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 21.902 PropClause: 15.725 Set: 32.022 Check: 0.0 Back: 1.003
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 44123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 22.083 PropClause: 15.882 Set: 32.294 Check: 0.0 Back: 1.02
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 44853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.352 Prop: 22.264 PropClause: 16.04 Set: 32.573 Check: 0.0 Back: 1.037
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 45583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.359 Prop: 22.444 PropClause: 16.196 Set: 32.843 Check: 0.0 Back: 1.054
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 46303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 22.624 PropClause: 16.352 Set: 33.092 Check: 0.0 Back: 1.071
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 47036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 22.803 PropClause: 16.508 Set: 33.377 Check: 0.0 Back: 1.088
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 47769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 22.989 PropClause: 16.668 Set: 33.678 Check: 0.0 Back: 1.105
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 48500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.41 Prop: 23.173 PropClause: 16.825 Set: 33.95 Check: 0.0 Back: 1.122
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 49228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.418 Prop: 23.36 PropClause: 16.989 Set: 34.224 Check: 0.0 Back: 1.139
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 49958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.434 Prop: 23.563 PropClause: 17.167 Set: 34.445 Check: 0.0 Back: 1.158
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 50666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 23.758 PropClause: 17.337 Set: 34.593 Check: 0.0 Back: 1.178
INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 51399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.133 Prop: 23.95 PropClause: 17.501 Set: 34.76 Check: 0.0 Back: 1.195
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 52047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 24.116 PropClause: 17.64 Set: 34.881 Check: 0.0 Back: 1.212
INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 52715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.142 Prop: 24.275 PropClause: 17.776 Set: 35.002 Check: 0.0 Back: 1.227
INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 53399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.146 Prop: 24.434 PropClause: 17.911 Set: 35.134 Check: 0.0 Back: 1.243
INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 54074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.149 Prop: 24.593 PropClause: 18.045 Set: 35.258 Check: 0.0 Back: 1.259
INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 54752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 25.137 PropClause: 18.567 Set: 35.391 Check: 0.0 Back: 1.274
INFO - Atoms: 678/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 55435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 25.299 PropClause: 18.707 Set: 35.525 Check: 0.0 Back: 1.29
INFO - Atoms: 683/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 56105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.16 Prop: 25.463 PropClause: 18.844 Set: 35.643 Check: 0.0 Back: 1.306
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 56768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.162 Prop: 25.62 PropClause: 18.979 Set: 35.764 Check: 0.0 Back: 1.321
INFO - Atoms: 663/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 57501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.167 Prop: 25.802 PropClause: 19.135 Set: 35.9 Check: 0.0 Back: 1.337
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 58232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 26.003 PropClause: 19.312 Set: 36.087 Check: 0.0 Back: 1.354
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 58962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.171 Prop: 26.189 PropClause: 19.476 Set: 36.277 Check: 0.0 Back: 1.372
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 59693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 26.364 PropClause: 19.629 Set: 36.476 Check: 0.0 Back: 1.389
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 60421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.176 Prop: 26.546 PropClause: 19.788 Set: 36.66 Check: 0.0 Back: 1.406
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 61154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.186 Prop: 26.739 PropClause: 19.945 Set: 36.859 Check: 0.0 Back: 1.423
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 61887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 26.939 PropClause: 20.122 Set: 37.09 Check: 0.0 Back: 1.44
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 62618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 27.147 PropClause: 20.303 Set: 37.335 Check: 0.0 Back: 1.457
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 63348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.227 Prop: 27.333 PropClause: 20.467 Set: 37.565 Check: 0.0 Back: 1.474
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 64079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.242 Prop: 27.542 PropClause: 20.646 Set: 37.786 Check: 0.0 Back: 1.491
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 64807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.259 Prop: 27.724 PropClause: 20.805 Set: 37.985 Check: 0.0 Back: 1.508
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 65540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.262 Prop: 27.911 PropClause: 20.969 Set: 38.175 Check: 0.0 Back: 1.525
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 66273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.267 Prop: 28.096 PropClause: 21.13 Set: 38.373 Check: 0.0 Back: 1.542
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 67006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 28.279 PropClause: 21.29 Set: 38.595 Check: 0.0 Back: 1.559
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 67733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 28.459 PropClause: 21.447 Set: 38.795 Check: 0.0 Back: 1.576
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 68463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.275 Prop: 28.637 PropClause: 21.601 Set: 39.006 Check: 0.0 Back: 1.593
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 69194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.277 Prop: 28.842 PropClause: 21.783 Set: 39.179 Check: 0.0 Back: 1.61
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 69924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 29.023 PropClause: 21.942 Set: 39.377 Check: 0.0 Back: 1.627
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 70655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.283 Prop: 29.204 PropClause: 22.099 Set: 39.579 Check: 0.0 Back: 1.644
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 71386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 29.398 PropClause: 22.27 Set: 39.757 Check: 0.0 Back: 1.661
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 72119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 29.631 PropClause: 22.473 Set: 39.971 Check: 0.0 Back: 1.678
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 72852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 29.81 PropClause: 22.628 Set: 40.175 Check: 0.0 Back: 1.695
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 73585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.304 Prop: 29.994 PropClause: 22.789 Set: 40.373 Check: 0.0 Back: 1.713
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 74318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 30.179 PropClause: 22.95 Set: 40.567 Check: 0.0 Back: 1.729
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 75051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.315 Prop: 30.362 PropClause: 23.11 Set: 40.764 Check: 0.0 Back: 1.746
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 75666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.319 Prop: 30.509 PropClause: 23.238 Set: 40.916 Check: 0.0 Back: 1.763
INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 76399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.324 Prop: 30.683 PropClause: 23.389 Set: 41.132 Check: 0.0 Back: 1.778
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 77064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.331 Prop: 30.895 PropClause: 23.578 Set: 41.327 Check: 0.0 Back: 1.795
INFO - Atoms: 665/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 77709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 31.05 PropClause: 23.709 Set: 41.443 Check: 0.0 Back: 1.81
INFO - Atoms: 645/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 78442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 31.231 PropClause: 23.863 Set: 41.58 Check: 0.0 Back: 1.825
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 79175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.348 Prop: 31.417 PropClause: 24.024 Set: 41.713 Check: 0.0 Back: 1.842
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 79908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 31.599 PropClause: 24.182 Set: 41.844 Check: 0.0 Back: 1.859
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 80641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.356 Prop: 31.785 PropClause: 24.34 Set: 41.977 Check: 0.0 Back: 1.876
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 81217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.359 Prop: 31.926 PropClause: 24.461 Set: 42.084 Check: 0.0 Back: 1.893
INFO - Atoms: 576/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 81950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.363 Prop: 32.096 PropClause: 24.606 Set: 42.231 Check: 0.0 Back: 1.907
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 82683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.367 Prop: 32.281 PropClause: 24.765 Set: 42.362 Check: 0.0 Back: 1.924
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 83317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.37 Prop: 32.437 PropClause: 24.899 Set: 42.478 Check: 0.0 Back: 1.941
INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 84050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 32.609 PropClause: 25.045 Set: 42.618 Check: 0.0 Back: 1.956
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 84720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.379 Prop: 32.769 PropClause: 25.181 Set: 42.734 Check: 0.0 Back: 1.973
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 85453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.385 Prop: 32.948 PropClause: 25.335 Set: 42.879 Check: 0.0 Back: 1.994
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 86186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 33.146 PropClause: 25.502 Set: 43.037 Check: 0.0 Back: 2.011
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 86919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.397 Prop: 33.337 PropClause: 25.667 Set: 43.19 Check: 0.0 Back: 2.028
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 87652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 33.531 PropClause: 25.833 Set: 43.357 Check: 0.0 Back: 2.045
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 88385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.412 Prop: 33.736 PropClause: 25.999 Set: 43.515 Check: 0.0 Back: 2.062
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 89116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 33.918 PropClause: 26.155 Set: 43.653 Check: 0.0 Back: 2.079
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 89846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.421 Prop: 34.16 PropClause: 26.316 Set: 43.79 Check: 0.0 Back: 2.096
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 90578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 34.353 PropClause: 26.48 Set: 43.94 Check: 0.0 Back: 2.113
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 91308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 34.538 PropClause: 26.638 Set: 44.075 Check: 0.0 Back: 2.13
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 92039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.661 Prop: 34.719 PropClause: 26.794 Set: 44.207 Check: 0.0 Back: 2.146
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 92769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 34.902 PropClause: 26.953 Set: 44.336 Check: 0.0 Back: 2.163
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 93498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 35.082 PropClause: 27.107 Set: 44.458 Check: 0.0 Back: 2.18
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 94228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.673 Prop: 35.264 PropClause: 27.264 Set: 44.597 Check: 0.0 Back: 2.198
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 94955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.676 Prop: 35.45 PropClause: 27.425 Set: 44.728 Check: 0.0 Back: 2.214
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 95685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 35.639 PropClause: 27.586 Set: 44.892 Check: 0.0 Back: 2.232
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 96416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 35.831 PropClause: 27.75 Set: 45.034 Check: 0.0 Back: 2.249
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 97146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 36.014 PropClause: 27.907 Set: 45.172 Check: 0.0 Back: 2.266
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 97876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.69 Prop: 36.198 PropClause: 28.065 Set: 45.319 Check: 0.0 Back: 2.283
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 98605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 36.408 PropClause: 28.249 Set: 45.456 Check: 0.0 Back: 2.3
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 99337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 36.589 PropClause: 28.405 Set: 45.59 Check: 0.0 Back: 2.317
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 100067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 36.772 PropClause: 28.562 Set: 45.729 Check: 0.0 Back: 2.334
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 100799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 36.95 PropClause: 28.716 Set: 45.862 Check: 0.0 Back: 2.351
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 101528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 37.135 PropClause: 28.874 Set: 45.991 Check: 0.0 Back: 2.368
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 102259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 37.318 PropClause: 29.033 Set: 46.137 Check: 0.0 Back: 2.384
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 102989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 37.529 PropClause: 29.219 Set: 46.273 Check: 0.0 Back: 2.401
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 103719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 37.719 PropClause: 29.383 Set: 46.428 Check: 0.0 Back: 2.418
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 104449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.721 Prop: 37.919 PropClause: 29.55 Set: 46.574 Check: 0.0 Back: 2.435
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 105179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 38.111 PropClause: 29.713 Set: 46.717 Check: 0.0 Back: 2.452
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 105909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 38.305 PropClause: 29.881 Set: 46.872 Check: 0.0 Back: 2.469
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 106636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 38.493 PropClause: 30.04 Set: 47.015 Check: 0.0 Back: 2.486
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 107295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.742 Prop: 38.661 PropClause: 30.184 Set: 47.145 Check: 0.0 Back: 2.503
INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 108025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 38.836 PropClause: 30.333 Set: 47.275 Check: 0.0 Back: 2.519
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 108756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.746 Prop: 39.015 PropClause: 30.485 Set: 47.409 Check: 0.0 Back: 2.536
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 109486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.747 Prop: 39.199 PropClause: 30.643 Set: 47.551 Check: 0.0 Back: 2.553
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 110217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.751 Prop: 39.379 PropClause: 30.798 Set: 47.687 Check: 0.0 Back: 2.57
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 110947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 39.559 PropClause: 30.953 Set: 47.816 Check: 0.0 Back: 2.587
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 111678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.756 Prop: 39.733 PropClause: 31.102 Set: 47.954 Check: 0.0 Back: 2.604
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 112408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 39.923 PropClause: 31.259 Set: 48.115 Check: 0.0 Back: 2.621
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 113139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 40.097 PropClause: 31.408 Set: 48.246 Check: 0.0 Back: 2.637
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 113869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 40.263 PropClause: 31.55 Set: 48.376 Check: 0.0 Back: 2.655
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 114600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 40.439 PropClause: 31.7 Set: 48.521 Check: 0.0 Back: 2.672
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 115330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 40.618 PropClause: 31.853 Set: 48.689 Check: 0.0 Back: 2.689
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 116061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 40.787 PropClause: 31.997 Set: 48.825 Check: 0.0 Back: 2.706
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 116791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 40.951 PropClause: 32.136 Set: 48.966 Check: 0.0 Back: 2.723
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 117522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 41.117 PropClause: 32.276 Set: 49.103 Check: 0.0 Back: 2.74
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 118251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 41.304 PropClause: 32.437 Set: 49.246 Check: 0.0 Back: 2.756
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 118981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 41.471 PropClause: 32.58 Set: 49.386 Check: 0.0 Back: 2.774
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 119711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.212 Prop: 41.638 PropClause: 32.722 Set: 49.536 Check: 0.0 Back: 2.79
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 120436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.22 Prop: 41.891 PropClause: 32.946 Set: 53.053 Check: 0.0 Back: 2.808
INFO - Atoms: 725/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 121166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 42.069 PropClause: 33.095 Set: 53.199 Check: 0.0 Back: 2.825
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 121897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 42.254 PropClause: 33.254 Set: 53.345 Check: 0.0 Back: 2.842
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 122627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.236 Prop: 42.425 PropClause: 33.396 Set: 53.474 Check: 0.0 Back: 2.859
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 123358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.24 Prop: 42.586 PropClause: 33.533 Set: 53.605 Check: 0.0 Back: 2.876
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 124084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 42.752 PropClause: 33.674 Set: 53.738 Check: 0.0 Back: 2.894
INFO - Atoms: 726/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 124815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.244 Prop: 42.918 PropClause: 33.814 Set: 53.883 Check: 0.0 Back: 2.911
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 125547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 43.089 PropClause: 33.959 Set: 54.024 Check: 0.0 Back: 2.928
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 126280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 43.254 PropClause: 34.099 Set: 54.161 Check: 0.0 Back: 2.945
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 127013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.253 Prop: 43.42 PropClause: 34.239 Set: 54.303 Check: 0.0 Back: 2.962
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 127746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.255 Prop: 43.594 PropClause: 34.388 Set: 54.463 Check: 0.0 Back: 2.979
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 128479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.256 Prop: 43.769 PropClause: 34.535 Set: 54.622 Check: 0.0 Back: 2.996
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 129212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 43.939 PropClause: 34.68 Set: 54.768 Check: 0.0 Back: 3.013
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 129945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.264 Prop: 44.108 PropClause: 34.825 Set: 54.918 Check: 0.0 Back: 3.03
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 130678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 44.274 PropClause: 34.964 Set: 55.054 Check: 0.0 Back: 3.047
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 131411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 44.442 PropClause: 35.106 Set: 55.196 Check: 0.0 Back: 3.065
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 132144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.27 Prop: 44.612 PropClause: 35.249 Set: 55.336 Check: 0.0 Back: 3.082
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 132877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 44.78 PropClause: 35.393 Set: 55.474 Check: 0.0 Back: 3.099
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 133610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 44.952 PropClause: 35.538 Set: 55.611 Check: 0.0 Back: 3.116
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 134343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 45.121 PropClause: 35.682 Set: 55.751 Check: 0.0 Back: 3.133
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 135076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.279 Prop: 45.288 PropClause: 35.824 Set: 55.887 Check: 0.0 Back: 3.15
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 135809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.281 Prop: 45.451 PropClause: 35.961 Set: 56.014 Check: 0.0 Back: 3.167
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 136542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 45.617 PropClause: 36.101 Set: 56.182 Check: 0.0 Back: 3.183
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 137275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 45.784 PropClause: 36.243 Set: 56.323 Check: 0.0 Back: 3.2
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 138008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.29 Prop: 45.993 PropClause: 36.425 Set: 56.514 Check: 0.0 Back: 3.217
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 138741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 46.163 PropClause: 36.569 Set: 56.666 Check: 0.0 Back: 3.234
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 139474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 46.336 PropClause: 36.715 Set: 56.818 Check: 0.0 Back: 3.252
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 140207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.422 Prop: 46.542 PropClause: 36.892 Set: 56.982 Check: 0.0 Back: 3.269
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 140940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.433 Prop: 46.72 PropClause: 37.046 Set: 57.134 Check: 0.0 Back: 3.288
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 141673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 46.891 PropClause: 37.19 Set: 57.276 Check: 0.0 Back: 3.305
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 142406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.45 Prop: 47.075 PropClause: 37.344 Set: 57.437 Check: 0.0 Back: 3.322
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 143139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 47.252 PropClause: 37.495 Set: 57.584 Check: 0.0 Back: 3.339
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 143872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 47.43 PropClause: 37.647 Set: 57.739 Check: 0.0 Back: 3.356
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 144605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 47.619 PropClause: 37.801 Set: 57.897 Check: 0.0 Back: 3.373
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 145338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.473 Prop: 47.803 PropClause: 37.959 Set: 58.058 Check: 0.0 Back: 3.39
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 146071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 47.993 PropClause: 38.122 Set: 58.242 Check: 0.0 Back: 3.416
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 146804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 48.168 PropClause: 38.269 Set: 58.409 Check: 0.0 Back: 3.433
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 147537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 48.338 PropClause: 38.414 Set: 58.56 Check: 0.0 Back: 3.45
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 148270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 48.508 PropClause: 38.558 Set: 58.693 Check: 0.0 Back: 3.467
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 149003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.503 Prop: 48.683 PropClause: 38.707 Set: 58.833 Check: 0.0 Back: 3.484
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 149570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.509 Prop: 48.819 PropClause: 38.826 Set: 61.199 Check: 0.0 Back: 3.501
INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 150303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 48.979 PropClause: 38.962 Set: 61.501 Check: 0.0 Back: 3.514
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 150937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 49.131 PropClause: 39.094 Set: 61.707 Check: 0.0 Back: 3.532
INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 151670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.516 Prop: 49.286 PropClause: 39.225 Set: 61.963 Check: 0.0 Back: 3.547
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 152403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.518 Prop: 49.483 PropClause: 39.372 Set: 62.221 Check: 0.0 Back: 3.564
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 153036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.521 Prop: 49.636 PropClause: 39.501 Set: 62.599 Check: 0.0 Back: 3.581
INFO - Atoms: 633/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 153769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 49.805 PropClause: 39.642 Set: 62.958 Check: 0.0 Back: 3.595
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 154366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.527 Prop: 49.948 PropClause: 39.762 Set: 63.228 Check: 0.0 Back: 3.612
INFO - Atoms: 597/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 155099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 50.109 PropClause: 39.894 Set: 63.594 Check: 0.0 Back: 3.626
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 155832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.531 Prop: 50.285 PropClause: 40.043 Set: 63.962 Check: 0.0 Back: 3.643
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 156473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 50.451 PropClause: 40.183 Set: 64.322 Check: 0.0 Back: 3.66
INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 157206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 50.623 PropClause: 40.326 Set: 64.75 Check: 0.0 Back: 3.675
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 157939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.541 Prop: 50.805 PropClause: 40.479 Set: 65.124 Check: 0.0 Back: 3.692
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 158605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 50.967 PropClause: 40.615 Set: 65.471 Check: 0.0 Back: 3.709
INFO - Atoms: 666/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 159260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.547 Prop: 51.11 PropClause: 40.734 Set: 65.78 Check: 0.0 Back: 3.725
INFO - Atoms: 655/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 159932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 51.266 PropClause: 40.864 Set: 66.095 Check: 0.0 Back: 3.74
INFO - Atoms: 672/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 160612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.552 Prop: 51.432 PropClause: 41.003 Set: 66.471 Check: 0.0 Back: 3.756
INFO - Atoms: 680/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 161285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.555 Prop: 51.583 PropClause: 41.128 Set: 66.788 Check: 0.0 Back: 3.772
INFO - Atoms: 673/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 161955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.557 Prop: 51.737 PropClause: 41.256 Set: 67.114 Check: 0.0 Back: 3.787
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 162614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.559 Prop: 51.887 PropClause: 41.381 Set: 67.425 Check: 0.0 Back: 3.803
INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 163276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 52.037 PropClause: 41.506 Set: 67.751 Check: 0.0 Back: 3.819
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 164009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 52.238 PropClause: 41.679 Set: 68.321 Check: 0.0 Back: 3.834
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 164620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.577 Prop: 52.393 PropClause: 41.809 Set: 68.611 Check: 0.0 Back: 3.851
INFO - Atoms: 611/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 165353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.583 Prop: 52.562 PropClause: 41.95 Set: 69.042 Check: 0.0 Back: 3.866
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 166086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 52.746 PropClause: 42.104 Set: 69.43 Check: 0.0 Back: 3.883
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 166819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 52.938 PropClause: 42.266 Set: 69.905 Check: 0.0 Back: 3.9
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 167552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 53.106 PropClause: 42.406 Set: 70.312 Check: 0.0 Back: 3.917
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 168188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.683 Prop: 53.262 PropClause: 42.537 Set: 70.673 Check: 0.0 Back: 3.935
INFO - Atoms: 636/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 168921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.686 Prop: 53.583 PropClause: 42.68 Set: 71.046 Check: 0.0 Back: 3.949
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 169654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 53.77 PropClause: 42.838 Set: 71.422 Check: 0.0 Back: 3.966
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 170387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 53.966 PropClause: 43.005 Set: 71.808 Check: 0.0 Back: 3.983
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 171120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.703 Prop: 54.152 PropClause: 43.164 Set: 72.156 Check: 0.0 Back: 4.001
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 171788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 54.322 PropClause: 43.313 Set: 72.312 Check: 0.0 Back: 4.018
INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 172521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 54.494 PropClause: 43.462 Set: 72.489 Check: 0.0 Back: 4.034
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 173254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 54.669 PropClause: 43.614 Set: 72.688 Check: 0.0 Back: 4.051
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 173921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 54.812 PropClause: 43.736 Set: 72.861 Check: 0.0 Back: 4.068
INFO - Atoms: 667/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 174654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.717 Prop: 54.969 PropClause: 43.87 Set: 73.072 Check: 0.0 Back: 4.084
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 175239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 55.101 PropClause: 43.983 Set: 73.233 Check: 0.0 Back: 4.101
INFO - Atoms: 585/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 175972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.725 Prop: 55.271 PropClause: 44.13 Set: 73.441 Check: 0.0 Back: 4.114
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 176705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 55.545 PropClause: 44.274 Set: 73.653 Check: 0.0 Back: 4.132
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 177380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.732 Prop: 55.698 PropClause: 44.405 Set: 73.834 Check: 0.0 Back: 4.149
INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 178113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 55.86 PropClause: 44.543 Set: 74.029 Check: 0.0 Back: 4.165
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 178846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.738 Prop: 56.023 PropClause: 44.683 Set: 74.225 Check: 0.0 Back: 4.183
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 179490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.74 Prop: 56.166 PropClause: 44.806 Set: 74.378 Check: 0.0 Back: 4.2
INFO - Atoms: 644/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 180117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 56.294 PropClause: 44.915 Set: 74.53 Check: 0.0 Back: 4.215
INFO - Atoms: 627/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 180745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 56.425 PropClause: 45.026 Set: 74.686 Check: 0.0 Back: 4.23
INFO - Atoms: 628/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 181386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 56.668 PropClause: 45.15 Set: 74.856 Check: 0.0 Back: 4.244
INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 182119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 56.843 PropClause: 45.293 Set: 75.039 Check: 0.0 Back: 4.26
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 182781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 57.025 PropClause: 45.429 Set: 75.216 Check: 0.0 Back: 4.277
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 183514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.765 Prop: 57.237 PropClause: 45.612 Set: 75.412 Check: 0.0 Back: 4.292
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 184107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 57.366 PropClause: 45.723 Set: 75.555 Check: 0.0 Back: 4.309
INFO - Atoms: 593/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 184840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 57.512 PropClause: 45.849 Set: 75.754 Check: 0.0 Back: 4.323
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 185497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 57.654 PropClause: 45.971 Set: 75.909 Check: 0.0 Back: 4.341
INFO - Atoms: 657/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 186230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 57.804 PropClause: 46.1 Set: 76.101 Check: 0.0 Back: 4.356
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 186963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.786 Prop: 57.972 PropClause: 46.246 Set: 76.303 Check: 0.0 Back: 4.373
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 187696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 58.137 PropClause: 46.39 Set: 76.499 Check: 0.0 Back: 4.39
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 188358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 58.281 PropClause: 46.515 Set: 76.665 Check: 0.0 Back: 4.407
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 189091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 58.469 PropClause: 46.682 Set: 76.851 Check: 0.0 Back: 4.422
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 189824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 58.63 PropClause: 46.823 Set: 77.046 Check: 0.0 Back: 4.439
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 190529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.795 Prop: 58.782 PropClause: 46.954 Set: 77.231 Check: 0.0 Back: 4.456
INFO - Atoms: 705/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 191262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 58.939 PropClause: 47.09 Set: 77.433 Check: 0.0 Back: 4.473
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 191995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 59.097 PropClause: 47.227 Set: 77.626 Check: 0.0 Back: 4.49
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 192728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 59.266 PropClause: 47.375 Set: 77.828 Check: 0.0 Back: 4.507
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 193461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 59.425 PropClause: 47.512 Set: 78.04 Check: 0.0 Back: 4.524
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 194194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 59.588 PropClause: 47.653 Set: 78.234 Check: 0.0 Back: 4.541
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 194927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.815 Prop: 59.75 PropClause: 47.795 Set: 78.429 Check: 0.0 Back: 4.57
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 195660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 59.913 PropClause: 47.937 Set: 78.618 Check: 0.0 Back: 4.587
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 196393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 60.085 PropClause: 48.088 Set: 78.807 Check: 0.0 Back: 4.604
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 197126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.822 Prop: 60.248 PropClause: 48.23 Set: 79.007 Check: 0.0 Back: 4.621
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 197859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.824 Prop: 60.406 PropClause: 48.368 Set: 79.211 Check: 0.0 Back: 4.638
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 198592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 60.57 PropClause: 48.511 Set: 79.396 Check: 0.0 Back: 4.655
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 199325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.833 Prop: 60.747 PropClause: 48.666 Set: 79.595 Check: 0.0 Back: 4.672
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 200058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.836 Prop: 60.935 PropClause: 48.833 Set: 79.769 Check: 0.0 Back: 4.689
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 200791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.843 Prop: 61.102 PropClause: 48.98 Set: 79.978 Check: 0.0 Back: 4.706
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 201483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 61.264 PropClause: 49.121 Set: 80.174 Check: 0.0 Back: 4.723
INFO - Atoms: 692/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 202216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.856 Prop: 61.426 PropClause: 49.258 Set: 80.38 Check: 0.0 Back: 4.739
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 202949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 61.618 PropClause: 49.429 Set: 80.599 Check: 0.0 Back: 4.756
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 203682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 61.786 PropClause: 49.576 Set: 80.789 Check: 0.0 Back: 4.773
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 204415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 61.965 PropClause: 49.732 Set: 81.0 Check: 0.0 Back: 4.79
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 205148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 62.128 PropClause: 49.874 Set: 81.216 Check: 0.0 Back: 4.807
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 205881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 62.288 PropClause: 50.014 Set: 81.418 Check: 0.0 Back: 4.824
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 206614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 62.447 PropClause: 50.15 Set: 81.612 Check: 0.0 Back: 4.841
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 207347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.883 Prop: 62.617 PropClause: 50.299 Set: 85.887 Check: 0.0 Back: 4.858
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 208080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 62.781 PropClause: 50.441 Set: 86.005 Check: 0.0 Back: 4.875
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 208813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 62.941 PropClause: 50.579 Set: 86.118 Check: 0.0 Back: 4.892
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 209546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 63.108 PropClause: 50.724 Set: 86.258 Check: 0.0 Back: 4.909
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 210279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 63.273 PropClause: 50.866 Set: 86.396 Check: 0.0 Back: 4.926
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 211012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.899 Prop: 63.436 PropClause: 51.007 Set: 86.529 Check: 0.0 Back: 4.943
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 211745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.902 Prop: 63.602 PropClause: 51.15 Set: 86.651 Check: 0.0 Back: 4.96
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 212478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 63.767 PropClause: 51.29 Set: 86.775 Check: 0.0 Back: 4.977
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 213211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 63.935 PropClause: 51.436 Set: 86.897 Check: 0.0 Back: 4.994
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 213944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 64.096 PropClause: 51.573 Set: 87.018 Check: 0.0 Back: 5.011
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 214677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 64.264 PropClause: 51.718 Set: 87.145 Check: 0.0 Back: 5.028
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 215408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 64.429 PropClause: 51.861 Set: 87.268 Check: 0.0 Back: 5.045
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 216137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 64.591 PropClause: 52.001 Set: 87.388 Check: 0.0 Back: 5.062
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 216869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.926 Prop: 64.754 PropClause: 52.142 Set: 87.5 Check: 0.0 Back: 5.079
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 217597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 64.921 PropClause: 52.285 Set: 87.622 Check: 0.0 Back: 5.096
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 218329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.932 Prop: 65.082 PropClause: 52.423 Set: 87.739 Check: 0.0 Back: 5.113
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 219059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.936 Prop: 65.248 PropClause: 52.567 Set: 87.884 Check: 0.0 Back: 5.13
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 219789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.941 Prop: 65.414 PropClause: 52.71 Set: 88.007 Check: 0.0 Back: 5.147
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 220519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 65.614 PropClause: 52.885 Set: 88.141 Check: 0.0 Back: 5.164
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 221248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 65.785 PropClause: 53.033 Set: 88.265 Check: 0.0 Back: 5.18
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 221978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 65.956 PropClause: 53.179 Set: 88.397 Check: 0.0 Back: 5.201
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 222707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.961 Prop: 66.128 PropClause: 53.328 Set: 88.531 Check: 0.0 Back: 5.218
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 223437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 66.296 PropClause: 53.474 Set: 88.666 Check: 0.0 Back: 5.234
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 224167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 66.462 PropClause: 53.616 Set: 88.795 Check: 0.0 Back: 5.251
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 224897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 66.628 PropClause: 53.761 Set: 88.913 Check: 0.0 Back: 5.268
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 225625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 67.368 PropClause: 54.478 Set: 89.057 Check: 0.0 Back: 5.284
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 226352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.072 Prop: 67.718 PropClause: 54.629 Set: 89.505 Check: 0.0 Back: 5.301
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 227084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 67.888 PropClause: 54.776 Set: 89.63 Check: 0.0 Back: 5.317
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 227744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 68.04 PropClause: 54.908 Set: 89.742 Check: 0.0 Back: 5.334
INFO - Atoms: 660/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 228475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 68.207 PropClause: 55.051 Set: 89.894 Check: 0.0 Back: 5.349
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 229206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 68.377 PropClause: 55.198 Set: 90.039 Check: 0.0 Back: 5.366
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 229937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 68.596 PropClause: 55.394 Set: 90.201 Check: 0.0 Back: 5.383
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 230668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.112 Prop: 68.766 PropClause: 55.541 Set: 90.347 Check: 0.0 Back: 5.4
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 231399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.114 Prop: 68.936 PropClause: 55.689 Set: 90.476 Check: 0.0 Back: 5.416
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 232130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 69.101 PropClause: 55.833 Set: 90.601 Check: 0.0 Back: 5.433
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 232861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 69.279 PropClause: 55.988 Set: 90.737 Check: 0.0 Back: 5.45
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 233592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 69.453 PropClause: 56.138 Set: 90.883 Check: 0.0 Back: 5.467
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 234323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 69.64 PropClause: 56.302 Set: 91.02 Check: 0.0 Back: 5.483
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 235054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 69.832 PropClause: 56.467 Set: 91.159 Check: 0.0 Back: 5.5
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 235785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 70.003 PropClause: 56.616 Set: 91.295 Check: 0.0 Back: 5.516
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 236516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 70.185 PropClause: 56.774 Set: 91.436 Check: 0.0 Back: 5.533
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 237246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 70.361 PropClause: 56.927 Set: 91.577 Check: 0.0 Back: 5.551
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 237977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 70.528 PropClause: 57.07 Set: 91.703 Check: 0.0 Back: 5.568
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 238707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 70.691 PropClause: 57.212 Set: 91.829 Check: 0.0 Back: 5.584
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 239438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.175 Prop: 70.898 PropClause: 57.382 Set: 91.961 Check: 0.0 Back: 5.6
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 240155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 71.059 PropClause: 57.521 Set: 92.077 Check: 0.0 Back: 5.617
INFO - Atoms: 717/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 240885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 71.251 PropClause: 57.689 Set: 92.237 Check: 0.0 Back: 5.634
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 241616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 71.414 PropClause: 57.83 Set: 92.372 Check: 0.0 Back: 5.651
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 242346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 71.575 PropClause: 57.969 Set: 92.519 Check: 0.0 Back: 5.667
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 243077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 71.739 PropClause: 58.11 Set: 92.643 Check: 0.0 Back: 5.684
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 243807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 71.899 PropClause: 58.248 Set: 92.767 Check: 0.0 Back: 5.701
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 244538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 72.06 PropClause: 58.387 Set: 92.886 Check: 0.0 Back: 5.717
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 245268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.197 Prop: 72.221 PropClause: 58.525 Set: 93.014 Check: 0.0 Back: 5.734
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 245999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 72.384 PropClause: 58.666 Set: 93.146 Check: 0.0 Back: 5.75
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 246729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 72.546 PropClause: 58.805 Set: 93.278 Check: 0.0 Back: 5.767
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 247457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 72.702 PropClause: 58.939 Set: 93.391 Check: 0.0 Back: 5.784
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 248184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 72.863 PropClause: 59.077 Set: 93.505 Check: 0.0 Back: 5.8
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 248915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 73.03 PropClause: 59.22 Set: 93.631 Check: 0.0 Back: 5.817
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 249644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 73.193 PropClause: 59.36 Set: 93.765 Check: 0.0 Back: 5.833
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 250375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.251 Prop: 73.357 PropClause: 59.502 Set: 93.891 Check: 0.0 Back: 5.85
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 251102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 73.518 PropClause: 59.641 Set: 94.006 Check: 0.0 Back: 5.867
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 251833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 73.685 PropClause: 59.785 Set: 94.128 Check: 0.0 Back: 5.883
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 252563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 73.858 PropClause: 59.934 Set: 94.252 Check: 0.0 Back: 5.9
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 253294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 74.019 PropClause: 60.072 Set: 94.366 Check: 0.0 Back: 5.916
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 254024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 74.188 PropClause: 60.218 Set: 94.506 Check: 0.0 Back: 5.933
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 254754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 74.354 PropClause: 60.361 Set: 94.654 Check: 0.0 Back: 5.95
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 255484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.452 Prop: 74.516 PropClause: 60.501 Set: 94.792 Check: 0.0 Back: 5.966
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 256213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 74.679 PropClause: 60.642 Set: 94.917 Check: 0.0 Back: 5.983
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 256943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 74.84 PropClause: 60.782 Set: 95.031 Check: 0.0 Back: 5.999
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 257674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 75.001 PropClause: 60.919 Set: 95.158 Check: 0.0 Back: 6.017
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 258404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.529 Prop: 75.159 PropClause: 61.054 Set: 95.274 Check: 0.0 Back: 6.033
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 259135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 75.334 PropClause: 61.191 Set: 95.392 Check: 0.0 Back: 6.05
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 259864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 75.495 PropClause: 61.329 Set: 95.506 Check: 0.0 Back: 6.067
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 260594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 75.652 PropClause: 61.465 Set: 95.62 Check: 0.0 Back: 6.084
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 261324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.54 Prop: 75.813 PropClause: 61.603 Set: 95.732 Check: 0.0 Back: 6.1
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 262055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.543 Prop: 75.972 PropClause: 61.739 Set: 95.854 Check: 0.0 Back: 6.117
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 262785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 76.131 PropClause: 61.877 Set: 95.97 Check: 0.0 Back: 6.134
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 263516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.549 Prop: 76.311 PropClause: 62.037 Set: 96.121 Check: 0.0 Back: 6.15
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Confl: 381 Props: 2563 Tprops: 0 Decides: 1296 RSplits: 0
INFO - Times: Expl: 50.242 Prop: 778.782 PropClause: 2.484 Set: 279.93 Check: 24.635 Back: 5.453
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 4280 eq 3709423 cc 3232665 setRep 591883
INFO - Merges: 1703, cc:1066
INFO - BVTimes: BB 40541678 BB_DPLL 406703059 Graph 16849133
INFO - BitBlastingClauses: 12228 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat