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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 182471951
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 34170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.55 Prop: 56.241 PropClause: 50.181 Set: 27.423 Check: 0.0 Back: 0.0
INFO - Atoms: 34170/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 68329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.59 Prop: 102.481 PropClause: 89.594 Set: 70.32 Check: 0.0 Back: 0.785
INFO - Atoms: 34159/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 102479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.668 Prop: 140.515 PropClause: 125.461 Set: 76.767 Check: 0.0 Back: 1.565
INFO - Atoms: 34150/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 136246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.704 Prop: 173.238 PropClause: 157.08 Set: 83.405 Check: 0.0 Back: 2.347
INFO - Atoms: 33767/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 169436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.76 Prop: 206.585 PropClause: 189.564 Set: 93.342 Check: 0.0 Back: 3.138
INFO - Atoms: 33190/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 202617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.827 Prop: 236.321 PropClause: 218.457 Set: 103.081 Check: 0.0 Back: 3.931
INFO - Atoms: 33181/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 235807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.875 Prop: 261.985 PropClause: 243.296 Set: 109.264 Check: 0.0 Back: 4.882
INFO - Atoms: 33190/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 268990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.939 Prop: 288.827 PropClause: 269.313 Set: 115.419 Check: 0.0 Back: 5.898
INFO - Atoms: 33183/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 302170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.98 Prop: 316.487 PropClause: 296.151 Set: 121.67 Check: 0.0 Back: 6.814
INFO - Atoms: 33180/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 335028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.023 Prop: 343.11 PropClause: 321.956 Set: 127.802 Check: 0.0 Back: 7.813
INFO - Atoms: 32858/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 367405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.096 Prop: 367.736 PropClause: 345.776 Set: 133.817 Check: 0.0 Back: 8.719
INFO - Atoms: 32377/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 399460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.146 Prop: 394.42 PropClause: 371.654 Set: 139.924 Check: 0.0 Back: 9.705
INFO - Atoms: 32055/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 431347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.191 Prop: 418.149 PropClause: 394.592 Set: 145.842 Check: 0.0 Back: 10.638
INFO - Atoms: 31887/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 462820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.233 Prop: 443.477 PropClause: 419.137 Set: 151.699 Check: 0.0 Back: 11.609
INFO - Atoms: 31473/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 493903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.278 Prop: 467.35 PropClause: 442.237 Set: 157.58 Check: 0.0 Back: 12.511
INFO - Atoms: 31083/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 524666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.32 Prop: 493.321 PropClause: 467.44 Set: 164.466 Check: 0.0 Back: 13.481
INFO - Atoms: 30763/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 555262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.363 Prop: 519.715 PropClause: 493.072 Set: 173.605 Check: 0.0 Back: 14.369
INFO - Atoms: 30596/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 585568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.406 Prop: 544.07 PropClause: 516.674 Set: 182.298 Check: 0.0 Back: 15.328
INFO - Atoms: 30306/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 615518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.491 Prop: 568.184 PropClause: 540.043 Set: 191.01 Check: 0.0 Back: 16.214
INFO - Atoms: 29950/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 645210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 592.101 PropClause: 563.222 Set: 214.006 Check: 0.0 Back: 17.126
INFO - Atoms: 29692/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 674512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.607 Prop: 613.728 PropClause: 584.117 Set: 219.564 Check: 0.0 Back: 17.911
INFO - Atoms: 29302/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 703556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.652 Prop: 635.13 PropClause: 604.797 Set: 224.905 Check: 0.0 Back: 18.78
INFO - Atoms: 29044/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 732212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.707 Prop: 659.924 PropClause: 628.874 Set: 230.622 Check: 0.0 Back: 19.583
INFO - Atoms: 28656/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 760610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.747 Prop: 681.694 PropClause: 649.936 Set: 235.913 Check: 0.0 Back: 20.43
INFO - Atoms: 28398/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 788622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.809 Prop: 701.704 PropClause: 669.235 Set: 241.121 Check: 0.0 Back: 21.203
INFO - Atoms: 28012/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 816374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.849 Prop: 722.291 PropClause: 689.134 Set: 246.282 Check: 0.0 Back: 22.006
INFO - Atoms: 27752/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 843738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 740.97 PropClause: 707.13 Set: 251.323 Check: 0.0 Back: 22.755
INFO - Atoms: 27364/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 870844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.927 Prop: 760.1 PropClause: 725.587 Set: 256.328 Check: 0.0 Back: 23.529
INFO - Atoms: 27106/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 897564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.964 Prop: 777.702 PropClause: 742.524 Set: 261.206 Check: 0.0 Back: 24.257
INFO - Atoms: 26720/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 924026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.0 Prop: 797.471 PropClause: 761.634 Set: 282.911 Check: 0.0 Back: 24.998
INFO - Atoms: 26462/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 950098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.04 Prop: 814.959 PropClause: 778.473 Set: 287.698 Check: 0.0 Back: 25.662
INFO - Atoms: 26072/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 975912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.078 Prop: 832.729 PropClause: 795.603 Set: 292.439 Check: 0.0 Back: 26.393
INFO - Atoms: 25814/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1001340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.118 Prop: 852.078 PropClause: 814.301 Set: 297.156 Check: 0.0 Back: 27.068
INFO - Atoms: 25428/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1026510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.161 Prop: 871.422 PropClause: 833.018 Set: 301.901 Check: 0.0 Back: 27.794
INFO - Atoms: 25170/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1051292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.203 Prop: 887.667 PropClause: 848.645 Set: 306.468 Check: 0.0 Back: 28.478
INFO - Atoms: 24782/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1075816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.243 Prop: 903.111 PropClause: 863.48 Set: 310.985 Check: 0.0 Back: 29.155
INFO - Atoms: 24524/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1099950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.28 Prop: 918.302 PropClause: 878.07 Set: 315.428 Check: 0.0 Back: 29.789
INFO - Atoms: 24134/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1123826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.315 Prop: 933.588 PropClause: 892.767 Set: 319.768 Check: 0.0 Back: 30.455
INFO - Atoms: 23876/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1147316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.355 Prop: 948.258 PropClause: 906.854 Set: 324.057 Check: 0.0 Back: 31.071
INFO - Atoms: 23490/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1170546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.395 Prop: 962.705 PropClause: 920.716 Set: 328.369 Check: 0.0 Back: 31.705
INFO - Atoms: 23230/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1193390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.433 Prop: 976.692 PropClause: 934.134 Set: 332.503 Check: 0.0 Back: 32.284
INFO - Atoms: 22844/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1215976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.479 Prop: 991.263 PropClause: 948.143 Set: 337.995 Check: 0.0 Back: 32.897
INFO - Atoms: 22586/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1238172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.518 Prop: 1005.562 PropClause: 961.89 Set: 344.12 Check: 0.0 Back: 33.47
INFO - Atoms: 22196/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1260112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.556 Prop: 1019.859 PropClause: 975.644 Set: 350.156 Check: 0.0 Back: 34.063
INFO - Atoms: 21940/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1281664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.594 Prop: 1033.489 PropClause: 988.736 Set: 356.015 Check: 0.0 Back: 34.606
INFO - Atoms: 21552/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1302956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.633 Prop: 1047.26 PropClause: 1001.98 Set: 361.896 Check: 0.0 Back: 35.17
INFO - Atoms: 21292/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1323860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.669 Prop: 1061.239 PropClause: 1015.435 Set: 367.72 Check: 0.0 Back: 35.697
INFO - Atoms: 20904/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1344506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 1074.557 PropClause: 1028.24 Set: 373.41 Check: 0.0 Back: 36.253
INFO - Atoms: 20646/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1364764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 1087.182 PropClause: 1040.363 Set: 379.048 Check: 0.0 Back: 36.756
INFO - Atoms: 20258/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1384764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.792 Prop: 1100.168 PropClause: 1052.85 Set: 384.595 Check: 0.0 Back: 37.304
INFO - Atoms: 20000/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1404378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 1111.728 PropClause: 1063.924 Set: 389.992 Check: 0.0 Back: 37.8
INFO - Atoms: 19614/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1422463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.871 Prop: 1122.626 PropClause: 1074.372 Set: 394.906 Check: 0.0 Back: 38.3
INFO - Atoms: 18085/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1440162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 1131.981 PropClause: 1083.28 Set: 417.055 Check: 0.0 Back: 38.738
INFO - Atoms: 17699/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1457603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.945 Prop: 1141.382 PropClause: 1092.246 Set: 420.133 Check: 0.0 Back: 39.186
INFO - Atoms: 17441/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1474656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 1150.433 PropClause: 1100.872 Set: 423.111 Check: 0.0 Back: 39.6
INFO - Atoms: 17053/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1491451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.101 Prop: 1159.099 PropClause: 1109.124 Set: 426.039 Check: 0.0 Back: 40.035
INFO - Atoms: 16795/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1507858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.119 Prop: 1167.417 PropClause: 1117.02 Set: 428.859 Check: 0.0 Back: 40.425
INFO - Atoms: 16407/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1524007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 1175.257 PropClause: 1124.45 Set: 431.629 Check: 0.0 Back: 40.835
INFO - Atoms: 16149/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1539509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 1182.824 PropClause: 1131.632 Set: 434.337 Check: 0.0 Back: 41.212
INFO - Atoms: 15502/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1554945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 1189.949 PropClause: 1138.371 Set: 437.095 Check: 0.0 Back: 41.595
INFO - Atoms: 15436/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1570221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.192 Prop: 1197.053 PropClause: 1145.094 Set: 439.869 Check: 0.0 Back: 41.966
INFO - Atoms: 15276/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1584445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 1203.457 PropClause: 1151.147 Set: 442.298 Check: 0.0 Back: 42.338
INFO - Atoms: 14224/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1598346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 1209.23 PropClause: 1156.575 Set: 444.65 Check: 0.0 Back: 42.675
INFO - Atoms: 13901/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1611068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.248 Prop: 1214.431 PropClause: 1161.459 Set: 446.691 Check: 0.0 Back: 43.011
INFO - Atoms: 12722/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1623468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.268 Prop: 1219.111 PropClause: 1165.831 Set: 448.675 Check: 0.0 Back: 43.3
INFO - Atoms: 12400/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 4627625 Tprops: 0 Decides: 60093 RSplits: 0
INFO - Times: Expl: 913.512 Prop: 3630.385 PropClause: 3481.767 Set: 524.402 Check: 1.426 Back: 116.61
INFO - Atoms: 10770/34174 Clauses: 582 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 797 Props: 7049722 Tprops: 0 Decides: 104969 RSplits: 0
INFO - Times: Expl: 1605.58 Prop: 5431.481 PropClause: 5201.631 Set: 586.099 Check: 2.472 Back: 175.484
INFO - Atoms: 10783/34174 Clauses: 566 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1162 Props: 9454950 Tprops: 0 Decides: 149625 RSplits: 0
INFO - Times: Expl: 2295.156 Prop: 7273.809 PropClause: 6963.027 Set: 648.071 Check: 3.513 Back: 234.277
INFO - Atoms: 10780/34174 Clauses: 573 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1524 Props: 11871689 Tprops: 0 Decides: 194465 RSplits: 0
INFO - Times: Expl: 2980.259 Prop: 9097.467 PropClause: 8705.737 Set: 710.463 Check: 4.568 Back: 293.214
INFO - Atoms: 10659/34174 Clauses: 570 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1885 Props: 14251758 Tprops: 0 Decides: 238631 RSplits: 0
INFO - Times: Expl: 3622.653 Prop: 10808.118 PropClause: 10337.24 Set: 771.324 Check: 5.597 Back: 351.07
INFO - Atoms: 10698/34174 Clauses: 569 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2246 Props: 16640676 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.36 Prop: 12665.554 PropClause: 12114.213 Set: 832.656 Check: 6.631 Back: 408.644
INFO - Atoms: 10706/34174 Clauses: 569 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2247 Props: 16656765 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.365 Prop: 12683.452 PropClause: 12131.704 Set: 839.369 Check: 6.631 Back: 408.907
INFO - Atoms: 16089/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2248 Props: 16673408 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.37 Prop: 12694.175 PropClause: 12142.016 Set: 842.502 Check: 6.631 Back: 409.292
INFO - Atoms: 16643/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2249 Props: 16690142 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.376 Prop: 12704.001 PropClause: 12151.427 Set: 845.53 Check: 6.631 Back: 409.708
INFO - Atoms: 16734/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2250 Props: 16707258 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.382 Prop: 12714.347 PropClause: 12161.352 Set: 848.693 Check: 6.631 Back: 410.106
INFO - Atoms: 17116/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2251 Props: 16724648 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.387 Prop: 12724.645 PropClause: 12171.211 Set: 851.854 Check: 6.631 Back: 410.529
INFO - Atoms: 17390/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2252 Props: 16742410 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.391 Prop: 12735.666 PropClause: 12181.784 Set: 855.097 Check: 6.631 Back: 410.943
INFO - Atoms: 17762/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2253 Props: 16760495 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.395 Prop: 12746.971 PropClause: 12192.644 Set: 858.42 Check: 6.631 Back: 411.374
INFO - Atoms: 18085/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2254 Props: 16778902 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.401 Prop: 12758.781 PropClause: 12204.002 Set: 861.808 Check: 6.631 Back: 411.801
INFO - Atoms: 18407/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2255 Props: 16797598 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.406 Prop: 12771.509 PropClause: 12216.269 Set: 865.343 Check: 6.631 Back: 412.252
INFO - Atoms: 18696/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2256 Props: 16816594 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.412 Prop: 12783.569 PropClause: 12227.84 Set: 868.803 Check: 6.631 Back: 412.703
INFO - Atoms: 18996/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2257 Props: 16835916 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.416 Prop: 12795.884 PropClause: 12239.678 Set: 872.299 Check: 6.631 Back: 413.175
INFO - Atoms: 19322/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2258 Props: 16855573 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.42 Prop: 12808.754 PropClause: 12252.065 Set: 875.913 Check: 6.631 Back: 413.652
INFO - Atoms: 19657/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2259 Props: 16875537 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.426 Prop: 12822.871 PropClause: 12265.686 Set: 879.763 Check: 6.631 Back: 414.136
INFO - Atoms: 19964/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2260 Props: 16895664 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.432 Prop: 12836.367 PropClause: 12278.685 Set: 883.406 Check: 6.631 Back: 414.636
INFO - Atoms: 20127/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2261 Props: 16915800 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.438 Prop: 12850.119 PropClause: 12291.941 Set: 887.067 Check: 6.631 Back: 415.149
INFO - Atoms: 20136/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2262 Props: 16936255 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.443 Prop: 12863.864 PropClause: 12305.181 Set: 890.778 Check: 6.631 Back: 415.65
INFO - Atoms: 20455/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2263 Props: 16955914 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.448 Prop: 12877.317 PropClause: 12318.147 Set: 894.294 Check: 6.631 Back: 416.171
INFO - Atoms: 19659/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2264 Props: 16975955 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.453 Prop: 12891.064 PropClause: 12331.4 Set: 897.96 Check: 6.631 Back: 416.663
INFO - Atoms: 20041/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2265 Props: 16996262 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.458 Prop: 12905.981 PropClause: 12345.814 Set: 901.717 Check: 6.631 Back: 417.175
INFO - Atoms: 20307/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2266 Props: 17016984 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.464 Prop: 12920.819 PropClause: 12360.13 Set: 905.476 Check: 6.631 Back: 417.688
INFO - Atoms: 20722/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2267 Props: 17038031 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.47 Prop: 12936.564 PropClause: 12375.352 Set: 909.354 Check: 6.631 Back: 418.219
INFO - Atoms: 21047/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2268 Props: 17059621 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.475 Prop: 12951.917 PropClause: 12390.173 Set: 913.291 Check: 6.631 Back: 418.743
INFO - Atoms: 21590/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2269 Props: 17081535 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.479 Prop: 12967.405 PropClause: 12405.12 Set: 917.284 Check: 6.631 Back: 419.301
INFO - Atoms: 21914/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2270 Props: 17103455 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.484 Prop: 12982.829 PropClause: 12420.001 Set: 921.215 Check: 6.631 Back: 419.848
INFO - Atoms: 21920/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2271 Props: 17125757 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.489 Prop: 12998.666 PropClause: 12435.287 Set: 925.26 Check: 6.631 Back: 420.408
INFO - Atoms: 22302/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2272 Props: 17148383 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.493 Prop: 13015.295 PropClause: 12451.339 Set: 929.309 Check: 6.631 Back: 420.982
INFO - Atoms: 22626/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2273 Props: 17171530 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.497 Prop: 13032.916 PropClause: 12468.388 Set: 933.513 Check: 6.631 Back: 421.577
INFO - Atoms: 23147/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2274 Props: 17194750 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.502 Prop: 13050.263 PropClause: 12485.161 Set: 937.704 Check: 6.631 Back: 422.155
INFO - Atoms: 23220/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2275 Props: 17218286 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.508 Prop: 13068.235 PropClause: 12502.552 Set: 941.938 Check: 6.631 Back: 422.747
INFO - Atoms: 23536/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2276 Props: 17242144 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.514 Prop: 13086.581 PropClause: 12520.306 Set: 946.274 Check: 6.631 Back: 423.345
INFO - Atoms: 23858/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2277 Props: 17266325 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.518 Prop: 13105.568 PropClause: 12538.694 Set: 952.433 Check: 6.631 Back: 423.965
INFO - Atoms: 24181/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2278 Props: 17290888 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.523 Prop: 13125.739 PropClause: 12558.25 Set: 958.749 Check: 6.631 Back: 424.58
INFO - Atoms: 24563/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2279 Props: 17315729 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.529 Prop: 13146.052 PropClause: 12577.951 Set: 965.521 Check: 6.631 Back: 425.217
INFO - Atoms: 24841/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2280 Props: 17340879 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.534 Prop: 13168.722 PropClause: 12600.0 Set: 972.411 Check: 6.631 Back: 425.843
INFO - Atoms: 25150/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2281 Props: 17366362 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.54 Prop: 13190.781 PropClause: 12621.429 Set: 979.38 Check: 6.631 Back: 426.529
INFO - Atoms: 25483/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2282 Props: 17392159 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.544 Prop: 13214.129 PropClause: 12644.132 Set: 986.441 Check: 6.631 Back: 427.185
INFO - Atoms: 25797/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2283 Props: 17418282 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.548 Prop: 13235.894 PropClause: 12665.255 Set: 993.495 Check: 6.631 Back: 427.869
INFO - Atoms: 26123/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2284 Props: 17445041 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.552 Prop: 13258.354 PropClause: 12687.058 Set: 1000.695 Check: 6.631 Back: 428.547
INFO - Atoms: 26759/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2285 Props: 17471806 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.557 Prop: 13280.926 PropClause: 12708.971 Set: 1007.882 Check: 6.631 Back: 429.26
INFO - Atoms: 26765/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2286 Props: 17499152 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.562 Prop: 13306.853 PropClause: 12734.217 Set: 1015.778 Check: 6.631 Back: 429.951
INFO - Atoms: 27346/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2287 Props: 17526563 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.568 Prop: 13333.212 PropClause: 12759.899 Set: 1023.357 Check: 6.631 Back: 430.69
INFO - Atoms: 27411/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2288 Props: 17554358 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.574 Prop: 13359.998 PropClause: 12785.996 Set: 1031.142 Check: 6.631 Back: 431.399
INFO - Atoms: 27795/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2289 Props: 17582415 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.58 Prop: 13384.174 PropClause: 12809.475 Set: 1038.846 Check: 6.631 Back: 432.131
INFO - Atoms: 28057/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2290 Props: 17610796 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.585 Prop: 13410.704 PropClause: 12835.298 Set: 1046.663 Check: 6.631 Back: 432.857
INFO - Atoms: 28381/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2291 Props: 17639507 Tprops: 0 Decides: 282985 RSplits: 0
INFO - Times: Expl: 4314.589 Prop: 13435.793 PropClause: 12859.673 Set: 1054.572 Check: 6.631 Back: 433.63
INFO - Atoms: 28711/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 119 Props: 3711 Tprops: 368 Decides: 4030 RSplits: 0
INFO - Times: Expl: 36.385 Prop: 22561.252 PropClause: 2.548 Set: 285.332 Check: 18.21 Back: 10.558
INFO - Atoms: 235/291 Clauses: 119 Axioms: 291
INFO - CCTimes: iE 45613 eq 4829421 cc 8129074 setRep 3728181
INFO - Merges: 25926, cc:35294
INFO - BVTimes: BB 182457082 BB_DPLL 21685242201 Graph 100238
INFO - BitBlastingClauses: 139522 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat