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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 176570096
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 31372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.674 Prop: 77.101 PropClause: 70.536 Set: 20.257 Check: 0.0 Back: 0.0
INFO - Atoms: 31372/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 62740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.732 Prop: 141.142 PropClause: 128.308 Set: 37.028 Check: 0.0 Back: 0.887
INFO - Atoms: 31368/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 94109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.779 Prop: 179.347 PropClause: 165.033 Set: 45.087 Check: 0.0 Back: 1.732
INFO - Atoms: 31369/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 125489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.84 Prop: 218.776 PropClause: 203.043 Set: 53.024 Check: 0.0 Back: 2.562
INFO - Atoms: 31380/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 156859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.967 Prop: 257.14 PropClause: 239.738 Set: 64.701 Check: 0.0 Back: 3.383
INFO - Atoms: 31370/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 188196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.008 Prop: 290.966 PropClause: 272.198 Set: 104.801 Check: 0.0 Back: 4.209
INFO - Atoms: 31337/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 219468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.055 Prop: 331.413 PropClause: 311.417 Set: 112.887 Check: 0.0 Back: 5.003
INFO - Atoms: 31272/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 250786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.103 Prop: 372.598 PropClause: 351.398 Set: 120.82 Check: 0.0 Back: 5.802
INFO - Atoms: 31318/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 282101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.148 Prop: 404.478 PropClause: 382.123 Set: 127.614 Check: 0.0 Back: 6.626
INFO - Atoms: 31315/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 313426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.201 Prop: 443.326 PropClause: 419.87 Set: 135.541 Check: 0.0 Back: 7.434
INFO - Atoms: 31325/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 344744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.25 Prop: 475.358 PropClause: 451.009 Set: 163.919 Check: 0.0 Back: 8.239
INFO - Atoms: 31318/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 376081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.324 Prop: 510.499 PropClause: 485.278 Set: 170.051 Check: 0.0 Back: 9.042
INFO - Atoms: 31337/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 407411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.367 Prop: 538.361 PropClause: 512.332 Set: 175.551 Check: 0.0 Back: 9.848
INFO - Atoms: 31330/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 438749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 570.501 PropClause: 543.653 Set: 181.28 Check: 0.0 Back: 10.588
INFO - Atoms: 31338/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 469887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 600.833 PropClause: 573.181 Set: 186.865 Check: 0.0 Back: 11.347
INFO - Atoms: 31138/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 501198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.518 Prop: 631.331 PropClause: 602.874 Set: 192.495 Check: 0.0 Back: 12.08
INFO - Atoms: 31311/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 532337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.562 Prop: 662.897 PropClause: 633.64 Set: 201.303 Check: 0.0 Back: 12.833
INFO - Atoms: 31139/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 563479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.607 Prop: 693.236 PropClause: 663.176 Set: 209.836 Check: 0.0 Back: 13.599
INFO - Atoms: 31142/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 594602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.644 Prop: 723.123 PropClause: 692.259 Set: 218.525 Check: 0.0 Back: 14.332
INFO - Atoms: 31123/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 625711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.685 Prop: 754.397 PropClause: 722.73 Set: 227.294 Check: 0.0 Back: 15.075
INFO - Atoms: 31109/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 656798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 777.723 PropClause: 745.255 Set: 232.883 Check: 0.0 Back: 15.818
INFO - Atoms: 31087/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 687874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 807.014 PropClause: 773.742 Set: 238.477 Check: 0.0 Back: 16.56
INFO - Atoms: 31076/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 718927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.809 Prop: 830.778 PropClause: 796.696 Set: 244.108 Check: 0.0 Back: 17.342
INFO - Atoms: 31053/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 749541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.854 Prop: 858.977 PropClause: 824.105 Set: 249.757 Check: 0.0 Back: 18.136
INFO - Atoms: 30614/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 780135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.894 Prop: 880.792 PropClause: 845.134 Set: 255.294 Check: 0.0 Back: 18.88
INFO - Atoms: 30594/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 810289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.932 Prop: 908.09 PropClause: 871.655 Set: 260.873 Check: 0.0 Back: 19.603
INFO - Atoms: 30154/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 840280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.976 Prop: 929.699 PropClause: 892.482 Set: 266.316 Check: 0.0 Back: 20.325
INFO - Atoms: 29991/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 869834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.023 Prop: 961.056 PropClause: 922.996 Set: 273.055 Check: 0.0 Back: 21.034
INFO - Atoms: 29554/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 899084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.069 Prop: 988.992 PropClause: 950.175 Set: 278.573 Check: 0.0 Back: 21.745
INFO - Atoms: 29250/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 928032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 1012.005 PropClause: 972.439 Set: 283.933 Check: 0.0 Back: 22.449
INFO - Atoms: 28948/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 956683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 1041.784 PropClause: 1001.344 Set: 291.129 Check: 0.0 Back: 23.204
INFO - Atoms: 28651/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 984756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 1069.469 PropClause: 1028.219 Set: 297.234 Check: 0.0 Back: 23.966
INFO - Atoms: 28073/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1012813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 1092.447 PropClause: 1050.473 Set: 302.467 Check: 0.0 Back: 24.665
INFO - Atoms: 28057/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1041137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 1114.101 PropClause: 1071.397 Set: 307.713 Check: 0.0 Back: 25.344
INFO - Atoms: 28324/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1068875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 1136.767 PropClause: 1093.346 Set: 312.843 Check: 0.0 Back: 26.029
INFO - Atoms: 27738/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1096326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 1157.071 PropClause: 1112.933 Set: 317.885 Check: 0.0 Back: 26.699
INFO - Atoms: 27451/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1123192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 1178.483 PropClause: 1133.652 Set: 322.889 Check: 0.0 Back: 27.366
INFO - Atoms: 26866/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1150041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 1201.033 PropClause: 1155.508 Set: 327.911 Check: 0.0 Back: 28.013
INFO - Atoms: 26849/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1176305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 1220.179 PropClause: 1173.974 Set: 332.798 Check: 0.0 Back: 28.671
INFO - Atoms: 26264/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1199664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 1242.415 PropClause: 1195.604 Set: 337.004 Check: 0.0 Back: 29.311
INFO - Atoms: 23359/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1222858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.624 Prop: 1261.196 PropClause: 1213.787 Set: 341.131 Check: 0.0 Back: 29.89
INFO - Atoms: 23194/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1246035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 1278.375 PropClause: 1230.368 Set: 345.882 Check: 0.0 Back: 30.468
INFO - Atoms: 23177/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1268627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 1297.278 PropClause: 1248.686 Set: 352.224 Check: 0.0 Back: 31.036
INFO - Atoms: 22592/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1290917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.75 Prop: 1315.685 PropClause: 1266.518 Set: 358.255 Check: 0.0 Back: 31.594
INFO - Atoms: 22290/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1312910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.804 Prop: 1332.431 PropClause: 1282.696 Set: 364.074 Check: 0.0 Back: 32.142
INFO - Atoms: 21993/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1334598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 1348.82 PropClause: 1298.529 Set: 369.846 Check: 0.0 Back: 32.664
INFO - Atoms: 21688/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1355986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.896 Prop: 1365.386 PropClause: 1314.549 Set: 375.664 Check: 0.0 Back: 33.202
INFO - Atoms: 21388/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1377357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 1381.683 PropClause: 1330.299 Set: 381.431 Check: 0.0 Back: 33.775
INFO - Atoms: 21371/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1398143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.984 Prop: 1397.209 PropClause: 1345.285 Set: 387.028 Check: 0.0 Back: 34.313
INFO - Atoms: 20786/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1418912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.026 Prop: 1413.329 PropClause: 1360.875 Set: 392.754 Check: 0.0 Back: 34.835
INFO - Atoms: 20769/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1439096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 1430.199 PropClause: 1377.233 Set: 398.297 Check: 0.0 Back: 35.367
INFO - Atoms: 20184/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1459263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.107 Prop: 1445.027 PropClause: 1391.551 Set: 403.8 Check: 0.0 Back: 35.872
INFO - Atoms: 20167/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1478845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.17 Prop: 1459.84 PropClause: 1405.865 Set: 431.32 Check: 0.0 Back: 36.375
INFO - Atoms: 19582/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1498125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 1474.978 PropClause: 1420.507 Set: 434.891 Check: 0.0 Back: 36.889
INFO - Atoms: 19280/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1517108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.333 Prop: 1486.527 PropClause: 1431.566 Set: 438.237 Check: 0.0 Back: 37.38
INFO - Atoms: 18983/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1536071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 1498.124 PropClause: 1442.674 Set: 441.627 Check: 0.0 Back: 37.845
INFO - Atoms: 18963/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1554448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.371 Prop: 1510.376 PropClause: 1454.451 Set: 444.884 Check: 0.0 Back: 38.316
INFO - Atoms: 18377/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1572809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 1520.781 PropClause: 1464.383 Set: 448.19 Check: 0.0 Back: 38.764
INFO - Atoms: 18361/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1590584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.407 Prop: 1529.916 PropClause: 1473.059 Set: 451.318 Check: 0.0 Back: 39.208
INFO - Atoms: 17775/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1605736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.425 Prop: 1540.783 PropClause: 1483.532 Set: 453.857 Check: 0.0 Back: 39.648
INFO - Atoms: 15152/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1620303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.441 Prop: 1549.252 PropClause: 1491.626 Set: 456.254 Check: 0.0 Back: 40.034
INFO - Atoms: 14567/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1634853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 1555.717 PropClause: 1497.709 Set: 458.648 Check: 0.0 Back: 40.4
INFO - Atoms: 14550/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1648539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 1561.872 PropClause: 1503.505 Set: 460.845 Check: 0.0 Back: 40.75
INFO - Atoms: 13686/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1661358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 1568.853 PropClause: 1510.153 Set: 462.868 Check: 0.0 Back: 41.078
INFO - Atoms: 12819/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1673592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.515 Prop: 1574.931 PropClause: 1515.916 Set: 464.735 Check: 0.0 Back: 41.415
INFO - Atoms: 12234/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1685809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.539 Prop: 1580.804 PropClause: 1521.429 Set: 467.328 Check: 0.0 Back: 41.737
INFO - Atoms: 12217/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1697441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.561 Prop: 1586.624 PropClause: 1526.911 Set: 469.683 Check: 0.0 Back: 42.049
INFO - Atoms: 11632/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1708818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 1593.155 PropClause: 1533.101 Set: 472.04 Check: 0.0 Back: 42.346
INFO - Atoms: 11377/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1719848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 1598.643 PropClause: 1538.258 Set: 474.272 Check: 0.0 Back: 42.64
INFO - Atoms: 11030/31422 Clauses: 209 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 569 Props: 4063565 Tprops: 0 Decides: 45752 RSplits: 0
INFO - Times: Expl: 787.39 Prop: 3533.618 PropClause: 3393.536 Set: 535.835 Check: 1.114 Back: 102.382
INFO - Atoms: 9565/31422 Clauses: 708 Axioms: 105538
INFO - Restart
INFO - Confl: 1069 Props: 4188807 Tprops: 0 Decides: 46820 RSplits: 0
INFO - Times: Expl: 911.918 Prop: 3580.835 PropClause: 3436.567 Set: 539.132 Check: 1.142 Back: 105.62
INFO - Atoms: 9569/31422 Clauses: 1208 Axioms: 105538
INFO - Confl: 1274 Props: 4241708 Tprops: 0 Decides: 47313 RSplits: 0
INFO - Times: Expl: 930.791 Prop: 3600.215 PropClause: 3453.47 Set: 540.551 Check: 1.155 Back: 106.984
INFO - Atoms: 9669/31422 Clauses: 1413 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1774 Props: 6166607 Tprops: 0 Decides: 81490 RSplits: 0
INFO - Times: Expl: 1452.461 Prop: 4972.889 PropClause: 4759.682 Set: 590.744 Check: 1.979 Back: 154.859
INFO - Atoms: 9551/31422 Clauses: 711 Axioms: 105538
INFO - Restart
INFO - Confl: 2274 Props: 6312132 Tprops: 0 Decides: 83148 RSplits: 0
INFO - Times: Expl: 1496.157 Prop: 5018.776 PropClause: 4801.359 Set: 594.2 Check: 2.018 Back: 158.243
INFO - Atoms: 9571/31422 Clauses: 1211 Axioms: 105538
INFO - Confl: 2322 Props: 6325759 Tprops: 0 Decides: 83256 RSplits: 0
INFO - Times: Expl: 1498.74 Prop: 5022.386 PropClause: 4804.593 Set: 594.533 Check: 2.021 Back: 158.555
INFO - Atoms: 9663/31422 Clauses: 1259 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2822 Props: 8843663 Tprops: 0 Decides: 139459 RSplits: 0
INFO - Times: Expl: 2199.407 Prop: 6866.244 PropClause: 6559.525 Set: 659.969 Check: 3.365 Back: 220.78
INFO - Atoms: 9563/31422 Clauses: 711 Axioms: 105538
INFO - Restart
INFO - Confl: 3322 Props: 8970680 Tprops: 0 Decides: 140674 RSplits: 0
INFO - Times: Expl: 2247.649 Prop: 6912.533 PropClause: 6600.954 Set: 663.311 Check: 3.397 Back: 224.061
INFO - Atoms: 9568/31422 Clauses: 1211 Axioms: 105538
INFO - Confl: 3422 Props: 8995117 Tprops: 0 Decides: 140825 RSplits: 0
INFO - Times: Expl: 2258.046 Prop: 6922.429 PropClause: 6609.951 Set: 663.995 Check: 3.401 Back: 224.68
INFO - Atoms: 9763/31422 Clauses: 1311 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3922 Props: 10898189 Tprops: 0 Decides: 174904 RSplits: 0
INFO - Times: Expl: 2706.956 Prop: 8140.429 PropClause: 7766.819 Set: 712.228 Check: 4.196 Back: 270.833
INFO - Atoms: 9565/31422 Clauses: 711 Axioms: 105538
INFO - Confl: 4287 Props: 10992424 Tprops: 0 Decides: 175698 RSplits: 0
INFO - Times: Expl: 2730.62 Prop: 8165.445 PropClause: 7789.265 Set: 714.459 Check: 4.215 Back: 272.999
INFO - Atoms: 9844/31422 Clauses: 1076 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4787 Props: 12905002 Tprops: 0 Decides: 209381 RSplits: 0
INFO - Times: Expl: 3235.95 Prop: 9523.573 PropClause: 9083.903 Set: 763.695 Check: 5.023 Back: 319.959
INFO - Atoms: 9559/31422 Clauses: 711 Axioms: 105538
INFO - Restart
INFO - Confl: 5287 Props: 13019322 Tprops: 0 Decides: 210524 RSplits: 0
INFO - Times: Expl: 3265.93 Prop: 9554.604 PropClause: 9111.754 Set: 766.375 Check: 5.049 Back: 322.615
INFO - Atoms: 9570/31422 Clauses: 1211 Axioms: 105538
INFO - Confl: 5454 Props: 13060303 Tprops: 0 Decides: 210964 RSplits: 0
INFO - Times: Expl: 3275.059 Prop: 9566.239 PropClause: 9122.148 Set: 767.404 Check: 5.059 Back: 323.552
INFO - Atoms: 9932/31422 Clauses: 1378 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5954 Props: 15036508 Tprops: 0 Decides: 245889 RSplits: 0
INFO - Times: Expl: 3749.131 Prop: 10923.574 PropClause: 10415.488 Set: 818.21 Check: 5.877 Back: 371.96
INFO - Atoms: 9568/31422 Clauses: 713 Axioms: 105538
INFO - Restart
INFO - Confl: 6454 Props: 15147194 Tprops: 0 Decides: 246596 RSplits: 0
INFO - Times: Expl: 3783.102 Prop: 10952.926 PropClause: 10441.811 Set: 820.814 Check: 5.893 Back: 374.554
INFO - Atoms: 9570/31422 Clauses: 1213 Axioms: 105538
INFO - Confl: 6825 Props: 15233958 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.406 Prop: 10976.025 PropClause: 10462.526 Set: 822.878 Check: 5.912 Back: 376.551
INFO - Atoms: 9784/31422 Clauses: 1584 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6826 Props: 15259227 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.432 Prop: 11009.864 PropClause: 10495.46 Set: 841.445 Check: 5.912 Back: 376.783
INFO - Atoms: 25269/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6827 Props: 15282999 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.436 Prop: 11041.134 PropClause: 10525.966 Set: 857.722 Check: 5.912 Back: 377.436
INFO - Atoms: 23772/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6828 Props: 15302624 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.469 Prop: 11063.045 PropClause: 10547.256 Set: 869.802 Check: 5.912 Back: 378.037
INFO - Atoms: 19625/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6829 Props: 15326255 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.474 Prop: 11084.989 PropClause: 10568.404 Set: 885.06 Check: 5.912 Back: 378.538
INFO - Atoms: 23631/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6830 Props: 15349897 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.479 Prop: 11112.715 PropClause: 10595.37 Set: 900.765 Check: 5.912 Back: 379.157
INFO - Atoms: 23642/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6831 Props: 15373553 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.484 Prop: 11133.386 PropClause: 10615.382 Set: 906.588 Check: 5.912 Back: 379.781
INFO - Atoms: 23656/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6832 Props: 15397220 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.49 Prop: 11156.848 PropClause: 10638.117 Set: 912.843 Check: 5.912 Back: 380.34
INFO - Atoms: 23667/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6833 Props: 15420887 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.495 Prop: 11180.946 PropClause: 10661.518 Set: 919.016 Check: 5.912 Back: 380.95
INFO - Atoms: 23667/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6834 Props: 15445968 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.499 Prop: 11205.176 PropClause: 10685.011 Set: 925.746 Check: 5.912 Back: 381.568
INFO - Atoms: 25081/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6835 Props: 15471487 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.572 Prop: 11232.109 PropClause: 10711.2 Set: 932.736 Check: 5.912 Back: 382.209
INFO - Atoms: 25519/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6836 Props: 15497299 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.644 Prop: 11264.138 PropClause: 10742.435 Set: 942.206 Check: 5.912 Back: 382.871
INFO - Atoms: 25812/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6837 Props: 15523416 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.683 Prop: 11290.998 PropClause: 10768.647 Set: 950.154 Check: 5.912 Back: 383.536
INFO - Atoms: 26117/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6838 Props: 15549830 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.742 Prop: 11312.905 PropClause: 10789.883 Set: 957.444 Check: 5.912 Back: 384.15
INFO - Atoms: 26414/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6839 Props: 15576545 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.781 Prop: 11333.348 PropClause: 10809.665 Set: 964.718 Check: 5.912 Back: 384.777
INFO - Atoms: 26715/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6840 Props: 15603561 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.909 Prop: 11356.531 PropClause: 10832.178 Set: 972.413 Check: 5.912 Back: 385.406
INFO - Atoms: 27016/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6841 Props: 15630882 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.921 Prop: 11382.083 PropClause: 10857.052 Set: 980.428 Check: 5.912 Back: 386.035
INFO - Atoms: 27321/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6842 Props: 15658504 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.93 Prop: 11407.169 PropClause: 10881.452 Set: 987.959 Check: 5.912 Back: 386.673
INFO - Atoms: 27622/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6843 Props: 15686423 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.941 Prop: 11442.376 PropClause: 10915.818 Set: 998.781 Check: 5.912 Back: 387.313
INFO - Atoms: 27919/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6844 Props: 15714647 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.95 Prop: 11469.645 PropClause: 10942.386 Set: 1006.918 Check: 5.912 Back: 388.053
INFO - Atoms: 28224/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6845 Props: 15743174 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.96 Prop: 11496.041 PropClause: 10968.062 Set: 1015.14 Check: 5.912 Back: 388.716
INFO - Atoms: 28527/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6846 Props: 15772267 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.971 Prop: 11524.735 PropClause: 10996.026 Set: 1023.686 Check: 5.912 Back: 389.383
INFO - Atoms: 29093/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6847 Props: 15801390 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.98 Prop: 11553.209 PropClause: 11023.768 Set: 1032.188 Check: 5.912 Back: 390.068
INFO - Atoms: 29123/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6848 Props: 15826969 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3803.991 Prop: 11578.651 PropClause: 11048.569 Set: 1039.436 Check: 5.912 Back: 390.757
INFO - Atoms: 25579/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6849 Props: 15852825 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.016 Prop: 11604.11 PropClause: 11073.385 Set: 1046.7 Check: 5.912 Back: 391.371
INFO - Atoms: 25856/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6850 Props: 15878656 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.025 Prop: 11627.707 PropClause: 11096.34 Set: 1053.619 Check: 5.912 Back: 391.984
INFO - Atoms: 25831/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6851 Props: 15904516 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.035 Prop: 11653.099 PropClause: 11121.083 Set: 1060.798 Check: 5.912 Back: 392.594
INFO - Atoms: 25860/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6852 Props: 15930673 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.044 Prop: 11678.865 PropClause: 11146.199 Set: 1068.003 Check: 5.912 Back: 393.209
INFO - Atoms: 26157/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6853 Props: 15956840 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.053 Prop: 11704.892 PropClause: 11171.565 Set: 1075.234 Check: 5.912 Back: 393.824
INFO - Atoms: 26167/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6854 Props: 15982997 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.062 Prop: 11728.816 PropClause: 11194.839 Set: 1082.449 Check: 5.912 Back: 394.455
INFO - Atoms: 26157/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6855 Props: 16009455 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.073 Prop: 11754.369 PropClause: 11219.733 Set: 1087.526 Check: 5.912 Back: 395.072
INFO - Atoms: 26458/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6856 Props: 16035921 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.081 Prop: 11778.242 PropClause: 11242.948 Set: 1092.571 Check: 5.912 Back: 395.712
INFO - Atoms: 26466/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6857 Props: 16062381 Tprops: 0 Decides: 247391 RSplits: 0
INFO - Times: Expl: 3804.089 Prop: 11796.644 PropClause: 11260.694 Set: 1097.567 Check: 5.912 Back: 396.331
INFO - Atoms: 26460/31422 Clauses: 214 Axioms: 105538
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 110 Props: 4374 Tprops: 309 Decides: 4375 RSplits: 0
INFO - Times: Expl: 58.13 Prop: 20728.132 PropClause: 3.681 Set: 348.228 Check: 57.032 Back: 14.478
INFO - Atoms: 234/291 Clauses: 110 Axioms: 291
INFO - CCTimes: iE 89813 eq 5289781 cc 18745073 setRep 9337646
INFO - Merges: 62373, cc:153121
INFO - BVTimes: BB 176546581 BB_DPLL 19688193480 Graph 18190177
INFO - BitBlastingClauses: 127794 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat