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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 199225343
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 57978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.68 Prop: 123.048 PropClause: 110.785 Set: 50.396 Check: 0.0 Back: 0.0
INFO - Atoms: 57978/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 115945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.761 Prop: 226.757 PropClause: 210.932 Set: 65.111 Check: 0.0 Back: 1.463
INFO - Atoms: 57967/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 173903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.835 Prop: 336.997 PropClause: 317.986 Set: 119.873 Check: 0.0 Back: 3.0
INFO - Atoms: 57958/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 231851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.932 Prop: 438.692 PropClause: 416.553 Set: 134.286 Check: 0.0 Back: 4.548
INFO - Atoms: 57948/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 289805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.983 Prop: 538.415 PropClause: 513.608 Set: 155.294 Check: 0.0 Back: 6.065
INFO - Atoms: 57954/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 347748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.072 Prop: 614.9 PropClause: 588.104 Set: 177.191 Check: 0.0 Back: 7.542
INFO - Atoms: 57943/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 405693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.124 Prop: 678.521 PropClause: 650.271 Set: 187.549 Check: 0.0 Back: 9.026
INFO - Atoms: 57945/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 463636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.248 Prop: 755.734 PropClause: 726.006 Set: 198.471 Check: 0.0 Back: 10.382
INFO - Atoms: 57943/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 521197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.295 Prop: 822.666 PropClause: 791.519 Set: 208.791 Check: 0.0 Back: 11.783
INFO - Atoms: 57561/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 578561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.366 Prop: 891.841 PropClause: 859.276 Set: 219.096 Check: 0.0 Back: 13.103
INFO - Atoms: 57364/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 635918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.412 Prop: 952.601 PropClause: 918.615 Set: 229.366 Check: 0.0 Back: 14.413
INFO - Atoms: 57357/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 693083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 1018.879 PropClause: 983.48 Set: 239.68 Check: 0.0 Back: 15.724
INFO - Atoms: 57165/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 750051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 1082.535 PropClause: 1045.723 Set: 249.908 Check: 0.0 Back: 17.025
INFO - Atoms: 56968/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 806757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.581 Prop: 1154.648 PropClause: 1116.431 Set: 266.061 Check: 0.0 Back: 18.323
INFO - Atoms: 56706/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 863241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.626 Prop: 1221.794 PropClause: 1182.176 Set: 281.558 Check: 0.0 Back: 19.635
INFO - Atoms: 56484/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 919530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.71 Prop: 1296.441 PropClause: 1255.426 Set: 297.091 Check: 0.0 Back: 20.945
INFO - Atoms: 56289/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 975814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.758 Prop: 1362.353 PropClause: 1319.954 Set: 307.175 Check: 0.0 Back: 22.269
INFO - Atoms: 56284/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1032011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.804 Prop: 1424.179 PropClause: 1380.378 Set: 317.234 Check: 0.0 Back: 23.726
INFO - Atoms: 56197/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1087905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.852 Prop: 1484.578 PropClause: 1439.388 Set: 327.206 Check: 0.0 Back: 25.175
INFO - Atoms: 55894/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1143455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 1556.836 PropClause: 1510.267 Set: 337.309 Check: 0.0 Back: 26.6
INFO - Atoms: 55550/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1198778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.948 Prop: 1624.799 PropClause: 1576.852 Set: 347.407 Check: 0.0 Back: 27.892
INFO - Atoms: 55323/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1253906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.995 Prop: 1691.433 PropClause: 1642.126 Set: 357.295 Check: 0.0 Back: 29.18
INFO - Atoms: 55128/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1308747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.044 Prop: 1758.316 PropClause: 1707.653 Set: 367.272 Check: 0.0 Back: 30.433
INFO - Atoms: 54841/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1363515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.097 Prop: 1848.303 PropClause: 1796.058 Set: 381.113 Check: 0.0 Back: 31.688
INFO - Atoms: 54768/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1418061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 1910.233 PropClause: 1856.631 Set: 391.103 Check: 0.0 Back: 33.111
INFO - Atoms: 54546/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1472435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.205 Prop: 1979.893 PropClause: 1924.93 Set: 401.02 Check: 0.0 Back: 34.398
INFO - Atoms: 54374/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1526591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 2044.558 PropClause: 1988.261 Set: 410.748 Check: 0.0 Back: 35.667
INFO - Atoms: 54156/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1580551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.309 Prop: 2111.423 PropClause: 2053.792 Set: 420.415 Check: 0.0 Back: 36.93
INFO - Atoms: 53960/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1634317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.361 Prop: 2176.357 PropClause: 2117.355 Set: 430.317 Check: 0.0 Back: 38.159
INFO - Atoms: 53766/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1687911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.415 Prop: 2245.736 PropClause: 2185.356 Set: 440.363 Check: 0.0 Back: 39.444
INFO - Atoms: 53594/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1741287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 2306.788 PropClause: 2245.082 Set: 450.118 Check: 0.0 Back: 40.727
INFO - Atoms: 53376/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1794482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.514 Prop: 2366.328 PropClause: 2303.3 Set: 464.026 Check: 0.0 Back: 42.02
INFO - Atoms: 53195/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1847466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.566 Prop: 2427.682 PropClause: 2363.338 Set: 478.545 Check: 0.0 Back: 43.251
INFO - Atoms: 52984/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1900277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.629 Prop: 2495.08 PropClause: 2429.33 Set: 493.526 Check: 0.0 Back: 44.484
INFO - Atoms: 52811/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1952873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 2563.812 PropClause: 2496.676 Set: 508.858 Check: 0.0 Back: 45.705
INFO - Atoms: 52596/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2005291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.739 Prop: 2633.552 PropClause: 2565.047 Set: 524.577 Check: 0.0 Back: 47.018
INFO - Atoms: 52418/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2057497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 2695.887 PropClause: 2626.069 Set: 538.992 Check: 0.0 Back: 48.329
INFO - Atoms: 52206/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2109524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 2753.017 PropClause: 2681.917 Set: 552.914 Check: 0.0 Back: 49.602
INFO - Atoms: 52027/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2161338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.89 Prop: 2808.357 PropClause: 2735.976 Set: 562.194 Check: 0.0 Back: 50.79
INFO - Atoms: 51814/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2212975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.939 Prop: 2869.839 PropClause: 2796.179 Set: 571.496 Check: 0.0 Back: 52.005
INFO - Atoms: 51637/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2264401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.991 Prop: 2929.842 PropClause: 2854.894 Set: 580.751 Check: 0.0 Back: 53.194
INFO - Atoms: 51426/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2315631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 2987.659 PropClause: 2911.431 Set: 589.86 Check: 0.0 Back: 54.395
INFO - Atoms: 51230/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2366665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.129 Prop: 3050.976 PropClause: 2973.422 Set: 599.629 Check: 0.0 Back: 55.582
INFO - Atoms: 51034/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2417525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.189 Prop: 3122.402 PropClause: 3043.436 Set: 610.061 Check: 0.0 Back: 56.89
INFO - Atoms: 50860/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2468169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.237 Prop: 3178.947 PropClause: 3098.62 Set: 620.164 Check: 0.0 Back: 58.221
INFO - Atoms: 50644/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2518643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.285 Prop: 3233.531 PropClause: 3151.944 Set: 629.219 Check: 0.0 Back: 59.422
INFO - Atoms: 50474/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2568897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.332 Prop: 3291.747 PropClause: 3208.874 Set: 638.384 Check: 0.0 Back: 60.639
INFO - Atoms: 50254/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2618983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 3353.889 PropClause: 3269.768 Set: 647.37 Check: 0.0 Back: 61.874
INFO - Atoms: 50086/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2668849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.434 Prop: 3413.38 PropClause: 3327.996 Set: 656.376 Check: 0.0 Back: 63.022
INFO - Atoms: 49866/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2718519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.483 Prop: 3470.915 PropClause: 3384.294 Set: 665.276 Check: 0.0 Back: 64.187
INFO - Atoms: 49670/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2767993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.536 Prop: 3528.627 PropClause: 3440.768 Set: 674.319 Check: 0.0 Back: 65.329
INFO - Atoms: 49474/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2817297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.698 Prop: 3588.327 PropClause: 3499.235 Set: 683.281 Check: 0.0 Back: 66.488
INFO - Atoms: 49304/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2866383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.721 Prop: 3638.517 PropClause: 3548.193 Set: 692.789 Check: 0.0 Back: 67.628
INFO - Atoms: 49086/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2915292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 3688.306 PropClause: 3596.751 Set: 701.456 Check: 0.0 Back: 68.78
INFO - Atoms: 48909/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2963988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.767 Prop: 3741.454 PropClause: 3648.668 Set: 710.122 Check: 0.0 Back: 69.923
INFO - Atoms: 48696/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3012505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.79 Prop: 3796.573 PropClause: 3702.589 Set: 718.66 Check: 0.0 Back: 71.057
INFO - Atoms: 48517/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3060811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 3845.789 PropClause: 3750.606 Set: 727.175 Check: 0.0 Back: 72.162
INFO - Atoms: 48306/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3108921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 3896.392 PropClause: 3800.017 Set: 735.604 Check: 0.0 Back: 73.29
INFO - Atoms: 48110/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3156837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 3947.641 PropClause: 3850.085 Set: 744.109 Check: 0.0 Back: 74.384
INFO - Atoms: 47916/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3204557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 3999.974 PropClause: 3901.22 Set: 752.559 Check: 0.0 Back: 75.502
INFO - Atoms: 47720/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3252081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 4044.974 PropClause: 3945.043 Set: 760.946 Check: 0.0 Back: 76.608
INFO - Atoms: 47524/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3299435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.927 Prop: 4093.19 PropClause: 3992.062 Set: 769.307 Check: 0.0 Back: 77.734
INFO - Atoms: 47354/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3346571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.951 Prop: 4142.308 PropClause: 4039.996 Set: 777.735 Check: 0.0 Back: 78.864
INFO - Atoms: 47136/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3393511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 4209.63 PropClause: 4105.924 Set: 788.676 Check: 0.0 Back: 79.969
INFO - Atoms: 46940/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3440257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 4259.993 PropClause: 4155.129 Set: 796.876 Check: 0.0 Back: 81.187
INFO - Atoms: 46746/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3486831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.089 Prop: 4308.884 PropClause: 4202.866 Set: 805.067 Check: 0.0 Back: 82.269
INFO - Atoms: 46574/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3533185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 4358.084 PropClause: 4250.894 Set: 813.343 Check: 0.0 Back: 83.333
INFO - Atoms: 46354/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3579345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 4406.345 PropClause: 4298.01 Set: 821.485 Check: 0.0 Back: 84.41
INFO - Atoms: 46160/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3625311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.144 Prop: 4448.986 PropClause: 4339.493 Set: 829.563 Check: 0.0 Back: 85.465
INFO - Atoms: 45966/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3671098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.16 Prop: 4492.031 PropClause: 4381.402 Set: 837.479 Check: 0.0 Back: 86.555
INFO - Atoms: 45787/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3716672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.179 Prop: 4538.378 PropClause: 4426.624 Set: 846.231 Check: 0.0 Back: 87.608
INFO - Atoms: 45574/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3762073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.197 Prop: 4587.336 PropClause: 4474.455 Set: 857.727 Check: 0.0 Back: 88.667
INFO - Atoms: 45401/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3807259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 4636.273 PropClause: 4522.271 Set: 869.81 Check: 0.0 Back: 89.714
INFO - Atoms: 45186/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3852273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 4684.875 PropClause: 4569.756 Set: 881.879 Check: 0.0 Back: 90.794
INFO - Atoms: 45014/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3897067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 4731.316 PropClause: 4615.093 Set: 893.888 Check: 0.0 Back: 91.837
INFO - Atoms: 44794/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3941687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.267 Prop: 4779.391 PropClause: 4662.063 Set: 901.778 Check: 0.0 Back: 92.869
INFO - Atoms: 44620/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3986091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 4818.142 PropClause: 4699.718 Set: 909.456 Check: 0.0 Back: 93.889
INFO - Atoms: 44404/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4030301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 4860.986 PropClause: 4741.442 Set: 917.409 Check: 0.0 Back: 94.922
INFO - Atoms: 44210/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4074317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.32 Prop: 4901.523 PropClause: 4780.864 Set: 925.182 Check: 0.0 Back: 95.939
INFO - Atoms: 44016/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4118161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.338 Prop: 4946.156 PropClause: 4824.41 Set: 932.835 Check: 0.0 Back: 96.965
INFO - Atoms: 43844/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4161785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 4994.001 PropClause: 4871.162 Set: 940.538 Check: 0.0 Back: 97.966
INFO - Atoms: 43624/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4205239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 5038.564 PropClause: 4914.645 Set: 948.135 Check: 0.0 Back: 98.983
INFO - Atoms: 43454/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4248475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 5080.518 PropClause: 4955.533 Set: 955.684 Check: 0.0 Back: 99.976
INFO - Atoms: 43236/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4291515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 5124.042 PropClause: 4997.98 Set: 963.216 Check: 0.0 Back: 100.982
INFO - Atoms: 43040/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4334361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.432 Prop: 5167.318 PropClause: 5040.177 Set: 970.932 Check: 0.0 Back: 101.98
INFO - Atoms: 42846/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4377030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 5233.217 PropClause: 5104.819 Set: 980.362 Check: 0.0 Back: 103.724
INFO - Atoms: 42669/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4419484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 5270.523 PropClause: 5141.075 Set: 987.755 Check: 0.0 Back: 104.716
INFO - Atoms: 42454/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4461770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.481 Prop: 5308.822 PropClause: 5178.326 Set: 995.115 Check: 0.0 Back: 105.709
INFO - Atoms: 42286/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4503836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 5349.161 PropClause: 5217.611 Set: 1002.504 Check: 0.0 Back: 106.689
INFO - Atoms: 42066/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4545732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 5389.613 PropClause: 5257.016 Set: 1009.796 Check: 0.0 Back: 107.672
INFO - Atoms: 41896/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4587408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 5431.303 PropClause: 5297.679 Set: 1017.067 Check: 0.0 Back: 108.627
INFO - Atoms: 41676/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4628914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 5472.393 PropClause: 5337.746 Set: 1024.41 Check: 0.0 Back: 109.591
INFO - Atoms: 41506/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4670200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 5512.075 PropClause: 5376.396 Set: 1031.68 Check: 0.0 Back: 110.535
INFO - Atoms: 41286/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4711290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 5558.802 PropClause: 5421.969 Set: 1040.404 Check: 0.0 Back: 111.498
INFO - Atoms: 41090/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4752184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 5598.217 PropClause: 5460.37 Set: 1047.591 Check: 0.0 Back: 112.45
INFO - Atoms: 40894/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4792884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 5635.982 PropClause: 5497.122 Set: 1054.609 Check: 0.0 Back: 113.403
INFO - Atoms: 40700/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4833390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 5669.96 PropClause: 5530.091 Set: 1061.676 Check: 0.0 Back: 114.358
INFO - Atoms: 40506/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4873724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.697 Prop: 5704.918 PropClause: 5564.041 Set: 1068.6 Check: 0.0 Back: 115.306
INFO - Atoms: 40334/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4913840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 5741.88 PropClause: 5600.018 Set: 1090.917 Check: 0.0 Back: 116.223
INFO - Atoms: 40116/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4953784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.723 Prop: 5783.103 PropClause: 5640.245 Set: 1097.888 Check: 0.0 Back: 117.15
INFO - Atoms: 39944/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4993508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.736 Prop: 5824.01 PropClause: 5680.167 Set: 1104.888 Check: 0.0 Back: 118.06
INFO - Atoms: 39724/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5033064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 5861.204 PropClause: 5716.38 Set: 1111.787 Check: 0.0 Back: 118.99
INFO - Atoms: 39556/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5072398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 5895.341 PropClause: 5749.541 Set: 1118.689 Check: 0.0 Back: 119.895
INFO - Atoms: 39334/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5111562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 5935.908 PropClause: 5789.131 Set: 1125.604 Check: 0.0 Back: 120.815
INFO - Atoms: 39164/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5150506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 5971.991 PropClause: 5824.244 Set: 1132.415 Check: 0.0 Back: 121.717
INFO - Atoms: 38944/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5189256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 6007.427 PropClause: 5858.71 Set: 1139.05 Check: 0.0 Back: 122.63
INFO - Atoms: 38750/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5227812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 6038.029 PropClause: 5888.363 Set: 1145.676 Check: 0.0 Back: 123.523
INFO - Atoms: 38556/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5266196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.83 Prop: 6073.433 PropClause: 5922.781 Set: 1152.849 Check: 0.0 Back: 124.42
INFO - Atoms: 38384/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5304362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 6107.032 PropClause: 5955.356 Set: 1160.188 Check: 0.0 Back: 125.408
INFO - Atoms: 38166/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5342332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 6141.978 PropClause: 5989.358 Set: 1166.751 Check: 0.0 Back: 126.298
INFO - Atoms: 37970/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5380106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.875 Prop: 6177.663 PropClause: 6024.104 Set: 1173.383 Check: 0.0 Back: 127.175
INFO - Atoms: 37774/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5417706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 6218.377 PropClause: 6063.881 Set: 1180.06 Check: 0.0 Back: 128.057
INFO - Atoms: 37600/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5455092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 6249.85 PropClause: 6094.431 Set: 1186.487 Check: 0.0 Back: 128.935
INFO - Atoms: 37386/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5492308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 6282.794 PropClause: 6126.409 Set: 1193.196 Check: 0.0 Back: 129.807
INFO - Atoms: 37216/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5529302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 6316.051 PropClause: 6158.659 Set: 1200.351 Check: 0.0 Back: 130.669
INFO - Atoms: 36994/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5566122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.941 Prop: 6349.927 PropClause: 6191.537 Set: 1207.349 Check: 0.0 Back: 131.54
INFO - Atoms: 36820/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5602728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.953 Prop: 6377.455 PropClause: 6218.153 Set: 1213.597 Check: 0.0 Back: 132.392
INFO - Atoms: 36606/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5639164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.967 Prop: 6406.318 PropClause: 6246.119 Set: 1219.801 Check: 0.0 Back: 133.245
INFO - Atoms: 36436/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5675380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 6434.412 PropClause: 6273.303 Set: 1225.992 Check: 0.0 Back: 134.089
INFO - Atoms: 36216/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5711419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 6466.096 PropClause: 6304.086 Set: 1232.16 Check: 0.0 Back: 134.939
INFO - Atoms: 36039/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5747243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.004 Prop: 6494.96 PropClause: 6332.06 Set: 1238.29 Check: 0.0 Back: 135.764
INFO - Atoms: 35824/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5782897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 6527.839 PropClause: 6364.053 Set: 1244.433 Check: 0.0 Back: 136.595
INFO - Atoms: 35654/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5818333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 6557.993 PropClause: 6393.327 Set: 1250.468 Check: 0.0 Back: 137.409
INFO - Atoms: 35436/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5853599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.042 Prop: 6587.873 PropClause: 6422.334 Set: 1256.466 Check: 0.0 Back: 138.233
INFO - Atoms: 35266/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5888645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.057 Prop: 6616.713 PropClause: 6450.305 Set: 1262.479 Check: 0.0 Back: 139.049
INFO - Atoms: 35046/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5922565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.069 Prop: 6645.592 PropClause: 6478.34 Set: 1268.144 Check: 0.0 Back: 139.867
INFO - Atoms: 33920/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5956267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.081 Prop: 6672.333 PropClause: 6504.23 Set: 1273.804 Check: 0.0 Back: 140.638
INFO - Atoms: 33702/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5989799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 6697.376 PropClause: 6528.43 Set: 1279.394 Check: 0.0 Back: 141.42
INFO - Atoms: 33532/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 6023111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.107 Prop: 6722.473 PropClause: 6552.694 Set: 1284.944 Check: 0.0 Back: 142.199
INFO - Atoms: 33312/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 6056253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.119 Prop: 6747.83 PropClause: 6577.213 Set: 1290.474 Check: 0.0 Back: 142.976
INFO - Atoms: 33142/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6089173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 6772.771 PropClause: 6601.334 Set: 1295.99 Check: 0.0 Back: 143.747
INFO - Atoms: 32920/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6121943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 6799.427 PropClause: 6627.179 Set: 1301.418 Check: 0.0 Back: 144.563
INFO - Atoms: 32770/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6153521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.158 Prop: 6825.942 PropClause: 6652.896 Set: 1306.603 Check: 0.0 Back: 145.313
INFO - Atoms: 31578/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6184929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 6851.758 PropClause: 6677.936 Set: 1311.718 Check: 0.0 Back: 146.06
INFO - Atoms: 31408/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6216117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 6875.301 PropClause: 6700.655 Set: 1317.139 Check: 0.0 Back: 146.782
INFO - Atoms: 31188/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6247135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 6900.049 PropClause: 6724.629 Set: 1322.196 Check: 0.0 Back: 147.514
INFO - Atoms: 31018/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6277933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 6922.024 PropClause: 6745.836 Set: 1327.217 Check: 0.0 Back: 148.228
INFO - Atoms: 30798/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6308561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 6946.356 PropClause: 6769.396 Set: 1332.301 Check: 0.0 Back: 148.95
INFO - Atoms: 30628/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6338969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 6967.586 PropClause: 6789.858 Set: 1337.196 Check: 0.0 Back: 149.668
INFO - Atoms: 30408/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6369205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 6988.662 PropClause: 6810.183 Set: 1342.03 Check: 0.0 Back: 150.389
INFO - Atoms: 30236/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6399223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.262 Prop: 7008.851 PropClause: 6829.616 Set: 1346.783 Check: 0.0 Back: 151.079
INFO - Atoms: 30018/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6429071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.274 Prop: 7030.535 PropClause: 6850.563 Set: 1351.683 Check: 0.0 Back: 151.774
INFO - Atoms: 29848/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6458699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 7051.759 PropClause: 6871.054 Set: 1356.427 Check: 0.0 Back: 152.453
INFO - Atoms: 29628/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6488157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.299 Prop: 7074.629 PropClause: 6893.196 Set: 1361.162 Check: 0.0 Back: 153.136
INFO - Atoms: 29458/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6517395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.311 Prop: 7093.998 PropClause: 6911.848 Set: 1365.779 Check: 0.0 Back: 153.805
INFO - Atoms: 29238/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6546463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 7114.352 PropClause: 6931.478 Set: 1370.423 Check: 0.0 Back: 154.495
INFO - Atoms: 29068/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6575311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 7136.274 PropClause: 6952.683 Set: 1375.073 Check: 0.0 Back: 155.16
INFO - Atoms: 28848/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6603989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.347 Prop: 7154.669 PropClause: 6970.358 Set: 1379.561 Check: 0.0 Back: 155.842
INFO - Atoms: 28678/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6632445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 7171.729 PropClause: 6986.714 Set: 1384.055 Check: 0.0 Back: 156.505
INFO - Atoms: 28456/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6660731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 7189.922 PropClause: 7004.2 Set: 1388.534 Check: 0.0 Back: 157.17
INFO - Atoms: 28286/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6688797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 7206.888 PropClause: 7020.466 Set: 1392.988 Check: 0.0 Back: 157.817
INFO - Atoms: 28066/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6716693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 7224.601 PropClause: 7037.49 Set: 1397.315 Check: 0.0 Back: 158.482
INFO - Atoms: 27896/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6744371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 7241.14 PropClause: 7053.344 Set: 1401.627 Check: 0.0 Back: 159.116
INFO - Atoms: 27678/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6771879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 7257.28 PropClause: 7068.791 Set: 1405.933 Check: 0.0 Back: 159.757
INFO - Atoms: 27508/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6799167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 7274.671 PropClause: 7085.49 Set: 1410.307 Check: 0.0 Back: 160.486
INFO - Atoms: 27288/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 6826283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 7290.37 PropClause: 7100.511 Set: 1414.536 Check: 0.0 Back: 161.119
INFO - Atoms: 27116/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 6853181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 7307.029 PropClause: 7116.499 Set: 1418.731 Check: 0.0 Back: 161.74
INFO - Atoms: 26898/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 6879909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 7323.186 PropClause: 7131.98 Set: 1433.793 Check: 0.0 Back: 162.37
INFO - Atoms: 26728/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 6906415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 7338.486 PropClause: 7146.621 Set: 1437.898 Check: 0.0 Back: 162.989
INFO - Atoms: 26506/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 6932751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 7354.731 PropClause: 7162.212 Set: 1441.994 Check: 0.0 Back: 163.604
INFO - Atoms: 26336/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 6958869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 7371.699 PropClause: 7178.517 Set: 1446.113 Check: 0.0 Back: 164.246
INFO - Atoms: 26118/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 6984815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.531 Prop: 7386.534 PropClause: 7192.715 Set: 1450.061 Check: 0.0 Back: 164.873
INFO - Atoms: 25946/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7010541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 7400.976 PropClause: 7206.524 Set: 1454.038 Check: 0.0 Back: 165.461
INFO - Atoms: 25726/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7036097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 7415.278 PropClause: 7220.201 Set: 1457.931 Check: 0.0 Back: 166.052
INFO - Atoms: 25556/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7061435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 7428.957 PropClause: 7233.261 Set: 1461.764 Check: 0.0 Back: 166.623
INFO - Atoms: 25338/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7086603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 7443.359 PropClause: 7247.039 Set: 1465.629 Check: 0.0 Back: 167.204
INFO - Atoms: 25168/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7111551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 7457.8 PropClause: 7260.834 Set: 1469.697 Check: 0.0 Back: 167.785
INFO - Atoms: 24948/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7136329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.604 Prop: 7471.458 PropClause: 7273.847 Set: 1473.762 Check: 0.0 Back: 168.36
INFO - Atoms: 24778/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7160887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.615 Prop: 7484.467 PropClause: 7286.234 Set: 1477.571 Check: 0.0 Back: 168.936
INFO - Atoms: 24558/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7185275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 7497.842 PropClause: 7298.982 Set: 1481.406 Check: 0.0 Back: 169.602
INFO - Atoms: 24388/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7209443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 7510.195 PropClause: 7310.735 Set: 1485.088 Check: 0.0 Back: 170.177
INFO - Atoms: 24168/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7233441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.656 Prop: 7522.923 PropClause: 7322.854 Set: 1488.746 Check: 0.0 Back: 170.763
INFO - Atoms: 23998/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7257219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 7534.843 PropClause: 7334.176 Set: 1492.391 Check: 0.0 Back: 171.329
INFO - Atoms: 23778/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7280827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 7549.16 PropClause: 7347.914 Set: 1495.947 Check: 0.0 Back: 171.897
INFO - Atoms: 23608/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7304215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 7561.633 PropClause: 7359.783 Set: 1499.47 Check: 0.0 Back: 172.428
INFO - Atoms: 23388/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7327431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 7574.357 PropClause: 7371.933 Set: 1502.918 Check: 0.0 Back: 172.98
INFO - Atoms: 23216/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7350429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.72 Prop: 7586.013 PropClause: 7383.016 Set: 1506.433 Check: 0.0 Back: 173.514
INFO - Atoms: 22998/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7373257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 7599.603 PropClause: 7396.002 Set: 1509.941 Check: 0.0 Back: 174.053
INFO - Atoms: 22828/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7395863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 7610.759 PropClause: 7406.597 Set: 1513.342 Check: 0.0 Back: 174.579
INFO - Atoms: 22606/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7418299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.758 Prop: 7622.205 PropClause: 7417.49 Set: 1516.669 Check: 0.0 Back: 175.106
INFO - Atoms: 22436/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7440515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 7632.76 PropClause: 7427.496 Set: 1519.965 Check: 0.0 Back: 175.619
INFO - Atoms: 22216/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 7462563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 7643.452 PropClause: 7437.639 Set: 1523.247 Check: 0.0 Back: 176.135
INFO - Atoms: 22048/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 7484391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 7653.033 PropClause: 7446.673 Set: 1526.48 Check: 0.0 Back: 176.655
INFO - Atoms: 21828/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 7506047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 7662.452 PropClause: 7455.556 Set: 1529.665 Check: 0.0 Back: 177.159
INFO - Atoms: 21656/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 7527483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 7671.493 PropClause: 7464.062 Set: 1532.807 Check: 0.0 Back: 177.653
INFO - Atoms: 21436/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 7548749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 7680.705 PropClause: 7472.747 Set: 1535.909 Check: 0.0 Back: 178.147
INFO - Atoms: 21266/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 7569626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 7690.636 PropClause: 7482.161 Set: 1538.997 Check: 0.0 Back: 178.635
INFO - Atoms: 20877/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 7590225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 7700.504 PropClause: 7491.522 Set: 1541.962 Check: 0.0 Back: 179.122
INFO - Atoms: 20599/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 7610606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 7711.112 PropClause: 7501.533 Set: 1545.73 Check: 0.0 Back: 179.594
INFO - Atoms: 20381/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 7630817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 7720.845 PropClause: 7510.751 Set: 1548.765 Check: 0.0 Back: 180.124
INFO - Atoms: 20211/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 7650808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 7729.524 PropClause: 7518.925 Set: 1551.632 Check: 0.0 Back: 180.647
INFO - Atoms: 19991/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 7670629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.969 Prop: 7740.112 PropClause: 7528.917 Set: 1555.22 Check: 0.0 Back: 181.122
INFO - Atoms: 19821/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 7690255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 7749.674 PropClause: 7537.887 Set: 1558.706 Check: 0.0 Back: 181.645
INFO - Atoms: 19626/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 7709686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 7759.346 PropClause: 7546.968 Set: 1562.163 Check: 0.0 Back: 182.162
INFO - Atoms: 19431/57982 Clauses: 593 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 679 Props: 10002089 Tprops: 0 Decides: 16231 RSplits: 0
INFO - Times: Expl: 942.943 Prop: 10008.348 PropClause: 9727.721 Set: 1620.884 Check: 0.392 Back: 238.267
INFO - Atoms: 19544/57982 Clauses: 1077 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1177 Props: 12765041 Tprops: 0 Decides: 36916 RSplits: 0
INFO - Times: Expl: 1972.098 Prop: 12739.257 PropClause: 12375.672 Set: 1692.166 Check: 0.888 Back: 306.241
INFO - Atoms: 19316/57982 Clauses: 1090 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1677 Props: 14253410 Tprops: 0 Decides: 52167 RSplits: 0
INFO - Times: Expl: 2686.7 Prop: 13821.313 PropClause: 13414.446 Set: 1730.288 Check: 1.239 Back: 341.437
INFO - Atoms: 18786/57982 Clauses: 1092 Axioms: 192706
INFO - Confl: 1857 Props: 14585765 Tprops: 0 Decides: 54063 RSplits: 0
INFO - Times: Expl: 2775.677 Prop: 13990.144 PropClause: 13573.494 Set: 1738.293 Check: 1.283 Back: 349.24
INFO - Atoms: 19169/57982 Clauses: 1272 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2357 Props: 16886219 Tprops: 0 Decides: 69841 RSplits: 0
INFO - Times: Expl: 3715.186 Prop: 16272.843 PropClause: 15785.555 Set: 1797.546 Check: 1.674 Back: 406.946
INFO - Atoms: 18815/57982 Clauses: 1225 Axioms: 192706
INFO - Confl: 2387 Props: 16940651 Tprops: 0 Decides: 70105 RSplits: 0
INFO - Times: Expl: 3729.394 Prop: 16300.578 PropClause: 15811.782 Set: 1798.912 Check: 1.68 Back: 408.217
INFO - Atoms: 19263/57982 Clauses: 1255 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2857 Props: 20057078 Tprops: 0 Decides: 93271 RSplits: 0
INFO - Times: Expl: 4814.753 Prop: 19382.136 PropClause: 18802.02 Set: 1878.181 Check: 2.226 Back: 483.775
INFO - Atoms: 19272/57982 Clauses: 1195 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3334 Props: 22272226 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.236 Prop: 21318.397 PropClause: 20674.694 Set: 1934.177 Check: 2.571 Back: 537.092
INFO - Atoms: 19166/57982 Clauses: 1202 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3335 Props: 22294903 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.293 Prop: 21356.825 PropClause: 20712.4 Set: 1949.777 Check: 2.571 Back: 537.535
INFO - Atoms: 22677/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3336 Props: 22317792 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.336 Prop: 21373.357 PropClause: 20728.265 Set: 1955.243 Check: 2.571 Back: 538.12
INFO - Atoms: 22889/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3337 Props: 22340931 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.376 Prop: 21386.288 PropClause: 20740.62 Set: 1959.552 Check: 2.571 Back: 538.701
INFO - Atoms: 23139/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3338 Props: 22363424 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.419 Prop: 21402.957 PropClause: 20756.627 Set: 1964.809 Check: 2.571 Back: 539.233
INFO - Atoms: 22493/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3339 Props: 22386112 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.468 Prop: 21416.263 PropClause: 20769.364 Set: 1969.072 Check: 2.571 Back: 539.811
INFO - Atoms: 22688/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3340 Props: 22408325 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.533 Prop: 21430.069 PropClause: 20782.604 Set: 1973.189 Check: 2.571 Back: 540.334
INFO - Atoms: 22213/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3341 Props: 22430734 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.538 Prop: 21442.681 PropClause: 20794.647 Set: 1977.261 Check: 2.571 Back: 540.879
INFO - Atoms: 22409/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3342 Props: 22453414 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.543 Prop: 21455.11 PropClause: 20806.509 Set: 1981.37 Check: 2.571 Back: 541.407
INFO - Atoms: 22680/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3343 Props: 22476231 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.548 Prop: 21468.231 PropClause: 20819.063 Set: 1985.545 Check: 2.571 Back: 541.924
INFO - Atoms: 22817/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3344 Props: 22499243 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.554 Prop: 21481.801 PropClause: 20832.064 Set: 1989.774 Check: 2.571 Back: 542.449
INFO - Atoms: 23012/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3345 Props: 22522430 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.559 Prop: 21495.78 PropClause: 20845.452 Set: 1994.141 Check: 2.571 Back: 542.983
INFO - Atoms: 23187/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3346 Props: 22545828 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.565 Prop: 21513.259 PropClause: 20862.227 Set: 1999.813 Check: 2.571 Back: 543.523
INFO - Atoms: 23398/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3347 Props: 22569593 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.57 Prop: 21526.528 PropClause: 20874.904 Set: 2004.213 Check: 2.571 Back: 544.118
INFO - Atoms: 23765/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3348 Props: 22593365 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.574 Prop: 21539.887 PropClause: 20887.67 Set: 2008.504 Check: 2.571 Back: 544.677
INFO - Atoms: 23772/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3349 Props: 22617333 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.578 Prop: 21554.035 PropClause: 20901.211 Set: 2012.934 Check: 2.571 Back: 545.218
INFO - Atoms: 23968/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3350 Props: 22641496 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.583 Prop: 21568.989 PropClause: 20915.559 Set: 2017.435 Check: 2.571 Back: 545.77
INFO - Atoms: 24163/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3351 Props: 22665865 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.588 Prop: 21584.897 PropClause: 20930.863 Set: 2021.99 Check: 2.571 Back: 546.32
INFO - Atoms: 24369/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3352 Props: 22690439 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.595 Prop: 21599.737 PropClause: 20945.081 Set: 2026.575 Check: 2.571 Back: 546.878
INFO - Atoms: 24574/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3353 Props: 22715187 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.601 Prop: 21614.852 PropClause: 20959.58 Set: 2031.221 Check: 2.571 Back: 547.436
INFO - Atoms: 24748/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3354 Props: 22740317 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.606 Prop: 21630.896 PropClause: 20974.998 Set: 2035.981 Check: 2.571 Back: 548.019
INFO - Atoms: 25130/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3355 Props: 22765454 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.61 Prop: 21646.56 PropClause: 20990.037 Set: 2040.722 Check: 2.571 Back: 548.589
INFO - Atoms: 25137/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3356 Props: 22790788 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.615 Prop: 21662.993 PropClause: 21005.839 Set: 2045.513 Check: 2.571 Back: 549.164
INFO - Atoms: 25334/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3357 Props: 22816335 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.621 Prop: 21678.544 PropClause: 21020.755 Set: 2050.342 Check: 2.571 Back: 549.742
INFO - Atoms: 25547/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3358 Props: 22842059 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.625 Prop: 21694.402 PropClause: 21035.971 Set: 2055.165 Check: 2.571 Back: 550.332
INFO - Atoms: 25724/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3359 Props: 22867976 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.63 Prop: 21710.614 PropClause: 21051.541 Set: 2060.078 Check: 2.571 Back: 550.918
INFO - Atoms: 25917/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3360 Props: 22894276 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.636 Prop: 21726.908 PropClause: 21067.179 Set: 2065.024 Check: 2.571 Back: 551.514
INFO - Atoms: 26300/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3361 Props: 22920584 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.641 Prop: 21744.345 PropClause: 21083.95 Set: 2070.047 Check: 2.571 Back: 552.147
INFO - Atoms: 26308/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3362 Props: 22947094 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.646 Prop: 21764.501 PropClause: 21103.447 Set: 2075.125 Check: 2.571 Back: 552.754
INFO - Atoms: 26510/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3363 Props: 22973809 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.652 Prop: 21781.757 PropClause: 21120.04 Set: 2080.117 Check: 2.571 Back: 553.354
INFO - Atoms: 26715/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3364 Props: 23000711 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.658 Prop: 21799.551 PropClause: 21137.157 Set: 2085.277 Check: 2.571 Back: 553.968
INFO - Atoms: 26902/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3365 Props: 23027817 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.662 Prop: 21818.576 PropClause: 21155.503 Set: 2090.535 Check: 2.571 Back: 554.583
INFO - Atoms: 27106/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3366 Props: 23055103 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.667 Prop: 21839.134 PropClause: 21175.378 Set: 2095.765 Check: 2.571 Back: 555.215
INFO - Atoms: 27286/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3367 Props: 23082597 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.671 Prop: 21857.582 PropClause: 21193.141 Set: 2100.999 Check: 2.571 Back: 555.858
INFO - Atoms: 27494/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3368 Props: 23110269 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.676 Prop: 21876.478 PropClause: 21211.335 Set: 2106.354 Check: 2.571 Back: 556.493
INFO - Atoms: 27672/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3369 Props: 23138154 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.681 Prop: 21894.949 PropClause: 21229.111 Set: 2111.73 Check: 2.571 Back: 557.133
INFO - Atoms: 27885/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3370 Props: 23166222 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.686 Prop: 21915.166 PropClause: 21248.627 Set: 2117.125 Check: 2.571 Back: 557.781
INFO - Atoms: 28068/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3371 Props: 23194667 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.691 Prop: 21935.462 PropClause: 21268.216 Set: 2122.674 Check: 2.571 Back: 558.43
INFO - Atoms: 28445/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3372 Props: 23223119 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.698 Prop: 21956.776 PropClause: 21288.816 Set: 2128.26 Check: 2.571 Back: 559.082
INFO - Atoms: 28452/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3373 Props: 23251785 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.702 Prop: 21978.492 PropClause: 21309.817 Set: 2133.807 Check: 2.571 Back: 559.729
INFO - Atoms: 28666/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3374 Props: 23280627 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.707 Prop: 21999.271 PropClause: 21329.87 Set: 2166.218 Check: 2.571 Back: 560.389
INFO - Atoms: 28842/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3375 Props: 23309665 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.713 Prop: 22020.85 PropClause: 21350.709 Set: 2171.911 Check: 2.571 Back: 561.054
INFO - Atoms: 29038/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3376 Props: 23339066 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.718 Prop: 22042.616 PropClause: 21371.734 Set: 2177.636 Check: 2.571 Back: 561.746
INFO - Atoms: 29401/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3377 Props: 23368493 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.722 Prop: 22064.252 PropClause: 21392.638 Set: 2183.412 Check: 2.571 Back: 562.418
INFO - Atoms: 29427/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3378 Props: 23398304 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.726 Prop: 22085.365 PropClause: 21413.004 Set: 2189.304 Check: 2.571 Back: 563.095
INFO - Atoms: 29811/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3379 Props: 23428141 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.731 Prop: 22106.641 PropClause: 21433.54 Set: 2195.184 Check: 2.571 Back: 563.776
INFO - Atoms: 29837/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3380 Props: 23458157 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.736 Prop: 22128.863 PropClause: 21455.012 Set: 2201.321 Check: 2.571 Back: 564.473
INFO - Atoms: 30016/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3381 Props: 23488365 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.741 Prop: 22153.175 PropClause: 21478.569 Set: 2207.223 Check: 2.571 Back: 565.157
INFO - Atoms: 30208/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3382 Props: 23518938 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.746 Prop: 22178.056 PropClause: 21502.688 Set: 2213.273 Check: 2.571 Back: 565.871
INFO - Atoms: 30573/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3383 Props: 23549724 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.751 Prop: 22202.313 PropClause: 21526.177 Set: 2219.39 Check: 2.571 Back: 566.584
INFO - Atoms: 30786/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3384 Props: 23580516 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.756 Prop: 22224.597 PropClause: 21547.694 Set: 2225.41 Check: 2.571 Back: 567.294
INFO - Atoms: 30792/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3385 Props: 23611408 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.762 Prop: 22250.286 PropClause: 21572.613 Set: 2231.528 Check: 2.571 Back: 567.998
INFO - Atoms: 30892/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3386 Props: 23642303 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.766 Prop: 22273.758 PropClause: 21595.322 Set: 2237.474 Check: 2.571 Back: 568.708
INFO - Atoms: 30895/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3387 Props: 23673369 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.771 Prop: 22295.014 PropClause: 21615.801 Set: 2243.467 Check: 2.571 Back: 569.418
INFO - Atoms: 31066/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3388 Props: 23704459 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.776 Prop: 22320.849 PropClause: 21640.842 Set: 2249.449 Check: 2.571 Back: 570.141
INFO - Atoms: 31090/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3389 Props: 23735744 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.781 Prop: 22342.444 PropClause: 21661.654 Set: 2255.472 Check: 2.571 Back: 570.874
INFO - Atoms: 31285/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3390 Props: 23767243 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.786 Prop: 22366.581 PropClause: 21685.003 Set: 2261.556 Check: 2.571 Back: 571.597
INFO - Atoms: 31499/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3391 Props: 23798938 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.791 Prop: 22390.353 PropClause: 21707.989 Set: 2267.657 Check: 2.571 Back: 572.323
INFO - Atoms: 31695/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3392 Props: 23830826 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.798 Prop: 22415.995 PropClause: 21732.847 Set: 2273.806 Check: 2.571 Back: 573.048
INFO - Atoms: 31888/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3393 Props: 23862901 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.803 Prop: 22440.602 PropClause: 21756.649 Set: 2279.845 Check: 2.571 Back: 573.766
INFO - Atoms: 32075/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3394 Props: 23895179 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.809 Prop: 22465.672 PropClause: 21780.914 Set: 2286.193 Check: 2.571 Back: 574.499
INFO - Atoms: 32278/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3395 Props: 23927636 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.814 Prop: 22491.239 PropClause: 21805.673 Set: 2292.568 Check: 2.571 Back: 575.235
INFO - Atoms: 32457/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3396 Props: 23960370 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.819 Prop: 22517.25 PropClause: 21830.857 Set: 2298.961 Check: 2.571 Back: 575.979
INFO - Atoms: 32734/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3397 Props: 23993215 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.822 Prop: 22543.693 PropClause: 21856.481 Set: 2305.39 Check: 2.571 Back: 576.725
INFO - Atoms: 32845/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3398 Props: 24026267 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.827 Prop: 22568.029 PropClause: 21879.99 Set: 2311.879 Check: 2.571 Back: 577.479
INFO - Atoms: 33052/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3399 Props: 24059502 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.831 Prop: 22593.344 PropClause: 21904.466 Set: 2318.366 Check: 2.571 Back: 578.252
INFO - Atoms: 33235/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3400 Props: 24093102 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.837 Prop: 22623.599 PropClause: 21933.867 Set: 2325.298 Check: 2.571 Back: 579.032
INFO - Atoms: 33600/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3401 Props: 24126728 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.841 Prop: 22650.407 PropClause: 21959.829 Set: 2331.842 Check: 2.571 Back: 579.835
INFO - Atoms: 33626/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3402 Props: 24160567 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.847 Prop: 22677.64 PropClause: 21986.222 Set: 2338.485 Check: 2.571 Back: 580.609
INFO - Atoms: 33839/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3403 Props: 24194600 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.852 Prop: 22705.909 PropClause: 22013.646 Set: 2345.114 Check: 2.571 Back: 581.38
INFO - Atoms: 34033/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3404 Props: 24228828 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.857 Prop: 22735.198 PropClause: 22042.086 Set: 2351.935 Check: 2.571 Back: 582.159
INFO - Atoms: 34228/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3405 Props: 24263253 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.863 Prop: 22763.715 PropClause: 22069.744 Set: 2358.749 Check: 2.571 Back: 582.942
INFO - Atoms: 34425/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3406 Props: 24297874 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.867 Prop: 22791.781 PropClause: 22096.942 Set: 2365.592 Check: 2.571 Back: 583.757
INFO - Atoms: 34621/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3407 Props: 24332690 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.872 Prop: 22820.957 PropClause: 22125.249 Set: 2372.416 Check: 2.571 Back: 584.56
INFO - Atoms: 34816/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3408 Props: 24367698 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.877 Prop: 22851.416 PropClause: 22154.833 Set: 2379.352 Check: 2.571 Back: 585.475
INFO - Atoms: 35008/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3409 Props: 24402883 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.882 Prop: 22881.623 PropClause: 22184.122 Set: 2386.547 Check: 2.571 Back: 586.291
INFO - Atoms: 35185/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3410 Props: 24438273 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.886 Prop: 22912.125 PropClause: 22213.708 Set: 2394.044 Check: 2.571 Back: 587.12
INFO - Atoms: 35390/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3411 Props: 24473849 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.891 Prop: 22941.727 PropClause: 22242.41 Set: 2401.214 Check: 2.571 Back: 587.951
INFO - Atoms: 35576/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3412 Props: 24509638 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.896 Prop: 22972.991 PropClause: 22272.777 Set: 2408.318 Check: 2.571 Back: 588.796
INFO - Atoms: 35789/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3413 Props: 24545603 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.9 Prop: 23004.296 PropClause: 22303.176 Set: 2415.409 Check: 2.571 Back: 589.619
INFO - Atoms: 35965/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3414 Props: 24581783 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.904 Prop: 23038.278 PropClause: 22336.258 Set: 2422.738 Check: 2.571 Back: 590.444
INFO - Atoms: 36180/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3415 Props: 24618142 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.909 Prop: 23068.868 PropClause: 22365.94 Set: 2429.93 Check: 2.571 Back: 591.273
INFO - Atoms: 36359/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3416 Props: 24654692 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.915 Prop: 23103.274 PropClause: 22399.436 Set: 2437.457 Check: 2.571 Back: 592.13
INFO - Atoms: 36550/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3417 Props: 24691451 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.921 Prop: 23136.585 PropClause: 22431.816 Set: 2444.979 Check: 2.571 Back: 593.002
INFO - Atoms: 36759/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3418 Props: 24728392 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.926 Prop: 23172.925 PropClause: 22467.039 Set: 2454.005 Check: 2.571 Back: 593.851
INFO - Atoms: 36941/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3419 Props: 24765714 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.93 Prop: 23205.126 PropClause: 22498.291 Set: 2461.427 Check: 2.571 Back: 594.699
INFO - Atoms: 37322/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3420 Props: 24803045 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.934 Prop: 23235.223 PropClause: 22527.442 Set: 2468.774 Check: 2.571 Back: 595.565
INFO - Atoms: 37331/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3421 Props: 24840758 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.94 Prop: 23266.465 PropClause: 22557.733 Set: 2476.448 Check: 2.571 Back: 596.424
INFO - Atoms: 37713/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3422 Props: 24878478 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.946 Prop: 23303.205 PropClause: 22593.508 Set: 2484.305 Check: 2.571 Back: 597.297
INFO - Atoms: 37720/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3423 Props: 24916413 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.951 Prop: 23342.712 PropClause: 22631.994 Set: 2492.542 Check: 2.571 Back: 598.313
INFO - Atoms: 37935/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3424 Props: 24954523 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.956 Prop: 23379.204 PropClause: 22667.517 Set: 2500.356 Check: 2.571 Back: 599.211
INFO - Atoms: 38110/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3425 Props: 24992844 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.961 Prop: 23414.375 PropClause: 22701.727 Set: 2523.826 Check: 2.571 Back: 600.214
INFO - Atoms: 38321/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3426 Props: 25031448 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.966 Prop: 23449.54 PropClause: 22735.926 Set: 2531.724 Check: 2.571 Back: 601.183
INFO - Atoms: 38604/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3427 Props: 25076002 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.97 Prop: 23493.181 PropClause: 22778.435 Set: 2541.394 Check: 2.571 Back: 602.071
INFO - Atoms: 44554/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3428 Props: 25120746 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.975 Prop: 23541.579 PropClause: 22825.681 Set: 2551.194 Check: 2.571 Back: 603.122
INFO - Atoms: 44744/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3429 Props: 25165684 Tprops: 0 Decides: 107877 RSplits: 0
INFO - Times: Expl: 5565.98 Prop: 23586.569 PropClause: 22869.533 Set: 2560.873 Check: 2.571 Back: 604.167
INFO - Atoms: 44938/57982 Clauses: 726 Axioms: 192706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 391 Props: 43510 Tprops: 1078 Decides: 42063 RSplits: 0
INFO - Times: Expl: 205.448 Prop: 49940.425 PropClause: 18.706 Set: 4745.967 Check: 133.679 Back: 125.016
INFO - Atoms: 46/835 Clauses: 391 Axioms: 835
INFO - CCTimes: iE 252399 eq 24261966 cc 65907417 setRep 45374989
INFO - Merges: 244632, cc:401540
INFO - BVTimes: BB 199205505 BB_DPLL 47028715848 Graph 981238
INFO - BitBlastingClauses: 367346 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat