/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.21.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 23656805
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.358 Prop: 1.733 PropClause: 1.548 Set: 4.804 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.375 Prop: 2.165 PropClause: 1.878 Set: 5.834 Check: 0.0 Back: 0.028
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.393 Prop: 2.381 PropClause: 2.011 Set: 6.022 Check: 0.0 Back: 0.042
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.45 Prop: 2.758 PropClause: 2.274 Set: 6.211 Check: 0.0 Back: 0.055
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.48 Prop: 2.995 PropClause: 2.399 Set: 6.424 Check: 0.0 Back: 0.068
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.49 Prop: 3.243 PropClause: 2.545 Set: 6.651 Check: 0.0 Back: 0.082
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.5 Prop: 3.484 PropClause: 2.685 Set: 6.856 Check: 0.0 Back: 0.097
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.514 Prop: 5.633 PropClause: 4.725 Set: 7.09 Check: 0.0 Back: 0.112
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.527 Prop: 5.926 PropClause: 4.908 Set: 7.546 Check: 0.0 Back: 0.128
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.548 Prop: 6.641 PropClause: 5.105 Set: 7.973 Check: 0.0 Back: 0.144
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.558 Prop: 6.939 PropClause: 5.29 Set: 11.506 Check: 0.0 Back: 0.16
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.568 Prop: 7.15 PropClause: 5.48 Set: 11.777 Check: 0.0 Back: 0.177
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.581 Prop: 7.378 PropClause: 5.685 Set: 12.089 Check: 0.0 Back: 0.193
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.592 Prop: 7.599 PropClause: 5.886 Set: 12.386 Check: 0.0 Back: 0.21
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.605 Prop: 7.817 PropClause: 6.082 Set: 12.691 Check: 0.0 Back: 0.227
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.617 Prop: 8.028 PropClause: 6.271 Set: 12.971 Check: 0.0 Back: 0.245
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.657 Prop: 10.733 PropClause: 8.95 Set: 13.354 Check: 0.0 Back: 0.26
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.666 Prop: 10.934 PropClause: 9.131 Set: 13.792 Check: 0.0 Back: 0.277
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.682 Prop: 11.144 PropClause: 9.318 Set: 14.253 Check: 0.0 Back: 0.294
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.691 Prop: 11.359 PropClause: 9.512 Set: 14.694 Check: 0.0 Back: 0.31
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.701 Prop: 11.574 PropClause: 9.705 Set: 15.134 Check: 0.0 Back: 0.327
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.71 Prop: 11.786 PropClause: 9.896 Set: 15.582 Check: 0.0 Back: 0.343
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.72 Prop: 11.999 PropClause: 10.088 Set: 16.041 Check: 0.0 Back: 0.36
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: 0.734 Prop: 12.222 PropClause: 10.289 Set: 16.635 Check: 0.0 Back: 0.377
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: 0.743 Prop: 12.435 PropClause: 10.481 Set: 17.112 Check: 0.0 Back: 0.394
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: 0.752 Prop: 12.649 PropClause: 10.673 Set: 17.567 Check: 0.0 Back: 0.41
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: 0.762 Prop: 12.869 PropClause: 10.871 Set: 18.04 Check: 0.0 Back: 0.427
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: 0.772 Prop: 13.087 PropClause: 11.068 Set: 18.485 Check: 0.0 Back: 0.444
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: 0.782 Prop: 13.305 PropClause: 11.264 Set: 18.957 Check: 0.0 Back: 0.46
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: 0.792 Prop: 13.523 PropClause: 11.461 Set: 20.375 Check: 0.0 Back: 0.477
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: 0.812 Prop: 14.76 PropClause: 11.661 Set: 20.823 Check: 0.0 Back: 0.494
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: 0.823 Prop: 14.968 PropClause: 11.838 Set: 21.138 Check: 0.0 Back: 0.511
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: 0.833 Prop: 15.196 PropClause: 12.036 Set: 21.465 Check: 0.0 Back: 0.527
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: 0.842 Prop: 15.428 PropClause: 12.239 Set: 21.792 Check: 0.0 Back: 0.544
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: 0.852 Prop: 15.634 PropClause: 12.419 Set: 22.121 Check: 0.0 Back: 0.572
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: 0.861 Prop: 15.83 PropClause: 12.59 Set: 22.429 Check: 0.0 Back: 0.589
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: 0.871 Prop: 16.031 PropClause: 12.762 Set: 22.75 Check: 0.0 Back: 0.605
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: 0.992 Prop: 16.226 PropClause: 12.934 Set: 23.08 Check: 0.0 Back: 0.621
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.002 Prop: 16.42 PropClause: 13.104 Set: 23.391 Check: 0.0 Back: 0.638
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.01 Prop: 16.616 PropClause: 13.276 Set: 23.718 Check: 0.0 Back: 0.654
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.02 Prop: 16.816 PropClause: 13.453 Set: 24.044 Check: 0.0 Back: 0.67
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.029 Prop: 17.02 PropClause: 13.633 Set: 24.362 Check: 0.0 Back: 0.687
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.038 Prop: 17.217 PropClause: 13.806 Set: 24.715 Check: 0.0 Back: 0.704
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.047 Prop: 17.42 PropClause: 13.985 Set: 25.042 Check: 0.0 Back: 0.72
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.058 Prop: 17.626 PropClause: 14.167 Set: 25.355 Check: 0.0 Back: 0.737
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.08 Prop: 17.844 PropClause: 14.359 Set: 25.692 Check: 0.0 Back: 0.754
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.088 Prop: 18.008 PropClause: 14.504 Set: 25.914 Check: 0.0 Back: 0.771
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.1 Prop: 18.202 PropClause: 14.674 Set: 26.258 Check: 0.0 Back: 0.784
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.115 Prop: 18.418 PropClause: 14.854 Set: 26.604 Check: 0.0 Back: 0.801
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: 1.126 Prop: 18.621 PropClause: 15.034 Set: 26.952 Check: 0.0 Back: 0.818
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: 1.137 Prop: 18.76 PropClause: 15.156 Set: 27.15 Check: 0.0 Back: 0.835
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: 1.149 Prop: 18.943 PropClause: 15.315 Set: 27.546 Check: 0.0 Back: 0.846
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: 1.158 Prop: 19.153 PropClause: 15.5 Set: 27.931 Check: 0.0 Back: 0.863
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: 1.172 Prop: 19.353 PropClause: 15.667 Set: 28.156 Check: 0.0 Back: 0.88
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: 1.252 Prop: 19.479 PropClause: 15.775 Set: 28.303 Check: 0.0 Back: 0.897
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: 1.258 Prop: 19.637 PropClause: 15.909 Set: 28.523 Check: 0.0 Back: 0.91
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: 1.262 Prop: 19.803 PropClause: 16.053 Set: 28.749 Check: 0.0 Back: 0.927
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: 1.267 Prop: 20.008 PropClause: 16.232 Set: 28.918 Check: 0.0 Back: 0.943
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: 1.272 Prop: 20.149 PropClause: 16.353 Set: 29.012 Check: 0.0 Back: 0.96
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: 1.276 Prop: 20.277 PropClause: 16.461 Set: 29.11 Check: 0.0 Back: 0.974
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: 1.28 Prop: 20.412 PropClause: 16.574 Set: 29.207 Check: 0.0 Back: 0.989
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: 1.285 Prop: 20.547 PropClause: 16.689 Set: 29.304 Check: 0.0 Back: 1.004
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: 1.29 Prop: 20.707 PropClause: 16.825 Set: 29.434 Check: 0.0 Back: 1.019
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: 1.294 Prop: 20.872 PropClause: 16.966 Set: 29.563 Check: 0.0 Back: 1.036
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: 1.3 Prop: 21.037 PropClause: 17.108 Set: 29.693 Check: 0.0 Back: 1.052
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: 1.306 Prop: 21.205 PropClause: 17.251 Set: 29.817 Check: 0.0 Back: 1.07
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: 1.31 Prop: 21.364 PropClause: 17.386 Set: 29.933 Check: 0.0 Back: 1.086
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: 1.315 Prop: 21.527 PropClause: 17.527 Set: 30.047 Check: 0.0 Back: 1.103
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: 1.319 Prop: 21.695 PropClause: 17.671 Set: 30.188 Check: 0.0 Back: 1.12
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: 1.323 Prop: 21.861 PropClause: 17.812 Set: 30.323 Check: 0.0 Back: 1.137
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: 1.329 Prop: 22.022 PropClause: 17.949 Set: 30.442 Check: 0.0 Back: 1.153
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: 1.334 Prop: 22.188 PropClause: 18.09 Set: 30.567 Check: 0.0 Back: 1.17
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: 1.338 Prop: 22.351 PropClause: 18.231 Set: 30.683 Check: 0.0 Back: 1.187
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: 1.597 Prop: 22.512 PropClause: 18.368 Set: 30.807 Check: 0.0 Back: 1.203
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: 1.6 Prop: 22.662 PropClause: 18.497 Set: 30.913 Check: 0.0 Back: 1.22
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: 1.604 Prop: 23.618 PropClause: 19.431 Set: 31.041 Check: 0.0 Back: 1.235
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: 1.607 Prop: 23.771 PropClause: 19.562 Set: 31.152 Check: 0.0 Back: 1.25
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: 1.611 Prop: 23.926 PropClause: 19.694 Set: 31.282 Check: 0.0 Back: 1.266
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: 1.616 Prop: 24.079 PropClause: 19.826 Set: 31.399 Check: 0.0 Back: 1.282
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: 1.62 Prop: 24.238 PropClause: 19.963 Set: 31.53 Check: 0.0 Back: 1.297
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: 1.624 Prop: 24.396 PropClause: 20.097 Set: 31.655 Check: 0.0 Back: 1.313
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: 1.628 Prop: 24.544 PropClause: 20.223 Set: 31.784 Check: 0.0 Back: 1.329
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: 1.63 Prop: 24.719 PropClause: 20.374 Set: 31.976 Check: 0.0 Back: 1.344
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: 1.632 Prop: 24.898 PropClause: 20.53 Set: 32.164 Check: 0.0 Back: 1.361
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: 1.634 Prop: 25.075 PropClause: 20.684 Set: 32.327 Check: 0.0 Back: 1.379
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: 1.637 Prop: 25.25 PropClause: 20.835 Set: 32.501 Check: 0.0 Back: 1.395
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: 1.639 Prop: 25.421 PropClause: 20.984 Set: 32.663 Check: 0.0 Back: 1.412
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: 1.641 Prop: 25.596 PropClause: 21.136 Set: 32.838 Check: 0.0 Back: 1.429
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: 1.645 Prop: 25.77 PropClause: 21.286 Set: 33.011 Check: 0.0 Back: 1.447
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: 1.648 Prop: 25.941 PropClause: 21.434 Set: 33.189 Check: 0.0 Back: 1.464
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: 1.651 Prop: 26.113 PropClause: 21.582 Set: 33.363 Check: 0.0 Back: 1.481
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: 1.653 Prop: 26.292 PropClause: 21.737 Set: 33.533 Check: 0.0 Back: 1.497
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: 1.655 Prop: 26.46 PropClause: 21.881 Set: 33.707 Check: 0.0 Back: 1.514
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: 1.657 Prop: 26.636 PropClause: 22.035 Set: 33.867 Check: 0.0 Back: 1.531
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: 1.661 Prop: 26.809 PropClause: 22.184 Set: 34.046 Check: 0.0 Back: 1.548
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: 1.664 Prop: 26.989 PropClause: 22.342 Set: 34.209 Check: 0.0 Back: 1.565
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: 1.665 Prop: 27.167 PropClause: 22.496 Set: 34.372 Check: 0.0 Back: 1.582
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: 1.667 Prop: 27.335 PropClause: 22.641 Set: 34.541 Check: 0.0 Back: 1.599
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: 1.67 Prop: 27.51 PropClause: 22.793 Set: 34.707 Check: 0.0 Back: 1.615
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: 1.672 Prop: 27.678 PropClause: 22.938 Set: 34.881 Check: 0.0 Back: 1.633
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: 1.675 Prop: 27.857 PropClause: 23.093 Set: 35.053 Check: 0.0 Back: 1.65
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: 1.678 Prop: 28.035 PropClause: 23.248 Set: 35.227 Check: 0.0 Back: 1.666
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: 1.682 Prop: 28.229 PropClause: 23.417 Set: 35.386 Check: 0.0 Back: 1.683
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: 1.685 Prop: 28.402 PropClause: 23.566 Set: 35.561 Check: 0.0 Back: 1.7
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: 1.687 Prop: 28.579 PropClause: 23.72 Set: 35.731 Check: 0.0 Back: 1.717
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: 1.689 Prop: 28.76 PropClause: 23.878 Set: 35.897 Check: 0.0 Back: 1.735
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: 1.693 Prop: 28.936 PropClause: 24.031 Set: 36.064 Check: 0.0 Back: 1.751
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: 1.694 Prop: 29.08 PropClause: 24.155 Set: 36.196 Check: 0.0 Back: 1.769
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: 1.698 Prop: 29.247 PropClause: 24.298 Set: 36.368 Check: 0.0 Back: 1.784
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: 1.701 Prop: 29.407 PropClause: 24.438 Set: 36.511 Check: 0.0 Back: 1.801
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: 1.705 Prop: 29.572 PropClause: 24.581 Set: 39.543 Check: 0.0 Back: 1.816
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: 1.708 Prop: 29.744 PropClause: 24.729 Set: 39.673 Check: 0.0 Back: 1.831
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: 1.712 Prop: 29.929 PropClause: 24.889 Set: 39.805 Check: 0.0 Back: 1.848
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: 1.715 Prop: 30.109 PropClause: 25.045 Set: 39.932 Check: 0.0 Back: 1.865
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: 1.719 Prop: 30.29 PropClause: 25.2 Set: 40.057 Check: 0.0 Back: 1.882
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: 1.721 Prop: 30.431 PropClause: 25.321 Set: 40.147 Check: 0.0 Back: 1.899
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: 1.724 Prop: 30.598 PropClause: 25.463 Set: 40.28 Check: 0.0 Back: 1.912
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: 1.727 Prop: 30.778 PropClause: 25.618 Set: 40.413 Check: 0.0 Back: 1.929
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: 1.73 Prop: 30.93 PropClause: 25.75 Set: 40.514 Check: 0.0 Back: 1.946
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: 1.732 Prop: 31.099 PropClause: 25.894 Set: 40.642 Check: 0.0 Back: 1.961
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: 1.735 Prop: 31.26 PropClause: 26.033 Set: 40.751 Check: 0.0 Back: 1.979
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: 1.739 Prop: 31.436 PropClause: 26.184 Set: 40.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: 1.742 Prop: 31.616 PropClause: 26.339 Set: 41.004 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: 1.745 Prop: 31.794 PropClause: 26.493 Set: 41.126 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: 1.748 Prop: 31.972 PropClause: 26.646 Set: 41.263 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: 1.752 Prop: 32.154 PropClause: 26.801 Set: 41.383 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: 1.755 Prop: 32.334 PropClause: 26.956 Set: 41.523 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: 1.759 Prop: 32.572 PropClause: 27.116 Set: 41.649 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: 1.762 Prop: 32.752 PropClause: 27.27 Set: 41.78 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: 1.766 Prop: 32.932 PropClause: 27.425 Set: 41.912 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: 1.955 Prop: 33.112 PropClause: 27.58 Set: 42.042 Check: 0.0 Back: 2.147
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: 1.962 Prop: 33.29 PropClause: 27.734 Set: 42.162 Check: 0.0 Back: 2.164
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: 1.964 Prop: 33.484 PropClause: 27.903 Set: 42.287 Check: 0.0 Back: 2.181
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: 1.967 Prop: 33.66 PropClause: 28.054 Set: 42.412 Check: 0.0 Back: 2.199
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: 1.97 Prop: 33.837 PropClause: 28.206 Set: 42.537 Check: 0.0 Back: 2.215
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: 1.973 Prop: 34.019 PropClause: 28.362 Set: 42.667 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: 1.976 Prop: 34.212 PropClause: 28.529 Set: 42.798 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: 1.979 Prop: 34.387 PropClause: 28.679 Set: 42.927 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: 1.982 Prop: 34.56 PropClause: 28.827 Set: 43.051 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: 1.985 Prop: 34.737 PropClause: 28.98 Set: 43.181 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: 1.988 Prop: 34.915 PropClause: 29.134 Set: 43.311 Check: 0.0 Back: 2.316
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: 1.991 Prop: 35.095 PropClause: 29.288 Set: 43.436 Check: 0.0 Back: 2.333
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: 1.993 Prop: 35.27 PropClause: 29.441 Set: 43.561 Check: 0.0 Back: 2.35
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: 1.996 Prop: 35.452 PropClause: 29.598 Set: 43.683 Check: 0.0 Back: 2.367
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: 1.998 Prop: 35.63 PropClause: 29.752 Set: 43.824 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: 2.001 Prop: 35.809 PropClause: 29.906 Set: 43.963 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: 2.004 Prop: 35.985 PropClause: 30.057 Set: 44.097 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: 2.006 Prop: 36.167 PropClause: 30.213 Set: 44.237 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: 2.009 Prop: 36.345 PropClause: 30.367 Set: 44.381 Check: 0.0 Back: 2.451
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: 2.011 Prop: 36.523 PropClause: 30.522 Set: 44.523 Check: 0.0 Back: 2.468
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: 2.014 Prop: 36.723 PropClause: 30.697 Set: 44.663 Check: 0.0 Back: 2.485
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: 2.017 Prop: 36.887 PropClause: 30.838 Set: 44.785 Check: 0.0 Back: 2.502
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: 2.018 Prop: 37.057 PropClause: 30.984 Set: 44.916 Check: 0.0 Back: 2.517
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: 2.021 Prop: 37.236 PropClause: 31.138 Set: 45.047 Check: 0.0 Back: 2.534
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: 2.023 Prop: 37.414 PropClause: 31.292 Set: 45.174 Check: 0.0 Back: 2.551
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: 2.026 Prop: 37.593 PropClause: 31.445 Set: 45.301 Check: 0.0 Back: 2.568
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: 2.027 Prop: 37.767 PropClause: 31.595 Set: 45.429 Check: 0.0 Back: 2.585
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: 2.03 Prop: 37.944 PropClause: 31.748 Set: 45.552 Check: 0.0 Back: 2.602
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: 2.033 Prop: 38.139 PropClause: 31.914 Set: 45.716 Check: 0.0 Back: 2.619
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: 2.447 Prop: 38.324 PropClause: 32.074 Set: 45.865 Check: 0.0 Back: 2.636
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: 2.455 Prop: 38.5 PropClause: 32.226 Set: 45.988 Check: 0.0 Back: 2.652
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: 2.465 Prop: 38.68 PropClause: 32.38 Set: 46.115 Check: 0.0 Back: 2.669
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: 2.467 Prop: 38.857 PropClause: 32.533 Set: 46.242 Check: 0.0 Back: 2.686
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: 2.47 Prop: 39.033 PropClause: 32.685 Set: 46.368 Check: 0.0 Back: 2.703
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: 2.472 Prop: 39.214 PropClause: 32.841 Set: 46.494 Check: 0.0 Back: 2.72
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: 2.475 Prop: 39.389 PropClause: 32.991 Set: 46.622 Check: 0.0 Back: 2.737
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: 2.476 Prop: 39.564 PropClause: 33.141 Set: 46.752 Check: 0.0 Back: 2.754
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: 2.48 Prop: 39.74 PropClause: 33.293 Set: 46.888 Check: 0.0 Back: 2.771
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: 2.481 Prop: 39.916 PropClause: 33.446 Set: 47.021 Check: 0.0 Back: 2.788
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: 2.487 Prop: 40.167 PropClause: 33.671 Set: 52.31 Check: 0.0 Back: 2.804
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: 2.489 Prop: 40.344 PropClause: 33.823 Set: 52.438 Check: 0.0 Back: 2.821
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: 2.492 Prop: 40.52 PropClause: 33.974 Set: 52.568 Check: 0.0 Back: 2.838
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: 2.495 Prop: 40.7 PropClause: 34.129 Set: 52.701 Check: 0.0 Back: 2.855
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: 2.498 Prop: 40.877 PropClause: 34.28 Set: 52.825 Check: 0.0 Back: 2.872
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: 2.499 Prop: 41.046 PropClause: 34.426 Set: 52.947 Check: 0.0 Back: 2.889
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: 2.501 Prop: 41.224 PropClause: 34.579 Set: 53.074 Check: 0.0 Back: 2.907
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: 2.504 Prop: 41.399 PropClause: 34.73 Set: 53.21 Check: 0.0 Back: 2.924
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: 2.507 Prop: 41.574 PropClause: 34.88 Set: 53.344 Check: 0.0 Back: 2.941
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: 2.509 Prop: 41.758 PropClause: 35.037 Set: 53.475 Check: 0.0 Back: 2.958
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: 2.512 Prop: 41.934 PropClause: 35.189 Set: 53.614 Check: 0.0 Back: 2.975
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: 2.514 Prop: 42.11 PropClause: 35.339 Set: 53.746 Check: 0.0 Back: 2.992
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: 2.517 Prop: 42.289 PropClause: 35.493 Set: 53.878 Check: 0.0 Back: 3.009
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: 2.519 Prop: 42.467 PropClause: 35.646 Set: 54.004 Check: 0.0 Back: 3.026
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: 2.522 Prop: 42.644 PropClause: 35.797 Set: 54.14 Check: 0.0 Back: 3.043
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: 2.524 Prop: 42.818 PropClause: 35.947 Set: 54.274 Check: 0.0 Back: 3.06
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: 2.527 Prop: 42.993 PropClause: 36.095 Set: 54.403 Check: 0.0 Back: 3.077
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: 2.529 Prop: 43.171 PropClause: 36.249 Set: 54.535 Check: 0.0 Back: 3.094
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: 2.532 Prop: 43.348 PropClause: 36.4 Set: 54.661 Check: 0.0 Back: 3.111
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: 2.534 Prop: 43.525 PropClause: 36.552 Set: 54.783 Check: 0.0 Back: 3.128
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: 2.537 Prop: 43.704 PropClause: 36.706 Set: 54.91 Check: 0.0 Back: 3.145
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: 2.539 Prop: 43.883 PropClause: 36.86 Set: 55.054 Check: 0.0 Back: 3.162
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: 2.543 Prop: 44.061 PropClause: 37.013 Set: 55.188 Check: 0.0 Back: 3.18
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: 2.546 Prop: 44.247 PropClause: 37.173 Set: 55.351 Check: 0.0 Back: 3.197
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: 2.55 Prop: 44.436 PropClause: 37.336 Set: 55.513 Check: 0.0 Back: 3.214
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: 2.552 Prop: 44.624 PropClause: 37.497 Set: 55.67 Check: 0.0 Back: 3.231
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: 12.936 Prop: 44.81 PropClause: 37.656 Set: 55.835 Check: 0.0 Back: 3.248
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: 12.939 Prop: 44.996 PropClause: 37.815 Set: 55.988 Check: 0.0 Back: 3.265
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: 12.942 Prop: 45.18 PropClause: 37.972 Set: 56.125 Check: 0.0 Back: 3.283
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: 12.945 Prop: 45.36 PropClause: 38.127 Set: 56.272 Check: 0.0 Back: 3.3
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: 13.073 Prop: 45.55 PropClause: 38.288 Set: 56.43 Check: 0.0 Back: 3.317
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: 13.078 Prop: 45.733 PropClause: 38.445 Set: 56.583 Check: 0.0 Back: 3.334
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: 13.084 Prop: 45.919 PropClause: 38.603 Set: 56.751 Check: 0.0 Back: 3.351
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: 13.094 Prop: 46.114 PropClause: 38.768 Set: 56.926 Check: 0.0 Back: 3.382
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: 13.1 Prop: 46.305 PropClause: 38.933 Set: 57.091 Check: 0.0 Back: 3.4
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: 13.105 Prop: 46.499 PropClause: 39.1 Set: 57.256 Check: 0.0 Back: 3.417
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: 13.108 Prop: 46.686 PropClause: 39.261 Set: 57.417 Check: 0.0 Back: 3.434
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: 13.113 Prop: 46.87 PropClause: 39.418 Set: 57.561 Check: 0.0 Back: 3.451
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: 13.118 Prop: 47.054 PropClause: 39.575 Set: 57.71 Check: 0.0 Back: 3.468
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: 13.123 Prop: 47.241 PropClause: 39.735 Set: 57.858 Check: 0.0 Back: 3.498
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: 13.128 Prop: 47.397 PropClause: 39.871 Set: 59.904 Check: 0.0 Back: 3.515
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: 13.133 Prop: 47.572 PropClause: 40.021 Set: 60.185 Check: 0.0 Back: 3.528
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: 13.136 Prop: 47.724 PropClause: 40.153 Set: 60.402 Check: 0.0 Back: 3.545
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: 13.139 Prop: 47.908 PropClause: 40.313 Set: 60.654 Check: 0.0 Back: 3.56
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: 13.144 Prop: 48.08 PropClause: 40.459 Set: 60.953 Check: 0.0 Back: 3.577
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: 13.15 Prop: 48.227 PropClause: 40.585 Set: 61.168 Check: 0.0 Back: 3.594
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: 13.155 Prop: 48.402 PropClause: 40.735 Set: 61.487 Check: 0.0 Back: 3.609
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: 13.16 Prop: 48.548 PropClause: 40.862 Set: 61.699 Check: 0.0 Back: 3.626
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: 13.166 Prop: 48.734 PropClause: 41.023 Set: 62.016 Check: 0.0 Back: 3.64
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: 13.169 Prop: 48.913 PropClause: 41.177 Set: 62.297 Check: 0.0 Back: 3.657
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: 13.173 Prop: 49.067 PropClause: 41.308 Set: 62.55 Check: 0.0 Back: 3.674
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: 13.176 Prop: 49.225 PropClause: 41.443 Set: 62.783 Check: 0.0 Back: 3.689
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: 13.178 Prop: 49.39 PropClause: 41.584 Set: 63.017 Check: 0.0 Back: 3.706
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: 13.18 Prop: 49.54 PropClause: 41.712 Set: 63.222 Check: 0.0 Back: 3.723
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: 13.182 Prop: 49.677 PropClause: 41.828 Set: 63.416 Check: 0.0 Back: 3.738
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: 13.185 Prop: 49.827 PropClause: 41.956 Set: 63.667 Check: 0.0 Back: 3.754
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: 13.189 Prop: 49.984 PropClause: 42.089 Set: 63.915 Check: 0.0 Back: 3.769
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: 13.193 Prop: 50.129 PropClause: 42.212 Set: 64.155 Check: 0.0 Back: 3.785
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: 13.195 Prop: 50.277 PropClause: 42.338 Set: 64.376 Check: 0.0 Back: 3.8
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: 13.197 Prop: 50.424 PropClause: 42.463 Set: 64.585 Check: 0.0 Back: 3.816
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: 13.2 Prop: 50.568 PropClause: 42.586 Set: 64.796 Check: 0.0 Back: 3.831
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: 13.203 Prop: 50.753 PropClause: 42.746 Set: 65.034 Check: 0.0 Back: 3.846
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: 13.205 Prop: 50.89 PropClause: 42.863 Set: 65.216 Check: 0.0 Back: 3.863
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: 13.206 Prop: 51.05 PropClause: 42.999 Set: 65.507 Check: 0.0 Back: 3.877
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: 13.213 Prop: 51.227 PropClause: 43.153 Set: 65.775 Check: 0.0 Back: 3.894
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: 13.22 Prop: 51.396 PropClause: 43.297 Set: 66.036 Check: 0.0 Back: 3.911
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: 13.222 Prop: 51.56 PropClause: 43.438 Set: 66.285 Check: 0.0 Back: 3.929
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: 13.225 Prop: 51.702 PropClause: 43.559 Set: 66.537 Check: 0.0 Back: 3.946
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: 13.227 Prop: 51.86 PropClause: 43.692 Set: 66.802 Check: 0.0 Back: 3.96
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: 13.229 Prop: 52.047 PropClause: 43.841 Set: 67.07 Check: 0.0 Back: 3.977
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: 13.231 Prop: 52.217 PropClause: 43.987 Set: 67.337 Check: 0.0 Back: 3.994
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: 13.234 Prop: 52.399 PropClause: 44.145 Set: 67.622 Check: 0.0 Back: 4.011
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: 13.236 Prop: 52.566 PropClause: 44.29 Set: 67.89 Check: 0.0 Back: 4.028
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: 13.238 Prop: 52.731 PropClause: 44.431 Set: 68.196 Check: 0.0 Back: 4.044
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: 13.242 Prop: 52.897 PropClause: 44.573 Set: 68.494 Check: 0.0 Back: 4.061
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: 13.244 Prop: 53.051 PropClause: 44.706 Set: 68.753 Check: 0.0 Back: 4.078
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: 13.246 Prop: 53.215 PropClause: 44.845 Set: 69.061 Check: 0.0 Back: 4.093
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: 13.248 Prop: 53.352 PropClause: 44.963 Set: 69.285 Check: 0.0 Back: 4.11
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: 13.252 Prop: 53.509 PropClause: 45.096 Set: 69.555 Check: 0.0 Back: 4.124
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: 13.255 Prop: 53.703 PropClause: 45.264 Set: 69.86 Check: 0.0 Back: 4.141
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: 13.259 Prop: 53.899 PropClause: 45.432 Set: 70.163 Check: 0.0 Back: 4.158
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: 13.266 Prop: 54.108 PropClause: 45.606 Set: 70.536 Check: 0.0 Back: 4.174
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: 13.268 Prop: 54.282 PropClause: 45.756 Set: 70.834 Check: 0.0 Back: 4.194
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: 13.27 Prop: 54.434 PropClause: 45.886 Set: 71.084 Check: 0.0 Back: 4.211
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: 13.272 Prop: 54.571 PropClause: 46.002 Set: 71.316 Check: 0.0 Back: 4.226
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: 13.275 Prop: 54.717 PropClause: 46.127 Set: 71.549 Check: 0.0 Back: 4.241
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: 13.277 Prop: 54.965 PropClause: 46.256 Set: 71.79 Check: 0.0 Back: 4.256
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: 13.282 Prop: 55.16 PropClause: 46.417 Set: 72.068 Check: 0.0 Back: 4.271
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: 13.284 Prop: 55.317 PropClause: 46.552 Set: 72.328 Check: 0.0 Back: 4.288
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: 13.288 Prop: 55.493 PropClause: 46.705 Set: 72.635 Check: 0.0 Back: 4.303
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: 13.292 Prop: 55.643 PropClause: 46.836 Set: 72.836 Check: 0.0 Back: 4.32
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: 13.295 Prop: 55.8 PropClause: 46.967 Set: 73.052 Check: 0.0 Back: 4.334
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: 13.3 Prop: 55.952 PropClause: 47.098 Set: 73.219 Check: 0.0 Back: 4.351
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: 13.305 Prop: 56.154 PropClause: 47.273 Set: 73.43 Check: 0.0 Back: 4.366
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: 13.309 Prop: 56.336 PropClause: 47.433 Set: 73.624 Check: 0.0 Back: 4.384
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: 13.311 Prop: 56.503 PropClause: 47.577 Set: 73.796 Check: 0.0 Back: 4.4
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: 13.317 Prop: 56.656 PropClause: 47.708 Set: 73.971 Check: 0.0 Back: 4.418
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: 13.32 Prop: 56.823 PropClause: 47.851 Set: 74.173 Check: 0.0 Back: 4.433
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: 13.325 Prop: 57.034 PropClause: 48.039 Set: 74.366 Check: 0.0 Back: 4.45
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: 13.328 Prop: 57.19 PropClause: 48.171 Set: 74.546 Check: 0.0 Back: 4.467
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: 13.332 Prop: 57.355 PropClause: 48.313 Set: 74.734 Check: 0.0 Back: 4.483
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: 13.335 Prop: 57.515 PropClause: 48.45 Set: 74.914 Check: 0.0 Back: 4.5
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: 13.338 Prop: 57.757 PropClause: 48.603 Set: 75.095 Check: 0.0 Back: 4.517
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: 13.34 Prop: 57.922 PropClause: 48.745 Set: 75.273 Check: 0.0 Back: 4.534
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: 13.344 Prop: 58.089 PropClause: 48.888 Set: 75.439 Check: 0.0 Back: 4.552
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: 13.346 Prop: 58.26 PropClause: 49.035 Set: 75.6 Check: 0.0 Back: 4.569
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: 13.349 Prop: 58.432 PropClause: 49.183 Set: 75.77 Check: 0.0 Back: 4.586
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: 13.351 Prop: 58.599 PropClause: 49.327 Set: 75.944 Check: 0.0 Back: 4.603
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: 13.354 Prop: 58.764 PropClause: 49.468 Set: 76.112 Check: 0.0 Back: 4.62
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: 13.356 Prop: 58.932 PropClause: 49.613 Set: 76.279 Check: 0.0 Back: 4.637
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: 13.358 Prop: 59.105 PropClause: 49.763 Set: 76.446 Check: 0.0 Back: 4.654
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: 13.362 Prop: 59.267 PropClause: 49.902 Set: 76.608 Check: 0.0 Back: 4.671
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: 13.364 Prop: 59.431 PropClause: 50.042 Set: 76.767 Check: 0.0 Back: 4.688
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: 13.366 Prop: 59.604 PropClause: 50.189 Set: 76.935 Check: 0.0 Back: 4.705
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: 13.37 Prop: 59.756 PropClause: 50.319 Set: 77.099 Check: 0.0 Back: 4.721
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: 13.372 Prop: 59.913 PropClause: 50.452 Set: 77.268 Check: 0.0 Back: 4.738
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: 13.374 Prop: 60.077 PropClause: 50.593 Set: 77.438 Check: 0.0 Back: 4.755
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: 13.376 Prop: 60.239 PropClause: 50.731 Set: 77.606 Check: 0.0 Back: 4.772
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: 13.379 Prop: 60.406 PropClause: 50.874 Set: 77.791 Check: 0.0 Back: 4.789
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: 13.382 Prop: 60.57 PropClause: 51.015 Set: 77.955 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: 13.387 Prop: 60.734 PropClause: 51.154 Set: 78.067 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: 13.391 Prop: 60.896 PropClause: 51.292 Set: 78.182 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: 13.394 Prop: 61.065 PropClause: 51.435 Set: 78.302 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: 13.396 Prop: 61.222 PropClause: 51.568 Set: 78.414 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: 13.399 Prop: 61.466 PropClause: 51.707 Set: 78.54 Check: 0.0 Back: 4.893
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: 13.402 Prop: 61.63 PropClause: 51.848 Set: 78.653 Check: 0.0 Back: 4.91
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: 13.405 Prop: 61.79 PropClause: 51.984 Set: 78.764 Check: 0.0 Back: 4.927
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: 13.408 Prop: 61.946 PropClause: 52.116 Set: 78.876 Check: 0.0 Back: 4.944
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: 13.411 Prop: 62.104 PropClause: 52.25 Set: 78.987 Check: 0.0 Back: 4.975
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: 13.414 Prop: 62.27 PropClause: 52.39 Set: 79.107 Check: 0.0 Back: 4.992
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: 13.419 Prop: 62.432 PropClause: 52.526 Set: 79.222 Check: 0.0 Back: 5.009
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: 13.422 Prop: 62.59 PropClause: 52.661 Set: 79.332 Check: 0.0 Back: 5.027
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: 13.425 Prop: 62.753 PropClause: 52.8 Set: 79.443 Check: 0.0 Back: 5.044
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: 13.429 Prop: 62.914 PropClause: 52.937 Set: 79.553 Check: 0.0 Back: 5.061
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: 13.432 Prop: 63.074 PropClause: 53.072 Set: 79.667 Check: 0.0 Back: 5.078
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: 13.436 Prop: 63.322 PropClause: 53.21 Set: 79.782 Check: 0.0 Back: 5.095
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: 13.441 Prop: 63.48 PropClause: 53.343 Set: 79.89 Check: 0.0 Back: 5.111
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: 13.445 Prop: 63.64 PropClause: 53.48 Set: 80.004 Check: 0.0 Back: 5.128
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: 13.45 Prop: 63.798 PropClause: 53.613 Set: 80.117 Check: 0.0 Back: 5.145
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: 13.453 Prop: 63.954 PropClause: 53.745 Set: 80.228 Check: 0.0 Back: 5.175
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: 13.456 Prop: 64.113 PropClause: 53.88 Set: 80.339 Check: 0.0 Back: 5.192
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: 13.481 Prop: 64.27 PropClause: 54.014 Set: 80.448 Check: 0.0 Back: 5.209
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: 13.486 Prop: 64.431 PropClause: 54.151 Set: 80.561 Check: 0.0 Back: 5.226
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: 13.489 Prop: 64.588 PropClause: 54.284 Set: 80.671 Check: 0.0 Back: 5.243
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: 13.493 Prop: 64.777 PropClause: 54.442 Set: 80.832 Check: 0.0 Back: 5.259
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: 13.496 Prop: 64.932 PropClause: 54.573 Set: 80.944 Check: 0.0 Back: 5.276
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: 13.5 Prop: 65.167 PropClause: 54.711 Set: 81.061 Check: 0.0 Back: 5.293
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: 13.503 Prop: 65.324 PropClause: 54.843 Set: 81.173 Check: 0.0 Back: 5.31
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: 13.506 Prop: 65.483 PropClause: 54.978 Set: 81.286 Check: 0.0 Back: 5.327
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: 13.51 Prop: 65.641 PropClause: 55.112 Set: 81.4 Check: 0.0 Back: 5.344
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: 13.512 Prop: 65.783 PropClause: 55.234 Set: 81.497 Check: 0.0 Back: 5.361
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: 13.516 Prop: 65.938 PropClause: 55.364 Set: 81.607 Check: 0.0 Back: 5.376
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: 13.52 Prop: 66.096 PropClause: 55.498 Set: 81.717 Check: 0.0 Back: 5.393
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: 13.523 Prop: 66.253 PropClause: 55.631 Set: 81.826 Check: 0.0 Back: 5.41
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: 13.528 Prop: 66.415 PropClause: 55.767 Set: 81.944 Check: 0.0 Back: 5.427
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: 13.532 Prop: 66.579 PropClause: 55.906 Set: 82.057 Check: 0.0 Back: 5.444
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: 13.535 Prop: 66.74 PropClause: 56.042 Set: 82.178 Check: 0.0 Back: 5.461
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: 13.537 Prop: 66.972 PropClause: 56.181 Set: 82.286 Check: 0.0 Back: 5.478
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: 13.541 Prop: 67.139 PropClause: 56.318 Set: 82.404 Check: 0.0 Back: 5.495
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: 13.545 Prop: 67.308 PropClause: 56.46 Set: 82.513 Check: 0.0 Back: 5.512
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: 13.548 Prop: 67.464 PropClause: 56.594 Set: 82.64 Check: 0.0 Back: 5.529
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: 13.551 Prop: 67.619 PropClause: 56.727 Set: 82.746 Check: 0.0 Back: 5.546
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: 13.556 Prop: 67.775 PropClause: 56.861 Set: 82.864 Check: 0.0 Back: 5.563
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: 13.559 Prop: 67.929 PropClause: 56.993 Set: 82.969 Check: 0.0 Back: 5.58
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: 13.562 Prop: 68.086 PropClause: 57.129 Set: 83.085 Check: 0.0 Back: 5.597
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: 13.565 Prop: 68.24 PropClause: 57.261 Set: 83.189 Check: 0.0 Back: 5.614
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: 13.569 Prop: 68.399 PropClause: 57.398 Set: 83.299 Check: 0.0 Back: 5.631
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: 13.572 Prop: 68.548 PropClause: 57.526 Set: 83.401 Check: 0.0 Back: 5.649
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: 13.574 Prop: 68.705 PropClause: 57.661 Set: 83.516 Check: 0.0 Back: 5.665
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: 13.577 Prop: 68.86 PropClause: 57.795 Set: 83.634 Check: 0.0 Back: 5.696
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: 13.58 Prop: 69.021 PropClause: 57.933 Set: 83.753 Check: 0.0 Back: 5.713
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: 13.583 Prop: 69.188 PropClause: 58.077 Set: 83.906 Check: 0.0 Back: 5.73
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: 13.587 Prop: 69.376 PropClause: 58.241 Set: 84.059 Check: 0.0 Back: 5.748
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: 13.592 Prop: 69.54 PropClause: 58.383 Set: 84.187 Check: 0.0 Back: 5.768
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: 13.595 Prop: 69.701 PropClause: 58.522 Set: 84.322 Check: 0.0 Back: 5.785
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: 13.598 Prop: 69.858 PropClause: 58.657 Set: 84.448 Check: 0.0 Back: 5.802
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: 13.601 Prop: 70.02 PropClause: 58.797 Set: 84.569 Check: 0.0 Back: 5.819
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: 13.605 Prop: 70.176 PropClause: 58.932 Set: 84.687 Check: 0.0 Back: 5.837
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: 13.608 Prop: 70.337 PropClause: 59.069 Set: 84.813 Check: 0.0 Back: 5.854
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: 13.611 Prop: 70.496 PropClause: 59.207 Set: 84.931 Check: 0.0 Back: 5.871
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: 13.614 Prop: 70.655 PropClause: 59.344 Set: 85.054 Check: 0.0 Back: 5.888
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: 13.619 Prop: 70.818 PropClause: 59.485 Set: 85.198 Check: 0.0 Back: 5.905
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: 13.623 Prop: 70.978 PropClause: 59.623 Set: 85.32 Check: 0.0 Back: 5.922
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: 13.627 Prop: 71.136 PropClause: 59.758 Set: 85.437 Check: 0.0 Back: 5.939
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: 13.632 Prop: 71.3 PropClause: 59.9 Set: 85.563 Check: 0.0 Back: 5.956
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: 13.637 Prop: 71.459 PropClause: 60.036 Set: 85.689 Check: 0.0 Back: 5.973
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: 13.641 Prop: 71.619 PropClause: 60.173 Set: 85.808 Check: 0.0 Back: 5.99
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: 13.645 Prop: 71.777 PropClause: 60.308 Set: 85.934 Check: 0.0 Back: 6.007
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: 13.649 Prop: 71.936 PropClause: 60.446 Set: 86.055 Check: 0.0 Back: 6.024
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: 13.655 Prop: 72.116 PropClause: 60.604 Set: 86.223 Check: 0.0 Back: 6.041
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: 13.659 Prop: 72.309 PropClause: 60.772 Set: 86.38 Check: 0.0 Back: 6.06
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: 13.666 Prop: 72.469 PropClause: 60.91 Set: 86.497 Check: 0.0 Back: 6.084
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: 13.669 Prop: 72.623 PropClause: 61.042 Set: 86.62 Check: 0.0 Back: 6.101
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: 13.673 Prop: 72.777 PropClause: 61.174 Set: 86.732 Check: 0.0 Back: 6.118
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: 13.675 Prop: 72.933 PropClause: 61.308 Set: 86.845 Check: 0.0 Back: 6.135
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: 13.679 Prop: 73.088 PropClause: 61.441 Set: 86.954 Check: 0.0 Back: 6.152
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: 13.681 Prop: 73.244 PropClause: 61.576 Set: 87.13 Check: 0.0 Back: 6.168
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: 13.685 Prop: 73.399 PropClause: 61.709 Set: 87.236 Check: 0.0 Back: 6.185
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: 13.687 Prop: 73.556 PropClause: 61.843 Set: 87.342 Check: 0.0 Back: 6.202
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: 13.69 Prop: 73.711 PropClause: 61.976 Set: 87.452 Check: 0.0 Back: 6.219
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: 28.115 Prop: 659.894 PropClause: 1.92 Set: 257.643 Check: 17.132 Back: 6.907
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 4208 eq 2830838 cc 2074061 setRep 514927
INFO - Merges: 1703, cc:1066
INFO - BVTimes: BB 23645323 BB_DPLL 369401444 Graph 10464621
INFO - BitBlastingClauses: 12228 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat