/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_127_048.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 160340238
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 38014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.619 Prop: 56.727 PropClause: 50.104 Set: 24.256 Check: 0.0 Back: 0.0
INFO - Atoms: 38014/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 76028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.696 Prop: 139.774 PropClause: 130.558 Set: 39.693 Check: 0.0 Back: 0.87
INFO - Atoms: 38014/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 113535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.735 Prop: 185.268 PropClause: 174.783 Set: 54.543 Check: 0.0 Back: 1.747
INFO - Atoms: 37507/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 151042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 232.763 PropClause: 221.025 Set: 74.02 Check: 0.0 Back: 2.598
INFO - Atoms: 37507/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 188543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 272.646 PropClause: 259.698 Set: 80.746 Check: 0.0 Back: 3.453
INFO - Atoms: 37501/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 226045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.902 Prop: 312.184 PropClause: 298.027 Set: 87.576 Check: 0.0 Back: 4.305
INFO - Atoms: 37502/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 263289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.94 Prop: 351.51 PropClause: 336.127 Set: 94.239 Check: 0.0 Back: 5.155
INFO - Atoms: 37244/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 300535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.01 Prop: 390.794 PropClause: 373.981 Set: 100.89 Check: 0.0 Back: 6.011
INFO - Atoms: 37246/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 337523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.054 Prop: 427.658 PropClause: 409.799 Set: 107.23 Check: 0.0 Back: 6.87
INFO - Atoms: 36988/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 374251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.096 Prop: 465.801 PropClause: 446.887 Set: 113.696 Check: 0.0 Back: 7.715
INFO - Atoms: 36728/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 410721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.136 Prop: 503.639 PropClause: 483.716 Set: 122.334 Check: 0.0 Back: 8.57
INFO - Atoms: 36470/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 446931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.177 Prop: 543.2 PropClause: 522.277 Set: 132.498 Check: 0.0 Back: 9.409
INFO - Atoms: 36210/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 482883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.218 Prop: 580.123 PropClause: 558.204 Set: 142.673 Check: 0.0 Back: 10.239
INFO - Atoms: 35952/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 518575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.255 Prop: 616.809 PropClause: 593.895 Set: 148.846 Check: 0.0 Back: 11.061
INFO - Atoms: 35692/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 554009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.308 Prop: 650.782 PropClause: 626.878 Set: 154.948 Check: 0.0 Back: 11.878
INFO - Atoms: 35434/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 589183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.35 Prop: 688.141 PropClause: 663.234 Set: 161.093 Check: 0.0 Back: 12.712
INFO - Atoms: 35174/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 624099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.408 Prop: 720.264 PropClause: 694.39 Set: 167.043 Check: 0.0 Back: 13.527
INFO - Atoms: 34916/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 658755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 754.205 PropClause: 727.367 Set: 173.041 Check: 0.0 Back: 14.33
INFO - Atoms: 34656/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 693153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 786.812 PropClause: 759.016 Set: 178.864 Check: 0.0 Back: 15.123
INFO - Atoms: 34398/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 727291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.527 Prop: 818.614 PropClause: 789.876 Set: 184.673 Check: 0.0 Back: 15.913
INFO - Atoms: 34138/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 761171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.564 Prop: 849.134 PropClause: 819.457 Set: 190.374 Check: 0.0 Back: 16.698
INFO - Atoms: 33880/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 794791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.612 Prop: 883.183 PropClause: 852.575 Set: 196.156 Check: 0.0 Back: 17.471
INFO - Atoms: 33620/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 828153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.654 Prop: 913.536 PropClause: 881.999 Set: 201.764 Check: 0.0 Back: 18.247
INFO - Atoms: 33362/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 861255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.693 Prop: 945.091 PropClause: 912.636 Set: 207.387 Check: 0.0 Back: 19.016
INFO - Atoms: 33102/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 894099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.729 Prop: 974.083 PropClause: 940.715 Set: 212.834 Check: 0.0 Back: 19.788
INFO - Atoms: 32844/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 926683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.768 Prop: 1004.602 PropClause: 970.319 Set: 219.33 Check: 0.0 Back: 20.553
INFO - Atoms: 32584/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 959009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.804 Prop: 1034.145 PropClause: 998.961 Set: 228.218 Check: 0.0 Back: 21.3
INFO - Atoms: 32326/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 991075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 1065.047 PropClause: 1028.971 Set: 237.074 Check: 0.0 Back: 22.043
INFO - Atoms: 32066/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1022883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 1094.068 PropClause: 1057.114 Set: 245.689 Check: 0.0 Back: 22.778
INFO - Atoms: 31808/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1054431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.922 Prop: 1124.17 PropClause: 1086.337 Set: 254.431 Check: 0.0 Back: 23.505
INFO - Atoms: 31548/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1085721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 1153.242 PropClause: 1114.541 Set: 263.021 Check: 0.0 Back: 24.235
INFO - Atoms: 31290/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1116751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.016 Prop: 1182.342 PropClause: 1142.781 Set: 297.086 Check: 0.0 Back: 24.951
INFO - Atoms: 31030/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1147523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 1208.756 PropClause: 1168.331 Set: 302.152 Check: 0.0 Back: 25.669
INFO - Atoms: 30772/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1178035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.095 Prop: 1236.175 PropClause: 1194.911 Set: 307.209 Check: 0.0 Back: 26.371
INFO - Atoms: 30512/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1208289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.135 Prop: 1261.405 PropClause: 1219.298 Set: 312.219 Check: 0.0 Back: 27.07
INFO - Atoms: 30254/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1238283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.172 Prop: 1287.841 PropClause: 1244.903 Set: 317.22 Check: 0.0 Back: 27.78
INFO - Atoms: 29994/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1268019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.21 Prop: 1314.535 PropClause: 1270.759 Set: 322.163 Check: 0.0 Back: 28.472
INFO - Atoms: 29736/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1297495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.253 Prop: 1345.651 PropClause: 1301.054 Set: 327.177 Check: 0.0 Back: 29.156
INFO - Atoms: 29476/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1326713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 1371.637 PropClause: 1326.213 Set: 332.054 Check: 0.0 Back: 29.839
INFO - Atoms: 29218/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1355671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.329 Prop: 1395.866 PropClause: 1349.641 Set: 336.826 Check: 0.0 Back: 30.512
INFO - Atoms: 28958/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1384371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 1420.476 PropClause: 1373.455 Set: 341.594 Check: 0.0 Back: 31.174
INFO - Atoms: 28700/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1412811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.412 Prop: 1445.465 PropClause: 1397.654 Set: 346.336 Check: 0.0 Back: 31.833
INFO - Atoms: 28440/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1440993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 1466.863 PropClause: 1418.272 Set: 350.924 Check: 0.0 Back: 32.481
INFO - Atoms: 28182/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1468915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 1488.801 PropClause: 1439.436 Set: 355.51 Check: 0.0 Back: 33.13
INFO - Atoms: 27922/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1496579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.52 Prop: 1509.887 PropClause: 1459.756 Set: 360.0 Check: 0.0 Back: 33.761
INFO - Atoms: 27664/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1523983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 1531.951 PropClause: 1481.055 Set: 364.448 Check: 0.0 Back: 34.392
INFO - Atoms: 27404/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1551129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.596 Prop: 1553.332 PropClause: 1501.685 Set: 376.424 Check: 0.0 Back: 35.019
INFO - Atoms: 27146/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1578015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.634 Prop: 1574.11 PropClause: 1521.712 Set: 380.819 Check: 0.0 Back: 35.641
INFO - Atoms: 26886/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1604643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 1594.55 PropClause: 1541.408 Set: 385.104 Check: 0.0 Back: 36.26
INFO - Atoms: 26628/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1631011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 1616.428 PropClause: 1562.543 Set: 389.398 Check: 0.0 Back: 36.866
INFO - Atoms: 26368/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1657121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 1635.937 PropClause: 1581.331 Set: 393.611 Check: 0.0 Back: 37.478
INFO - Atoms: 26110/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1682970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.858 Prop: 1655.611 PropClause: 1600.289 Set: 397.775 Check: 0.0 Back: 38.072
INFO - Atoms: 25849/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1710093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.965 Prop: 1675.307 PropClause: 1619.235 Set: 402.33 Check: 0.0 Back: 38.665
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1737216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 1695.781 PropClause: 1638.962 Set: 406.868 Check: 0.0 Back: 39.282
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1763819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.035 Prop: 1716.439 PropClause: 1658.868 Set: 411.316 Check: 0.0 Back: 39.904
INFO - Atoms: 26603/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1790681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.049 Prop: 1737.537 PropClause: 1679.229 Set: 415.774 Check: 0.0 Back: 40.511
INFO - Atoms: 26862/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1817546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.062 Prop: 1758.675 PropClause: 1699.622 Set: 420.288 Check: 0.0 Back: 41.122
INFO - Atoms: 26865/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1844667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 1779.212 PropClause: 1719.412 Set: 424.771 Check: 0.0 Back: 41.737
INFO - Atoms: 27121/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1872050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 1799.738 PropClause: 1739.174 Set: 429.359 Check: 0.0 Back: 42.355
INFO - Atoms: 27383/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1898673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.106 Prop: 1819.986 PropClause: 1758.685 Set: 433.728 Check: 0.0 Back: 42.988
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1926301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.12 Prop: 1840.059 PropClause: 1777.993 Set: 438.36 Check: 0.0 Back: 43.594
INFO - Atoms: 27628/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1953681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.134 Prop: 1860.994 PropClause: 1798.161 Set: 442.885 Check: 0.0 Back: 44.227
INFO - Atoms: 27380/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1980304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.147 Prop: 1881.376 PropClause: 1817.812 Set: 447.296 Check: 0.0 Back: 44.854
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2007933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 1903.458 PropClause: 1839.123 Set: 452.538 Check: 0.0 Back: 45.464
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2035563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.189 Prop: 1927.262 PropClause: 1862.158 Set: 460.124 Check: 0.0 Back: 46.104
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2062185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 1951.658 PropClause: 1885.813 Set: 467.374 Check: 0.0 Back: 46.737
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2089814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.217 Prop: 1973.896 PropClause: 1907.269 Set: 474.864 Check: 0.0 Back: 47.351
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2117444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.232 Prop: 1998.106 PropClause: 1930.712 Set: 482.375 Check: 0.0 Back: 47.982
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2145076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 2021.41 PropClause: 1953.246 Set: 489.924 Check: 0.0 Back: 48.614
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2172705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.331 Prop: 2044.548 PropClause: 1975.61 Set: 497.434 Check: 0.0 Back: 49.244
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2200087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 2067.182 PropClause: 1997.488 Set: 504.816 Check: 0.0 Back: 49.876
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2226709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 2090.828 PropClause: 2020.397 Set: 511.618 Check: 0.0 Back: 50.506
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2254338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.377 Prop: 2113.552 PropClause: 2042.348 Set: 518.778 Check: 0.0 Back: 51.118
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2281968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.394 Prop: 2138.386 PropClause: 2066.407 Set: 525.999 Check: 0.0 Back: 51.751
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2309600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.407 Prop: 2161.143 PropClause: 2088.399 Set: 533.078 Check: 0.0 Back: 52.384
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2337229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.422 Prop: 2183.857 PropClause: 2110.339 Set: 540.11 Check: 0.0 Back: 53.016
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2364611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 2206.385 PropClause: 2132.107 Set: 547.194 Check: 0.0 Back: 53.643
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2391233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.452 Prop: 2228.998 PropClause: 2153.983 Set: 554.004 Check: 0.0 Back: 54.272
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2418862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.468 Prop: 2251.326 PropClause: 2175.535 Set: 561.155 Check: 0.0 Back: 54.878
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2446492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 2273.718 PropClause: 2197.165 Set: 565.812 Check: 0.0 Back: 55.513
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2474124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.496 Prop: 2295.135 PropClause: 2217.817 Set: 570.496 Check: 0.0 Back: 56.141
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2501753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.51 Prop: 2316.868 PropClause: 2238.783 Set: 575.166 Check: 0.0 Back: 56.773
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2529135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 2338.041 PropClause: 2259.201 Set: 579.758 Check: 0.0 Back: 57.407
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2556766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.539 Prop: 2360.338 PropClause: 2280.73 Set: 584.422 Check: 0.0 Back: 58.034
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2584147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 2381.86 PropClause: 2301.496 Set: 589.015 Check: 0.0 Back: 58.676
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2611777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.577 Prop: 2404.688 PropClause: 2323.555 Set: 593.648 Check: 0.0 Back: 59.303
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2639409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.591 Prop: 2426.309 PropClause: 2344.413 Set: 598.351 Check: 0.0 Back: 59.936
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2667038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 2448.638 PropClause: 2365.973 Set: 603.066 Check: 0.0 Back: 60.565
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2694420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 2473.54 PropClause: 2390.119 Set: 607.745 Check: 0.0 Back: 61.199
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2722051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 2499.699 PropClause: 2415.507 Set: 612.486 Check: 0.0 Back: 61.838
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2749432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 2522.065 PropClause: 2437.116 Set: 617.092 Check: 0.0 Back: 62.474
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2777062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 2543.471 PropClause: 2457.751 Set: 621.756 Check: 0.0 Back: 63.111
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2803685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 2565.834 PropClause: 2479.369 Set: 626.204 Check: 0.0 Back: 63.743
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2831314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 2587.768 PropClause: 2500.535 Set: 630.915 Check: 0.0 Back: 64.355
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2858944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 2610.436 PropClause: 2522.432 Set: 635.589 Check: 0.0 Back: 64.991
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2885566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 2632.244 PropClause: 2543.499 Set: 640.026 Check: 0.0 Back: 65.619
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2913195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 2654.159 PropClause: 2564.644 Set: 644.735 Check: 0.0 Back: 66.234
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2940825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 2676.734 PropClause: 2586.447 Set: 649.396 Check: 0.0 Back: 66.864
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2968457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.766 Prop: 2698.879 PropClause: 2607.82 Set: 654.123 Check: 0.0 Back: 67.494
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2996086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 2721.349 PropClause: 2629.524 Set: 658.808 Check: 0.0 Back: 68.133
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3023468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 2744.108 PropClause: 2651.511 Set: 663.516 Check: 0.0 Back: 68.764
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3050090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 2765.875 PropClause: 2672.54 Set: 667.943 Check: 0.0 Back: 69.39
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3077719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.825 Prop: 2787.956 PropClause: 2693.846 Set: 672.696 Check: 0.0 Back: 70.001
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3105349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 2810.69 PropClause: 2715.808 Set: 677.353 Check: 0.0 Back: 70.633
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 3132981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 2833.72 PropClause: 2738.07 Set: 682.11 Check: 0.0 Back: 71.265
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 3160610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 2856.449 PropClause: 2760.014 Set: 686.859 Check: 0.0 Back: 71.905
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 3187992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 2880.216 PropClause: 2783.008 Set: 691.545 Check: 0.0 Back: 72.544
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 3214614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 2903.301 PropClause: 2805.349 Set: 696.03 Check: 0.0 Back: 73.18
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 3242243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.92 Prop: 2924.3 PropClause: 2825.572 Set: 700.787 Check: 0.0 Back: 73.794
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 3269873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.939 Prop: 2948.383 PropClause: 2848.883 Set: 705.505 Check: 0.0 Back: 74.431
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 3297505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.955 Prop: 2971.703 PropClause: 2871.431 Set: 710.288 Check: 0.0 Back: 75.064
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 3325134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 2995.897 PropClause: 2894.862 Set: 714.996 Check: 0.0 Back: 75.697
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 3352516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.987 Prop: 3017.409 PropClause: 2915.614 Set: 726.587 Check: 0.0 Back: 76.342
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 3379138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.0 Prop: 3039.528 PropClause: 2936.996 Set: 731.022 Check: 0.0 Back: 76.967
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 3406767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 3060.91 PropClause: 2957.597 Set: 735.753 Check: 0.0 Back: 77.576
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 3434397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 3082.397 PropClause: 2978.321 Set: 740.405 Check: 0.0 Back: 78.211
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 3462029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.044 Prop: 3103.855 PropClause: 2999.013 Set: 745.121 Check: 0.0 Back: 78.846
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3489658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 3125.276 PropClause: 3019.662 Set: 749.782 Check: 0.0 Back: 79.477
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3517040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 3146.51 PropClause: 3040.138 Set: 754.453 Check: 0.0 Back: 80.11
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3543662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 3166.969 PropClause: 3059.86 Set: 758.833 Check: 0.0 Back: 80.735
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3571291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.099 Prop: 3187.95 PropClause: 3080.075 Set: 763.614 Check: 0.0 Back: 81.345
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3598921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 3209.073 PropClause: 3100.417 Set: 768.281 Check: 0.0 Back: 81.986
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3626553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 3230.915 PropClause: 3121.489 Set: 773.013 Check: 0.0 Back: 82.626
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 3654182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 3252.231 PropClause: 3142.04 Set: 777.701 Check: 0.0 Back: 83.259
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 3681564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 3274.112 PropClause: 3163.165 Set: 782.375 Check: 0.0 Back: 83.89
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 3708186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.175 Prop: 3294.414 PropClause: 3182.729 Set: 786.756 Check: 0.0 Back: 84.516
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3735815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 3315.816 PropClause: 3203.362 Set: 791.546 Check: 0.0 Back: 85.124
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3763445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 3336.73 PropClause: 3223.497 Set: 796.18 Check: 0.0 Back: 85.769
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 3791077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 3357.974 PropClause: 3243.965 Set: 800.922 Check: 0.0 Back: 86.398
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 3818706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 3379.349 PropClause: 3264.578 Set: 805.566 Check: 0.0 Back: 87.03
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 3846088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.29 Prop: 3401.09 PropClause: 3285.561 Set: 810.285 Check: 0.0 Back: 87.659
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 3872710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.3 Prop: 3421.629 PropClause: 3305.369 Set: 814.649 Check: 0.0 Back: 88.298
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 3900339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 3443.052 PropClause: 3326.028 Set: 819.413 Check: 0.0 Back: 88.904
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 3927969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.32 Prop: 3464.318 PropClause: 3346.523 Set: 824.026 Check: 0.0 Back: 89.539
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 3955601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.331 Prop: 3487.952 PropClause: 3369.391 Set: 828.807 Check: 0.0 Back: 90.168
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3983230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.341 Prop: 3511.613 PropClause: 3392.286 Set: 833.553 Check: 0.0 Back: 90.8
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 4010612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.351 Prop: 3536.1 PropClause: 3416.014 Set: 838.275 Check: 0.0 Back: 91.43
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 4037234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 3557.176 PropClause: 3436.357 Set: 842.669 Check: 0.0 Back: 92.06
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 4064863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.433 Prop: 3578.264 PropClause: 3456.679 Set: 847.435 Check: 0.0 Back: 92.669
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 4092493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 3599.912 PropClause: 3477.56 Set: 852.129 Check: 0.0 Back: 93.311
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 4120125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.441 Prop: 3622.97 PropClause: 3499.849 Set: 856.909 Check: 0.0 Back: 93.942
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 4147754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 3646.066 PropClause: 3522.182 Set: 861.61 Check: 0.0 Back: 94.586
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 4175136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 3668.363 PropClause: 3543.719 Set: 866.334 Check: 0.0 Back: 95.235
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 4201758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 3689.356 PropClause: 3563.975 Set: 870.74 Check: 0.0 Back: 95.865
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 4229387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.457 Prop: 3710.932 PropClause: 3584.783 Set: 875.487 Check: 0.0 Back: 96.474
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 4257017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 3732.668 PropClause: 3605.757 Set: 880.171 Check: 0.0 Back: 97.11
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 4284649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 3754.882 PropClause: 3627.205 Set: 884.939 Check: 0.0 Back: 97.741
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 4312278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 3776.572 PropClause: 3648.134 Set: 889.627 Check: 0.0 Back: 98.372
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 4339660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.473 Prop: 3800.304 PropClause: 3671.102 Set: 896.773 Check: 0.0 Back: 99.005
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 4366282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 3823.046 PropClause: 3693.107 Set: 903.512 Check: 0.0 Back: 99.635
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 4393911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 3845.974 PropClause: 3715.27 Set: 910.671 Check: 0.0 Back: 100.243
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 4421541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 3868.654 PropClause: 3737.185 Set: 917.775 Check: 0.0 Back: 100.875
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 4449173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.492 Prop: 3891.881 PropClause: 3759.637 Set: 924.921 Check: 0.0 Back: 101.508
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 4476802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 3915.792 PropClause: 3782.779 Set: 932.056 Check: 0.0 Back: 102.139
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 4504184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.501 Prop: 3938.913 PropClause: 3805.143 Set: 939.169 Check: 0.0 Back: 102.771
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 4531815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 3961.655 PropClause: 3827.115 Set: 946.365 Check: 0.0 Back: 103.401
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 4559196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.51 Prop: 3984.95 PropClause: 3849.654 Set: 953.44 Check: 0.0 Back: 104.038
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 4586826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 4007.412 PropClause: 3871.348 Set: 960.595 Check: 0.0 Back: 104.665
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 4614460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.52 Prop: 4029.418 PropClause: 3892.585 Set: 965.357 Check: 0.0 Back: 105.296
INFO - Atoms: 27634/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4642089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 4051.593 PropClause: 3913.988 Set: 970.037 Check: 0.0 Back: 105.937
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4669471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 4073.475 PropClause: 3935.109 Set: 974.767 Check: 0.0 Back: 106.58
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 4697102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.533 Prop: 4095.491 PropClause: 3956.362 Set: 979.466 Check: 0.0 Back: 107.206
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 4724483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.537 Prop: 4117.803 PropClause: 3977.916 Set: 984.156 Check: 0.0 Back: 107.835
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 4752113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 4140.554 PropClause: 3999.907 Set: 988.823 Check: 0.0 Back: 108.465
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 4778736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.547 Prop: 4164.212 PropClause: 4022.824 Set: 993.396 Check: 0.0 Back: 109.1
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 4806365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.552 Prop: 4186.193 PropClause: 4044.03 Set: 998.104 Check: 0.0 Back: 109.721
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 4833995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 4208.827 PropClause: 4065.898 Set: 1002.884 Check: 0.0 Back: 110.356
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 4860617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 4231.451 PropClause: 4087.787 Set: 1007.341 Check: 0.0 Back: 110.991
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 4888127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.563 Prop: 4254.322 PropClause: 4109.892 Set: 1012.092 Check: 0.0 Back: 111.604
INFO - Atoms: 27510/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 4915637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 4276.452 PropClause: 4131.26 Set: 1016.734 Check: 0.0 Back: 112.237
INFO - Atoms: 27510/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 4943149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 4298.541 PropClause: 4152.584 Set: 1021.532 Check: 0.0 Back: 112.868
INFO - Atoms: 27512/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 4970537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.576 Prop: 4321.191 PropClause: 4174.478 Set: 1026.154 Check: 0.0 Back: 113.5
INFO - Atoms: 27388/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 4997797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 4343.707 PropClause: 4196.221 Set: 1030.861 Check: 0.0 Back: 114.133
INFO - Atoms: 27260/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 5024419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.585 Prop: 4365.245 PropClause: 4217.012 Set: 1035.295 Check: 0.0 Back: 114.763
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 5051558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 4387.599 PropClause: 4238.61 Set: 1040.004 Check: 0.0 Back: 115.376
INFO - Atoms: 27139/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 5078696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.594 Prop: 4410.831 PropClause: 4261.088 Set: 1044.574 Check: 0.0 Back: 116.011
INFO - Atoms: 27138/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 5105836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.598 Prop: 4435.941 PropClause: 4285.447 Set: 1049.274 Check: 0.0 Back: 116.634
INFO - Atoms: 27140/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 5132719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 4459.816 PropClause: 4308.573 Set: 1053.792 Check: 0.0 Back: 117.251
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 5159602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 4480.251 PropClause: 4328.265 Set: 1058.325 Check: 0.0 Back: 117.869
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 5186485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 4501.417 PropClause: 4348.679 Set: 1062.82 Check: 0.0 Back: 118.482
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 5213088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 4522.555 PropClause: 4369.08 Set: 1067.342 Check: 0.0 Back: 119.096
INFO - Atoms: 26603/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 5239940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 4542.872 PropClause: 4388.65 Set: 1071.834 Check: 0.0 Back: 119.705
INFO - Atoms: 26852/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 5266542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 4563.679 PropClause: 4408.727 Set: 1076.337 Check: 0.0 Back: 120.32
INFO - Atoms: 26602/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 5293395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 4584.211 PropClause: 4428.513 Set: 1080.848 Check: 0.0 Back: 120.926
INFO - Atoms: 26853/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 5319503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 4605.019 PropClause: 4448.602 Set: 1085.178 Check: 0.0 Back: 121.544
INFO - Atoms: 26108/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 5345871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 4624.932 PropClause: 4467.786 Set: 1089.526 Check: 0.0 Back: 122.143
INFO - Atoms: 26368/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 5371980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.697 Prop: 4644.929 PropClause: 4487.049 Set: 1093.906 Check: 0.0 Back: 122.746
INFO - Atoms: 26109/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 5397828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.701 Prop: 4665.58 PropClause: 4506.982 Set: 1098.212 Check: 0.0 Back: 123.347
INFO - Atoms: 25848/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 5423915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.752 Prop: 4687.55 PropClause: 4528.192 Set: 1108.593 Check: 0.0 Back: 123.941
INFO - Atoms: 26087/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 5450260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 4706.453 PropClause: 4546.345 Set: 1112.854 Check: 0.0 Back: 124.542
INFO - Atoms: 26345/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 5476866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 4726.701 PropClause: 4565.844 Set: 1117.146 Check: 0.0 Back: 125.143
INFO - Atoms: 26606/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 5503730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 4745.88 PropClause: 4584.267 Set: 1121.465 Check: 0.0 Back: 125.753
INFO - Atoms: 26864/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 5530853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.92 Prop: 4767.016 PropClause: 4604.636 Set: 1125.896 Check: 0.0 Back: 126.376
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 5558236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 4786.953 PropClause: 4623.805 Set: 1130.316 Check: 0.0 Back: 127.002
INFO - Atoms: 27383/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 5585877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 4809.7 PropClause: 4645.76 Set: 1134.854 Check: 0.0 Back: 127.63
INFO - Atoms: 27641/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 5613778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 4831.002 PropClause: 4666.279 Set: 1139.363 Check: 0.0 Back: 128.265
INFO - Atoms: 27901/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 5641937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 4853.163 PropClause: 4687.642 Set: 1143.99 Check: 0.0 Back: 128.902
INFO - Atoms: 28159/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 5670356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 4876.339 PropClause: 4710.023 Set: 1148.58 Check: 0.0 Back: 129.547
INFO - Atoms: 28419/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 5699033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 4899.604 PropClause: 4732.494 Set: 1153.28 Check: 0.0 Back: 130.22
INFO - Atoms: 28677/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 5727970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 4921.323 PropClause: 4753.395 Set: 1157.955 Check: 0.0 Back: 130.885
INFO - Atoms: 28937/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 5757165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 4945.003 PropClause: 4776.253 Set: 1162.747 Check: 0.0 Back: 131.548
INFO - Atoms: 29195/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 5786620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 4968.086 PropClause: 4798.503 Set: 1167.548 Check: 0.0 Back: 132.216
INFO - Atoms: 29455/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 5816333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.219 Prop: 4992.686 PropClause: 4822.269 Set: 1172.446 Check: 0.0 Back: 132.889
INFO - Atoms: 29713/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 5846306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 5018.06 PropClause: 4846.8 Set: 1177.376 Check: 0.0 Back: 133.565
INFO - Atoms: 29973/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 5876537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 5042.853 PropClause: 4870.746 Set: 1182.323 Check: 0.0 Back: 134.263
INFO - Atoms: 30231/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 5907028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 5067.88 PropClause: 4894.917 Set: 1187.3 Check: 0.0 Back: 134.951
INFO - Atoms: 30491/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 5937777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 5094.28 PropClause: 4920.458 Set: 1192.347 Check: 0.0 Back: 135.652
INFO - Atoms: 30749/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 5968786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 5119.2 PropClause: 4944.5 Set: 1197.417 Check: 0.0 Back: 136.356
INFO - Atoms: 31009/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 6000053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 5146.977 PropClause: 4971.392 Set: 1202.655 Check: 0.0 Back: 137.06
INFO - Atoms: 31267/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 6031580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 5173.619 PropClause: 4997.154 Set: 1207.753 Check: 0.0 Back: 137.778
INFO - Atoms: 31527/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 6063365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 5205.581 PropClause: 5028.218 Set: 1213.102 Check: 0.0 Back: 138.501
INFO - Atoms: 31785/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 6095410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.311 Prop: 5237.056 PropClause: 5058.783 Set: 1218.46 Check: 0.0 Back: 139.227
INFO - Atoms: 32045/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 6127713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 5265.908 PropClause: 5086.74 Set: 1223.871 Check: 0.0 Back: 139.969
INFO - Atoms: 32303/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 6160276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.332 Prop: 5294.871 PropClause: 5114.78 Set: 1229.293 Check: 0.0 Back: 140.718
INFO - Atoms: 32563/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 6193097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 5324.978 PropClause: 5143.967 Set: 1234.834 Check: 0.0 Back: 141.466
INFO - Atoms: 32821/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 6226178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 5353.852 PropClause: 5171.929 Set: 1240.276 Check: 0.0 Back: 142.235
INFO - Atoms: 33081/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 6259517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 5386.37 PropClause: 5203.505 Set: 1245.958 Check: 0.0 Back: 142.999
INFO - Atoms: 33339/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 6293116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 5416.395 PropClause: 5232.582 Set: 1251.556 Check: 0.0 Back: 143.761
INFO - Atoms: 33599/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 6326973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.383 Prop: 5447.377 PropClause: 5262.616 Set: 1257.228 Check: 0.0 Back: 144.535
INFO - Atoms: 33857/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 6361090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 5477.246 PropClause: 5291.524 Set: 1262.841 Check: 0.0 Back: 145.312
INFO - Atoms: 34117/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 6395465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 5510.851 PropClause: 5324.152 Set: 1268.656 Check: 0.0 Back: 146.095
INFO - Atoms: 34375/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 6430100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 5541.337 PropClause: 5353.663 Set: 1274.381 Check: 0.0 Back: 146.88
INFO - Atoms: 34635/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 6464993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.421 Prop: 5574.785 PropClause: 5386.134 Set: 1280.231 Check: 0.0 Back: 147.674
INFO - Atoms: 34893/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 6500146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 5607.126 PropClause: 5417.488 Set: 1286.09 Check: 0.0 Back: 148.473
INFO - Atoms: 35153/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 6535557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 5640.903 PropClause: 5450.255 Set: 1292.074 Check: 0.0 Back: 149.283
INFO - Atoms: 35411/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 6571228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.452 Prop: 5674.871 PropClause: 5483.219 Set: 1298.0 Check: 0.0 Back: 150.096
INFO - Atoms: 35671/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 6607157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.46 Prop: 5708.945 PropClause: 5516.287 Set: 1304.048 Check: 0.0 Back: 150.916
INFO - Atoms: 35929/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 6643346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 5742.376 PropClause: 5548.69 Set: 1310.046 Check: 0.0 Back: 151.742
INFO - Atoms: 36189/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 6679793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 5776.727 PropClause: 5582.01 Set: 1316.212 Check: 0.0 Back: 152.568
INFO - Atoms: 36447/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 6716500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 5812.045 PropClause: 5616.3 Set: 1322.339 Check: 0.0 Back: 153.408
INFO - Atoms: 36707/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 6753464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 5850.485 PropClause: 5653.71 Set: 1328.707 Check: 0.0 Back: 154.254
INFO - Atoms: 36964/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 731 Props: 9458487 Tprops: 0 Decides: 14168 RSplits: 0
INFO - Times: Expl: 866.142 Prop: 8282.207 PropClause: 8002.946 Set: 1397.376 Check: 0.334 Back: 220.209
INFO - Atoms: 12596/38016 Clauses: 792 Axioms: 125810
INFO - Confl: 1015 Props: 9764506 Tprops: 0 Decides: 15608 RSplits: 0
INFO - Times: Expl: 955.917 Prop: 8412.941 PropClause: 8124.192 Set: 1404.647 Check: 0.369 Back: 227.203
INFO - Atoms: 13007/38016 Clauses: 1076 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 234 Props: 12942 Tprops: 2926 Decides: 12811 RSplits: 0
INFO - Times: Expl: 86.02 Prop: 17923.539 PropClause: 4.416 Set: 1141.888 Check: 58.153 Back: 40.014
INFO - Atoms: 343/438 Clauses: 234 Axioms: 438
INFO - CCTimes: iE 138257 eq 9251290 cc 33703966 setRep 14351540
INFO - Merges: 94725, cc:140176
INFO - BVTimes: BB 160320781 BB_DPLL 16096021372 Graph 324516
INFO - BitBlastingClauses: 193554 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat