/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: 40125369
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 3390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.61 Prop: 13.638 PropClause: 12.81 Set: 18.51 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.675 Prop: 15.969 PropClause: 14.443 Set: 20.411 Check: 0.0 Back: 0.098
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.702 Prop: 18.523 PropClause: 16.292 Set: 22.525 Check: 0.0 Back: 0.183
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.738 Prop: 21.15 PropClause: 18.253 Set: 24.54 Check: 0.0 Back: 0.267
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.775 Prop: 23.251 PropClause: 20.213 Set: 26.907 Check: 0.0 Back: 0.351
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.806 Prop: 25.987 PropClause: 22.673 Set: 28.98 Check: 0.0 Back: 0.434
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.844 Prop: 27.913 PropClause: 24.458 Set: 31.017 Check: 0.0 Back: 0.517
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.926 Prop: 29.864 PropClause: 26.258 Set: 32.999 Check: 0.0 Back: 0.6
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: 0.964 Prop: 31.723 PropClause: 27.961 Set: 34.776 Check: 0.0 Back: 0.683
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: 0.997 Prop: 34.364 PropClause: 30.47 Set: 51.756 Check: 0.0 Back: 0.765
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.033 Prop: 35.781 PropClause: 31.759 Set: 53.207 Check: 0.0 Back: 0.848
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.075 Prop: 37.278 PropClause: 33.135 Set: 54.535 Check: 0.0 Back: 0.926
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.124 Prop: 38.495 PropClause: 34.226 Set: 55.86 Check: 0.0 Back: 1.004
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.153 Prop: 39.873 PropClause: 35.355 Set: 57.129 Check: 0.0 Back: 1.081
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.18 Prop: 41.827 PropClause: 37.014 Set: 58.427 Check: 0.0 Back: 1.156
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.214 Prop: 43.067 PropClause: 38.09 Set: 59.651 Check: 0.0 Back: 1.23
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.245 Prop: 44.284 PropClause: 39.141 Set: 60.879 Check: 0.0 Back: 1.301
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.281 Prop: 45.349 PropClause: 40.073 Set: 61.499 Check: 0.0 Back: 1.37
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.308 Prop: 46.241 PropClause: 40.837 Set: 62.067 Check: 0.0 Back: 1.429
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.337 Prop: 47.199 PropClause: 41.671 Set: 62.618 Check: 0.0 Back: 1.496
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.364 Prop: 48.08 PropClause: 42.427 Set: 63.159 Check: 0.0 Back: 1.56
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.394 Prop: 49.156 PropClause: 43.363 Set: 63.844 Check: 0.0 Back: 1.622
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.419 Prop: 50.175 PropClause: 44.241 Set: 64.55 Check: 0.0 Back: 1.693
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.444 Prop: 51.151 PropClause: 45.073 Set: 65.16 Check: 0.0 Back: 1.763
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.488 Prop: 55.137 PropClause: 48.286 Set: 66.139 Check: 0.0 Back: 1.829
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.531 Prop: 56.662 PropClause: 49.638 Set: 67.007 Check: 0.0 Back: 1.895
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.565 Prop: 57.899 PropClause: 50.709 Set: 67.713 Check: 0.0 Back: 1.968
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.596 Prop: 59.211 PropClause: 51.813 Set: 68.371 Check: 0.0 Back: 2.041
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.638 Prop: 60.545 PropClause: 52.98 Set: 69.086 Check: 0.0 Back: 2.116
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.669 Prop: 61.795 PropClause: 54.059 Set: 69.813 Check: 0.0 Back: 2.187
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.693 Prop: 62.939 PropClause: 55.046 Set: 70.471 Check: 0.0 Back: 2.26
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.714 Prop: 64.185 PropClause: 56.12 Set: 71.204 Check: 0.0 Back: 2.331
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.733 Prop: 65.423 PropClause: 57.191 Set: 71.925 Check: 0.0 Back: 2.403
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.756 Prop: 66.708 PropClause: 58.305 Set: 72.674 Check: 0.0 Back: 2.477
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.786 Prop: 68.037 PropClause: 59.422 Set: 73.439 Check: 0.0 Back: 2.551
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.803 Prop: 69.242 PropClause: 60.451 Set: 74.18 Check: 0.0 Back: 2.626
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.818 Prop: 70.442 PropClause: 61.483 Set: 74.939 Check: 0.0 Back: 2.699
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.836 Prop: 71.687 PropClause: 62.561 Set: 75.658 Check: 0.0 Back: 2.773
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.852 Prop: 72.877 PropClause: 63.577 Set: 76.425 Check: 0.0 Back: 2.847
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.87 Prop: 74.11 PropClause: 64.636 Set: 77.187 Check: 0.0 Back: 2.921
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.889 Prop: 74.966 PropClause: 65.323 Set: 77.905 Check: 0.0 Back: 2.998
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.927 Prop: 75.892 PropClause: 66.077 Set: 78.599 Check: 0.0 Back: 3.071
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.945 Prop: 76.706 PropClause: 66.733 Set: 79.293 Check: 0.0 Back: 3.143
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.963 Prop: 77.585 PropClause: 67.452 Set: 79.976 Check: 0.0 Back: 3.217
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.975 Prop: 78.404 PropClause: 68.112 Set: 80.637 Check: 0.0 Back: 3.289
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.99 Prop: 79.165 PropClause: 68.724 Set: 81.281 Check: 0.0 Back: 3.363
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: 2.012 Prop: 80.031 PropClause: 69.428 Set: 82.19 Check: 0.0 Back: 3.432
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: 2.039 Prop: 80.819 PropClause: 70.059 Set: 83.066 Check: 0.0 Back: 3.506
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: 2.057 Prop: 81.631 PropClause: 70.722 Set: 83.949 Check: 0.0 Back: 3.58
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.072 Prop: 82.429 PropClause: 71.375 Set: 84.816 Check: 0.0 Back: 3.651
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.107 Prop: 83.208 PropClause: 72.009 Set: 85.67 Check: 0.0 Back: 3.721
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.12 Prop: 83.981 PropClause: 72.643 Set: 86.495 Check: 0.0 Back: 3.791
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.135 Prop: 84.675 PropClause: 73.205 Set: 87.272 Check: 0.0 Back: 3.859
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.149 Prop: 85.42 PropClause: 73.808 Set: 88.097 Check: 0.0 Back: 3.923
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.256 Prop: 86.214 PropClause: 74.455 Set: 88.949 Check: 0.0 Back: 3.996
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.271 Prop: 86.969 PropClause: 75.068 Set: 89.745 Check: 0.0 Back: 4.066
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.286 Prop: 87.667 PropClause: 75.63 Set: 90.525 Check: 0.0 Back: 4.131
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.292 Prop: 88.42 PropClause: 76.24 Set: 91.365 Check: 0.0 Back: 4.196
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.298 Prop: 89.176 PropClause: 76.85 Set: 92.216 Check: 0.0 Back: 4.264
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.302 Prop: 89.949 PropClause: 77.479 Set: 93.067 Check: 0.0 Back: 4.333
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.307 Prop: 90.683 PropClause: 78.077 Set: 93.854 Check: 0.0 Back: 4.402
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.314 Prop: 91.376 PropClause: 78.642 Set: 94.606 Check: 0.0 Back: 4.466
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.321 Prop: 92.184 PropClause: 79.304 Set: 95.824 Check: 0.0 Back: 4.529
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.326 Prop: 92.688 PropClause: 79.718 Set: 96.559 Check: 0.0 Back: 4.593
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.33 Prop: 93.113 PropClause: 80.048 Set: 97.348 Check: 0.0 Back: 4.635
INFO - Atoms: 1673/3392 Clauses: 101 Axioms: 10994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 247291 Tprops: 0 Decides: 1001 RSplits: 0
INFO - Times: Expl: 63.187 Prop: 116.12 PropClause: 98.811 Set: 99.628 Check: 0.033 Back: 6.451
INFO - Atoms: 1319/3392 Clauses: 255 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.614 Prop: 694.975 PropClause: 1.612 Set: 148.358 Check: 20.598 Back: 6.875
INFO - Atoms: 133/150 Clauses: 70 Axioms: 150
INFO - CCTimes: iE 29323 eq 2960655 cc 12859978 setRep 2258924
INFO - Merges: 10802, cc:13744
INFO - BVTimes: BB 40111452 BB_DPLL 507601615 Graph 58031
INFO - BitBlastingClauses: 17594 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat