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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 19377033
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 10157 Tprops: 0 Decides: 981 RSplits: 0
INFO - Times: Expl: 9.306 Prop: 9.849 PropClause: 7.881 Set: 4.225 Check: 0.04 Back: 0.292
INFO - Atoms: 1292/2864 Clauses: 147 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 12585 Tprops: 0 Decides: 1024 RSplits: 0
INFO - Times: Expl: 11.931 Prop: 11.051 PropClause: 8.933 Set: 4.916 Check: 0.041 Back: 0.353
INFO - Atoms: 1384/2864 Clauses: 129 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 14470 Tprops: 0 Decides: 1127 RSplits: 0
INFO - Times: Expl: 14.364 Prop: 11.868 PropClause: 9.581 Set: 5.524 Check: 0.044 Back: 0.407
INFO - Atoms: 1267/2864 Clauses: 133 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 16598 Tprops: 0 Decides: 1233 RSplits: 0
INFO - Times: Expl: 17.531 Prop: 12.824 PropClause: 10.383 Set: 6.189 Check: 0.047 Back: 0.465
INFO - Atoms: 1252/2864 Clauses: 139 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 18388 Tprops: 0 Decides: 1325 RSplits: 0
INFO - Times: Expl: 19.562 Prop: 13.657 PropClause: 11.036 Set: 6.868 Check: 0.05 Back: 0.513
INFO - Atoms: 1230/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 23361 Tprops: 0 Decides: 1757 RSplits: 0
INFO - Times: Expl: 25.611 Prop: 16.31 PropClause: 13.238 Set: 7.565 Check: 0.062 Back: 0.65
INFO - Atoms: 1261/2864 Clauses: 148 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 25378 Tprops: 0 Decides: 1856 RSplits: 0
INFO - Times: Expl: 27.46 Prop: 17.297 PropClause: 14.052 Set: 8.339 Check: 0.065 Back: 0.704
INFO - Atoms: 1227/2864 Clauses: 132 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 27591 Tprops: 0 Decides: 1976 RSplits: 0
INFO - Times: Expl: 30.435 Prop: 18.356 PropClause: 14.923 Set: 9.066 Check: 0.07 Back: 0.765
INFO - Atoms: 1214/2864 Clauses: 145 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 29353 Tprops: 0 Decides: 2084 RSplits: 0
INFO - Times: Expl: 31.531 Prop: 19.181 PropClause: 15.596 Set: 9.755 Check: 0.074 Back: 0.814
INFO - Atoms: 1190/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 35982 Tprops: 0 Decides: 2913 RSplits: 0
INFO - Times: Expl: 34.116 Prop: 23.112 PropClause: 18.735 Set: 10.629 Check: 0.103 Back: 1.003
INFO - Atoms: 1206/2864 Clauses: 140 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 38248 Tprops: 0 Decides: 2979 RSplits: 0
INFO - Times: Expl: 35.175 Prop: 24.269 PropClause: 19.735 Set: 11.42 Check: 0.106 Back: 1.061
INFO - Atoms: 1272/2864 Clauses: 131 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 40047 Tprops: 0 Decides: 3088 RSplits: 0
INFO - Times: Expl: 36.116 Prop: 25.125 PropClause: 20.431 Set: 12.12 Check: 0.11 Back: 1.112
INFO - Atoms: 1171/2864 Clauses: 134 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 41769 Tprops: 0 Decides: 3176 RSplits: 0
INFO - Times: Expl: 36.789 Prop: 25.769 PropClause: 20.928 Set: 12.809 Check: 0.113 Back: 1.158
INFO - Atoms: 1150/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 47169 Tprops: 0 Decides: 3942 RSplits: 0
INFO - Times: Expl: 38.898 Prop: 28.212 PropClause: 22.739 Set: 13.599 Check: 0.14 Back: 1.314
INFO - Atoms: 1165/2864 Clauses: 141 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 49147 Tprops: 0 Decides: 4052 RSplits: 0
INFO - Times: Expl: 39.798 Prop: 28.861 PropClause: 23.247 Set: 14.313 Check: 0.144 Back: 1.368
INFO - Atoms: 1146/2864 Clauses: 136 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 50930 Tprops: 0 Decides: 4138 RSplits: 0
INFO - Times: Expl: 40.608 Prop: 29.447 PropClause: 23.714 Set: 14.995 Check: 0.147 Back: 1.415
INFO - Atoms: 1128/2864 Clauses: 131 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 52635 Tprops: 0 Decides: 4211 RSplits: 0
INFO - Times: Expl: 41.241 Prop: 29.945 PropClause: 24.103 Set: 15.643 Check: 0.15 Back: 1.46
INFO - Atoms: 1137/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 55967 Tprops: 0 Decides: 4571 RSplits: 0
INFO - Times: Expl: 42.138 Prop: 31.156 PropClause: 25.015 Set: 16.379 Check: 0.162 Back: 1.553
INFO - Atoms: 1224/2864 Clauses: 123 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 57896 Tprops: 0 Decides: 4699 RSplits: 0
INFO - Times: Expl: 43.04 Prop: 31.813 PropClause: 25.521 Set: 17.078 Check: 0.167 Back: 1.607
INFO - Atoms: 1108/2864 Clauses: 139 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 59996 Tprops: 0 Decides: 4785 RSplits: 0
INFO - Times: Expl: 44.015 Prop: 32.494 PropClause: 26.054 Set: 17.624 Check: 0.17 Back: 1.662
INFO - Atoms: 1116/2864 Clauses: 137 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 61794 Tprops: 0 Decides: 4849 RSplits: 0
INFO - Times: Expl: 44.702 Prop: 33.031 PropClause: 26.485 Set: 18.131 Check: 0.172 Back: 1.713
INFO - Atoms: 1122/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 75499 Tprops: 0 Decides: 7578 RSplits: 0
INFO - Times: Expl: 48.929 Prop: 38.743 PropClause: 30.614 Set: 19.026 Check: 0.267 Back: 2.159
INFO - Atoms: 1119/2864 Clauses: 158 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 77591 Tprops: 0 Decides: 7683 RSplits: 0
INFO - Times: Expl: 49.874 Prop: 39.415 PropClause: 31.149 Set: 19.516 Check: 0.27 Back: 2.22
INFO - Atoms: 1093/2864 Clauses: 141 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 79530 Tprops: 0 Decides: 7779 RSplits: 0
INFO - Times: Expl: 51.135 Prop: 40.016 PropClause: 31.621 Set: 19.996 Check: 0.274 Back: 2.274
INFO - Atoms: 1077/2864 Clauses: 138 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 81141 Tprops: 0 Decides: 7864 RSplits: 0
INFO - Times: Expl: 51.805 Prop: 40.486 PropClause: 31.985 Set: 20.458 Check: 0.277 Back: 2.32
INFO - Atoms: 1056/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 87199 Tprops: 0 Decides: 8960 RSplits: 0
INFO - Times: Expl: 53.546 Prop: 42.983 PropClause: 33.817 Set: 21.165 Check: 0.315 Back: 2.504
INFO - Atoms: 1168/2864 Clauses: 129 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 88823 Tprops: 0 Decides: 9064 RSplits: 0
INFO - Times: Expl: 54.221 Prop: 43.496 PropClause: 34.216 Set: 21.622 Check: 0.319 Back: 2.555
INFO - Atoms: 1051/2864 Clauses: 130 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 643 Props: 90584 Tprops: 0 Decides: 9157 RSplits: 0
INFO - Times: Expl: 54.927 Prop: 44.031 PropClause: 34.634 Set: 22.097 Check: 0.323 Back: 2.605
INFO - Atoms: 1032/2864 Clauses: 130 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 659 Props: 92224 Tprops: 0 Decides: 9221 RSplits: 0
INFO - Times: Expl: 55.567 Prop: 44.522 PropClause: 35.025 Set: 22.583 Check: 0.325 Back: 2.65
INFO - Atoms: 1040/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 674 Props: 97482 Tprops: 0 Decides: 10227 RSplits: 0
INFO - Times: Expl: 57.1 Prop: 46.704 PropClause: 36.598 Set: 23.245 Check: 0.36 Back: 2.812
INFO - Atoms: 1128/2864 Clauses: 127 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 694 Props: 99266 Tprops: 0 Decides: 10361 RSplits: 0
INFO - Times: Expl: 57.889 Prop: 47.304 PropClause: 37.066 Set: 23.684 Check: 0.365 Back: 2.866
INFO - Atoms: 1011/2864 Clauses: 132 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 719 Props: 101120 Tprops: 0 Decides: 10473 RSplits: 0
INFO - Times: Expl: 58.849 Prop: 47.915 PropClause: 37.525 Set: 24.152 Check: 0.369 Back: 2.92
INFO - Atoms: 995/2864 Clauses: 137 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 735 Props: 102670 Tprops: 0 Decides: 10558 RSplits: 0
INFO - Times: Expl: 59.449 Prop: 48.402 PropClause: 37.878 Set: 24.557 Check: 0.371 Back: 2.963
INFO - Atoms: 976/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 763 Props: 104752 Tprops: 0 Decides: 10650 RSplits: 0
INFO - Times: Expl: 60.689 Prop: 49.033 PropClause: 38.407 Set: 25.033 Check: 0.374 Back: 3.016
INFO - Atoms: 1125/2864 Clauses: 140 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 779 Props: 106486 Tprops: 0 Decides: 10714 RSplits: 0
INFO - Times: Expl: 61.497 Prop: 49.522 PropClause: 38.816 Set: 25.503 Check: 0.375 Back: 3.064
INFO - Atoms: 1129/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 795 Props: 109769 Tprops: 0 Decides: 11130 RSplits: 0
INFO - Times: Expl: 62.534 Prop: 50.717 PropClause: 39.766 Set: 26.015 Check: 0.386 Back: 3.162
INFO - Atoms: 1113/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 811 Props: 116918 Tprops: 0 Decides: 12448 RSplits: 0
INFO - Times: Expl: 64.851 Prop: 53.57 PropClause: 42.001 Set: 26.612 Check: 0.42 Back: 3.39
INFO - Atoms: 1121/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 827 Props: 122971 Tprops: 0 Decides: 13415 RSplits: 0
INFO - Times: Expl: 66.654 Prop: 55.971 PropClause: 43.908 Set: 27.175 Check: 0.445 Back: 3.578
INFO - Atoms: 1102/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 843 Props: 128959 Tprops: 0 Decides: 14338 RSplits: 0
INFO - Times: Expl: 68.685 Prop: 58.448 PropClause: 45.856 Set: 27.744 Check: 0.471 Back: 3.773
INFO - Atoms: 1086/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 859 Props: 133637 Tprops: 0 Decides: 14834 RSplits: 0
INFO - Times: Expl: 70.217 Prop: 60.244 PropClause: 47.247 Set: 28.265 Check: 0.489 Back: 3.916
INFO - Atoms: 1071/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 875 Props: 137577 Tprops: 0 Decides: 15154 RSplits: 0
INFO - Times: Expl: 71.477 Prop: 61.601 PropClause: 48.367 Set: 28.736 Check: 0.498 Back: 4.032
INFO - Atoms: 1056/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 891 Props: 142097 Tprops: 0 Decides: 15538 RSplits: 0
INFO - Times: Expl: 72.776 Prop: 63.24 PropClause: 49.675 Set: 29.207 Check: 0.511 Back: 4.161
INFO - Atoms: 1042/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 916 Props: 144192 Tprops: 0 Decides: 15620 RSplits: 0
INFO - Times: Expl: 73.748 Prop: 63.863 PropClause: 50.204 Set: 29.643 Check: 0.513 Back: 4.218
INFO - Atoms: 1196/2864 Clauses: 137 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 932 Props: 146100 Tprops: 0 Decides: 15684 RSplits: 0
INFO - Times: Expl: 74.497 Prop: 64.468 PropClause: 50.727 Set: 38.662 Check: 0.515 Back: 4.27
INFO - Atoms: 1178/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 948 Props: 148647 Tprops: 0 Decides: 15812 RSplits: 0
INFO - Times: Expl: 75.431 Prop: 65.225 PropClause: 51.361 Set: 39.11 Check: 0.518 Back: 4.343
INFO - Atoms: 1185/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 964 Props: 151842 Tprops: 0 Decides: 16004 RSplits: 0
INFO - Times: Expl: 76.352 Prop: 66.257 PropClause: 52.191 Set: 39.57 Check: 0.525 Back: 4.431
INFO - Atoms: 1192/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 980 Props: 155685 Tprops: 0 Decides: 16260 RSplits: 0
INFO - Times: Expl: 77.533 Prop: 67.493 PropClause: 53.226 Set: 40.053 Check: 0.531 Back: 4.54
INFO - Atoms: 1201/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 996 Props: 160176 Tprops: 0 Decides: 16580 RSplits: 0
INFO - Times: Expl: 78.894 Prop: 69.05 PropClause: 54.479 Set: 40.559 Check: 0.542 Back: 4.667
INFO - Atoms: 1209/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1012 Props: 162655 Tprops: 0 Decides: 16709 RSplits: 0
INFO - Times: Expl: 79.731 Prop: 69.796 PropClause: 55.103 Set: 41.003 Check: 0.546 Back: 4.735
INFO - Atoms: 1184/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1028 Props: 166122 Tprops: 0 Decides: 16901 RSplits: 0
INFO - Times: Expl: 80.761 Prop: 70.932 PropClause: 56.066 Set: 41.56 Check: 0.551 Back: 4.826
INFO - Atoms: 1435/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1044 Props: 171441 Tprops: 0 Decides: 17285 RSplits: 0
INFO - Times: Expl: 82.255 Prop: 72.932 PropClause: 57.651 Set: 42.171 Check: 0.564 Back: 4.974
INFO - Atoms: 1442/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1060 Props: 177420 Tprops: 0 Decides: 17733 RSplits: 0
INFO - Times: Expl: 83.928 Prop: 75.045 PropClause: 59.434 Set: 42.8 Check: 0.575 Back: 5.143
INFO - Atoms: 1451/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1076 Props: 183932 Tprops: 0 Decides: 18263 RSplits: 0
INFO - Times: Expl: 85.79 Prop: 77.553 PropClause: 61.403 Set: 43.45 Check: 0.594 Back: 5.328
INFO - Atoms: 1455/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1092 Props: 189180 Tprops: 0 Decides: 18647 RSplits: 0
INFO - Times: Expl: 87.341 Prop: 79.418 PropClause: 62.975 Set: 44.101 Check: 0.604 Back: 5.48
INFO - Atoms: 1444/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1108 Props: 194466 Tprops: 0 Decides: 19031 RSplits: 0
INFO - Times: Expl: 88.906 Prop: 81.26 PropClause: 64.526 Set: 44.704 Check: 0.613 Back: 5.627
INFO - Atoms: 1427/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1124 Props: 200446 Tprops: 0 Decides: 19479 RSplits: 0
INFO - Times: Expl: 90.528 Prop: 83.334 PropClause: 66.27 Set: 45.324 Check: 0.625 Back: 5.795
INFO - Atoms: 1410/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1140 Props: 207125 Tprops: 0 Decides: 19991 RSplits: 0
INFO - Times: Expl: 92.294 Prop: 85.681 PropClause: 68.246 Set: 45.955 Check: 0.638 Back: 5.979
INFO - Atoms: 1395/2864 Clauses: 128 Axioms: 7152
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 67 Props: 755 Tprops: 0 Decides: 2369 RSplits: 0
INFO - Times: Expl: 7.096 Prop: 514.733 PropClause: 0.822 Set: 173.68 Check: 15.862 Back: 5.686
INFO - Atoms: 45/117 Clauses: 67 Axioms: 134
INFO - CCTimes: iE 0 eq 3674277 cc 235858 setRep 767696
INFO - Merges: 2176, cc:0
INFO - BVTimes: BB 19365582 BB_DPLL 412999610 Graph 14956436
INFO - BitBlastingClauses: 13536 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat