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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 22996666
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.482 Prop: 4.392 PropClause: 3.574 Set: 4.157 Check: 0.0 Back: 0.0
INFO - Atoms: 519/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.506 Prop: 4.602 PropClause: 3.693 Set: 4.286 Check: 0.0 Back: 0.02
INFO - Atoms: 465/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.522 Prop: 4.787 PropClause: 3.799 Set: 4.421 Check: 0.0 Back: 0.031
INFO - Atoms: 552/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.569 Prop: 5.077 PropClause: 3.983 Set: 4.592 Check: 0.0 Back: 0.044
INFO - Atoms: 570/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.596 Prop: 5.301 PropClause: 4.101 Set: 4.777 Check: 0.0 Back: 0.057
INFO - Atoms: 606/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.609 Prop: 5.541 PropClause: 4.24 Set: 6.314 Check: 0.0 Back: 0.071
INFO - Atoms: 664/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 4016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.62 Prop: 5.779 PropClause: 4.376 Set: 6.509 Check: 0.0 Back: 0.087
INFO - Atoms: 640/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 4706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.633 Prop: 7.846 PropClause: 6.337 Set: 6.719 Check: 0.0 Back: 0.102
INFO - Atoms: 690/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 5409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.648 Prop: 8.145 PropClause: 6.528 Set: 7.178 Check: 0.0 Back: 0.118
INFO - Atoms: 703/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 6117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.662 Prop: 8.854 PropClause: 6.719 Set: 8.029 Check: 0.0 Back: 0.134
INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 6818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.673 Prop: 9.16 PropClause: 6.914 Set: 9.785 Check: 0.0 Back: 0.15
INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 7528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.685 Prop: 9.386 PropClause: 7.118 Set: 10.04 Check: 0.0 Back: 0.166
INFO - Atoms: 710/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 8247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.697 Prop: 9.6 PropClause: 7.31 Set: 10.306 Check: 0.0 Back: 0.183
INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 8961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.707 Prop: 9.819 PropClause: 7.507 Set: 10.554 Check: 0.0 Back: 0.2
INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 9680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.717 Prop: 10.033 PropClause: 7.698 Set: 10.821 Check: 0.0 Back: 0.216
INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 10364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.726 Prop: 10.245 PropClause: 7.89 Set: 11.053 Check: 0.0 Back: 0.233
INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 11080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.736 Prop: 10.459 PropClause: 8.081 Set: 11.308 Check: 0.0 Back: 0.25
INFO - Atoms: 716/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 11784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.745 Prop: 10.663 PropClause: 8.264 Set: 11.564 Check: 0.0 Back: 0.267
INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 12496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.756 Prop: 10.887 PropClause: 8.467 Set: 11.808 Check: 0.0 Back: 0.283
INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 13214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.767 Prop: 11.112 PropClause: 8.67 Set: 12.056 Check: 0.0 Back: 0.3
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 13937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.781 Prop: 11.344 PropClause: 8.88 Set: 12.692 Check: 0.0 Back: 0.317
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 14659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.79 Prop: 11.568 PropClause: 9.082 Set: 12.968 Check: 0.0 Back: 0.334
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 15382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.814 Prop: 11.811 PropClause: 9.302 Set: 19.949 Check: 0.0 Back: 0.351
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 16106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.823 Prop: 12.018 PropClause: 9.486 Set: 20.218 Check: 0.0 Back: 0.367
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 16829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.832 Prop: 12.224 PropClause: 9.671 Set: 20.463 Check: 0.0 Back: 0.384
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 17553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.841 Prop: 12.431 PropClause: 9.856 Set: 20.705 Check: 0.0 Back: 0.401
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 18276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 12.637 PropClause: 10.04 Set: 20.949 Check: 0.0 Back: 0.418
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 18996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.859 Prop: 12.842 PropClause: 10.223 Set: 21.169 Check: 0.0 Back: 0.435
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 19723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.868 Prop: 13.049 PropClause: 10.408 Set: 21.397 Check: 0.0 Back: 0.452
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 20447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.88 Prop: 13.257 PropClause: 10.593 Set: 22.54 Check: 0.0 Back: 0.469
INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 21170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 14.477 PropClause: 10.783 Set: 22.777 Check: 0.0 Back: 0.486
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 21884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.906 Prop: 14.69 PropClause: 10.963 Set: 22.998 Check: 0.0 Back: 0.503
INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 22607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.916 Prop: 14.92 PropClause: 11.151 Set: 23.203 Check: 0.0 Back: 0.52
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 23327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 15.133 PropClause: 11.333 Set: 23.405 Check: 0.0 Back: 0.537
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 24048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.934 Prop: 15.343 PropClause: 11.515 Set: 23.614 Check: 0.0 Back: 0.554
INFO - Atoms: 721/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 24760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.944 Prop: 15.544 PropClause: 11.693 Set: 23.817 Check: 0.0 Back: 0.571
INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 25464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.954 Prop: 15.725 PropClause: 11.844 Set: 23.991 Check: 0.0 Back: 0.587
INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 26165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 15.88 PropClause: 11.976 Set: 24.162 Check: 0.0 Back: 0.604
INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 26872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 16.037 PropClause: 12.11 Set: 24.331 Check: 0.0 Back: 0.62
INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 27579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.98 Prop: 16.197 PropClause: 12.248 Set: 24.519 Check: 0.0 Back: 0.637
INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 28297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.99 Prop: 16.367 PropClause: 12.386 Set: 24.697 Check: 0.0 Back: 0.653
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 29015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.999 Prop: 16.529 PropClause: 12.526 Set: 24.873 Check: 0.0 Back: 0.67
INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 29726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.008 Prop: 16.687 PropClause: 12.662 Set: 25.046 Check: 0.0 Back: 0.687
INFO - Atoms: 711/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 30458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.017 Prop: 16.852 PropClause: 12.803 Set: 25.231 Check: 0.0 Back: 0.703
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 31191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.029 Prop: 17.017 PropClause: 12.946 Set: 25.413 Check: 0.0 Back: 0.721
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 31922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.04 Prop: 17.185 PropClause: 13.09 Set: 25.599 Check: 0.0 Back: 0.738
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 32508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.048 Prop: 17.318 PropClause: 13.204 Set: 25.731 Check: 0.0 Back: 0.755
INFO - Atoms: 586/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 33237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.06 Prop: 17.475 PropClause: 13.337 Set: 25.916 Check: 0.0 Back: 0.769
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 33959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 17.638 PropClause: 13.476 Set: 26.095 Check: 0.0 Back: 0.786
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 34692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 17.801 PropClause: 13.617 Set: 26.281 Check: 0.0 Back: 0.802
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 35202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.09 Prop: 17.916 PropClause: 13.716 Set: 26.391 Check: 0.0 Back: 0.82
INFO - Atoms: 510/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 35935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 18.063 PropClause: 13.839 Set: 26.572 Check: 0.0 Back: 0.832
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 36657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.111 Prop: 18.226 PropClause: 13.98 Set: 26.751 Check: 0.0 Back: 0.849
INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 37386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.123 Prop: 18.391 PropClause: 14.122 Set: 26.933 Check: 0.0 Back: 0.865
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 37953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.204 Prop: 18.519 PropClause: 14.231 Set: 27.059 Check: 0.0 Back: 0.882
INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 38683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.21 Prop: 18.669 PropClause: 14.358 Set: 27.242 Check: 0.0 Back: 0.896
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 39406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.213 Prop: 18.831 PropClause: 14.498 Set: 27.422 Check: 0.0 Back: 0.914
INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 40139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.218 Prop: 19.002 PropClause: 14.644 Set: 27.612 Check: 0.0 Back: 0.93
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 40754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.227 Prop: 19.155 PropClause: 14.768 Set: 27.754 Check: 0.0 Back: 0.948
INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 41376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.231 Prop: 19.283 PropClause: 14.876 Set: 27.898 Check: 0.0 Back: 0.962
INFO - Atoms: 622/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 42024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.234 Prop: 19.42 PropClause: 14.993 Set: 28.008 Check: 0.0 Back: 0.977
INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 42659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.239 Prop: 19.551 PropClause: 15.104 Set: 28.085 Check: 0.0 Back: 0.992
INFO - Atoms: 635/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 43392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.243 Prop: 19.709 PropClause: 15.238 Set: 28.182 Check: 0.0 Back: 1.007
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 44123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.247 Prop: 19.869 PropClause: 15.375 Set: 28.279 Check: 0.0 Back: 1.024
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 44853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.251 Prop: 20.033 PropClause: 15.516 Set: 28.372 Check: 0.0 Back: 1.041
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 45583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.257 Prop: 20.193 PropClause: 15.654 Set: 28.479 Check: 0.0 Back: 1.059
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 46303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.26 Prop: 20.351 PropClause: 15.788 Set: 28.574 Check: 0.0 Back: 1.076
INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 47036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.265 Prop: 20.511 PropClause: 15.925 Set: 28.668 Check: 0.0 Back: 1.093
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 47769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.282 Prop: 20.673 PropClause: 16.064 Set: 28.764 Check: 0.0 Back: 1.11
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 48500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.286 Prop: 20.835 PropClause: 16.201 Set: 28.86 Check: 0.0 Back: 1.127
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 49228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.291 Prop: 20.996 PropClause: 16.34 Set: 28.953 Check: 0.0 Back: 1.144
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 49958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.295 Prop: 21.162 PropClause: 16.482 Set: 29.05 Check: 0.0 Back: 1.162
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 50666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 21.312 PropClause: 16.61 Set: 29.142 Check: 0.0 Back: 1.179
INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 51399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.508 Prop: 21.472 PropClause: 16.747 Set: 29.237 Check: 0.0 Back: 1.195
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 52047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.51 Prop: 21.613 PropClause: 16.867 Set: 29.315 Check: 0.0 Back: 1.213
INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 52715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.512 Prop: 22.481 PropClause: 17.715 Set: 29.398 Check: 0.0 Back: 1.228
INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 53399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.515 Prop: 22.63 PropClause: 17.842 Set: 29.487 Check: 0.0 Back: 1.243
INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 54074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.523 Prop: 22.789 PropClause: 17.97 Set: 29.573 Check: 0.0 Back: 1.26
INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 54752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 22.937 PropClause: 18.097 Set: 29.66 Check: 0.0 Back: 1.275
INFO - Atoms: 678/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 55435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 23.087 PropClause: 18.225 Set: 29.746 Check: 0.0 Back: 1.291
INFO - Atoms: 683/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 56105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.53 Prop: 23.232 PropClause: 18.349 Set: 29.834 Check: 0.0 Back: 1.307
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 56768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 23.374 PropClause: 18.469 Set: 29.917 Check: 0.0 Back: 1.323
INFO - Atoms: 663/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 57501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 23.536 PropClause: 18.608 Set: 30.021 Check: 0.0 Back: 1.339
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 58232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.537 Prop: 23.702 PropClause: 18.752 Set: 30.115 Check: 0.0 Back: 1.355
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 58962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.539 Prop: 23.866 PropClause: 18.893 Set: 30.212 Check: 0.0 Back: 1.373
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 59693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.542 Prop: 24.03 PropClause: 19.034 Set: 30.307 Check: 0.0 Back: 1.39
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 60421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.544 Prop: 24.194 PropClause: 19.175 Set: 30.403 Check: 0.0 Back: 1.408
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 61154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.547 Prop: 24.36 PropClause: 19.317 Set: 30.505 Check: 0.0 Back: 1.424
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 61887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.549 Prop: 24.525 PropClause: 19.46 Set: 30.604 Check: 0.0 Back: 1.442
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 62618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.551 Prop: 24.704 PropClause: 19.604 Set: 30.703 Check: 0.0 Back: 1.459
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 63348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.554 Prop: 24.869 PropClause: 19.746 Set: 30.799 Check: 0.0 Back: 1.476
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 64079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.556 Prop: 25.034 PropClause: 19.887 Set: 30.896 Check: 0.0 Back: 1.492
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 64807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 25.197 PropClause: 20.027 Set: 30.993 Check: 0.0 Back: 1.509
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 65540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.56 Prop: 25.361 PropClause: 20.168 Set: 31.089 Check: 0.0 Back: 1.526
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 66273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.563 Prop: 25.528 PropClause: 20.312 Set: 31.183 Check: 0.0 Back: 1.543
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 67006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.566 Prop: 25.692 PropClause: 20.453 Set: 31.281 Check: 0.0 Back: 1.56
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 67733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.569 Prop: 25.862 PropClause: 20.6 Set: 31.379 Check: 0.0 Back: 1.578
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 68463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.572 Prop: 26.027 PropClause: 20.742 Set: 31.473 Check: 0.0 Back: 1.595
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 69194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.575 Prop: 26.194 PropClause: 20.886 Set: 31.57 Check: 0.0 Back: 1.612
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 69924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.577 Prop: 26.359 PropClause: 21.029 Set: 31.665 Check: 0.0 Back: 1.629
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 70655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.581 Prop: 26.526 PropClause: 21.172 Set: 31.759 Check: 0.0 Back: 1.646
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 71386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.583 Prop: 26.691 PropClause: 21.314 Set: 31.855 Check: 0.0 Back: 1.663
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 72119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 26.86 PropClause: 21.459 Set: 31.952 Check: 0.0 Back: 1.68
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 72852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.588 Prop: 27.025 PropClause: 21.601 Set: 32.043 Check: 0.0 Back: 1.697
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 73585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 27.193 PropClause: 21.746 Set: 32.143 Check: 0.0 Back: 1.714
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 74318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.594 Prop: 27.358 PropClause: 21.888 Set: 32.238 Check: 0.0 Back: 1.731
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 75051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.597 Prop: 27.526 PropClause: 22.033 Set: 32.335 Check: 0.0 Back: 1.748
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 75666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.599 Prop: 27.662 PropClause: 22.15 Set: 32.407 Check: 0.0 Back: 1.765
INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 76399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.602 Prop: 27.823 PropClause: 22.287 Set: 32.507 Check: 0.0 Back: 1.779
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 77064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.605 Prop: 27.973 PropClause: 22.416 Set: 32.589 Check: 0.0 Back: 1.797
INFO - Atoms: 665/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 77709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.608 Prop: 28.118 PropClause: 22.541 Set: 32.678 Check: 0.0 Back: 1.812
INFO - Atoms: 645/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 78442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.61 Prop: 28.285 PropClause: 22.685 Set: 32.781 Check: 0.0 Back: 1.827
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 79175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.613 Prop: 28.456 PropClause: 22.833 Set: 32.879 Check: 0.0 Back: 1.845
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 79908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.615 Prop: 28.627 PropClause: 22.981 Set: 32.975 Check: 0.0 Back: 1.862
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 80641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.618 Prop: 28.806 PropClause: 23.134 Set: 33.077 Check: 0.0 Back: 1.879
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 81217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.62 Prop: 28.957 PropClause: 23.267 Set: 33.145 Check: 0.0 Back: 1.896
INFO - Atoms: 576/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 81950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.623 Prop: 29.115 PropClause: 23.402 Set: 33.243 Check: 0.0 Back: 1.909
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 82683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.626 Prop: 29.288 PropClause: 23.551 Set: 33.338 Check: 0.0 Back: 1.926
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 83317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.628 Prop: 29.434 PropClause: 23.677 Set: 33.413 Check: 0.0 Back: 1.944
INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 84050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.63 Prop: 29.591 PropClause: 23.811 Set: 33.508 Check: 0.0 Back: 1.959
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 84720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 29.74 PropClause: 23.939 Set: 33.589 Check: 0.0 Back: 1.975
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 85453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.634 Prop: 29.902 PropClause: 24.079 Set: 33.682 Check: 0.0 Back: 1.991
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 86186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.636 Prop: 30.077 PropClause: 24.23 Set: 33.78 Check: 0.0 Back: 2.008
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 86919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.639 Prop: 30.246 PropClause: 24.376 Set: 33.874 Check: 0.0 Back: 2.025
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 87652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 30.415 PropClause: 24.522 Set: 33.968 Check: 0.0 Back: 2.042
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 88385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 30.584 PropClause: 24.667 Set: 34.063 Check: 0.0 Back: 2.059
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 89116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 30.752 PropClause: 24.812 Set: 34.16 Check: 0.0 Back: 2.076
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 89846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.648 Prop: 30.972 PropClause: 24.962 Set: 34.259 Check: 0.0 Back: 2.093
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 90578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.651 Prop: 31.144 PropClause: 25.111 Set: 34.353 Check: 0.0 Back: 2.11
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 91308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 31.314 PropClause: 25.258 Set: 34.449 Check: 0.0 Back: 2.127
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 92039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.833 Prop: 31.485 PropClause: 25.405 Set: 34.545 Check: 0.0 Back: 2.144
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 92769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.837 Prop: 31.651 PropClause: 25.548 Set: 34.642 Check: 0.0 Back: 2.161
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 93498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.841 Prop: 31.819 PropClause: 25.695 Set: 34.744 Check: 0.0 Back: 2.178
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 94228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.843 Prop: 31.988 PropClause: 25.84 Set: 34.84 Check: 0.0 Back: 2.195
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 94955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.845 Prop: 32.155 PropClause: 25.985 Set: 34.935 Check: 0.0 Back: 2.212
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 95685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 32.326 PropClause: 26.133 Set: 35.028 Check: 0.0 Back: 2.229
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 96416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.849 Prop: 32.512 PropClause: 26.295 Set: 35.124 Check: 0.0 Back: 2.246
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 97146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.853 Prop: 32.713 PropClause: 26.472 Set: 41.185 Check: 0.0 Back: 2.262
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 97876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.855 Prop: 32.887 PropClause: 26.624 Set: 41.285 Check: 0.0 Back: 2.279
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 98605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.857 Prop: 33.068 PropClause: 26.78 Set: 41.39 Check: 0.0 Back: 2.296
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 99337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.859 Prop: 33.243 PropClause: 26.932 Set: 41.488 Check: 0.0 Back: 2.314
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 100067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.861 Prop: 33.416 PropClause: 27.082 Set: 41.585 Check: 0.0 Back: 2.331
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 100799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.863 Prop: 33.595 PropClause: 27.237 Set: 41.682 Check: 0.0 Back: 2.348
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 101528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 33.768 PropClause: 27.387 Set: 41.775 Check: 0.0 Back: 2.365
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 102259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.867 Prop: 33.938 PropClause: 27.534 Set: 41.869 Check: 0.0 Back: 2.382
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 102989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 34.115 PropClause: 27.688 Set: 41.967 Check: 0.0 Back: 2.399
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 103719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.871 Prop: 34.291 PropClause: 27.84 Set: 42.065 Check: 0.0 Back: 2.417
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 104449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.873 Prop: 34.464 PropClause: 27.99 Set: 42.163 Check: 0.0 Back: 2.433
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 105179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.875 Prop: 34.639 PropClause: 28.141 Set: 42.259 Check: 0.0 Back: 2.45
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 105909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.877 Prop: 34.83 PropClause: 28.309 Set: 42.365 Check: 0.0 Back: 2.467
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 106636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.879 Prop: 35.006 PropClause: 28.461 Set: 42.463 Check: 0.0 Back: 2.484
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 107295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.881 Prop: 35.161 PropClause: 28.595 Set: 42.545 Check: 0.0 Back: 2.501
INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 108025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 35.338 PropClause: 28.748 Set: 42.643 Check: 0.0 Back: 2.517
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 108756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.884 Prop: 35.521 PropClause: 28.907 Set: 42.739 Check: 0.0 Back: 2.534
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 109486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.886 Prop: 35.701 PropClause: 29.064 Set: 42.839 Check: 0.0 Back: 2.55
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 110217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 35.881 PropClause: 29.22 Set: 42.936 Check: 0.0 Back: 2.567
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 110947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 36.052 PropClause: 29.368 Set: 43.037 Check: 0.0 Back: 2.584
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 111678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.893 Prop: 36.221 PropClause: 29.514 Set: 43.134 Check: 0.0 Back: 2.601
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 112408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.895 Prop: 36.403 PropClause: 29.672 Set: 43.241 Check: 0.0 Back: 2.619
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 113139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 36.575 PropClause: 29.82 Set: 43.339 Check: 0.0 Back: 2.635
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 113869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.301 Prop: 36.767 PropClause: 29.988 Set: 43.445 Check: 0.0 Back: 2.653
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 114600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.31 Prop: 36.949 PropClause: 30.146 Set: 43.554 Check: 0.0 Back: 2.67
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 115330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.312 Prop: 37.129 PropClause: 30.302 Set: 43.658 Check: 0.0 Back: 2.686
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 116061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.314 Prop: 37.304 PropClause: 30.454 Set: 43.755 Check: 0.0 Back: 2.704
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 116791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.316 Prop: 37.478 PropClause: 30.604 Set: 43.859 Check: 0.0 Back: 2.721
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 117522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.318 Prop: 37.648 PropClause: 30.752 Set: 43.961 Check: 0.0 Back: 2.738
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 118251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 37.815 PropClause: 30.895 Set: 44.062 Check: 0.0 Back: 2.755
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 118981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.322 Prop: 37.972 PropClause: 31.029 Set: 44.158 Check: 0.0 Back: 2.772
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 119711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 38.129 PropClause: 31.163 Set: 44.25 Check: 0.0 Back: 2.789
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 120436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.326 Prop: 38.29 PropClause: 31.301 Set: 44.35 Check: 0.0 Back: 2.806
INFO - Atoms: 725/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 121166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 38.454 PropClause: 31.441 Set: 44.453 Check: 0.0 Back: 2.823
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 121897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 38.614 PropClause: 31.578 Set: 44.546 Check: 0.0 Back: 2.84
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 122627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.332 Prop: 38.77 PropClause: 31.711 Set: 44.639 Check: 0.0 Back: 2.857
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 123358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.334 Prop: 38.939 PropClause: 31.856 Set: 44.744 Check: 0.0 Back: 2.874
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 124084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.336 Prop: 39.1 PropClause: 31.993 Set: 44.853 Check: 0.0 Back: 2.891
INFO - Atoms: 726/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 124815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.338 Prop: 39.257 PropClause: 32.127 Set: 44.949 Check: 0.0 Back: 2.908
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 125547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.339 Prop: 39.415 PropClause: 32.263 Set: 45.055 Check: 0.0 Back: 2.925
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 126280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.341 Prop: 39.576 PropClause: 32.401 Set: 45.148 Check: 0.0 Back: 2.942
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 127013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.344 Prop: 39.749 PropClause: 32.549 Set: 45.307 Check: 0.0 Back: 2.959
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 127746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 39.922 PropClause: 32.699 Set: 45.466 Check: 0.0 Back: 2.976
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 128479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 40.101 PropClause: 32.851 Set: 45.595 Check: 0.0 Back: 2.993
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 129212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.351 Prop: 40.261 PropClause: 32.988 Set: 45.691 Check: 0.0 Back: 3.011
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 129945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.352 Prop: 40.42 PropClause: 33.124 Set: 45.789 Check: 0.0 Back: 3.028
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 130678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.355 Prop: 40.602 PropClause: 33.281 Set: 45.998 Check: 0.0 Back: 3.046
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 131411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.357 Prop: 40.794 PropClause: 33.445 Set: 46.227 Check: 0.0 Back: 3.064
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 132144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.359 Prop: 40.959 PropClause: 33.586 Set: 46.391 Check: 0.0 Back: 3.081
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 132877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.362 Prop: 41.129 PropClause: 33.733 Set: 46.553 Check: 0.0 Back: 3.098
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 133610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 41.302 PropClause: 33.884 Set: 46.719 Check: 0.0 Back: 3.115
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 134343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 41.471 PropClause: 34.029 Set: 46.88 Check: 0.0 Back: 3.132
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 135076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.369 Prop: 41.662 PropClause: 34.196 Set: 47.047 Check: 0.0 Back: 3.149
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 135809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 41.832 PropClause: 34.344 Set: 47.201 Check: 0.0 Back: 3.166
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 136542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 42.002 PropClause: 34.488 Set: 47.356 Check: 0.0 Back: 3.184
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 137275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.377 Prop: 42.175 PropClause: 34.639 Set: 47.506 Check: 0.0 Back: 3.203
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 138008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 42.346 PropClause: 34.785 Set: 47.657 Check: 0.0 Back: 3.22
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 138741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.38 Prop: 42.509 PropClause: 34.926 Set: 47.816 Check: 0.0 Back: 3.237
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 139474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 42.674 PropClause: 35.068 Set: 47.971 Check: 0.0 Back: 3.254
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 140207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 42.852 PropClause: 35.222 Set: 48.134 Check: 0.0 Back: 3.271
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 140940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 43.019 PropClause: 35.366 Set: 48.296 Check: 0.0 Back: 3.288
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 141673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.483 Prop: 43.194 PropClause: 35.518 Set: 48.444 Check: 0.0 Back: 3.305
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 142406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.486 Prop: 43.362 PropClause: 35.662 Set: 48.603 Check: 0.0 Back: 3.323
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 143139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 43.535 PropClause: 35.813 Set: 48.756 Check: 0.0 Back: 3.34
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 143872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 43.703 PropClause: 35.957 Set: 48.909 Check: 0.0 Back: 3.357
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 144605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 43.871 PropClause: 36.101 Set: 49.07 Check: 0.0 Back: 3.374
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 145338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 44.075 PropClause: 36.255 Set: 49.235 Check: 0.0 Back: 3.392
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 146071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.5 Prop: 44.24 PropClause: 36.397 Set: 49.392 Check: 0.0 Back: 3.409
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 146804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.503 Prop: 44.405 PropClause: 36.537 Set: 49.549 Check: 0.0 Back: 3.426
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 147537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 44.575 PropClause: 36.684 Set: 49.721 Check: 0.0 Back: 3.443
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 148270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.508 Prop: 44.746 PropClause: 36.831 Set: 49.884 Check: 0.0 Back: 3.46
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 149003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.51 Prop: 44.915 PropClause: 36.978 Set: 50.042 Check: 0.0 Back: 3.477
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 149570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 45.057 PropClause: 37.1 Set: 51.909 Check: 0.0 Back: 3.494
INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 150303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 45.217 PropClause: 37.236 Set: 52.162 Check: 0.0 Back: 3.507
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 150937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.521 Prop: 45.355 PropClause: 37.353 Set: 52.314 Check: 0.0 Back: 3.524
INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 151670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.523 Prop: 45.506 PropClause: 37.481 Set: 52.501 Check: 0.0 Back: 3.54
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 152403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.525 Prop: 45.663 PropClause: 37.613 Set: 52.682 Check: 0.0 Back: 3.558
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 153036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.528 Prop: 45.799 PropClause: 37.73 Set: 52.838 Check: 0.0 Back: 3.574
INFO - Atoms: 633/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 153769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.529 Prop: 45.948 PropClause: 37.855 Set: 53.021 Check: 0.0 Back: 3.59
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 154366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.532 Prop: 46.073 PropClause: 37.961 Set: 53.155 Check: 0.0 Back: 3.607
INFO - Atoms: 597/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 155099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.534 Prop: 46.217 PropClause: 38.082 Set: 53.339 Check: 0.0 Back: 3.621
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 155832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 46.374 PropClause: 38.216 Set: 53.542 Check: 0.0 Back: 3.639
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 156473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 46.508 PropClause: 38.328 Set: 53.69 Check: 0.0 Back: 3.656
INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 157206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 46.656 PropClause: 38.453 Set: 53.871 Check: 0.0 Back: 3.67
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 157939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 46.811 PropClause: 38.585 Set: 54.055 Check: 0.0 Back: 3.688
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 158605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.543 Prop: 46.948 PropClause: 38.702 Set: 54.21 Check: 0.0 Back: 3.705
INFO - Atoms: 666/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 159260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 47.081 PropClause: 38.814 Set: 54.362 Check: 0.0 Back: 3.72
INFO - Atoms: 655/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 159932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.547 Prop: 47.218 PropClause: 38.928 Set: 54.526 Check: 0.0 Back: 3.735
INFO - Atoms: 672/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 160612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 47.358 PropClause: 39.046 Set: 54.689 Check: 0.0 Back: 3.751
INFO - Atoms: 680/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 161285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.551 Prop: 47.495 PropClause: 39.162 Set: 54.852 Check: 0.0 Back: 3.767
INFO - Atoms: 673/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 161955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.553 Prop: 47.631 PropClause: 39.277 Set: 55.016 Check: 0.0 Back: 3.782
INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 162614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 47.766 PropClause: 39.39 Set: 55.167 Check: 0.0 Back: 3.798
INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 163276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.556 Prop: 47.898 PropClause: 39.501 Set: 55.324 Check: 0.0 Back: 3.813
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 164009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.559 Prop: 48.053 PropClause: 39.627 Set: 55.506 Check: 0.0 Back: 3.829
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 164620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.561 Prop: 48.184 PropClause: 39.738 Set: 55.645 Check: 0.0 Back: 3.846
INFO - Atoms: 611/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 165353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 48.33 PropClause: 39.861 Set: 55.827 Check: 0.0 Back: 3.86
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 166086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 48.486 PropClause: 39.994 Set: 56.015 Check: 0.0 Back: 3.878
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 166819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.567 Prop: 48.639 PropClause: 40.123 Set: 56.196 Check: 0.0 Back: 3.895
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 167552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.57 Prop: 48.793 PropClause: 40.253 Set: 56.378 Check: 0.0 Back: 3.912
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 168188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 48.923 PropClause: 40.363 Set: 56.525 Check: 0.0 Back: 3.929
INFO - Atoms: 636/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 168921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.574 Prop: 49.069 PropClause: 40.485 Set: 56.708 Check: 0.0 Back: 3.944
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 169654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.577 Prop: 49.226 PropClause: 40.619 Set: 56.895 Check: 0.0 Back: 3.961
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 170387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 49.384 PropClause: 40.753 Set: 57.104 Check: 0.0 Back: 3.978
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 171120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 49.543 PropClause: 40.888 Set: 57.29 Check: 0.0 Back: 3.995
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 171788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 49.692 PropClause: 41.016 Set: 57.447 Check: 0.0 Back: 4.012
INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 172521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.585 Prop: 49.849 PropClause: 41.149 Set: 57.659 Check: 0.0 Back: 4.027
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 173254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.587 Prop: 50.003 PropClause: 41.281 Set: 57.837 Check: 0.0 Back: 4.044
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 173921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.589 Prop: 50.146 PropClause: 41.402 Set: 57.999 Check: 0.0 Back: 4.062
INFO - Atoms: 667/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 174654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.591 Prop: 50.3 PropClause: 41.532 Set: 58.193 Check: 0.0 Back: 4.077
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 175239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.593 Prop: 50.425 PropClause: 41.638 Set: 58.322 Check: 0.0 Back: 4.094
INFO - Atoms: 585/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 175972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.595 Prop: 50.568 PropClause: 41.758 Set: 58.501 Check: 0.0 Back: 4.108
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 176705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 50.723 PropClause: 41.889 Set: 58.684 Check: 0.0 Back: 4.125
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 177380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 50.868 PropClause: 42.012 Set: 58.855 Check: 0.0 Back: 4.142
INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 178113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.601 Prop: 51.016 PropClause: 42.137 Set: 59.038 Check: 0.0 Back: 4.158
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 178846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 51.175 PropClause: 42.272 Set: 59.224 Check: 0.0 Back: 4.176
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 179490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.606 Prop: 51.311 PropClause: 42.388 Set: 59.372 Check: 0.0 Back: 4.193
INFO - Atoms: 644/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 180117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.608 Prop: 51.441 PropClause: 42.497 Set: 59.519 Check: 0.0 Back: 4.208
INFO - Atoms: 627/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 180745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.611 Prop: 51.565 PropClause: 42.601 Set: 59.664 Check: 0.0 Back: 4.222
INFO - Atoms: 628/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 181386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 51.803 PropClause: 42.721 Set: 59.824 Check: 0.0 Back: 4.237
INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 182119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.616 Prop: 51.968 PropClause: 42.856 Set: 60.023 Check: 0.0 Back: 4.252
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 182781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.618 Prop: 52.11 PropClause: 42.977 Set: 60.195 Check: 0.0 Back: 4.269
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 183514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.621 Prop: 52.267 PropClause: 43.11 Set: 60.377 Check: 0.0 Back: 4.284
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 184107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.623 Prop: 52.393 PropClause: 43.217 Set: 60.512 Check: 0.0 Back: 4.301
INFO - Atoms: 593/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 184840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.626 Prop: 52.549 PropClause: 43.35 Set: 60.7 Check: 0.0 Back: 4.315
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 185497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.629 Prop: 52.69 PropClause: 43.47 Set: 60.806 Check: 0.0 Back: 4.332
INFO - Atoms: 657/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 186230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.638 Prop: 52.839 PropClause: 43.596 Set: 60.903 Check: 0.0 Back: 4.348
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 186963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.645 Prop: 52.991 PropClause: 43.725 Set: 60.999 Check: 0.0 Back: 4.365
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 187696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 53.146 PropClause: 43.857 Set: 61.09 Check: 0.0 Back: 4.382
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 188358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.649 Prop: 53.286 PropClause: 43.976 Set: 61.169 Check: 0.0 Back: 4.399
INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 189091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.652 Prop: 53.432 PropClause: 44.1 Set: 61.265 Check: 0.0 Back: 4.415
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 189824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 53.585 PropClause: 44.23 Set: 61.358 Check: 0.0 Back: 4.432
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 190529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.656 Prop: 53.734 PropClause: 44.356 Set: 61.444 Check: 0.0 Back: 4.45
INFO - Atoms: 705/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 191262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 53.885 PropClause: 44.485 Set: 61.537 Check: 0.0 Back: 4.466
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 191995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 54.037 PropClause: 44.615 Set: 61.63 Check: 0.0 Back: 4.483
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 192728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.663 Prop: 54.222 PropClause: 44.748 Set: 61.729 Check: 0.0 Back: 4.501
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 193461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.68 Prop: 54.378 PropClause: 44.88 Set: 61.827 Check: 0.0 Back: 4.518
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 194194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.682 Prop: 54.534 PropClause: 45.013 Set: 61.916 Check: 0.0 Back: 4.535
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 194927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.684 Prop: 54.688 PropClause: 45.145 Set: 62.006 Check: 0.0 Back: 4.552
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 195660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.687 Prop: 54.844 PropClause: 45.279 Set: 62.094 Check: 0.0 Back: 4.57
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 196393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.689 Prop: 55.002 PropClause: 45.414 Set: 62.189 Check: 0.0 Back: 4.587
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 197126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.692 Prop: 55.166 PropClause: 45.554 Set: 62.288 Check: 0.0 Back: 4.604
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 197859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 55.317 PropClause: 45.683 Set: 62.383 Check: 0.0 Back: 4.621
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 198592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.697 Prop: 55.472 PropClause: 45.815 Set: 62.474 Check: 0.0 Back: 4.638
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 199325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.699 Prop: 55.625 PropClause: 45.946 Set: 62.568 Check: 0.0 Back: 4.655
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 200058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.701 Prop: 55.777 PropClause: 46.075 Set: 62.661 Check: 0.0 Back: 4.672
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 200791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.704 Prop: 55.933 PropClause: 46.206 Set: 62.753 Check: 0.0 Back: 4.69
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 201483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.706 Prop: 56.075 PropClause: 46.327 Set: 62.839 Check: 0.0 Back: 4.707
INFO - Atoms: 692/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 202216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.708 Prop: 56.228 PropClause: 46.457 Set: 62.934 Check: 0.0 Back: 4.723
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 202949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 56.383 PropClause: 46.588 Set: 63.023 Check: 0.0 Back: 4.74
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 203682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.714 Prop: 56.539 PropClause: 46.721 Set: 63.114 Check: 0.0 Back: 4.757
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 204415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.716 Prop: 56.697 PropClause: 46.855 Set: 63.209 Check: 0.0 Back: 4.774
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 205148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.718 Prop: 56.853 PropClause: 46.989 Set: 63.305 Check: 0.0 Back: 4.791
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 205881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.72 Prop: 57.008 PropClause: 47.121 Set: 63.398 Check: 0.0 Back: 4.809
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 206614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.722 Prop: 57.162 PropClause: 47.252 Set: 63.491 Check: 0.0 Back: 4.826
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 207347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.724 Prop: 57.317 PropClause: 47.384 Set: 63.584 Check: 0.0 Back: 4.843
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 208080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.726 Prop: 57.471 PropClause: 47.515 Set: 63.677 Check: 0.0 Back: 4.86
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 208813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.73 Prop: 57.727 PropClause: 47.649 Set: 63.777 Check: 0.0 Back: 4.877
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 209546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.732 Prop: 57.886 PropClause: 47.785 Set: 63.877 Check: 0.0 Back: 4.894
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 210279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 58.042 PropClause: 47.917 Set: 63.972 Check: 0.0 Back: 4.911
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 211012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 58.192 PropClause: 48.045 Set: 64.064 Check: 0.0 Back: 4.928
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 211745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.738 Prop: 58.344 PropClause: 48.174 Set: 64.154 Check: 0.0 Back: 4.945
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 212478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.74 Prop: 58.5 PropClause: 48.307 Set: 64.249 Check: 0.0 Back: 4.962
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 213211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.742 Prop: 58.653 PropClause: 48.437 Set: 64.34 Check: 0.0 Back: 4.979
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 213944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.744 Prop: 58.812 PropClause: 48.572 Set: 64.434 Check: 0.0 Back: 4.996
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 214677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.747 Prop: 58.967 PropClause: 48.704 Set: 64.526 Check: 0.0 Back: 5.014
INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 215408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 59.122 PropClause: 48.836 Set: 64.627 Check: 0.0 Back: 5.031
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 216137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 59.277 PropClause: 48.968 Set: 64.721 Check: 0.0 Back: 5.048
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 216869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 59.514 PropClause: 49.107 Set: 64.829 Check: 0.0 Back: 5.065
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 217597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 59.671 PropClause: 49.241 Set: 64.92 Check: 0.0 Back: 5.082
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 218329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.759 Prop: 59.824 PropClause: 49.371 Set: 65.011 Check: 0.0 Back: 5.109
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 219059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.762 Prop: 59.977 PropClause: 49.501 Set: 65.107 Check: 0.0 Back: 5.126
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 219789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 60.128 PropClause: 49.631 Set: 65.197 Check: 0.0 Back: 5.143
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 220519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 60.283 PropClause: 49.762 Set: 65.288 Check: 0.0 Back: 5.16
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 221248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.768 Prop: 60.436 PropClause: 49.893 Set: 65.378 Check: 0.0 Back: 5.177
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 221978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.77 Prop: 60.589 PropClause: 50.023 Set: 65.472 Check: 0.0 Back: 5.194
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 222707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.772 Prop: 60.743 PropClause: 50.154 Set: 65.562 Check: 0.0 Back: 5.211
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 223437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.774 Prop: 60.91 PropClause: 50.298 Set: 65.657 Check: 0.0 Back: 5.228
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 224167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.776 Prop: 61.065 PropClause: 50.43 Set: 65.752 Check: 0.0 Back: 5.246
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 224897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.78 Prop: 61.29 PropClause: 50.563 Set: 65.845 Check: 0.0 Back: 5.263
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 225625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 61.443 PropClause: 50.694 Set: 65.936 Check: 0.0 Back: 5.28
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 226352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.784 Prop: 61.598 PropClause: 50.826 Set: 66.036 Check: 0.0 Back: 5.297
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 227084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 61.752 PropClause: 50.956 Set: 66.128 Check: 0.0 Back: 5.314
INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 227744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.788 Prop: 61.89 PropClause: 51.074 Set: 66.21 Check: 0.0 Back: 5.331
INFO - Atoms: 660/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 228475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 62.036 PropClause: 51.197 Set: 66.299 Check: 0.0 Back: 5.347
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 229206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.792 Prop: 62.187 PropClause: 51.326 Set: 66.392 Check: 0.0 Back: 5.364
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 229937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 62.343 PropClause: 51.459 Set: 66.488 Check: 0.0 Back: 5.381
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 230668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.797 Prop: 62.495 PropClause: 51.588 Set: 66.58 Check: 0.0 Back: 5.397
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 231399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.799 Prop: 62.647 PropClause: 51.717 Set: 66.673 Check: 0.0 Back: 5.414
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 232130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 62.802 PropClause: 51.849 Set: 66.765 Check: 0.0 Back: 5.431
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 232861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 63.024 PropClause: 51.981 Set: 66.858 Check: 0.0 Back: 5.448
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 233592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 63.177 PropClause: 52.111 Set: 66.953 Check: 0.0 Back: 5.465
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 234323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 63.329 PropClause: 52.24 Set: 67.044 Check: 0.0 Back: 5.482
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 235054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.811 Prop: 63.494 PropClause: 52.371 Set: 67.136 Check: 0.0 Back: 5.499
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 235785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.813 Prop: 63.652 PropClause: 52.505 Set: 67.228 Check: 0.0 Back: 5.516
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 236516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.816 Prop: 63.803 PropClause: 52.634 Set: 67.318 Check: 0.0 Back: 5.533
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 237246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.818 Prop: 63.952 PropClause: 52.762 Set: 67.408 Check: 0.0 Back: 5.55
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 237977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.82 Prop: 64.103 PropClause: 52.891 Set: 67.501 Check: 0.0 Back: 5.567
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 238707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 64.254 PropClause: 53.021 Set: 67.592 Check: 0.0 Back: 5.584
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 239438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 64.405 PropClause: 53.15 Set: 67.683 Check: 0.0 Back: 5.601
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 240155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.825 Prop: 64.553 PropClause: 53.277 Set: 67.773 Check: 0.0 Back: 5.618
INFO - Atoms: 717/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 240885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.828 Prop: 64.705 PropClause: 53.407 Set: 67.863 Check: 0.0 Back: 5.635
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 241616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.83 Prop: 64.858 PropClause: 53.539 Set: 67.954 Check: 0.0 Back: 5.652
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 242346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 65.014 PropClause: 53.673 Set: 68.048 Check: 0.0 Back: 5.669
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 243077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 65.163 PropClause: 53.801 Set: 68.138 Check: 0.0 Back: 5.686
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 243807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.836 Prop: 65.326 PropClause: 53.942 Set: 68.228 Check: 0.0 Back: 5.703
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 244538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.838 Prop: 65.476 PropClause: 54.07 Set: 68.319 Check: 0.0 Back: 5.719
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 245268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.839 Prop: 65.628 PropClause: 54.201 Set: 68.412 Check: 0.0 Back: 5.737
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 245999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 65.778 PropClause: 54.33 Set: 68.503 Check: 0.0 Back: 5.754
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 246729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 65.929 PropClause: 54.458 Set: 68.596 Check: 0.0 Back: 5.77
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 247457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.846 Prop: 66.078 PropClause: 54.586 Set: 68.688 Check: 0.0 Back: 5.788
INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 248184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.847 Prop: 66.227 PropClause: 54.714 Set: 68.781 Check: 0.0 Back: 5.804
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 248915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 66.384 PropClause: 54.85 Set: 68.881 Check: 0.0 Back: 5.821
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 249644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 66.535 PropClause: 54.98 Set: 68.973 Check: 0.0 Back: 5.845
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 250375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.854 Prop: 66.696 PropClause: 55.117 Set: 69.065 Check: 0.0 Back: 5.862
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 251102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 66.847 PropClause: 55.247 Set: 69.157 Check: 0.0 Back: 5.879
INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 251833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.858 Prop: 67.001 PropClause: 55.379 Set: 69.25 Check: 0.0 Back: 5.896
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 252563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 67.16 PropClause: 55.516 Set: 69.35 Check: 0.0 Back: 5.913
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 253294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.863 Prop: 67.32 PropClause: 55.655 Set: 69.445 Check: 0.0 Back: 5.93
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 254024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.865 Prop: 67.485 PropClause: 55.798 Set: 69.55 Check: 0.0 Back: 5.948
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 254754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 67.638 PropClause: 55.928 Set: 69.64 Check: 0.0 Back: 5.964
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 255484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.869 Prop: 67.791 PropClause: 56.059 Set: 69.731 Check: 0.0 Back: 5.981
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 256213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.871 Prop: 67.942 PropClause: 56.189 Set: 69.823 Check: 0.0 Back: 5.998
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 256943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.873 Prop: 68.105 PropClause: 56.33 Set: 69.96 Check: 0.0 Back: 6.015
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 257674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.875 Prop: 68.257 PropClause: 56.461 Set: 70.112 Check: 0.0 Back: 6.032
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 258404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.876 Prop: 68.415 PropClause: 56.598 Set: 70.264 Check: 0.0 Back: 6.049
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 259135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 68.571 PropClause: 56.733 Set: 70.416 Check: 0.0 Back: 6.066
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 259864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.88 Prop: 68.72 PropClause: 56.861 Set: 70.505 Check: 0.0 Back: 6.082
INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 260594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.882 Prop: 68.87 PropClause: 56.99 Set: 70.594 Check: 0.0 Back: 6.099
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 261324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.884 Prop: 69.029 PropClause: 57.127 Set: 70.741 Check: 0.0 Back: 6.116
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 262055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 69.19 PropClause: 57.268 Set: 70.897 Check: 0.0 Back: 6.133
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 262785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.889 Prop: 69.351 PropClause: 57.407 Set: 71.039 Check: 0.0 Back: 6.15
INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 263516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.891 Prop: 69.511 PropClause: 57.545 Set: 71.185 Check: 0.0 Back: 6.167
INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 381 Props: 2563 Tprops: 0 Decides: 1296 RSplits: 0
INFO - Times: Expl: 42.036 Prop: 594.702 PropClause: 1.449 Set: 126.287 Check: 15.942 Back: 6.831
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 3894 eq 2649977 cc 1946886 setRep 412322
INFO - Merges: 1703, cc:1066
INFO - BVTimes: BB 22989502 BB_DPLL 327005729 Graph 9085042
INFO - BitBlastingClauses: 12228 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat