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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 217100630
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 31931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.769 Prop: 79.549 PropClause: 72.116 Set: 24.136 Check: 0.0 Back: 0.0
INFO - Atoms: 31931/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 63865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.839 Prop: 128.077 PropClause: 119.051 Set: 78.471 Check: 0.0 Back: 0.926
INFO - Atoms: 31934/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 95164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.91 Prop: 175.394 PropClause: 164.755 Set: 85.187 Check: 0.0 Back: 1.795
INFO - Atoms: 31299/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 126457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.983 Prop: 215.213 PropClause: 203.016 Set: 91.67 Check: 0.0 Back: 2.617
INFO - Atoms: 31293/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 157756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.028 Prop: 252.517 PropClause: 239.458 Set: 99.752 Check: 0.0 Back: 3.41
INFO - Atoms: 31299/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 189050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 287.104 PropClause: 273.23 Set: 107.948 Check: 0.0 Back: 4.169
INFO - Atoms: 31294/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 220342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.126 Prop: 319.66 PropClause: 305.009 Set: 113.147 Check: 0.0 Back: 4.883
INFO - Atoms: 31292/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 251373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.197 Prop: 352.284 PropClause: 336.867 Set: 118.231 Check: 0.0 Back: 5.661
INFO - Atoms: 31031/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 282025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.241 Prop: 383.051 PropClause: 366.873 Set: 123.299 Check: 0.0 Back: 6.365
INFO - Atoms: 30652/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 312411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.317 Prop: 412.455 PropClause: 395.52 Set: 128.314 Check: 0.0 Back: 7.133
INFO - Atoms: 30386/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 342417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.358 Prop: 440.97 PropClause: 423.284 Set: 133.201 Check: 0.0 Back: 7.852
INFO - Atoms: 30006/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 372156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.408 Prop: 476.673 PropClause: 458.118 Set: 139.539 Check: 0.0 Back: 8.605
INFO - Atoms: 29739/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 401516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.499 Prop: 505.548 PropClause: 486.261 Set: 144.383 Check: 0.0 Back: 9.362
INFO - Atoms: 29360/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 430552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.547 Prop: 534.762 PropClause: 514.745 Set: 149.158 Check: 0.0 Back: 10.106
INFO - Atoms: 29036/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 459266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.597 Prop: 570.307 PropClause: 549.45 Set: 155.641 Check: 0.0 Back: 10.849
INFO - Atoms: 28714/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 487656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.645 Prop: 604.454 PropClause: 582.799 Set: 161.367 Check: 0.0 Back: 11.584
INFO - Atoms: 28390/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 515724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.694 Prop: 639.289 PropClause: 616.785 Set: 171.288 Check: 0.0 Back: 12.248
INFO - Atoms: 28068/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 543468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.744 Prop: 670.734 PropClause: 647.395 Set: 180.961 Check: 0.0 Back: 12.955
INFO - Atoms: 27744/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 570890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.791 Prop: 701.383 PropClause: 677.219 Set: 190.569 Check: 0.0 Back: 13.657
INFO - Atoms: 27422/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 598047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.836 Prop: 730.465 PropClause: 705.476 Set: 199.999 Check: 0.0 Back: 14.354
INFO - Atoms: 27157/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 624823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.885 Prop: 759.616 PropClause: 733.856 Set: 206.021 Check: 0.0 Back: 15.042
INFO - Atoms: 26776/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 651275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.932 Prop: 788.767 PropClause: 762.242 Set: 211.811 Check: 0.0 Back: 15.72
INFO - Atoms: 26452/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 677405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.979 Prop: 818.613 PropClause: 791.338 Set: 217.763 Check: 0.0 Back: 16.381
INFO - Atoms: 26130/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 703211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.023 Prop: 846.514 PropClause: 818.505 Set: 223.04 Check: 0.0 Back: 17.064
INFO - Atoms: 25806/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 728695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.066 Prop: 868.566 PropClause: 839.929 Set: 227.018 Check: 0.0 Back: 17.665
INFO - Atoms: 25484/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 753914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.109 Prop: 888.685 PropClause: 859.425 Set: 230.898 Check: 0.0 Back: 18.295
INFO - Atoms: 25219/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 778752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 910.774 PropClause: 880.8 Set: 236.096 Check: 0.0 Back: 18.886
INFO - Atoms: 24838/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 803266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.209 Prop: 931.815 PropClause: 901.128 Set: 241.103 Check: 0.0 Back: 19.513
INFO - Atoms: 24514/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 827458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.249 Prop: 951.658 PropClause: 920.274 Set: 245.824 Check: 0.0 Back: 20.147
INFO - Atoms: 24192/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 851384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.288 Prop: 965.834 PropClause: 933.857 Set: 249.502 Check: 0.0 Back: 20.742
INFO - Atoms: 23926/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 874930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 979.793 PropClause: 947.231 Set: 272.715 Check: 0.0 Back: 21.306
INFO - Atoms: 23546/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 898152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.361 Prop: 994.934 PropClause: 961.792 Set: 276.253 Check: 0.0 Back: 21.889
INFO - Atoms: 23222/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 921052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.402 Prop: 1009.759 PropClause: 976.048 Set: 279.697 Check: 0.0 Back: 22.437
INFO - Atoms: 22900/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 943628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.474 Prop: 1027.767 PropClause: 993.497 Set: 283.159 Check: 0.0 Back: 23.004
INFO - Atoms: 22576/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 965882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 1044.646 PropClause: 1009.827 Set: 286.543 Check: 0.0 Back: 23.537
INFO - Atoms: 22254/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 987869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 1062.858 PropClause: 1027.496 Set: 289.879 Check: 0.0 Back: 24.086
INFO - Atoms: 21987/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1011131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.61 Prop: 1080.128 PropClause: 1044.189 Set: 293.59 Check: 0.0 Back: 24.609
INFO - Atoms: 23262/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1034719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.65 Prop: 1100.444 PropClause: 1063.924 Set: 297.343 Check: 0.0 Back: 25.2
INFO - Atoms: 23588/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1058566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.692 Prop: 1117.5 PropClause: 1080.392 Set: 301.092 Check: 0.0 Back: 25.766
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1082476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 1137.088 PropClause: 1099.379 Set: 304.901 Check: 0.0 Back: 26.354
INFO - Atoms: 23910/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1105371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.775 Prop: 1157.467 PropClause: 1119.09 Set: 309.969 Check: 0.0 Back: 26.913
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1129471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 1176.231 PropClause: 1137.164 Set: 315.256 Check: 0.0 Back: 27.491
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1153378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 1196.611 PropClause: 1156.852 Set: 321.002 Check: 0.0 Back: 28.096
INFO - Atoms: 23907/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1177540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.921 Prop: 1217.849 PropClause: 1177.381 Set: 328.935 Check: 0.0 Back: 28.707
INFO - Atoms: 24162/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1201638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 1241.204 PropClause: 1200.025 Set: 336.773 Check: 0.0 Back: 29.323
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1225485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.008 Prop: 1265.606 PropClause: 1223.721 Set: 344.761 Check: 0.0 Back: 29.931
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1248380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 1289.99 PropClause: 1247.437 Set: 352.528 Check: 0.0 Back: 30.536
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1272478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.125 Prop: 1313.493 PropClause: 1270.231 Set: 360.834 Check: 0.0 Back: 31.112
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1296387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.171 Prop: 1338.816 PropClause: 1294.842 Set: 369.135 Check: 0.0 Back: 31.729
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1320549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 1363.117 PropClause: 1318.43 Set: 377.286 Check: 0.0 Back: 32.328
INFO - Atoms: 24162/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1344649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.263 Prop: 1384.896 PropClause: 1339.495 Set: 385.058 Check: 0.0 Back: 32.936
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1368496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.422 Prop: 1405.518 PropClause: 1359.413 Set: 392.717 Check: 0.0 Back: 33.542
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1391391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.444 Prop: 1426.715 PropClause: 1379.934 Set: 400.099 Check: 0.0 Back: 34.146
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1415489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.466 Prop: 1444.935 PropClause: 1397.552 Set: 419.672 Check: 0.0 Back: 34.737
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1439398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.484 Prop: 1459.071 PropClause: 1411.088 Set: 423.438 Check: 0.0 Back: 35.312
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1463560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.506 Prop: 1476.936 PropClause: 1428.35 Set: 427.361 Check: 0.0 Back: 35.914
INFO - Atoms: 24162/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1487660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 1501.092 PropClause: 1451.82 Set: 432.802 Check: 0.0 Back: 36.486
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1511507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 1524.632 PropClause: 1474.683 Set: 437.673 Check: 0.0 Back: 37.099
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1534402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.575 Prop: 1541.545 PropClause: 1491.022 Set: 441.265 Check: 0.0 Back: 37.672
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1558500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 1560.593 PropClause: 1509.471 Set: 445.241 Check: 0.0 Back: 38.271
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1582409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 1578.164 PropClause: 1526.45 Set: 449.077 Check: 0.0 Back: 38.853
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1606571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 1596.456 PropClause: 1544.141 Set: 453.055 Check: 0.0 Back: 39.452
INFO - Atoms: 24162/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1630670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 1612.325 PropClause: 1559.409 Set: 456.956 Check: 0.0 Back: 40.03
INFO - Atoms: 24099/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1654517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.676 Prop: 1626.899 PropClause: 1573.389 Set: 460.734 Check: 0.0 Back: 40.627
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1677412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 1640.457 PropClause: 1586.38 Set: 464.243 Check: 0.0 Back: 41.211
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1701510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 1654.357 PropClause: 1599.678 Set: 468.11 Check: 0.0 Back: 41.784
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1725419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 1668.508 PropClause: 1613.231 Set: 471.965 Check: 0.0 Back: 42.358
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1749581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 1687.8 PropClause: 1631.824 Set: 477.239 Check: 0.0 Back: 42.947
INFO - Atoms: 24162/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1773681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 1708.422 PropClause: 1651.755 Set: 482.571 Check: 0.0 Back: 43.559
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1797528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.809 Prop: 1732.062 PropClause: 1674.711 Set: 487.746 Check: 0.0 Back: 44.185
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1820423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 1749.272 PropClause: 1691.348 Set: 491.389 Check: 0.0 Back: 44.765
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1844521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 1768.361 PropClause: 1709.839 Set: 495.361 Check: 0.0 Back: 45.336
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1868430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 1786.71 PropClause: 1727.59 Set: 499.211 Check: 0.0 Back: 45.928
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1892651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 1808.609 PropClause: 1748.859 Set: 503.542 Check: 0.0 Back: 46.538
INFO - Atoms: 24221/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1916751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.005 Prop: 1829.088 PropClause: 1768.723 Set: 507.581 Check: 0.0 Back: 47.127
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1940598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.027 Prop: 1848.779 PropClause: 1787.804 Set: 511.451 Check: 0.0 Back: 47.731
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1963493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 1866.08 PropClause: 1804.517 Set: 515.134 Check: 0.0 Back: 48.313
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1987591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 1881.757 PropClause: 1819.593 Set: 519.09 Check: 0.0 Back: 48.887
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2011500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 1895.735 PropClause: 1832.975 Set: 522.944 Check: 0.0 Back: 49.466
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2035719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 1910.059 PropClause: 1846.7 Set: 526.877 Check: 0.0 Back: 50.062
INFO - Atoms: 24219/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2059818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 1924.943 PropClause: 1860.985 Set: 530.761 Check: 0.0 Back: 50.642
INFO - Atoms: 24099/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2083665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.143 Prop: 1939.651 PropClause: 1875.096 Set: 534.664 Check: 0.0 Back: 51.242
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2106560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 1953.573 PropClause: 1888.441 Set: 538.211 Check: 0.0 Back: 51.814
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2130658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.178 Prop: 1967.772 PropClause: 1902.04 Set: 542.178 Check: 0.0 Back: 52.388
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2154567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.196 Prop: 1981.915 PropClause: 1915.589 Set: 545.999 Check: 0.0 Back: 52.969
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2178786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.217 Prop: 1999.138 PropClause: 1932.209 Set: 549.95 Check: 0.0 Back: 53.587
INFO - Atoms: 24219/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2202886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 2016.961 PropClause: 1949.431 Set: 553.826 Check: 0.0 Back: 54.175
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2226733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.347 Prop: 2035.978 PropClause: 1967.853 Set: 557.767 Check: 0.0 Back: 54.794
INFO - Atoms: 23847/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2249628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 2054.095 PropClause: 1985.405 Set: 561.407 Check: 0.0 Back: 55.377
INFO - Atoms: 22895/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2273726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.384 Prop: 2072.502 PropClause: 2003.217 Set: 565.322 Check: 0.0 Back: 55.95
INFO - Atoms: 24098/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2297635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 2092.534 PropClause: 2022.651 Set: 569.283 Check: 0.0 Back: 56.531
INFO - Atoms: 23909/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2320529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 2109.181 PropClause: 2038.735 Set: 572.86 Check: 0.0 Back: 57.133
INFO - Atoms: 22894/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2344435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.437 Prop: 2127.115 PropClause: 2056.08 Set: 576.673 Check: 0.0 Back: 57.681
INFO - Atoms: 23906/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2368536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.486 Prop: 2141.529 PropClause: 2069.897 Set: 580.647 Check: 0.0 Back: 58.282
INFO - Atoms: 24101/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2392701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 2155.443 PropClause: 2083.21 Set: 584.528 Check: 0.0 Back: 58.858
INFO - Atoms: 24165/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2416546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 2171.996 PropClause: 2099.172 Set: 588.424 Check: 0.0 Back: 59.456
INFO - Atoms: 23845/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2440646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 2185.705 PropClause: 2112.28 Set: 592.272 Check: 0.0 Back: 60.03
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2463540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.593 Prop: 2202.13 PropClause: 2128.137 Set: 595.944 Check: 0.0 Back: 60.624
INFO - Atoms: 22894/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2487447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.607 Prop: 2215.557 PropClause: 2140.972 Set: 599.783 Check: 0.0 Back: 61.185
INFO - Atoms: 23907/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2511547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 2230.014 PropClause: 2154.829 Set: 603.68 Check: 0.0 Back: 61.787
INFO - Atoms: 24100/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2535710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 2244.707 PropClause: 2168.922 Set: 607.556 Check: 0.0 Back: 62.358
INFO - Atoms: 24163/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2559555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 2264.122 PropClause: 2187.749 Set: 613.647 Check: 0.0 Back: 62.956
INFO - Atoms: 23845/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2583532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 2282.401 PropClause: 2205.432 Set: 619.6 Check: 0.0 Back: 63.526
INFO - Atoms: 23977/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2607542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 2302.02 PropClause: 2224.459 Set: 625.715 Check: 0.0 Back: 64.123
INFO - Atoms: 24010/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2631366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 2321.065 PropClause: 2242.916 Set: 631.811 Check: 0.0 Back: 64.692
INFO - Atoms: 23824/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2655059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 2341.242 PropClause: 2262.504 Set: 637.966 Check: 0.0 Back: 65.284
INFO - Atoms: 23693/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2678916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.724 Prop: 2359.122 PropClause: 2279.787 Set: 643.997 Check: 0.0 Back: 65.858
INFO - Atoms: 23857/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2702453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.74 Prop: 2378.281 PropClause: 2298.366 Set: 649.978 Check: 0.0 Back: 66.449
INFO - Atoms: 23537/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2725993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 2393.094 PropClause: 2312.591 Set: 655.644 Check: 0.0 Back: 67.014
INFO - Atoms: 23540/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2749533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 2413.166 PropClause: 2332.066 Set: 661.779 Check: 0.0 Back: 67.604
INFO - Atoms: 23540/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2772724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 2428.889 PropClause: 2347.212 Set: 667.452 Check: 0.0 Back: 68.17
INFO - Atoms: 23191/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2795853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 2443.877 PropClause: 2361.625 Set: 673.154 Check: 0.0 Back: 68.75
INFO - Atoms: 23129/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2819046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 2461.053 PropClause: 2378.224 Set: 678.939 Check: 0.0 Back: 69.311
INFO - Atoms: 23193/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2841921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.822 Prop: 2475.861 PropClause: 2392.455 Set: 684.547 Check: 0.0 Back: 69.887
INFO - Atoms: 22875/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2865112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 2490.757 PropClause: 2406.778 Set: 690.275 Check: 0.0 Back: 70.441
INFO - Atoms: 23191/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2888241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 2506.018 PropClause: 2421.463 Set: 695.977 Check: 0.0 Back: 71.024
INFO - Atoms: 23129/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2911432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 2523.829 PropClause: 2438.698 Set: 701.943 Check: 0.0 Back: 71.582
INFO - Atoms: 23191/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 2934307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 2541.082 PropClause: 2455.389 Set: 707.677 Check: 0.0 Back: 72.158
INFO - Atoms: 22875/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 2957183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 2559.081 PropClause: 2472.826 Set: 713.517 Check: 0.0 Back: 72.7
INFO - Atoms: 22876/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 2979112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 2575.252 PropClause: 2488.458 Set: 718.997 Check: 0.0 Back: 73.262
INFO - Atoms: 21929/31936 Clauses: 197 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 5798472 Tprops: 0 Decides: 22422 RSplits: 0
INFO - Times: Expl: 831.726 Prop: 4605.897 PropClause: 4436.561 Set: 793.67 Check: 0.547 Back: 142.538
INFO - Atoms: 10760/31936 Clauses: 668 Axioms: 105842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 122 Props: 5873 Tprops: 1260 Decides: 5065 RSplits: 0
INFO - Times: Expl: 68.294 Prop: 10126.312 PropClause: 2.456 Set: 454.818 Check: 27.785 Back: 18.119
INFO - Atoms: 239/294 Clauses: 122 Axioms: 294
INFO - CCTimes: iE 65462 eq 6169672 cc 12652608 setRep 6378820
INFO - Merges: 39574, cc:53888
INFO - BVTimes: BB 217070713 BB_DPLL 9114385725 Graph 151017
INFO - BitBlastingClauses: 129558 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat