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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 58588466
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 3390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.646 Prop: 25.985 PropClause: 22.826 Set: 14.815 Check: 0.0 Back: 0.0
INFO - Atoms: 3390/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 6780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.704 Prop: 29.243 PropClause: 25.277 Set: 17.603 Check: 0.0 Back: 0.222
INFO - Atoms: 3390/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 10170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.741 Prop: 32.415 PropClause: 27.66 Set: 19.924 Check: 0.0 Back: 0.322
INFO - Atoms: 3390/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 13434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.787 Prop: 35.44 PropClause: 30.475 Set: 22.025 Check: 0.0 Back: 0.42
INFO - Atoms: 3264/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 16698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.834 Prop: 38.021 PropClause: 32.859 Set: 24.012 Check: 0.0 Back: 0.505
INFO - Atoms: 3264/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 19962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.877 Prop: 40.523 PropClause: 35.164 Set: 25.943 Check: 0.0 Back: 0.59
INFO - Atoms: 3264/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 23227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 43.63 PropClause: 38.017 Set: 27.916 Check: 0.0 Back: 0.676
INFO - Atoms: 3265/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 26488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 46.798 PropClause: 40.982 Set: 29.938 Check: 0.0 Back: 0.764
INFO - Atoms: 3261/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 29685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.016 Prop: 49.173 PropClause: 43.163 Set: 31.858 Check: 0.0 Back: 0.85
INFO - Atoms: 3197/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 32814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 51.792 PropClause: 45.591 Set: 51.646 Check: 0.0 Back: 0.933
INFO - Atoms: 3129/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 35877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.148 Prop: 53.359 PropClause: 46.966 Set: 53.151 Check: 0.0 Back: 1.016
INFO - Atoms: 3063/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 38872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.179 Prop: 54.351 PropClause: 47.796 Set: 54.683 Check: 0.0 Back: 1.097
INFO - Atoms: 2995/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 41801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.2 Prop: 55.222 PropClause: 48.504 Set: 56.122 Check: 0.0 Back: 1.175
INFO - Atoms: 2929/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 44662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.221 Prop: 56.085 PropClause: 49.215 Set: 56.82 Check: 0.0 Back: 1.252
INFO - Atoms: 2861/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 47457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.246 Prop: 56.921 PropClause: 49.897 Set: 57.447 Check: 0.0 Back: 1.327
INFO - Atoms: 2795/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 50185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.274 Prop: 57.763 PropClause: 50.587 Set: 58.068 Check: 0.0 Back: 1.4
INFO - Atoms: 2728/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 52846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.3 Prop: 58.506 PropClause: 51.228 Set: 58.706 Check: 0.0 Back: 1.472
INFO - Atoms: 2661/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 55439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.327 Prop: 59.267 PropClause: 51.888 Set: 59.298 Check: 0.0 Back: 1.541
INFO - Atoms: 2593/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 57966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.355 Prop: 59.995 PropClause: 52.518 Set: 59.871 Check: 0.0 Back: 1.609
INFO - Atoms: 2527/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 60426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.381 Prop: 60.655 PropClause: 53.084 Set: 60.412 Check: 0.0 Back: 1.676
INFO - Atoms: 2460/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 62819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.413 Prop: 61.389 PropClause: 53.725 Set: 60.941 Check: 0.0 Back: 1.74
INFO - Atoms: 2393/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 65587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 62.287 PropClause: 54.514 Set: 61.63 Check: 0.0 Back: 1.804
INFO - Atoms: 2768/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 68365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.474 Prop: 63.045 PropClause: 55.167 Set: 62.31 Check: 0.0 Back: 1.872
INFO - Atoms: 2778/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 70949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.506 Prop: 63.783 PropClause: 55.805 Set: 62.92 Check: 0.0 Back: 1.942
INFO - Atoms: 2584/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 73533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.538 Prop: 64.531 PropClause: 56.454 Set: 63.543 Check: 0.0 Back: 2.007
INFO - Atoms: 2584/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 76308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.575 Prop: 65.513 PropClause: 57.331 Set: 69.365 Check: 0.0 Back: 2.072
INFO - Atoms: 2775/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 79079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.6 Prop: 66.276 PropClause: 57.986 Set: 70.041 Check: 0.0 Back: 2.143
INFO - Atoms: 2771/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 81668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.617 Prop: 66.997 PropClause: 58.603 Set: 70.685 Check: 0.0 Back: 2.212
INFO - Atoms: 2589/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 84445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 67.744 PropClause: 59.227 Set: 71.369 Check: 0.0 Back: 2.277
INFO - Atoms: 2777/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 87216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 68.474 PropClause: 59.847 Set: 72.046 Check: 0.0 Back: 2.347
INFO - Atoms: 2771/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 89805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.662 Prop: 69.183 PropClause: 60.457 Set: 72.669 Check: 0.0 Back: 2.417
INFO - Atoms: 2589/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 92576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.692 Prop: 69.936 PropClause: 61.097 Set: 73.388 Check: 0.0 Back: 2.481
INFO - Atoms: 2771/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 95353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.708 Prop: 70.659 PropClause: 61.712 Set: 74.06 Check: 0.0 Back: 2.551
INFO - Atoms: 2777/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 98185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.736 Prop: 71.441 PropClause: 62.384 Set: 74.771 Check: 0.0 Back: 2.619
INFO - Atoms: 2832/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 101011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.752 Prop: 72.174 PropClause: 63.009 Set: 75.441 Check: 0.0 Back: 2.689
INFO - Atoms: 2826/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 103786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.768 Prop: 72.93 PropClause: 63.654 Set: 76.088 Check: 0.0 Back: 2.762
INFO - Atoms: 2775/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 106619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 73.653 PropClause: 64.268 Set: 76.713 Check: 0.0 Back: 2.832
INFO - Atoms: 2833/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 109390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.8 Prop: 74.401 PropClause: 64.909 Set: 77.335 Check: 0.0 Back: 2.904
INFO - Atoms: 2771/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 112216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.816 Prop: 75.163 PropClause: 65.532 Set: 77.986 Check: 0.0 Back: 2.972
INFO - Atoms: 2826/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 115050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.83 Prop: 75.916 PropClause: 66.176 Set: 78.625 Check: 0.0 Back: 3.044
INFO - Atoms: 2834/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 117854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.845 Prop: 76.675 PropClause: 66.827 Set: 79.26 Check: 0.0 Back: 3.115
INFO - Atoms: 2804/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 120628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 77.433 PropClause: 67.453 Set: 79.865 Check: 0.0 Back: 3.186
INFO - Atoms: 2774/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 123437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.88 Prop: 78.164 PropClause: 68.076 Set: 80.484 Check: 0.0 Back: 3.256
INFO - Atoms: 2809/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 126183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.897 Prop: 78.913 PropClause: 68.718 Set: 81.09 Check: 0.0 Back: 3.319
INFO - Atoms: 2746/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 128961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 79.84 PropClause: 69.349 Set: 81.73 Check: 0.0 Back: 3.387
INFO - Atoms: 2778/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 131550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.93 Prop: 80.532 PropClause: 69.941 Set: 82.282 Check: 0.0 Back: 3.457
INFO - Atoms: 2589/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 134270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.946 Prop: 81.235 PropClause: 70.54 Set: 82.896 Check: 0.0 Back: 3.524
INFO - Atoms: 2720/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 136991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.963 Prop: 82.172 PropClause: 71.195 Set: 83.745 Check: 0.0 Back: 3.594
INFO - Atoms: 2721/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 139714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 82.906 PropClause: 71.821 Set: 84.567 Check: 0.0 Back: 3.663
INFO - Atoms: 2723/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 142371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.01 Prop: 83.664 PropClause: 72.484 Set: 85.392 Check: 0.0 Back: 3.732
INFO - Atoms: 2657/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 145028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.064 Prop: 84.384 PropClause: 73.098 Set: 86.212 Check: 0.0 Back: 3.798
INFO - Atoms: 2657/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 147599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.097 Prop: 85.126 PropClause: 73.757 Set: 86.995 Check: 0.0 Back: 3.864
INFO - Atoms: 2571/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 149986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.131 Prop: 85.815 PropClause: 74.368 Set: 87.715 Check: 0.0 Back: 3.93
INFO - Atoms: 2387/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 152559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.158 Prop: 86.514 PropClause: 74.984 Set: 88.504 Check: 0.0 Back: 3.99
INFO - Atoms: 2573/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 155192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.306 Prop: 87.287 PropClause: 75.671 Set: 89.326 Check: 0.0 Back: 4.056
INFO - Atoms: 2633/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 157651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 87.99 PropClause: 76.294 Set: 90.075 Check: 0.0 Back: 4.124
INFO - Atoms: 2459/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 160110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 88.597 PropClause: 76.822 Set: 90.803 Check: 0.0 Back: 4.186
INFO - Atoms: 2459/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 162709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.357 Prop: 89.286 PropClause: 77.428 Set: 91.581 Check: 0.0 Back: 4.248
INFO - Atoms: 2599/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 165336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 89.973 PropClause: 78.032 Set: 92.363 Check: 0.0 Back: 4.313
INFO - Atoms: 2627/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 167969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.373 Prop: 90.668 PropClause: 78.643 Set: 93.153 Check: 0.0 Back: 4.379
INFO - Atoms: 2633/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 170430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.383 Prop: 91.341 PropClause: 79.238 Set: 93.903 Check: 0.0 Back: 4.445
INFO - Atoms: 2461/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 172824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.393 Prop: 91.961 PropClause: 79.782 Set: 94.624 Check: 0.0 Back: 4.507
INFO - Atoms: 2394/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 175267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.403 Prop: 92.739 PropClause: 80.481 Set: 95.915 Check: 0.0 Back: 4.567
INFO - Atoms: 2443/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 176874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 93.218 PropClause: 80.907 Set: 96.692 Check: 0.0 Back: 4.628
INFO - Atoms: 1607/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 178547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.415 Prop: 93.603 PropClause: 81.238 Set: 97.51 Check: 0.0 Back: 4.668
INFO - Atoms: 1673/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 250589 Tprops: 0 Decides: 1159 RSplits: 0
INFO - Times: Expl: 43.101 Prop: 126.257 PropClause: 110.859 Set: 99.943 Check: 0.029 Back: 6.523
INFO - Atoms: 1290/3392 Clauses: 262 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 70 Props: 1920 Tprops: 385 Decides: 1458 RSplits: 0
INFO - Times: Expl: 26.413 Prop: 679.225 PropClause: 1.362 Set: 152.941 Check: 23.039 Back: 6.67
INFO - Atoms: 133/150 Clauses: 70 Axioms: 150
INFO - CCTimes: iE 29890 eq 3072973 cc 6526850 setRep 2515811
INFO - Merges: 10802, cc:13744
INFO - BVTimes: BB 58569740 BB_DPLL 486000348 Graph 9058986
INFO - BitBlastingClauses: 17594 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat