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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 288017961
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 57833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.695 Prop: 118.549 PropClause: 113.804 Set: 52.015 Check: 0.0 Back: 0.0
INFO - Atoms: 57833/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 115199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.783 Prop: 205.769 PropClause: 197.261 Set: 66.117 Check: 0.0 Back: 1.495
INFO - Atoms: 57366/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 172568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.832 Prop: 283.607 PropClause: 272.813 Set: 79.842 Check: 0.0 Back: 3.025
INFO - Atoms: 57369/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 229928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.91 Prop: 356.125 PropClause: 343.663 Set: 92.75 Check: 0.0 Back: 4.485
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 287297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.958 Prop: 434.413 PropClause: 420.316 Set: 106.717 Check: 0.0 Back: 5.843
INFO - Atoms: 57369/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 344657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.008 Prop: 510.542 PropClause: 494.752 Set: 127.796 Check: 0.0 Back: 7.316
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 402017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.08 Prop: 575.227 PropClause: 558.034 Set: 144.418 Check: 0.0 Back: 8.777
INFO - Atoms: 57360/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 459366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.126 Prop: 640.693 PropClause: 622.098 Set: 154.692 Check: 0.0 Back: 10.094
INFO - Atoms: 57349/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 516702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.175 Prop: 708.788 PropClause: 688.789 Set: 165.246 Check: 0.0 Back: 11.409
INFO - Atoms: 57336/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 573742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.221 Prop: 777.05 PropClause: 755.647 Set: 175.539 Check: 0.0 Back: 12.766
INFO - Atoms: 57040/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 630485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.266 Prop: 840.838 PropClause: 818.036 Set: 185.909 Check: 0.0 Back: 14.05
INFO - Atoms: 56743/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 686923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.343 Prop: 907.194 PropClause: 883.002 Set: 196.194 Check: 0.0 Back: 15.326
INFO - Atoms: 56438/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 743064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.398 Prop: 970.56 PropClause: 944.993 Set: 206.367 Check: 0.0 Back: 16.76
INFO - Atoms: 56141/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 798900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.469 Prop: 1037.583 PropClause: 1010.642 Set: 216.561 Check: 0.0 Back: 18.184
INFO - Atoms: 55836/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 854439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 1101.067 PropClause: 1072.753 Set: 232.876 Check: 0.0 Back: 19.591
INFO - Atoms: 55539/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 909673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.576 Prop: 1165.418 PropClause: 1135.749 Set: 249.039 Check: 0.0 Back: 20.843
INFO - Atoms: 55234/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 964610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.625 Prop: 1228.916 PropClause: 1197.893 Set: 265.149 Check: 0.0 Back: 22.09
INFO - Atoms: 54937/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1019242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.674 Prop: 1292.16 PropClause: 1259.794 Set: 275.086 Check: 0.0 Back: 23.342
INFO - Atoms: 54632/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1073577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.746 Prop: 1350.982 PropClause: 1317.285 Set: 284.824 Check: 0.0 Back: 24.573
INFO - Atoms: 54335/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1127607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.797 Prop: 1426.245 PropClause: 1391.007 Set: 297.836 Check: 0.0 Back: 25.788
INFO - Atoms: 54030/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1181340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 1484.095 PropClause: 1447.534 Set: 307.547 Check: 0.0 Back: 27.071
INFO - Atoms: 53733/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1234768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.899 Prop: 1559.214 PropClause: 1521.103 Set: 320.237 Check: 0.0 Back: 28.301
INFO - Atoms: 53428/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1287899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 1616.992 PropClause: 1577.569 Set: 329.817 Check: 0.0 Back: 29.521
INFO - Atoms: 53131/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1340725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.989 Prop: 1674.708 PropClause: 1633.986 Set: 339.31 Check: 0.0 Back: 30.73
INFO - Atoms: 52826/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1393254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.038 Prop: 1731.612 PropClause: 1689.596 Set: 370.275 Check: 0.0 Back: 31.911
INFO - Atoms: 52529/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1445478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.085 Prop: 1788.848 PropClause: 1745.547 Set: 379.679 Check: 0.0 Back: 33.104
INFO - Atoms: 52224/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1497405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.126 Prop: 1844.103 PropClause: 1799.525 Set: 389.009 Check: 0.0 Back: 34.279
INFO - Atoms: 51927/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1549027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 1900.104 PropClause: 1854.256 Set: 398.226 Check: 0.0 Back: 35.45
INFO - Atoms: 51622/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1600352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 1955.497 PropClause: 1908.385 Set: 407.473 Check: 0.0 Back: 36.616
INFO - Atoms: 51325/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1651372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.292 Prop: 2010.952 PropClause: 1962.586 Set: 416.6 Check: 0.0 Back: 37.771
INFO - Atoms: 51020/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1702095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 2066.328 PropClause: 2016.716 Set: 425.693 Check: 0.0 Back: 38.917
INFO - Atoms: 50723/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1752513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.389 Prop: 2122.938 PropClause: 2072.08 Set: 434.744 Check: 0.0 Back: 40.057
INFO - Atoms: 50418/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1802634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.433 Prop: 2180.183 PropClause: 2128.091 Set: 449.559 Check: 0.0 Back: 41.201
INFO - Atoms: 50121/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1852450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 2235.082 PropClause: 2181.774 Set: 464.102 Check: 0.0 Back: 42.336
INFO - Atoms: 49816/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1901969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.516 Prop: 2287.801 PropClause: 2233.282 Set: 478.63 Check: 0.0 Back: 43.453
INFO - Atoms: 49519/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1951183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.56 Prop: 2341.3 PropClause: 2285.577 Set: 492.683 Check: 0.0 Back: 44.561
INFO - Atoms: 49214/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2000100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.602 Prop: 2393.712 PropClause: 2336.795 Set: 506.834 Check: 0.0 Back: 45.671
INFO - Atoms: 48917/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2048712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.645 Prop: 2448.805 PropClause: 2390.699 Set: 520.738 Check: 0.0 Back: 46.765
INFO - Atoms: 48612/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2097027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.693 Prop: 2500.991 PropClause: 2441.706 Set: 534.585 Check: 0.0 Back: 47.853
INFO - Atoms: 48315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2145037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.735 Prop: 2551.422 PropClause: 2490.963 Set: 548.274 Check: 0.0 Back: 48.935
INFO - Atoms: 48010/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2192750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.783 Prop: 2607.912 PropClause: 2546.096 Set: 558.954 Check: 0.0 Back: 50.01
INFO - Atoms: 47713/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2240158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.836 Prop: 2658.133 PropClause: 2595.145 Set: 567.287 Check: 0.0 Back: 51.078
INFO - Atoms: 47408/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2287269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.88 Prop: 2707.692 PropClause: 2643.543 Set: 575.597 Check: 0.0 Back: 52.147
INFO - Atoms: 47111/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2334075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.923 Prop: 2757.843 PropClause: 2692.547 Set: 583.837 Check: 0.0 Back: 53.218
INFO - Atoms: 46806/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2380584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.975 Prop: 2820.35 PropClause: 2753.727 Set: 594.39 Check: 0.0 Back: 54.279
INFO - Atoms: 46509/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2426788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 2881.683 PropClause: 2813.734 Set: 604.829 Check: 0.0 Back: 55.461
INFO - Atoms: 46204/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2472695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 2941.46 PropClause: 2872.193 Set: 615.273 Check: 0.0 Back: 56.642
INFO - Atoms: 45907/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2518297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.121 Prop: 2997.285 PropClause: 2926.713 Set: 625.404 Check: 0.0 Back: 57.812
INFO - Atoms: 45602/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2563602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.173 Prop: 3055.464 PropClause: 2983.59 Set: 635.6 Check: 0.0 Back: 58.978
INFO - Atoms: 45305/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2608602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 3106.894 PropClause: 3033.732 Set: 645.47 Check: 0.0 Back: 60.138
INFO - Atoms: 45000/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2653305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.269 Prop: 3159.84 PropClause: 3085.378 Set: 655.315 Check: 0.0 Back: 61.284
INFO - Atoms: 44703/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2697703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 3211.805 PropClause: 3136.061 Set: 665.042 Check: 0.0 Back: 62.421
INFO - Atoms: 44398/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2741804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.468 Prop: 3264.653 PropClause: 3187.627 Set: 674.88 Check: 0.0 Back: 63.556
INFO - Atoms: 44101/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2785600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.491 Prop: 3313.827 PropClause: 3235.547 Set: 684.519 Check: 0.0 Back: 64.68
INFO - Atoms: 43796/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2829099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 3363.645 PropClause: 3284.109 Set: 694.097 Check: 0.0 Back: 65.803
INFO - Atoms: 43499/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2872293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.537 Prop: 3414.684 PropClause: 3333.911 Set: 703.729 Check: 0.0 Back: 66.925
INFO - Atoms: 43194/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2915190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 3465.692 PropClause: 3383.691 Set: 713.216 Check: 0.0 Back: 68.024
INFO - Atoms: 42897/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2957782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.595 Prop: 3516.077 PropClause: 3432.858 Set: 722.615 Check: 0.0 Back: 69.121
INFO - Atoms: 42592/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3000077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.616 Prop: 3566.517 PropClause: 3482.085 Set: 762.966 Check: 0.0 Back: 70.209
INFO - Atoms: 42295/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3042067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.64 Prop: 3614.926 PropClause: 3529.29 Set: 772.139 Check: 0.0 Back: 71.299
INFO - Atoms: 41990/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3083760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 3662.033 PropClause: 3575.193 Set: 781.323 Check: 0.0 Back: 72.381
INFO - Atoms: 41693/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3125148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 3711.117 PropClause: 3623.094 Set: 790.516 Check: 0.0 Back: 73.457
INFO - Atoms: 41388/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3166239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 3761.287 PropClause: 3672.076 Set: 799.693 Check: 0.0 Back: 74.515
INFO - Atoms: 41091/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3207025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 3809.572 PropClause: 3719.192 Set: 808.638 Check: 0.0 Back: 75.574
INFO - Atoms: 40786/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3247514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.758 Prop: 3857.842 PropClause: 3766.3 Set: 817.72 Check: 0.0 Back: 76.616
INFO - Atoms: 40489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3287698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 3911.899 PropClause: 3819.202 Set: 826.532 Check: 0.0 Back: 77.646
INFO - Atoms: 40184/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3327585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 3957.421 PropClause: 3863.562 Set: 835.368 Check: 0.0 Back: 78.669
INFO - Atoms: 39887/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3367166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.832 Prop: 4001.815 PropClause: 3906.82 Set: 844.023 Check: 0.0 Back: 79.699
INFO - Atoms: 39581/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3409045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.861 Prop: 4050.705 PropClause: 3954.506 Set: 853.794 Check: 0.0 Back: 80.706
INFO - Atoms: 41879/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3450940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 4104.5 PropClause: 4007.074 Set: 863.383 Check: 0.0 Back: 81.785
INFO - Atoms: 41895/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3493137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 4152.546 PropClause: 4053.906 Set: 873.108 Check: 0.0 Back: 82.854
INFO - Atoms: 42197/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3535338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.94 Prop: 4199.433 PropClause: 4099.57 Set: 882.552 Check: 0.0 Back: 83.929
INFO - Atoms: 42201/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3576095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.968 Prop: 4249.676 PropClause: 4148.642 Set: 891.901 Check: 0.0 Back: 85.019
INFO - Atoms: 40757/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3618578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 4300.267 PropClause: 4198.014 Set: 901.644 Check: 0.0 Back: 86.069
INFO - Atoms: 42483/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3661343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 4352.794 PropClause: 4249.31 Set: 911.585 Check: 0.0 Back: 87.163
INFO - Atoms: 42765/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3704113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 4402.387 PropClause: 4297.675 Set: 921.435 Check: 0.0 Back: 88.252
INFO - Atoms: 42770/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3746603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.083 Prop: 4451.064 PropClause: 4345.133 Set: 931.095 Check: 0.0 Back: 89.346
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3789097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.108 Prop: 4499.172 PropClause: 4392.02 Set: 940.763 Check: 0.0 Back: 90.434
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3830149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 4547.826 PropClause: 4439.488 Set: 950.105 Check: 0.0 Back: 91.518
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3872639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 4597.123 PropClause: 4487.516 Set: 964.694 Check: 0.0 Back: 92.564
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3915411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 4647.638 PropClause: 4536.761 Set: 980.413 Check: 0.0 Back: 93.648
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3958188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.22 Prop: 4697.689 PropClause: 4585.54 Set: 995.979 Check: 0.0 Back: 94.738
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4000678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 4752.055 PropClause: 4638.64 Set: 1011.426 Check: 0.0 Back: 95.831
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4043172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 4802.497 PropClause: 4687.818 Set: 1026.853 Check: 0.0 Back: 96.915
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4084224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.301 Prop: 4853.472 PropClause: 4737.601 Set: 1036.313 Check: 0.0 Back: 98.005
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4126714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 4903.963 PropClause: 4786.872 Set: 1046.174 Check: 0.0 Back: 99.053
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4169486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.357 Prop: 4955.232 PropClause: 4836.901 Set: 1056.177 Check: 0.0 Back: 100.142
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4212263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.396 Prop: 5014.055 PropClause: 4894.497 Set: 1066.131 Check: 0.0 Back: 101.249
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4254753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 5066.998 PropClause: 4946.219 Set: 1076.003 Check: 0.0 Back: 102.344
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4297247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 5116.879 PropClause: 4994.879 Set: 1085.787 Check: 0.0 Back: 103.433
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4338299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.482 Prop: 5165.12 PropClause: 5041.942 Set: 1095.159 Check: 0.0 Back: 104.537
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4380789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.508 Prop: 5211.317 PropClause: 5086.92 Set: 1104.926 Check: 0.0 Back: 105.583
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4423561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.013 Prop: 5261.252 PropClause: 5135.629 Set: 1114.893 Check: 0.0 Back: 106.664
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4466338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.072 Prop: 5310.616 PropClause: 5183.77 Set: 1124.73 Check: 0.0 Back: 107.756
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4508828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 5360.664 PropClause: 5232.589 Set: 1134.494 Check: 0.0 Back: 108.849
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4551322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.119 Prop: 5413.401 PropClause: 5284.106 Set: 1144.278 Check: 0.0 Back: 109.933
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4592374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 5475.304 PropClause: 5344.829 Set: 1153.767 Check: 0.0 Back: 111.034
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4634864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 5523.554 PropClause: 5391.86 Set: 1163.669 Check: 0.0 Back: 112.084
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4677636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 5572.135 PropClause: 5439.213 Set: 1173.687 Check: 0.0 Back: 113.172
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4718684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 5619.597 PropClause: 5485.485 Set: 1182.928 Check: 0.0 Back: 114.271
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4761457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.243 Prop: 5668.738 PropClause: 5533.4 Set: 1192.994 Check: 0.0 Back: 115.319
INFO - Atoms: 42773/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4803946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.717 Prop: 5717.971 PropClause: 5581.4 Set: 1202.812 Check: 0.0 Back: 116.414
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4844998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 5767.272 PropClause: 5629.513 Set: 1212.282 Check: 0.0 Back: 117.498
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4887488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 5819.288 PropClause: 5680.295 Set: 1222.362 Check: 0.0 Back: 118.547
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4930260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.822 Prop: 5858.951 PropClause: 5718.89 Set: 1230.178 Check: 0.0 Back: 119.625
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4973037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 5911.742 PropClause: 5770.455 Set: 1240.8 Check: 0.0 Back: 120.584
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5015527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.859 Prop: 5963.336 PropClause: 5820.786 Set: 1251.08 Check: 0.0 Back: 121.677
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5058021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 6002.416 PropClause: 5858.822 Set: 1258.707 Check: 0.0 Back: 122.77
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5099073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.926 Prop: 6041.578 PropClause: 5896.972 Set: 1266.048 Check: 0.0 Back: 123.742
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5141563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 6082.694 PropClause: 5937.021 Set: 1292.93 Check: 0.0 Back: 124.665
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5184335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 6126.066 PropClause: 5979.331 Set: 1300.917 Check: 0.0 Back: 125.655
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5227112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 6166.506 PropClause: 6018.718 Set: 1308.738 Check: 0.0 Back: 126.621
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5269602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.973 Prop: 6208.622 PropClause: 6059.696 Set: 1317.19 Check: 0.0 Back: 127.585
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5312096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 6250.032 PropClause: 6100.058 Set: 1325.061 Check: 0.0 Back: 128.559
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5353148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 6287.968 PropClause: 6136.986 Set: 1332.366 Check: 0.0 Back: 129.503
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5395638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 6325.342 PropClause: 6173.322 Set: 1339.978 Check: 0.0 Back: 130.425
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5438410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 6361.88 PropClause: 6208.803 Set: 1347.639 Check: 0.0 Back: 131.375
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5481187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.031 Prop: 6400.738 PropClause: 6246.606 Set: 1355.315 Check: 0.0 Back: 132.333
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5523677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 6438.561 PropClause: 6283.389 Set: 1362.94 Check: 0.0 Back: 133.289
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5566171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.049 Prop: 6476.086 PropClause: 6319.859 Set: 1370.503 Check: 0.0 Back: 134.241
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5607223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 6513.492 PropClause: 6356.251 Set: 1377.914 Check: 0.0 Back: 135.204
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5649713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 6550.548 PropClause: 6392.25 Set: 1385.503 Check: 0.0 Back: 136.153
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5692485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 6587.502 PropClause: 6428.156 Set: 1393.164 Check: 0.0 Back: 137.111
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5735262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.093 Prop: 6624.111 PropClause: 6463.716 Set: 1400.807 Check: 0.0 Back: 138.069
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5777752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 6660.199 PropClause: 6498.765 Set: 1408.387 Check: 0.0 Back: 139.029
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5820246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 6699.671 PropClause: 6537.115 Set: 1416.39 Check: 0.0 Back: 139.979
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5861298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 6735.69 PropClause: 6572.127 Set: 1423.6 Check: 0.0 Back: 140.939
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5903788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.133 Prop: 6771.486 PropClause: 6606.845 Set: 1431.15 Check: 0.0 Back: 141.866
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5946560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 6808.109 PropClause: 6642.35 Set: 1438.739 Check: 0.0 Back: 142.819
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5989337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 6844.689 PropClause: 6677.879 Set: 1446.349 Check: 0.0 Back: 143.776
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6031827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 6880.992 PropClause: 6713.142 Set: 1453.904 Check: 0.0 Back: 144.761
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6074321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.174 Prop: 6918.53 PropClause: 6749.638 Set: 1461.508 Check: 0.0 Back: 145.769
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6115373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 6954.26 PropClause: 6784.36 Set: 1468.724 Check: 0.0 Back: 146.721
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6157863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.192 Prop: 6992.554 PropClause: 6821.608 Set: 1476.527 Check: 0.0 Back: 147.64
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6200635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 7031.99 PropClause: 6859.992 Set: 1484.315 Check: 0.0 Back: 148.6
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6243412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.21 Prop: 7069.941 PropClause: 6896.895 Set: 1491.945 Check: 0.0 Back: 149.561
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6285902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.223 Prop: 7107.973 PropClause: 6933.886 Set: 1499.623 Check: 0.0 Back: 150.519
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6328396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 7147.267 PropClause: 6972.124 Set: 1507.35 Check: 0.0 Back: 151.471
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6369448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 7184.068 PropClause: 7007.902 Set: 1514.78 Check: 0.0 Back: 152.455
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6411938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.259 Prop: 7222.101 PropClause: 7044.867 Set: 1522.506 Check: 0.0 Back: 153.402
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6454710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.272 Prop: 7260.554 PropClause: 7082.254 Set: 1530.403 Check: 0.0 Back: 154.362
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6497487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 7298.869 PropClause: 7119.512 Set: 1538.196 Check: 0.0 Back: 155.339
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6539977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.295 Prop: 7338.167 PropClause: 7157.744 Set: 1546.017 Check: 0.0 Back: 156.327
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6582471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.306 Prop: 7376.045 PropClause: 7194.567 Set: 1553.635 Check: 0.0 Back: 157.293
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6623523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.315 Prop: 7412.798 PropClause: 7230.312 Set: 1560.959 Check: 0.0 Back: 158.25
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6666013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.325 Prop: 7450.928 PropClause: 7267.41 Set: 1568.6 Check: 0.0 Back: 159.179
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6708785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 7490.194 PropClause: 7305.608 Set: 1576.535 Check: 0.0 Back: 160.129
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6751562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.347 Prop: 7527.382 PropClause: 7341.746 Set: 1584.209 Check: 0.0 Back: 161.109
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6794052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.356 Prop: 7564.691 PropClause: 7378.015 Set: 1591.807 Check: 0.0 Back: 162.068
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6836546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 7601.919 PropClause: 7414.195 Set: 1599.412 Check: 0.0 Back: 163.019
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6879327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 7640.357 PropClause: 7451.582 Set: 1607.18 Check: 0.0 Back: 163.969
INFO - Atoms: 42781/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6921816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.386 Prop: 7681.011 PropClause: 7491.187 Set: 1614.843 Check: 0.0 Back: 164.93
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6964306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 7725.084 PropClause: 7534.198 Set: 1622.897 Check: 0.0 Back: 165.896
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 7005354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.41 Prop: 7763.238 PropClause: 7571.346 Set: 1630.187 Check: 0.0 Back: 166.863
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 7048127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.422 Prop: 7801.562 PropClause: 7608.601 Set: 1638.157 Check: 0.0 Back: 167.785
INFO - Atoms: 42773/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 7090616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.431 Prop: 7839.375 PropClause: 7645.372 Set: 1645.838 Check: 0.0 Back: 168.742
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 7133398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 7878.698 PropClause: 7683.638 Set: 1653.647 Check: 0.0 Back: 169.692
INFO - Atoms: 42782/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 7175887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.451 Prop: 7919.183 PropClause: 7723.077 Set: 1661.346 Check: 0.0 Back: 170.658
INFO - Atoms: 42489/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 7218377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.462 Prop: 7963.755 PropClause: 7766.407 Set: 1670.734 Check: 0.0 Back: 171.638
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 7261155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 8003.607 PropClause: 7805.2 Set: 1678.45 Check: 0.0 Back: 172.707
INFO - Atoms: 42778/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 7303645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.484 Prop: 8041.879 PropClause: 7842.421 Set: 1686.179 Check: 0.0 Back: 173.672
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 7346139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 8081.558 PropClause: 7881.054 Set: 1693.867 Check: 0.0 Back: 174.638
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7387191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 8120.564 PropClause: 7919.055 Set: 1701.239 Check: 0.0 Back: 175.589
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7429681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 8157.927 PropClause: 7955.354 Set: 1709.073 Check: 0.0 Back: 176.507
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7472453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 8198.973 PropClause: 7995.347 Set: 1716.985 Check: 0.0 Back: 177.464
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7515230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 8240.124 PropClause: 8035.44 Set: 1724.809 Check: 0.0 Back: 178.428
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7557720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 8280.566 PropClause: 8074.814 Set: 1732.681 Check: 0.0 Back: 179.389
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7600214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 8321.203 PropClause: 8114.402 Set: 1740.47 Check: 0.0 Back: 180.355
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7641266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.57 Prop: 8360.355 PropClause: 8152.544 Set: 1747.929 Check: 0.0 Back: 181.314
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7683756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.58 Prop: 8399.739 PropClause: 8190.879 Set: 1755.749 Check: 0.0 Back: 182.246
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7726528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 8438.427 PropClause: 8228.513 Set: 1763.628 Check: 0.0 Back: 183.2
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7769305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 8479.18 PropClause: 8268.21 Set: 1771.505 Check: 0.0 Back: 184.162
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7811795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.611 Prop: 8519.273 PropClause: 8307.245 Set: 1779.353 Check: 0.0 Back: 185.126
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7854289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.622 Prop: 8560.368 PropClause: 8347.283 Set: 1787.181 Check: 0.0 Back: 186.088
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7895341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.633 Prop: 8598.889 PropClause: 8384.792 Set: 1794.646 Check: 0.0 Back: 187.056
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7937831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.644 Prop: 8638.807 PropClause: 8423.663 Set: 1802.524 Check: 0.0 Back: 187.982
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7980603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.654 Prop: 8681.321 PropClause: 8465.116 Set: 1810.595 Check: 0.0 Back: 188.941
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 8023380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.664 Prop: 8723.351 PropClause: 8506.092 Set: 1818.576 Check: 0.0 Back: 189.9
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 8065870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 8762.112 PropClause: 8543.794 Set: 1826.37 Check: 0.0 Back: 190.862
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 8108364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.683 Prop: 8800.552 PropClause: 8581.192 Set: 1834.117 Check: 0.0 Back: 191.815
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 8149416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 8840.055 PropClause: 8619.689 Set: 1841.536 Check: 0.0 Back: 192.765
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 8191906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.702 Prop: 8877.8 PropClause: 8656.388 Set: 1849.357 Check: 0.0 Back: 193.683
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 8234678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.712 Prop: 8916.592 PropClause: 8694.127 Set: 1857.282 Check: 0.0 Back: 194.638
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 8277455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.723 Prop: 8956.988 PropClause: 8733.471 Set: 1865.159 Check: 0.0 Back: 195.598
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 8319945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.733 Prop: 8996.288 PropClause: 8771.726 Set: 1873.041 Check: 0.0 Back: 196.559
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 8362439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 9038.334 PropClause: 8812.725 Set: 1880.863 Check: 0.0 Back: 197.531
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 8403491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.756 Prop: 9076.89 PropClause: 8850.266 Set: 1888.292 Check: 0.0 Back: 198.499
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 8445981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 9114.915 PropClause: 8887.239 Set: 1896.079 Check: 0.0 Back: 199.426
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 8488753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 9154.627 PropClause: 8925.903 Set: 1903.95 Check: 0.0 Back: 200.376
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 8531530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.785 Prop: 9195.119 PropClause: 8965.341 Set: 1911.85 Check: 0.0 Back: 201.339
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 8574020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.795 Prop: 9234.377 PropClause: 9003.551 Set: 1919.731 Check: 0.0 Back: 202.303
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 8616514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 9274.873 PropClause: 9043.0 Set: 1927.526 Check: 0.0 Back: 203.259
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8657566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.814 Prop: 9313.478 PropClause: 9080.595 Set: 1935.039 Check: 0.0 Back: 204.231
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8700056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.825 Prop: 9351.839 PropClause: 9117.911 Set: 1942.877 Check: 0.0 Back: 205.154
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8742828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.837 Prop: 9390.589 PropClause: 9155.597 Set: 1950.812 Check: 0.0 Back: 206.116
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8785605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 9434.424 PropClause: 9198.334 Set: 1959.021 Check: 0.0 Back: 207.117
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8828095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 9475.289 PropClause: 9238.15 Set: 1966.927 Check: 0.0 Back: 208.087
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8870589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.87 Prop: 9515.516 PropClause: 9277.323 Set: 1974.775 Check: 0.0 Back: 209.076
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8911641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.882 Prop: 9556.091 PropClause: 9316.885 Set: 1982.334 Check: 0.0 Back: 210.034
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8954131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 9595.698 PropClause: 9355.446 Set: 1990.189 Check: 0.0 Back: 210.958
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8996903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 9636.624 PropClause: 9395.318 Set: 1998.152 Check: 0.0 Back: 211.918
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 9039680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.915 Prop: 9677.326 PropClause: 9434.965 Set: 2006.104 Check: 0.0 Back: 212.897
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 9082170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 9717.045 PropClause: 9473.63 Set: 2013.97 Check: 0.0 Back: 213.894
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 9124664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.936 Prop: 9757.225 PropClause: 9512.763 Set: 2021.879 Check: 0.0 Back: 214.857
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 9165716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 9795.893 PropClause: 9550.419 Set: 2029.375 Check: 0.0 Back: 215.816
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 9208206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 9835.258 PropClause: 9588.741 Set: 2037.232 Check: 0.0 Back: 216.741
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 9250978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.966 Prop: 9874.927 PropClause: 9627.358 Set: 2045.208 Check: 0.0 Back: 217.691
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 9293755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 9917.496 PropClause: 9668.864 Set: 2053.354 Check: 0.0 Back: 218.654
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 9336245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 9956.742 PropClause: 9707.072 Set: 2061.188 Check: 0.0 Back: 219.619
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 9378739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.998 Prop: 9995.255 PropClause: 9744.543 Set: 2068.919 Check: 0.0 Back: 220.58
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 9419791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 10032.453 PropClause: 9780.724 Set: 2076.268 Check: 0.0 Back: 221.531
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 9462281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.019 Prop: 10070.155 PropClause: 9817.383 Set: 2084.049 Check: 0.0 Back: 222.452
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 9505053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.026 Prop: 10107.838 PropClause: 9854.019 Set: 2091.876 Check: 0.0 Back: 223.405
INFO - Atoms: 42772/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 9547830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.035 Prop: 10145.769 PropClause: 9890.895 Set: 2099.688 Check: 0.0 Back: 224.364
INFO - Atoms: 42777/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 9590320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.048 Prop: 10187.6 PropClause: 9931.495 Set: 2108.781 Check: 0.0 Back: 225.336
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 9632814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.059 Prop: 10226.36 PropClause: 9969.201 Set: 2116.498 Check: 0.0 Back: 226.301
INFO - Atoms: 42494/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 9673866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.071 Prop: 10264.483 PropClause: 10006.297 Set: 2123.94 Check: 0.0 Back: 227.285
INFO - Atoms: 41052/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 9716356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.083 Prop: 10304.555 PropClause: 10045.309 Set: 2131.951 Check: 0.0 Back: 228.216
INFO - Atoms: 42490/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9758997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 10343.165 PropClause: 10082.854 Set: 2139.892 Check: 0.0 Back: 229.191
INFO - Atoms: 42641/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9800045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.107 Prop: 10381.392 PropClause: 10120.035 Set: 2147.293 Check: 0.0 Back: 230.163
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9842553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 10418.485 PropClause: 10156.084 Set: 2155.069 Check: 0.0 Back: 231.085
INFO - Atoms: 42508/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9884909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 10459.146 PropClause: 10195.616 Set: 2163.525 Check: 0.0 Back: 232.036
INFO - Atoms: 42356/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9927425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.141 Prop: 10496.638 PropClause: 10232.053 Set: 2171.326 Check: 0.0 Back: 233.027
INFO - Atoms: 42516/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9969646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.152 Prop: 10534.82 PropClause: 10269.195 Set: 2179.019 Check: 0.0 Back: 233.995
INFO - Atoms: 42221/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 10011868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.163 Prop: 10572.401 PropClause: 10305.737 Set: 2186.711 Check: 0.0 Back: 234.988
INFO - Atoms: 42222/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 10052916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.172 Prop: 10609.063 PropClause: 10341.385 Set: 2194.083 Check: 0.0 Back: 235.942
INFO - Atoms: 41048/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 10094862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 10645.23 PropClause: 10376.519 Set: 2201.73 Check: 0.0 Back: 236.872
INFO - Atoms: 41946/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 10136808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.192 Prop: 10683.097 PropClause: 10413.353 Set: 2209.42 Check: 0.0 Back: 237.81
INFO - Atoms: 41946/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 10178753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.202 Prop: 10723.209 PropClause: 10452.433 Set: 2217.258 Check: 0.0 Back: 238.752
INFO - Atoms: 41945/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 10219767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.21 Prop: 10762.107 PropClause: 10490.323 Set: 2224.787 Check: 0.0 Back: 239.7
INFO - Atoms: 41014/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 10261074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.22 Prop: 10801.819 PropClause: 10529.018 Set: 2232.418 Check: 0.0 Back: 240.626
INFO - Atoms: 41307/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 10302088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.23 Prop: 10839.945 PropClause: 10566.133 Set: 2239.924 Check: 0.0 Back: 241.555
INFO - Atoms: 41014/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 10343403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.241 Prop: 10878.704 PropClause: 10603.873 Set: 2247.523 Check: 0.0 Back: 242.478
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 10384422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 10916.915 PropClause: 10641.073 Set: 2255.0 Check: 0.0 Back: 243.409
INFO - Atoms: 41019/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 10425737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.26 Prop: 10955.543 PropClause: 10678.685 Set: 2262.627 Check: 0.0 Back: 244.348
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 10466752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.271 Prop: 10992.571 PropClause: 10714.693 Set: 2270.105 Check: 0.0 Back: 245.288
INFO - Atoms: 41015/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 10508067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.28 Prop: 11030.767 PropClause: 10751.872 Set: 2277.7 Check: 0.0 Back: 246.212
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 10549086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.288 Prop: 11067.865 PropClause: 10787.957 Set: 2285.059 Check: 0.0 Back: 247.143
INFO - Atoms: 41019/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 10590401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.299 Prop: 11106.967 PropClause: 10826.03 Set: 2292.653 Check: 0.0 Back: 248.065
INFO - Atoms: 41315/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 10631416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.307 Prop: 11144.9 PropClause: 10862.945 Set: 2300.061 Check: 0.0 Back: 248.993
INFO - Atoms: 41015/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 10672448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.316 Prop: 11181.989 PropClause: 10899.036 Set: 2307.428 Check: 0.0 Back: 249.918
INFO - Atoms: 41032/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 10713182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.329 Prop: 11221.736 PropClause: 10937.776 Set: 2314.917 Check: 0.0 Back: 250.839
INFO - Atoms: 40734/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 10753919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.341 Prop: 11261.438 PropClause: 10976.46 Set: 2322.47 Check: 0.0 Back: 251.756
INFO - Atoms: 40737/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 10793803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.351 Prop: 11298.165 PropClause: 11012.204 Set: 2329.546 Check: 0.0 Back: 252.691
INFO - Atoms: 39884/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10833388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.363 Prop: 11333.869 PropClause: 11046.932 Set: 2336.619 Check: 0.0 Back: 253.586
INFO - Atoms: 39585/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10854003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.402 Prop: 11359.785 PropClause: 11072.173 Set: 2348.594 Check: 0.0 Back: 254.475
INFO - Atoms: 20615/57952 Clauses: 389 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 746 Props: 11462650 Tprops: 0 Decides: 854 RSplits: 0
INFO - Times: Expl: 680.192 Prop: 11676.211 PropClause: 11370.703 Set: 2366.51 Check: 0.029 Back: 269.817
INFO - Atoms: 18709/57952 Clauses: 888 Axioms: 191026
INFO - Restart
INFO - Confl: 1246 Props: 14803873 Tprops: 0 Decides: 14585 RSplits: 0
INFO - Times: Expl: 2081.091 Prop: 14862.94 PropClause: 14464.09 Set: 2449.387 Check: 0.364 Back: 353.426
INFO - Atoms: 18778/57952 Clauses: 1388 Axioms: 191026
INFO - Restart
INFO - Confl: 2246 Props: 15750806 Tprops: 0 Decides: 18475 RSplits: 0
INFO - Times: Expl: 2588.281 Prop: 15404.984 PropClause: 14979.444 Set: 2472.385 Check: 0.461 Back: 376.151
INFO - Atoms: 18787/57952 Clauses: 2388 Axioms: 191026
INFO - Restart
INFO - Confl: 2746 Props: 16178420 Tprops: 0 Decides: 19184 RSplits: 0
INFO - Times: Expl: 2720.39 Prop: 15582.93 PropClause: 15144.62 Set: 2483.432 Check: 0.48 Back: 387.037
INFO - Atoms: 18787/57952 Clauses: 2888 Axioms: 191026
INFO - Restart
INFO - Confl: 3246 Props: 16566915 Tprops: 0 Decides: 20244 RSplits: 0
INFO - Times: Expl: 2964.699 Prop: 15755.937 PropClause: 15307.042 Set: 2492.697 Check: 0.507 Back: 396.142
INFO - Atoms: 18787/57952 Clauses: 3388 Axioms: 191026
INFO - Restart
INFO - Confl: 4246 Props: 17452304 Tprops: 0 Decides: 22693 RSplits: 0
INFO - Times: Expl: 3418.58 Prop: 16202.015 PropClause: 15730.078 Set: 2513.419 Check: 0.567 Back: 416.62
INFO - Atoms: 18787/57952 Clauses: 4388 Axioms: 191026
INFO - Restart
INFO - Confl: 6246 Props: 19037551 Tprops: 0 Decides: 25778 RSplits: 0
INFO - Times: Expl: 4181.041 Prop: 16750.959 PropClause: 16238.095 Set: 2550.252 Check: 0.641 Back: 452.92
INFO - Atoms: 18787/57952 Clauses: 6388 Axioms: 191026
INFO - Restart
INFO - Confl: 6746 Props: 19481341 Tprops: 0 Decides: 26938 RSplits: 0
INFO - Times: Expl: 4491.739 Prop: 16986.513 PropClause: 16460.975 Set: 2561.149 Check: 0.675 Back: 463.646
INFO - Atoms: 18787/57952 Clauses: 6888 Axioms: 191026
INFO - Restart
INFO - Confl: 7246 Props: 19813227 Tprops: 0 Decides: 27651 RSplits: 0
INFO - Times: Expl: 4719.224 Prop: 17133.166 PropClause: 16597.729 Set: 2569.621 Check: 0.694 Back: 471.956
INFO - Atoms: 18787/57952 Clauses: 7388 Axioms: 191026
INFO - Restart
INFO - Confl: 8246 Props: 20615437 Tprops: 0 Decides: 30570 RSplits: 0
INFO - Times: Expl: 5119.015 Prop: 17512.047 PropClause: 16955.721 Set: 2588.429 Check: 0.766 Back: 490.547
INFO - Atoms: 18789/57952 Clauses: 8388 Axioms: 191026
INFO - Restart
INFO - Confl: 8746 Props: 21046559 Tprops: 0 Decides: 32132 RSplits: 0
INFO - Times: Expl: 5271.286 Prop: 17721.054 PropClause: 17153.443 Set: 2598.607 Check: 0.804 Back: 500.573
INFO - Atoms: 18789/57952 Clauses: 8888 Axioms: 191026
INFO - Restart
INFO - Confl: 9246 Props: 21445812 Tprops: 0 Decides: 33236 RSplits: 0
INFO - Times: Expl: 5442.601 Prop: 17915.283 PropClause: 17337.367 Set: 2607.954 Check: 0.832 Back: 509.775
INFO - Atoms: 18789/57952 Clauses: 9388 Axioms: 191026
INFO - Restart
INFO - Confl: 10246 Props: 22253675 Tprops: 0 Decides: 36079 RSplits: 0
INFO - Times: Expl: 5767.63 Prop: 18318.961 PropClause: 17720.044 Set: 2626.9 Check: 0.903 Back: 528.447
INFO - Atoms: 18790/57952 Clauses: 10388 Axioms: 191026
INFO - Confl: 11731 Props: 23263653 Tprops: 0 Decides: 39663 RSplits: 0
INFO - Times: Expl: 6131.923 Prop: 18805.099 PropClause: 18179.966 Set: 2650.757 Check: 0.992 Back: 551.61
INFO - Atoms: 20729/57952 Clauses: 11873 Axioms: 191026
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 248 Props: 20905 Tprops: 3024 Decides: 22696 RSplits: 0
INFO - Times: Expl: 259.319 Prop: 44156.481 PropClause: 8.514 Set: 2664.389 Check: 274.694 Back: 83.041
INFO - Atoms: 455/582 Clauses: 248 Axioms: 582
INFO - CCTimes: iE 273145 eq 17671322 cc 103895896 setRep 48584379
INFO - Merges: 320226, cc:1015649
INFO - BVTimes: BB 287979388 BB_DPLL 40394096668 Graph 79509514
INFO - BitBlastingClauses: 286862 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat