/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: 176202982
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 34170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.674 Prop: 88.307 PropClause: 81.144 Set: 37.734 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.732 Prop: 148.207 PropClause: 133.659 Set: 75.971 Check: 0.0 Back: 0.931
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.778 Prop: 188.936 PropClause: 172.837 Set: 84.596 Check: 0.0 Back: 1.816
INFO - Atoms: 34150/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 136625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.821 Prop: 228.985 PropClause: 211.191 Set: 92.736 Check: 0.0 Back: 2.703
INFO - Atoms: 34146/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 170289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.868 Prop: 262.296 PropClause: 243.653 Set: 101.977 Check: 0.0 Back: 3.54
INFO - Atoms: 33664/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 203539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.918 Prop: 295.489 PropClause: 276.028 Set: 131.989 Check: 0.0 Back: 4.381
INFO - Atoms: 33250/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 236401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.965 Prop: 336.87 PropClause: 316.475 Set: 139.949 Check: 0.0 Back: 5.175
INFO - Atoms: 32862/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 268938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.013 Prop: 374.943 PropClause: 353.628 Set: 147.709 Check: 0.0 Back: 6.006
INFO - Atoms: 32537/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 301470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.062 Prop: 413.974 PropClause: 391.726 Set: 155.309 Check: 0.0 Back: 6.825
INFO - Atoms: 32532/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 333834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.11 Prop: 451.673 PropClause: 428.493 Set: 162.777 Check: 0.0 Back: 7.66
INFO - Atoms: 32364/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 366198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.156 Prop: 488.082 PropClause: 463.984 Set: 170.662 Check: 0.0 Back: 8.472
INFO - Atoms: 32364/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 398552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 524.64 PropClause: 499.624 Set: 178.592 Check: 0.0 Back: 9.308
INFO - Atoms: 32354/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 430906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.248 Prop: 559.742 PropClause: 533.809 Set: 186.548 Check: 0.0 Back: 10.138
INFO - Atoms: 32354/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 463101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.3 Prop: 597.051 PropClause: 570.202 Set: 194.431 Check: 0.0 Back: 10.954
INFO - Atoms: 32195/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 495298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.345 Prop: 639.478 PropClause: 611.711 Set: 202.553 Check: 0.0 Back: 11.762
INFO - Atoms: 32197/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 527491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.389 Prop: 673.322 PropClause: 644.62 Set: 213.755 Check: 0.0 Back: 12.573
INFO - Atoms: 32193/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 559047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.444 Prop: 708.693 PropClause: 679.031 Set: 225.209 Check: 0.0 Back: 13.396
INFO - Atoms: 31556/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 590438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.489 Prop: 741.263 PropClause: 710.697 Set: 235.835 Check: 0.0 Back: 14.198
INFO - Atoms: 31391/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 621038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.533 Prop: 767.541 PropClause: 736.222 Set: 244.022 Check: 0.0 Back: 14.945
INFO - Atoms: 30600/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 651561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.581 Prop: 798.179 PropClause: 765.939 Set: 251.185 Check: 0.0 Back: 15.712
INFO - Atoms: 30523/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 681672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 822.26 PropClause: 789.283 Set: 256.245 Check: 0.0 Back: 16.468
INFO - Atoms: 30111/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 711461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.686 Prop: 845.982 PropClause: 812.272 Set: 261.219 Check: 0.0 Back: 17.204
INFO - Atoms: 29789/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 740926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 869.764 PropClause: 835.327 Set: 266.211 Check: 0.0 Back: 17.95
INFO - Atoms: 29465/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 770133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.772 Prop: 894.074 PropClause: 858.919 Set: 271.08 Check: 0.0 Back: 18.649
INFO - Atoms: 29207/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 798954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.816 Prop: 917.088 PropClause: 881.206 Set: 275.974 Check: 0.0 Back: 19.34
INFO - Atoms: 28821/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 827515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.86 Prop: 942.616 PropClause: 906.029 Set: 280.811 Check: 0.0 Back: 20.028
INFO - Atoms: 28561/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 855690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.906 Prop: 966.502 PropClause: 929.208 Set: 285.654 Check: 0.0 Back: 20.711
INFO - Atoms: 28175/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 883541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.946 Prop: 988.312 PropClause: 950.332 Set: 290.343 Check: 0.0 Back: 21.404
INFO - Atoms: 27851/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 911070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 1009.533 PropClause: 970.881 Set: 294.924 Check: 0.0 Back: 22.082
INFO - Atoms: 27529/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 938334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.042 Prop: 1032.475 PropClause: 993.147 Set: 299.567 Check: 0.0 Back: 22.744
INFO - Atoms: 27264/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 965215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.082 Prop: 1054.429 PropClause: 1014.439 Set: 304.064 Check: 0.0 Back: 23.408
INFO - Atoms: 26881/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 991834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.125 Prop: 1075.008 PropClause: 1034.352 Set: 308.556 Check: 0.0 Back: 24.049
INFO - Atoms: 26619/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1018069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.166 Prop: 1094.947 PropClause: 1053.64 Set: 312.946 Check: 0.0 Back: 24.716
INFO - Atoms: 26235/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1044042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.208 Prop: 1115.21 PropClause: 1073.262 Set: 317.304 Check: 0.0 Back: 25.345
INFO - Atoms: 25973/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1069631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.245 Prop: 1135.007 PropClause: 1092.428 Set: 321.554 Check: 0.0 Back: 25.969
INFO - Atoms: 25589/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1094962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 1155.464 PropClause: 1112.26 Set: 325.81 Check: 0.0 Back: 26.586
INFO - Atoms: 25331/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1119907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 1172.3 PropClause: 1128.482 Set: 329.951 Check: 0.0 Back: 27.189
INFO - Atoms: 24945/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1144587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.372 Prop: 1188.831 PropClause: 1144.406 Set: 334.019 Check: 0.0 Back: 27.804
INFO - Atoms: 24680/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1168886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.417 Prop: 1208.717 PropClause: 1163.606 Set: 339.533 Check: 0.0 Back: 28.389
INFO - Atoms: 24299/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1192918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 1225.97 PropClause: 1180.247 Set: 343.739 Check: 0.0 Back: 28.976
INFO - Atoms: 24032/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1216569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.506 Prop: 1242.303 PropClause: 1195.992 Set: 349.441 Check: 0.0 Back: 29.567
INFO - Atoms: 23651/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1239964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 1258.609 PropClause: 1211.724 Set: 355.11 Check: 0.0 Back: 30.156
INFO - Atoms: 23395/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1262969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.598 Prop: 1274.055 PropClause: 1226.602 Set: 360.733 Check: 0.0 Back: 30.734
INFO - Atoms: 23005/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1285711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.641 Prop: 1289.781 PropClause: 1241.771 Set: 366.305 Check: 0.0 Back: 31.299
INFO - Atoms: 22742/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1308070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.678 Prop: 1304.944 PropClause: 1256.382 Set: 371.683 Check: 0.0 Back: 31.853
INFO - Atoms: 22359/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1330107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.719 Prop: 1322.586 PropClause: 1273.358 Set: 378.784 Check: 0.0 Back: 32.405
INFO - Atoms: 22037/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1351822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.756 Prop: 1337.183 PropClause: 1287.418 Set: 384.179 Check: 0.0 Back: 32.94
INFO - Atoms: 21715/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1373213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 1351.349 PropClause: 1301.053 Set: 389.455 Check: 0.0 Back: 33.475
INFO - Atoms: 21391/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1392686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 1365.531 PropClause: 1314.751 Set: 394.185 Check: 0.0 Back: 34.021
INFO - Atoms: 19473/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1411901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.885 Prop: 1378.132 PropClause: 1326.873 Set: 398.874 Check: 0.0 Back: 34.51
INFO - Atoms: 19215/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1430730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 1391.309 PropClause: 1339.579 Set: 403.58 Check: 0.0 Back: 34.992
INFO - Atoms: 18829/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1447705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.965 Prop: 1401.221 PropClause: 1349.067 Set: 406.216 Check: 0.0 Back: 35.471
INFO - Atoms: 16975/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1464294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.006 Prop: 1410.038 PropClause: 1357.47 Set: 408.77 Check: 0.0 Back: 35.897
INFO - Atoms: 16589/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1480623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.145 Prop: 1418.494 PropClause: 1365.518 Set: 411.265 Check: 0.0 Back: 36.319
INFO - Atoms: 16329/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1496566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.165 Prop: 1426.765 PropClause: 1373.391 Set: 413.701 Check: 0.0 Back: 36.728
INFO - Atoms: 15943/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1512251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.182 Prop: 1434.534 PropClause: 1380.77 Set: 416.1 Check: 0.0 Back: 37.148
INFO - Atoms: 15685/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1527548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 1441.997 PropClause: 1387.851 Set: 418.406 Check: 0.0 Back: 37.538
INFO - Atoms: 15297/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1542587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 1449.17 PropClause: 1394.651 Set: 420.668 Check: 0.0 Back: 37.933
INFO - Atoms: 15039/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1556444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 1456.35 PropClause: 1401.477 Set: 422.682 Check: 0.0 Back: 38.308
INFO - Atoms: 13857/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1570043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.256 Prop: 1462.42 PropClause: 1407.206 Set: 424.667 Check: 0.0 Back: 38.659
INFO - Atoms: 13599/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1583256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 1468.26 PropClause: 1412.716 Set: 426.574 Check: 0.0 Back: 38.994
INFO - Atoms: 13213/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1596211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.293 Prop: 1473.719 PropClause: 1417.838 Set: 428.45 Check: 0.0 Back: 39.333
INFO - Atoms: 12955/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1608778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.31 Prop: 1478.968 PropClause: 1422.772 Set: 430.256 Check: 0.0 Back: 39.661
INFO - Atoms: 12567/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1621087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 1483.834 PropClause: 1427.33 Set: 432.006 Check: 0.0 Back: 39.977
INFO - Atoms: 12309/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1633008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.344 Prop: 1488.526 PropClause: 1431.725 Set: 433.677 Check: 0.0 Back: 40.308
INFO - Atoms: 11921/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1644671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 1492.896 PropClause: 1435.794 Set: 435.316 Check: 0.0 Back: 40.618
INFO - Atoms: 11663/34174 Clauses: 209 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 3658221 Tprops: 0 Decides: 48548 RSplits: 0
INFO - Times: Expl: 612.539 Prop: 2845.182 PropClause: 2718.003 Set: 486.823 Check: 1.172 Back: 90.475
INFO - Atoms: 10847/34174 Clauses: 584 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 814 Props: 6092066 Tprops: 0 Decides: 93073 RSplits: 0
INFO - Times: Expl: 1330.168 Prop: 4797.808 PropClause: 4587.371 Set: 548.614 Check: 2.237 Back: 150.125
INFO - Atoms: 10768/34174 Clauses: 581 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1179 Props: 8457814 Tprops: 0 Decides: 137049 RSplits: 0
INFO - Times: Expl: 2108.319 Prop: 6831.739 PropClause: 6539.62 Set: 608.941 Check: 3.285 Back: 207.821
INFO - Atoms: 10698/34174 Clauses: 574 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1545 Props: 10805569 Tprops: 0 Decides: 180881 RSplits: 0
INFO - Times: Expl: 2753.177 Prop: 8518.79 PropClause: 8148.746 Set: 667.149 Check: 4.316 Back: 264.126
INFO - Atoms: 10761/34174 Clauses: 575 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1905 Props: 14228119 Tprops: 0 Decides: 251006 RSplits: 0
INFO - Times: Expl: 3768.798 Prop: 11392.739 PropClause: 10909.169 Set: 753.747 Check: 5.955 Back: 346.285
INFO - Atoms: 10678/34174 Clauses: 569 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2270 Props: 16648399 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.607 Prop: 13211.678 PropClause: 12648.135 Set: 813.967 Check: 7.008 Back: 404.249
INFO - Atoms: 10635/34174 Clauses: 574 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2271 Props: 16663754 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.656 Prop: 13230.475 PropClause: 12666.485 Set: 821.499 Check: 7.008 Back: 404.513
INFO - Atoms: 15355/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2272 Props: 16679429 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.719 Prop: 13243.237 PropClause: 12678.803 Set: 827.832 Check: 7.008 Back: 404.902
INFO - Atoms: 15675/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2273 Props: 16695427 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.756 Prop: 13255.996 PropClause: 12691.107 Set: 834.462 Check: 7.008 Back: 405.295
INFO - Atoms: 15998/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2274 Props: 16711925 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.793 Prop: 13268.475 PropClause: 12703.104 Set: 841.192 Check: 7.008 Back: 405.699
INFO - Atoms: 16498/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2275 Props: 16728569 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.83 Prop: 13282.161 PropClause: 12716.327 Set: 848.323 Check: 7.008 Back: 406.114
INFO - Atoms: 16644/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2276 Props: 16745538 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.884 Prop: 13294.99 PropClause: 12728.661 Set: 851.97 Check: 7.008 Back: 406.53
INFO - Atoms: 16969/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2277 Props: 16762787 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.89 Prop: 13306.565 PropClause: 12739.812 Set: 854.711 Check: 7.008 Back: 406.959
INFO - Atoms: 17249/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2278 Props: 16780401 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.896 Prop: 13318.214 PropClause: 12751.027 Set: 857.512 Check: 7.008 Back: 407.37
INFO - Atoms: 17614/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2279 Props: 16798337 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.899 Prop: 13327.637 PropClause: 12760.006 Set: 860.289 Check: 7.008 Back: 407.793
INFO - Atoms: 17936/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2280 Props: 16816559 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.905 Prop: 13342.463 PropClause: 12774.304 Set: 864.049 Check: 7.008 Back: 408.214
INFO - Atoms: 18222/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2281 Props: 16835084 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.91 Prop: 13354.482 PropClause: 12785.869 Set: 866.969 Check: 7.008 Back: 408.646
INFO - Atoms: 18525/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2282 Props: 16854191 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.916 Prop: 13367.892 PropClause: 12798.808 Set: 871.399 Check: 7.008 Back: 409.096
INFO - Atoms: 19107/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2283 Props: 16873391 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.922 Prop: 13379.729 PropClause: 12810.176 Set: 874.692 Check: 7.008 Back: 409.548
INFO - Atoms: 19200/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2284 Props: 16892725 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.928 Prop: 13394.685 PropClause: 12824.657 Set: 879.25 Check: 7.008 Back: 410.012
INFO - Atoms: 19334/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2285 Props: 16912121 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.933 Prop: 13409.465 PropClause: 12838.906 Set: 883.664 Check: 7.008 Back: 410.48
INFO - Atoms: 19396/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2286 Props: 16931783 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.937 Prop: 13423.213 PropClause: 12852.174 Set: 888.103 Check: 7.008 Back: 410.94
INFO - Atoms: 19662/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2287 Props: 16951034 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.942 Prop: 13436.857 PropClause: 12865.348 Set: 892.448 Check: 7.008 Back: 411.414
INFO - Atoms: 19251/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2288 Props: 16970440 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.946 Prop: 13449.754 PropClause: 12877.758 Set: 896.765 Check: 7.008 Back: 411.867
INFO - Atoms: 19406/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2289 Props: 16990111 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.952 Prop: 13463.892 PropClause: 12891.414 Set: 901.247 Check: 7.008 Back: 412.326
INFO - Atoms: 19671/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2290 Props: 17009306 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.956 Prop: 13478.623 PropClause: 12905.67 Set: 905.552 Check: 7.008 Back: 412.793
INFO - Atoms: 19195/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2291 Props: 17028825 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.961 Prop: 13493.168 PropClause: 12919.729 Set: 910.074 Check: 7.008 Back: 413.249
INFO - Atoms: 19519/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2292 Props: 17048665 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.965 Prop: 13508.121 PropClause: 12934.19 Set: 914.568 Check: 7.008 Back: 413.713
INFO - Atoms: 19840/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2293 Props: 17068887 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.971 Prop: 13521.445 PropClause: 12947.009 Set: 919.053 Check: 7.008 Back: 414.199
INFO - Atoms: 20222/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2294 Props: 17089431 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.975 Prop: 13537.151 PropClause: 12962.213 Set: 923.902 Check: 7.008 Back: 414.687
INFO - Atoms: 20544/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2295 Props: 17110300 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.98 Prop: 13553.54 PropClause: 12978.092 Set: 928.612 Check: 7.008 Back: 415.169
INFO - Atoms: 20869/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2296 Props: 17131440 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.986 Prop: 13569.226 PropClause: 12993.261 Set: 933.376 Check: 7.008 Back: 415.663
INFO - Atoms: 21140/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2297 Props: 17152952 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.99 Prop: 13585.414 PropClause: 13008.924 Set: 938.177 Check: 7.008 Back: 416.161
INFO - Atoms: 21512/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2298 Props: 17174944 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4448.995 Prop: 13600.413 PropClause: 13023.385 Set: 942.832 Check: 7.008 Back: 416.667
INFO - Atoms: 21992/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2299 Props: 17197045 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.001 Prop: 13618.678 PropClause: 13041.108 Set: 947.732 Check: 7.008 Back: 417.187
INFO - Atoms: 22101/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2300 Props: 17219529 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.006 Prop: 13637.831 PropClause: 13059.712 Set: 952.867 Check: 7.008 Back: 417.727
INFO - Atoms: 22484/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2301 Props: 17244922 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.011 Prop: 13660.321 PropClause: 13081.583 Set: 958.703 Check: 7.008 Back: 418.268
INFO - Atoms: 25393/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2302 Props: 17270587 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.016 Prop: 13687.232 PropClause: 13107.785 Set: 965.548 Check: 7.008 Back: 418.878
INFO - Atoms: 25665/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2303 Props: 17296573 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.022 Prop: 13718.521 PropClause: 13138.323 Set: 973.484 Check: 7.008 Back: 419.54
INFO - Atoms: 25986/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2304 Props: 17322876 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.029 Prop: 13749.514 PropClause: 13168.558 Set: 981.601 Check: 7.008 Back: 420.211
INFO - Atoms: 26303/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2305 Props: 17351594 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.034 Prop: 13779.952 PropClause: 13198.164 Set: 990.276 Check: 7.008 Back: 420.884
INFO - Atoms: 28718/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2306 Props: 17380692 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.041 Prop: 13817.034 PropClause: 13234.41 Set: 996.482 Check: 7.008 Back: 421.612
INFO - Atoms: 29098/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2307 Props: 17410113 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.046 Prop: 13847.713 PropClause: 13264.26 Set: 1002.521 Check: 7.008 Back: 422.351
INFO - Atoms: 29421/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2308 Props: 17439860 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.052 Prop: 13882.305 PropClause: 13298.013 Set: 1008.682 Check: 7.008 Back: 423.1
INFO - Atoms: 29747/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2309 Props: 17469870 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.058 Prop: 13918.049 PropClause: 13332.899 Set: 1014.989 Check: 7.008 Back: 423.856
INFO - Atoms: 30010/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2310 Props: 17500207 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.063 Prop: 13947.216 PropClause: 13361.21 Set: 1021.177 Check: 7.008 Back: 424.62
INFO - Atoms: 30337/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2311 Props: 17530863 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.068 Prop: 13984.556 PropClause: 13397.686 Set: 1027.551 Check: 7.008 Back: 425.391
INFO - Atoms: 30656/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2312 Props: 17561527 Tprops: 0 Decides: 295692 RSplits: 0
INFO - Times: Expl: 4449.074 Prop: 14021.307 PropClause: 13433.564 Set: 1033.924 Check: 7.008 Back: 426.172
INFO - Atoms: 30664/34174 Clauses: 210 Axioms: 115394
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 121 Props: 4467 Tprops: 282 Decides: 5248 RSplits: 0
INFO - Times: Expl: 50.11 Prop: 23916.979 PropClause: 3.561 Set: 344.89 Check: 61.712 Back: 15.17
INFO - Atoms: 159/291 Clauses: 121 Axioms: 291
INFO - CCTimes: iE 53184 eq 6545202 cc 18538578 setRep 17677209
INFO - Merges: 26835, cc:36581
INFO - BVTimes: BB 176181792 BB_DPLL 22876649365 Graph 18370140
INFO - BitBlastingClauses: 139106 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat