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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 255912864
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 100091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 131.541 PropClause: 128.115 Set: 150.706 Check: 0.0 Back: 0.0
INFO - Atoms: 100091/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 200185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.168 Prop: 266.252 PropClause: 259.315 Set: 205.808 Check: 0.0 Back: 2.277
INFO - Atoms: 100094/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 300280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.212 Prop: 384.016 PropClause: 373.76 Set: 223.781 Check: 0.0 Back: 4.553
INFO - Atoms: 100095/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 399865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.279 Prop: 496.471 PropClause: 483.347 Set: 241.666 Check: 0.0 Back: 6.817
INFO - Atoms: 99585/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 499450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.339 Prop: 607.482 PropClause: 591.552 Set: 259.554 Check: 0.0 Back: 9.104
INFO - Atoms: 99585/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 599029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.388 Prop: 718.563 PropClause: 699.826 Set: 288.011 Check: 0.0 Back: 11.389
INFO - Atoms: 99579/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 698608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.482 Prop: 839.085 PropClause: 817.546 Set: 368.409 Check: 0.0 Back: 13.683
INFO - Atoms: 99579/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 797932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.538 Prop: 944.871 PropClause: 920.571 Set: 385.977 Check: 0.0 Back: 15.956
INFO - Atoms: 99324/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 897516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.682 Prop: 1057.227 PropClause: 1030.149 Set: 403.858 Check: 0.0 Back: 18.228
INFO - Atoms: 99584/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 997100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.841 Prop: 1167.16 PropClause: 1137.297 Set: 448.275 Check: 0.0 Back: 20.511
INFO - Atoms: 99584/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1096423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.914 Prop: 1278.313 PropClause: 1245.68 Set: 465.941 Check: 0.0 Back: 22.793
INFO - Atoms: 99323/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1196002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.958 Prop: 1388.448 PropClause: 1353.051 Set: 483.71 Check: 0.0 Back: 25.077
INFO - Atoms: 99579/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1295581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.008 Prop: 1516.466 PropClause: 1478.296 Set: 511.703 Check: 0.0 Back: 27.355
INFO - Atoms: 99579/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1394646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.056 Prop: 1634.018 PropClause: 1593.116 Set: 538.582 Check: 0.0 Back: 29.642
INFO - Atoms: 99065/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1493453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.1 Prop: 1748.488 PropClause: 1704.841 Set: 565.374 Check: 0.0 Back: 31.9
INFO - Atoms: 98807/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1592000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.143 Prop: 1865.444 PropClause: 1819.065 Set: 583.059 Check: 0.0 Back: 34.148
INFO - Atoms: 98547/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1690289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 1977.908 PropClause: 1928.82 Set: 600.727 Check: 0.0 Back: 36.408
INFO - Atoms: 98289/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1788318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.225 Prop: 2092.482 PropClause: 2040.679 Set: 618.305 Check: 0.0 Back: 38.641
INFO - Atoms: 98029/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1886089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.271 Prop: 2204.639 PropClause: 2150.129 Set: 635.832 Check: 0.0 Back: 40.894
INFO - Atoms: 97771/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1983600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.311 Prop: 2318.369 PropClause: 2261.139 Set: 653.314 Check: 0.0 Back: 43.184
INFO - Atoms: 97511/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2080853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.359 Prop: 2431.714 PropClause: 2371.782 Set: 687.451 Check: 0.0 Back: 45.43
INFO - Atoms: 97253/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2177846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.398 Prop: 2545.125 PropClause: 2482.489 Set: 704.929 Check: 0.0 Back: 47.705
INFO - Atoms: 96993/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2274581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.437 Prop: 2657.644 PropClause: 2592.322 Set: 722.207 Check: 0.0 Back: 49.934
INFO - Atoms: 96735/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2371056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 2770.694 PropClause: 2702.701 Set: 739.462 Check: 0.0 Back: 52.187
INFO - Atoms: 96475/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2467273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 2881.866 PropClause: 2811.2 Set: 756.661 Check: 0.0 Back: 54.416
INFO - Atoms: 96217/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2563230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.578 Prop: 2995.05 PropClause: 2921.725 Set: 773.765 Check: 0.0 Back: 56.689
INFO - Atoms: 95957/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2658929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.619 Prop: 3108.526 PropClause: 3032.549 Set: 797.856 Check: 0.0 Back: 58.914
INFO - Atoms: 95699/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2754368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.689 Prop: 3220.975 PropClause: 3142.357 Set: 814.768 Check: 0.0 Back: 61.14
INFO - Atoms: 95439/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2849549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 3330.889 PropClause: 3249.62 Set: 831.744 Check: 0.0 Back: 63.364
INFO - Atoms: 95181/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2944470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 3448.722 PropClause: 3364.807 Set: 848.75 Check: 0.0 Back: 65.58
INFO - Atoms: 94921/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3039133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.809 Prop: 3559.952 PropClause: 3473.411 Set: 865.627 Check: 0.0 Back: 67.774
INFO - Atoms: 94663/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3133536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 3672.056 PropClause: 3582.891 Set: 882.531 Check: 0.0 Back: 69.986
INFO - Atoms: 94403/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3227681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.92 Prop: 3783.995 PropClause: 3692.233 Set: 899.169 Check: 0.0 Back: 72.207
INFO - Atoms: 94145/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3321566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.972 Prop: 3908.14 PropClause: 3813.774 Set: 916.148 Check: 0.0 Back: 74.409
INFO - Atoms: 93885/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3415193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.017 Prop: 4013.918 PropClause: 3916.948 Set: 932.663 Check: 0.0 Back: 76.588
INFO - Atoms: 93627/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3508560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 4121.365 PropClause: 4021.816 Set: 949.176 Check: 0.0 Back: 78.758
INFO - Atoms: 93367/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3601669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.108 Prop: 4225.39 PropClause: 4123.238 Set: 965.629 Check: 0.0 Back: 80.932
INFO - Atoms: 93109/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3694518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.157 Prop: 4332.199 PropClause: 4227.472 Set: 981.955 Check: 0.0 Back: 83.138
INFO - Atoms: 92849/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3787109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.193 Prop: 4436.566 PropClause: 4329.272 Set: 998.276 Check: 0.0 Back: 85.291
INFO - Atoms: 92591/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3879440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.232 Prop: 4541.167 PropClause: 4431.329 Set: 1014.485 Check: 0.0 Back: 87.467
INFO - Atoms: 92331/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3971513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 4644.197 PropClause: 4531.788 Set: 1030.763 Check: 0.0 Back: 89.602
INFO - Atoms: 92073/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4063326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.316 Prop: 4750.416 PropClause: 4635.459 Set: 1064.766 Check: 0.0 Back: 91.756
INFO - Atoms: 91813/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4154881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.354 Prop: 4854.036 PropClause: 4736.544 Set: 1080.801 Check: 0.0 Back: 93.884
INFO - Atoms: 91555/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4246176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.401 Prop: 4959.63 PropClause: 4839.6 Set: 1096.945 Check: 0.0 Back: 96.023
INFO - Atoms: 91295/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4337213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.439 Prop: 5063.815 PropClause: 4941.264 Set: 1112.838 Check: 0.0 Back: 98.168
INFO - Atoms: 91037/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4427990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 5168.971 PropClause: 5043.91 Set: 1128.82 Check: 0.0 Back: 100.292
INFO - Atoms: 90777/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 4518509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 5274.228 PropClause: 5146.652 Set: 1144.751 Check: 0.0 Back: 102.408
INFO - Atoms: 90519/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4608768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 5386.008 PropClause: 5255.929 Set: 1160.792 Check: 0.0 Back: 104.532
INFO - Atoms: 90259/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4698769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.635 Prop: 5491.178 PropClause: 5358.603 Set: 1176.637 Check: 0.0 Back: 106.647
INFO - Atoms: 90001/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4788510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 5595.551 PropClause: 5460.483 Set: 1192.42 Check: 0.0 Back: 108.762
INFO - Atoms: 89741/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4877993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 5698.367 PropClause: 5560.802 Set: 1208.605 Check: 0.0 Back: 110.875
INFO - Atoms: 89483/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 4967216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.856 Prop: 5799.083 PropClause: 5659.031 Set: 1224.267 Check: 0.0 Back: 112.983
INFO - Atoms: 89223/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5056181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 5898.697 PropClause: 5756.162 Set: 1239.901 Check: 0.0 Back: 115.072
INFO - Atoms: 88965/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5144886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.889 Prop: 6007.86 PropClause: 5862.847 Set: 1255.685 Check: 0.0 Back: 117.176
INFO - Atoms: 88705/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5233333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 6106.718 PropClause: 5959.238 Set: 1271.206 Check: 0.0 Back: 119.273
INFO - Atoms: 88447/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 5321520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 6207.063 PropClause: 6057.127 Set: 1286.71 Check: 0.0 Back: 121.365
INFO - Atoms: 88187/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 5409449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 6307.988 PropClause: 6155.606 Set: 1321.753 Check: 0.0 Back: 123.449
INFO - Atoms: 87929/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 5497118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 6409.833 PropClause: 6255.008 Set: 1337.23 Check: 0.0 Back: 125.52
INFO - Atoms: 87669/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 5584529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 6507.694 PropClause: 6350.423 Set: 1352.69 Check: 0.0 Back: 127.606
INFO - Atoms: 87411/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 5671680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 6605.031 PropClause: 6445.331 Set: 1367.885 Check: 0.0 Back: 129.709
INFO - Atoms: 87151/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 5758573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 6701.182 PropClause: 6539.052 Set: 1383.113 Check: 0.0 Back: 131.757
INFO - Atoms: 86893/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5845206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.017 Prop: 6799.889 PropClause: 6635.347 Set: 1398.31 Check: 0.0 Back: 133.828
INFO - Atoms: 86633/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5931581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 6896.637 PropClause: 6729.694 Set: 1413.42 Check: 0.0 Back: 135.851
INFO - Atoms: 86375/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6017696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 6998.041 PropClause: 6828.718 Set: 1428.502 Check: 0.0 Back: 137.896
INFO - Atoms: 86115/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 6103553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 7095.608 PropClause: 6923.907 Set: 1455.199 Check: 0.0 Back: 139.933
INFO - Atoms: 85857/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 6189150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.092 Prop: 7196.984 PropClause: 7022.906 Set: 1470.244 Check: 0.0 Back: 141.982
INFO - Atoms: 85597/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 6274489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 7291.161 PropClause: 7114.726 Set: 1485.035 Check: 0.0 Back: 144.015
INFO - Atoms: 85339/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 6359568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.124 Prop: 7386.159 PropClause: 7207.362 Set: 1499.862 Check: 0.0 Back: 146.035
INFO - Atoms: 85079/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 6444389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 7479.098 PropClause: 7297.953 Set: 1514.497 Check: 0.0 Back: 148.039
INFO - Atoms: 84821/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 6528950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 7577.242 PropClause: 7393.737 Set: 1529.195 Check: 0.0 Back: 150.047
INFO - Atoms: 84561/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 6613253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 7670.643 PropClause: 7484.793 Set: 1543.826 Check: 0.0 Back: 152.035
INFO - Atoms: 84303/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 6697296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 7770.383 PropClause: 7582.214 Set: 1558.475 Check: 0.0 Back: 154.024
INFO - Atoms: 84043/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 6781081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 7864.208 PropClause: 7673.724 Set: 1572.801 Check: 0.0 Back: 156.031
INFO - Atoms: 83785/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 6864606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.267 Prop: 7957.616 PropClause: 7764.804 Set: 1587.211 Check: 0.0 Back: 158.007
INFO - Atoms: 83525/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 6947873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 8046.543 PropClause: 7851.431 Set: 1601.405 Check: 0.0 Back: 159.963
INFO - Atoms: 83267/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 7030880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 8146.488 PropClause: 7949.071 Set: 1615.824 Check: 0.0 Back: 161.917
INFO - Atoms: 83007/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 7113629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 8237.529 PropClause: 8037.802 Set: 1630.056 Check: 0.0 Back: 163.872
INFO - Atoms: 82749/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 7196118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 8327.431 PropClause: 8125.391 Set: 1644.388 Check: 0.0 Back: 165.832
INFO - Atoms: 82489/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 7278349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.316 Prop: 8415.148 PropClause: 8210.825 Set: 1658.46 Check: 0.0 Back: 167.776
INFO - Atoms: 82231/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 7360320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.326 Prop: 8507.612 PropClause: 8301.012 Set: 1672.615 Check: 0.0 Back: 169.73
INFO - Atoms: 81971/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 7442033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 8596.205 PropClause: 8387.34 Set: 1686.703 Check: 0.0 Back: 171.661
INFO - Atoms: 81713/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 7523486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.349 Prop: 8688.03 PropClause: 8476.888 Set: 1700.88 Check: 0.0 Back: 173.603
INFO - Atoms: 81453/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 7604681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.358 Prop: 8773.915 PropClause: 8560.509 Set: 1714.867 Check: 0.0 Back: 175.54
INFO - Atoms: 81195/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 7685616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.367 Prop: 8863.027 PropClause: 8647.363 Set: 1728.919 Check: 0.0 Back: 177.484
INFO - Atoms: 80935/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 7766293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 8952.233 PropClause: 8734.324 Set: 1742.853 Check: 0.0 Back: 179.41
INFO - Atoms: 80677/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 7846710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.39 Prop: 9041.324 PropClause: 8821.176 Set: 1756.832 Check: 0.0 Back: 181.342
INFO - Atoms: 80417/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 7926869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 9128.195 PropClause: 8905.799 Set: 1770.812 Check: 0.0 Back: 183.272
INFO - Atoms: 80159/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 8006768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.412 Prop: 9217.17 PropClause: 8992.551 Set: 1784.591 Check: 0.0 Back: 185.18
INFO - Atoms: 79899/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 8086409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.422 Prop: 9303.993 PropClause: 9077.16 Set: 1798.309 Check: 0.0 Back: 187.079
INFO - Atoms: 79641/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 8165790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.441 Prop: 9394.541 PropClause: 9165.495 Set: 1812.167 Check: 0.0 Back: 188.995
INFO - Atoms: 79381/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 8244913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 9480.752 PropClause: 9249.511 Set: 1825.811 Check: 0.0 Back: 190.88
INFO - Atoms: 79123/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 8323776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 9563.535 PropClause: 9330.103 Set: 1839.38 Check: 0.0 Back: 192.758
INFO - Atoms: 78863/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 8402381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.477 Prop: 9644.839 PropClause: 9409.227 Set: 1852.795 Check: 0.0 Back: 194.643
INFO - Atoms: 78605/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 8480726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 9729.571 PropClause: 9491.787 Set: 1866.302 Check: 0.0 Back: 196.525
INFO - Atoms: 78345/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 8558813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 9809.124 PropClause: 9569.187 Set: 1879.572 Check: 0.0 Back: 198.375
INFO - Atoms: 78087/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 8636640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 9891.971 PropClause: 9649.89 Set: 1892.897 Check: 0.0 Back: 200.236
INFO - Atoms: 77827/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 8714209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.527 Prop: 9975.665 PropClause: 9731.428 Set: 1906.225 Check: 0.0 Back: 202.094
INFO - Atoms: 77569/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 8791518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.538 Prop: 10063.78 PropClause: 9817.402 Set: 1919.681 Check: 0.0 Back: 203.945
INFO - Atoms: 77309/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 8868569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 10149.222 PropClause: 9900.709 Set: 1933.0 Check: 0.0 Back: 205.81
INFO - Atoms: 77051/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 8945360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.559 Prop: 10231.055 PropClause: 9980.429 Set: 1946.1 Check: 0.0 Back: 207.649
INFO - Atoms: 76791/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 9021893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 10313.996 PropClause: 10061.26 Set: 1959.105 Check: 0.0 Back: 209.463
INFO - Atoms: 76533/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 9098166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 10394.517 PropClause: 10139.669 Set: 1972.266 Check: 0.0 Back: 211.286
INFO - Atoms: 76273/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 9174181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.593 Prop: 10477.644 PropClause: 10220.684 Set: 1985.276 Check: 0.0 Back: 213.088
INFO - Atoms: 76015/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 9249936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 10561.39 PropClause: 10302.323 Set: 1998.403 Check: 0.0 Back: 214.898
INFO - Atoms: 75755/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 9325433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 10642.349 PropClause: 10381.167 Set: 2011.424 Check: 0.0 Back: 216.709
INFO - Atoms: 75497/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 9400670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 10724.891 PropClause: 10461.607 Set: 2024.402 Check: 0.0 Back: 218.52
INFO - Atoms: 75237/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 9475649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.631 Prop: 10800.192 PropClause: 10534.805 Set: 2037.224 Check: 0.0 Back: 220.325
INFO - Atoms: 74979/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 9550368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.642 Prop: 10879.807 PropClause: 10612.337 Set: 2050.09 Check: 0.0 Back: 222.106
INFO - Atoms: 74719/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 9624829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.652 Prop: 10953.65 PropClause: 10684.104 Set: 2062.757 Check: 0.0 Back: 223.885
INFO - Atoms: 74461/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 9699030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.661 Prop: 11027.323 PropClause: 10755.719 Set: 2075.407 Check: 0.0 Back: 225.665
INFO - Atoms: 74201/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 9772973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.671 Prop: 11104.24 PropClause: 10830.581 Set: 2087.997 Check: 0.0 Back: 227.457
INFO - Atoms: 73943/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 9846656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.681 Prop: 11179.816 PropClause: 10904.094 Set: 2100.587 Check: 0.0 Back: 229.231
INFO - Atoms: 73683/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 9920081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 11249.648 PropClause: 10971.882 Set: 2113.005 Check: 0.0 Back: 230.984
INFO - Atoms: 73425/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 9993246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 11329.553 PropClause: 11049.759 Set: 2125.458 Check: 0.0 Back: 232.739
INFO - Atoms: 73165/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 10066153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 11404.191 PropClause: 11122.388 Set: 2137.788 Check: 0.0 Back: 234.471
INFO - Atoms: 72907/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 10138800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 11481.459 PropClause: 11197.64 Set: 2150.159 Check: 0.0 Back: 236.207
INFO - Atoms: 72647/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 10211189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 11556.251 PropClause: 11270.372 Set: 2162.761 Check: 0.0 Back: 237.942
INFO - Atoms: 72389/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 10283318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.746 Prop: 11632.986 PropClause: 11345.115 Set: 2175.112 Check: 0.0 Back: 239.678
INFO - Atoms: 72129/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 10355189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 11704.138 PropClause: 11414.277 Set: 2187.339 Check: 0.0 Back: 241.408
INFO - Atoms: 71871/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 10426800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 11780.292 PropClause: 11488.453 Set: 2199.564 Check: 0.0 Back: 243.114
INFO - Atoms: 71611/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 10498153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.779 Prop: 11849.797 PropClause: 11555.991 Set: 2211.515 Check: 0.0 Back: 244.81
INFO - Atoms: 71353/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 10569246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 11923.618 PropClause: 11627.845 Set: 2223.664 Check: 0.0 Back: 246.507
INFO - Atoms: 71093/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 10640081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 11993.695 PropClause: 11695.964 Set: 2235.728 Check: 0.0 Back: 248.203
INFO - Atoms: 70835/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 10710656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 12063.464 PropClause: 11763.782 Set: 2247.612 Check: 0.0 Back: 249.916
INFO - Atoms: 70575/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 10780973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.821 Prop: 12134.705 PropClause: 11833.072 Set: 2259.588 Check: 0.0 Back: 251.592
INFO - Atoms: 70317/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 10851030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 12209.841 PropClause: 11906.259 Set: 2271.439 Check: 0.0 Back: 253.288
INFO - Atoms: 70057/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 10920829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 12284.727 PropClause: 11979.217 Set: 2283.283 Check: 0.0 Back: 254.966
INFO - Atoms: 69799/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 10990368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 12361.818 PropClause: 12054.336 Set: 2295.334 Check: 0.0 Back: 256.657
INFO - Atoms: 69539/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 11059649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 12428.781 PropClause: 12119.372 Set: 2306.948 Check: 0.0 Back: 258.346
INFO - Atoms: 69281/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 11128670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 12495.879 PropClause: 12184.484 Set: 2318.54 Check: 0.0 Back: 260.008
INFO - Atoms: 69021/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 11197433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.932 Prop: 12561.117 PropClause: 12247.818 Set: 2347.286 Check: 0.0 Back: 261.66
INFO - Atoms: 68763/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 11265936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 12630.924 PropClause: 12315.719 Set: 2358.814 Check: 0.0 Back: 263.316
INFO - Atoms: 68503/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 11334181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 12700.912 PropClause: 12383.818 Set: 2370.374 Check: 0.0 Back: 264.965
INFO - Atoms: 68245/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 11402166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 12771.009 PropClause: 12452.029 Set: 2381.954 Check: 0.0 Back: 266.606
INFO - Atoms: 67985/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 11469893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.957 Prop: 12836.277 PropClause: 12515.423 Set: 2393.307 Check: 0.0 Back: 268.245
INFO - Atoms: 67727/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 11537360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 12903.187 PropClause: 12580.458 Set: 2404.587 Check: 0.0 Back: 269.878
INFO - Atoms: 67467/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 11604568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 12966.843 PropClause: 12642.252 Set: 2415.825 Check: 0.0 Back: 271.492
INFO - Atoms: 67208/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 11672529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 13037.95 PropClause: 12711.49 Set: 2427.447 Check: 0.0 Back: 273.117
INFO - Atoms: 67961/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 11740750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 13106.176 PropClause: 12777.833 Set: 2439.049 Check: 0.0 Back: 274.769
INFO - Atoms: 68221/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 11809230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 13179.877 PropClause: 12849.63 Set: 2450.9 Check: 0.0 Back: 276.407
INFO - Atoms: 68480/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 11877970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 13247.821 PropClause: 12915.681 Set: 2462.516 Check: 0.0 Back: 278.058
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 11946711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 13321.6 PropClause: 12987.549 Set: 2474.62 Check: 0.0 Back: 279.717
INFO - Atoms: 68741/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 12015699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 13391.662 PropClause: 13055.699 Set: 2486.601 Check: 0.0 Back: 281.381
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 12084438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 13460.801 PropClause: 13122.925 Set: 2498.526 Check: 0.0 Back: 283.052
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 12153426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 13525.879 PropClause: 13186.089 Set: 2510.352 Check: 0.0 Back: 284.715
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 12221406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.112 Prop: 13594.402 PropClause: 13252.721 Set: 2521.801 Check: 0.0 Back: 286.4
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 12290393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 13662.429 PropClause: 13318.837 Set: 2533.546 Check: 0.0 Back: 288.033
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 12359381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 13737.691 PropClause: 13392.183 Set: 2545.605 Check: 0.0 Back: 289.704
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 12428371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 13808.345 PropClause: 13460.915 Set: 2557.638 Check: 0.0 Back: 291.364
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 12497110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 13878.609 PropClause: 13529.278 Set: 2569.498 Check: 0.0 Back: 293.047
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 12566098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.142 Prop: 13943.561 PropClause: 13592.321 Set: 2581.184 Check: 0.0 Back: 294.681
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 12634078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 14008.601 PropClause: 13655.482 Set: 2592.575 Check: 0.0 Back: 296.333
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 12703065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 14073.014 PropClause: 13717.986 Set: 2604.369 Check: 0.0 Back: 297.958
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 12772053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 14142.847 PropClause: 13785.9 Set: 2616.296 Check: 0.0 Back: 299.629
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 12841043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 14214.001 PropClause: 13855.131 Set: 2628.235 Check: 0.0 Back: 301.283
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 12909782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 14283.051 PropClause: 13922.276 Set: 2640.105 Check: 0.0 Back: 302.927
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 12978770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.175 Prop: 14347.55 PropClause: 13984.87 Set: 2651.745 Check: 0.0 Back: 304.566
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 13046750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 14411.421 PropClause: 14046.859 Set: 2663.272 Check: 0.0 Back: 306.227
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 13115737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 14474.273 PropClause: 14107.803 Set: 2675.055 Check: 0.0 Back: 307.86
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 13184725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 14542.948 PropClause: 14174.568 Set: 2686.799 Check: 0.0 Back: 309.514
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 13253715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 14614.146 PropClause: 14243.859 Set: 2698.668 Check: 0.0 Back: 311.162
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 13322454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.204 Prop: 14685.663 PropClause: 14313.469 Set: 2710.545 Check: 0.0 Back: 312.806
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 13391442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 14749.451 PropClause: 14375.347 Set: 2722.237 Check: 0.0 Back: 314.448
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 13459422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 14813.731 PropClause: 14437.745 Set: 2733.729 Check: 0.0 Back: 316.114
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 13528409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.222 Prop: 14877.63 PropClause: 14499.735 Set: 2745.632 Check: 0.0 Back: 317.797
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 13597397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 14948.501 PropClause: 14568.697 Set: 2757.629 Check: 0.0 Back: 319.463
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 13665378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 15018.914 PropClause: 14637.228 Set: 2769.384 Check: 0.0 Back: 321.116
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 13734365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 15088.181 PropClause: 14704.564 Set: 2781.465 Check: 0.0 Back: 322.775
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 13803353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 15153.734 PropClause: 14768.186 Set: 2793.45 Check: 0.0 Back: 324.423
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 13871333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 15219.79 PropClause: 14832.363 Set: 2805.074 Check: 0.0 Back: 326.088
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 13940320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 15283.818 PropClause: 14894.461 Set: 2817.062 Check: 0.0 Back: 327.714
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 14009308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.267 Prop: 15354.74 PropClause: 14963.456 Set: 2829.049 Check: 0.0 Back: 329.377
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 14078298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 15426.008 PropClause: 15032.806 Set: 2841.171 Check: 0.0 Back: 331.018
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 14147037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 15493.179 PropClause: 15098.07 Set: 2853.177 Check: 0.0 Back: 332.671
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 14216025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.284 Prop: 15556.982 PropClause: 15159.958 Set: 2865.014 Check: 0.0 Back: 334.324
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 14284005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.328 Prop: 15622.262 PropClause: 15223.355 Set: 2876.667 Check: 0.0 Back: 335.996
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 14352992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 15696.314 PropClause: 15295.478 Set: 2889.101 Check: 0.0 Back: 337.621
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 14421980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 15763.553 PropClause: 15360.792 Set: 2901.097 Check: 0.0 Back: 339.308
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 14490970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 15827.566 PropClause: 15422.888 Set: 2912.972 Check: 0.0 Back: 340.979
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 14559709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 15895.466 PropClause: 15488.883 Set: 2924.896 Check: 0.0 Back: 342.654
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 14628697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 15961.138 PropClause: 15552.633 Set: 2936.858 Check: 0.0 Back: 344.301
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 14696677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 16028.851 PropClause: 15618.459 Set: 2948.712 Check: 0.0 Back: 345.966
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 14765664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 16098.14 PropClause: 15685.836 Set: 2960.763 Check: 0.0 Back: 347.597
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 14834652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 16168.214 PropClause: 15753.988 Set: 2972.862 Check: 0.0 Back: 349.249
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 14903642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 16236.372 PropClause: 15820.217 Set: 2984.882 Check: 0.0 Back: 350.895
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 14972381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 16304.204 PropClause: 15886.131 Set: 2996.722 Check: 0.0 Back: 352.551
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 15041369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 16370.736 PropClause: 15950.737 Set: 3008.625 Check: 0.0 Back: 354.215
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 15109349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 16436.483 PropClause: 16014.594 Set: 3020.204 Check: 0.0 Back: 355.89
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 15178336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.459 Prop: 16499.835 PropClause: 16076.031 Set: 3032.108 Check: 0.0 Back: 357.528
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 15247324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 16565.593 PropClause: 16139.867 Set: 3044.0 Check: 0.0 Back: 359.19
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 15316314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 16630.843 PropClause: 16203.207 Set: 3055.926 Check: 0.0 Back: 360.844
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 15385053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.478 Prop: 16698.562 PropClause: 16269.009 Set: 3067.856 Check: 0.0 Back: 362.551
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 15454041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 16767.11 PropClause: 16335.638 Set: 3080.013 Check: 0.0 Back: 364.187
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 15522021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 16840.184 PropClause: 16406.831 Set: 3091.896 Check: 0.0 Back: 365.857
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 15591008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 16909.204 PropClause: 16473.928 Set: 3103.943 Check: 0.0 Back: 367.472
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 15659996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 16979.87 PropClause: 16542.685 Set: 3115.961 Check: 0.0 Back: 369.133
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 15728986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.507 Prop: 17051.548 PropClause: 16612.448 Set: 3127.905 Check: 0.0 Back: 370.782
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 15797725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 17117.625 PropClause: 16676.612 Set: 3139.851 Check: 0.0 Back: 372.451
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 15866713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 17183.941 PropClause: 16741.017 Set: 3151.901 Check: 0.0 Back: 374.091
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 15934693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.524 Prop: 17251.75 PropClause: 16806.938 Set: 3163.644 Check: 0.0 Back: 375.76
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 16003680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 17322.352 PropClause: 16875.613 Set: 3175.807 Check: 0.0 Back: 377.395
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 16072668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 17397.241 PropClause: 16948.583 Set: 3188.078 Check: 0.0 Back: 379.047
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 16141658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 17465.087 PropClause: 17014.502 Set: 3200.091 Check: 0.0 Back: 380.711
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 16210397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 17538.598 PropClause: 17086.089 Set: 3212.331 Check: 0.0 Back: 382.391
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 16279385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 17604.091 PropClause: 17149.666 Set: 3224.186 Check: 0.0 Back: 384.049
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 16347365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 17670.099 PropClause: 17213.78 Set: 3235.848 Check: 0.0 Back: 385.705
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 16416352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 17736.804 PropClause: 17278.573 Set: 3247.845 Check: 0.0 Back: 387.343
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 16485340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 17802.743 PropClause: 17342.596 Set: 3259.838 Check: 0.0 Back: 388.996
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 16554330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 17866.312 PropClause: 17404.251 Set: 3271.733 Check: 0.0 Back: 390.654
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 16623069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 17932.813 PropClause: 17468.848 Set: 3283.549 Check: 0.0 Back: 392.323
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 16692057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 18016.965 PropClause: 17551.074 Set: 3295.681 Check: 0.0 Back: 393.951
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 16760037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 18077.479 PropClause: 17609.713 Set: 3307.316 Check: 0.0 Back: 395.607
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 16829024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 18143.819 PropClause: 17674.144 Set: 3319.257 Check: 0.0 Back: 397.222
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 16898012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 18209.923 PropClause: 17738.335 Set: 3331.24 Check: 0.0 Back: 398.865
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 16965993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 18275.315 PropClause: 17801.851 Set: 3342.859 Check: 0.0 Back: 400.525
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 17034980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 18339.573 PropClause: 17864.185 Set: 3354.992 Check: 0.0 Back: 402.141
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 17103968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 18402.798 PropClause: 17925.515 Set: 3366.778 Check: 0.0 Back: 403.797
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 17171948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.625 Prop: 18462.935 PropClause: 17983.776 Set: 3378.33 Check: 0.0 Back: 405.43
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 17240935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 18525.576 PropClause: 18044.516 Set: 3390.242 Check: 0.0 Back: 407.06
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 17309923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.636 Prop: 18593.384 PropClause: 18110.412 Set: 3402.215 Check: 0.0 Back: 408.702
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 17378913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 18660.843 PropClause: 18175.969 Set: 3414.095 Check: 0.0 Back: 410.34
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 17447652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.647 Prop: 18727.565 PropClause: 18240.782 Set: 3425.986 Check: 0.0 Back: 411.994
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 17516640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 18794.982 PropClause: 18306.269 Set: 3438.004 Check: 0.0 Back: 413.633
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 17584620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 18861.127 PropClause: 18370.512 Set: 3449.914 Check: 0.0 Back: 415.279
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 17653607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 18926.885 PropClause: 18434.349 Set: 3461.909 Check: 0.0 Back: 416.901
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 17722595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 18996.097 PropClause: 18501.643 Set: 3474.03 Check: 0.0 Back: 418.59
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 17791585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 19063.633 PropClause: 18567.253 Set: 3486.106 Check: 0.0 Back: 420.238
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 17860324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 19129.486 PropClause: 18631.195 Set: 3498.048 Check: 0.0 Back: 421.888
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 17929312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 19195.918 PropClause: 18695.724 Set: 3510.023 Check: 0.0 Back: 423.526
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 17997292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 19263.453 PropClause: 18761.369 Set: 3521.776 Check: 0.0 Back: 425.173
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 18066279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 19331.761 PropClause: 18827.761 Set: 3547.56 Check: 0.0 Back: 426.793
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 18135267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 19400.853 PropClause: 18894.919 Set: 3559.655 Check: 0.0 Back: 428.46
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 18204257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 19466.53 PropClause: 18958.687 Set: 3571.663 Check: 0.0 Back: 430.116
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 18272996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.72 Prop: 19538.21 PropClause: 19028.466 Set: 3583.762 Check: 0.0 Back: 431.773
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 18341984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 19605.706 PropClause: 19094.048 Set: 3595.901 Check: 0.0 Back: 433.431
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 18409964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.732 Prop: 19676.634 PropClause: 19163.075 Set: 3607.88 Check: 0.0 Back: 435.074
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 18478951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 19743.565 PropClause: 19228.095 Set: 3619.98 Check: 0.0 Back: 436.709
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 18547939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 19811.937 PropClause: 19294.541 Set: 3632.16 Check: 0.0 Back: 438.377
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 18616929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.75 Prop: 19882.396 PropClause: 19363.082 Set: 3644.324 Check: 0.0 Back: 440.039
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 18685668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 19950.895 PropClause: 19429.677 Set: 3656.363 Check: 0.0 Back: 441.699
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 18754656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.764 Prop: 20017.367 PropClause: 19494.226 Set: 3668.433 Check: 0.0 Back: 443.364
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 18822636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 20085.735 PropClause: 19560.707 Set: 3680.273 Check: 0.0 Back: 445.013
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 18891623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.774 Prop: 20150.777 PropClause: 19623.83 Set: 3692.348 Check: 0.0 Back: 446.635
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 18960611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 20217.194 PropClause: 19688.337 Set: 3704.433 Check: 0.0 Back: 448.292
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 19029601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.787 Prop: 20285.694 PropClause: 19754.92 Set: 3716.431 Check: 0.0 Back: 449.94
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 19098340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 20355.6 PropClause: 19822.903 Set: 3728.457 Check: 0.0 Back: 451.596
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 19167328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 20419.696 PropClause: 19885.087 Set: 3740.534 Check: 0.0 Back: 453.233
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 19235308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 20489.008 PropClause: 19952.498 Set: 3752.498 Check: 0.0 Back: 454.877
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 19304295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 20556.326 PropClause: 20017.892 Set: 3764.577 Check: 0.0 Back: 456.502
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 19373283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.814 Prop: 20625.519 PropClause: 20085.158 Set: 3776.742 Check: 0.0 Back: 458.175
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 19442273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.82 Prop: 20690.822 PropClause: 20148.56 Set: 3788.665 Check: 0.0 Back: 459.828
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 19511012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.826 Prop: 20773.529 PropClause: 20229.369 Set: 3800.336 Check: 0.0 Back: 461.463
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 19580000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 20838.84 PropClause: 20292.773 Set: 3812.297 Check: 0.0 Back: 463.106
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 19647980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 20899.457 PropClause: 20351.513 Set: 3823.947 Check: 0.0 Back: 464.751
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 19716967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 20957.988 PropClause: 20408.135 Set: 3835.805 Check: 0.0 Back: 466.376
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 19785955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 21019.006 PropClause: 20467.224 Set: 3847.784 Check: 0.0 Back: 468.015
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 19854945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 21078.999 PropClause: 20525.281 Set: 3859.664 Check: 0.0 Back: 469.646
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 19923684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 21145.32 PropClause: 20589.705 Set: 3871.621 Check: 0.0 Back: 471.294
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 19992672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 21209.278 PropClause: 20651.766 Set: 3883.517 Check: 0.0 Back: 472.913
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 20060652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 21273.659 PropClause: 20714.277 Set: 3895.241 Check: 0.0 Back: 474.546
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 20129639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 21340.371 PropClause: 20779.089 Set: 3907.241 Check: 0.0 Back: 476.18
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 20198627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 21411.263 PropClause: 20848.06 Set: 3919.401 Check: 0.0 Back: 477.828
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 20266608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.886 Prop: 21472.51 PropClause: 20907.428 Set: 3931.043 Check: 0.0 Back: 479.492
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 20335595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 21540.835 PropClause: 20973.829 Set: 3943.308 Check: 0.0 Back: 481.121
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 20404583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 21608.003 PropClause: 21039.081 Set: 3955.386 Check: 0.0 Back: 482.81
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 20473572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 21669.715 PropClause: 21098.894 Set: 3967.324 Check: 0.0 Back: 484.449
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 20542559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.908 Prop: 21737.323 PropClause: 21164.589 Set: 3979.504 Check: 0.0 Back: 486.079
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 20611299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 21805.396 PropClause: 21230.748 Set: 3991.656 Check: 0.0 Back: 487.735
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 20679280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 21868.146 PropClause: 21291.619 Set: 4003.419 Check: 0.0 Back: 489.387
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 20748267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 21936.593 PropClause: 21358.168 Set: 4015.492 Check: 0.0 Back: 491.012
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 20817255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 21999.896 PropClause: 21419.574 Set: 4027.51 Check: 0.0 Back: 492.65
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 20886244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 22069.74 PropClause: 21487.512 Set: 4039.623 Check: 0.0 Back: 494.298
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 20955231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 22136.371 PropClause: 21552.217 Set: 4051.724 Check: 0.0 Back: 495.943
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 21023971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.945 Prop: 22202.642 PropClause: 21616.58 Set: 4063.664 Check: 0.0 Back: 497.597
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 21092961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.95 Prop: 22268.961 PropClause: 21680.984 Set: 4075.713 Check: 0.0 Back: 499.243
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 21161700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 22336.9 PropClause: 21747.008 Set: 4087.804 Check: 0.0 Back: 500.893
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 21230688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 22397.52 PropClause: 21805.708 Set: 4112.383 Check: 0.0 Back: 502.541
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 21298668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 22466.042 PropClause: 21872.324 Set: 4124.29 Check: 0.0 Back: 504.208
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 21367655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 22532.151 PropClause: 21936.508 Set: 4136.432 Check: 0.0 Back: 505.833
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 21436643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 22596.283 PropClause: 21998.71 Set: 4148.523 Check: 0.0 Back: 507.496
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 21505633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 22664.121 PropClause: 22064.614 Set: 4160.551 Check: 0.0 Back: 509.142
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 21574372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.988 Prop: 22730.379 PropClause: 22128.964 Set: 4172.557 Check: 0.0 Back: 510.8
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 21643360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 22797.075 PropClause: 22193.749 Set: 4184.645 Check: 0.0 Back: 512.448
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 21711340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 22863.978 PropClause: 22258.762 Set: 4196.538 Check: 0.0 Back: 514.105
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 21780327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.006 Prop: 22928.979 PropClause: 22321.839 Set: 4208.642 Check: 0.0 Back: 515.745
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 21849315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 22997.546 PropClause: 22388.497 Set: 4220.641 Check: 0.0 Back: 517.412
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 21918305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 23063.398 PropClause: 22452.439 Set: 4232.773 Check: 0.0 Back: 519.074
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 21987044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 23128.432 PropClause: 22515.569 Set: 4244.85 Check: 0.0 Back: 520.743
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 22056032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 23197.042 PropClause: 22582.26 Set: 4256.933 Check: 0.0 Back: 522.428
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 22124012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 23265.084 PropClause: 22648.408 Set: 4268.827 Check: 0.0 Back: 524.091
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 22192999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 23327.347 PropClause: 22708.772 Set: 4280.891 Check: 0.0 Back: 525.721
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 22261987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 23393.747 PropClause: 22773.262 Set: 4292.999 Check: 0.0 Back: 527.379
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 22330977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 23459.163 PropClause: 22836.762 Set: 4305.129 Check: 0.0 Back: 529.034
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 22399716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.057 Prop: 23523.805 PropClause: 22899.458 Set: 4317.356 Check: 0.0 Back: 530.681
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 22468704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 23592.944 PropClause: 22966.681 Set: 4329.604 Check: 0.0 Back: 532.345
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 22536684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.068 Prop: 23661.339 PropClause: 23033.2 Set: 4341.503 Check: 0.0 Back: 534.015
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 22605671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 23723.433 PropClause: 23093.377 Set: 4373.403 Check: 0.0 Back: 535.659
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 22674659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.08 Prop: 23788.89 PropClause: 23156.926 Set: 4385.478 Check: 0.0 Back: 537.304
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 22743649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.084 Prop: 23856.02 PropClause: 23222.143 Set: 4397.454 Check: 0.0 Back: 538.952
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 22812388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 23918.945 PropClause: 23283.171 Set: 4409.284 Check: 0.0 Back: 540.594
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 22881376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.094 Prop: 23981.015 PropClause: 23343.317 Set: 4421.219 Check: 0.0 Back: 542.216
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 22949356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.099 Prop: 24043.774 PropClause: 23404.188 Set: 4432.872 Check: 0.0 Back: 543.863
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 23018343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 24105.912 PropClause: 23464.403 Set: 4444.824 Check: 0.0 Back: 545.481
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 23087331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 24168.113 PropClause: 23524.687 Set: 4456.676 Check: 0.0 Back: 547.151
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 23156321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 24230.588 PropClause: 23585.266 Set: 4468.469 Check: 0.0 Back: 548.798
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 23225060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 24295.73 PropClause: 23648.488 Set: 4480.386 Check: 0.0 Back: 550.445
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 23294048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 24360.432 PropClause: 23711.275 Set: 4492.438 Check: 0.0 Back: 552.085
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 23362028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 24420.299 PropClause: 23769.262 Set: 4504.118 Check: 0.0 Back: 553.741
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 23431015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 24484.042 PropClause: 23831.102 Set: 4522.118 Check: 0.0 Back: 555.363
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 23500003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.142 Prop: 24548.082 PropClause: 23893.231 Set: 4534.063 Check: 0.0 Back: 557.001
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 23567984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.147 Prop: 24606.713 PropClause: 23949.984 Set: 4545.709 Check: 0.0 Back: 558.646
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 23636971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 24674.653 PropClause: 24016.013 Set: 4557.836 Check: 0.0 Back: 560.258
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 23705959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 24737.661 PropClause: 24077.11 Set: 4569.821 Check: 0.0 Back: 561.942
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 23773939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 24798.571 PropClause: 24136.134 Set: 4581.58 Check: 0.0 Back: 563.585
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 23842926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 24861.009 PropClause: 24196.665 Set: 4593.576 Check: 0.0 Back: 565.192
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 23911914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.174 Prop: 24923.762 PropClause: 24257.501 Set: 4605.548 Check: 0.0 Back: 566.827
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 23980904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 24986.204 PropClause: 24318.026 Set: 4617.601 Check: 0.0 Back: 568.464
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 24049643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 25054.312 PropClause: 24384.239 Set: 4629.653 Check: 0.0 Back: 570.109
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 24118631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 25118.219 PropClause: 24446.238 Set: 4641.797 Check: 0.0 Back: 571.736
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 24186611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.196 Prop: 25185.335 PropClause: 24511.467 Set: 4653.625 Check: 0.0 Back: 573.401
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 24255598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 25249.533 PropClause: 24573.756 Set: 4677.21 Check: 0.0 Back: 575.057
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 24324586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 25314.39 PropClause: 24636.692 Set: 4689.319 Check: 0.0 Back: 576.713
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 24393576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.21 Prop: 25379.081 PropClause: 24699.474 Set: 4701.366 Check: 0.0 Back: 578.36
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 24462315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 25445.892 PropClause: 24764.374 Set: 4713.406 Check: 0.0 Back: 580.007
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 24531303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.22 Prop: 25508.104 PropClause: 24824.664 Set: 4725.54 Check: 0.0 Back: 581.642
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 24599283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.226 Prop: 25574.838 PropClause: 24889.502 Set: 4737.45 Check: 0.0 Back: 583.3
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 24668270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.231 Prop: 25640.262 PropClause: 24952.995 Set: 4749.553 Check: 0.0 Back: 584.942
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 24737258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 25704.183 PropClause: 25014.995 Set: 4761.623 Check: 0.0 Back: 586.606
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 24806248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.24 Prop: 25771.269 PropClause: 25080.16 Set: 4773.76 Check: 0.0 Back: 588.268
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 24874987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.246 Prop: 25838.889 PropClause: 25145.869 Set: 4785.928 Check: 0.0 Back: 589.926
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 24943975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.251 Prop: 25903.316 PropClause: 25208.363 Set: 4798.097 Check: 0.0 Back: 591.575
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 25012964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 25969.564 PropClause: 25272.68 Set: 4810.187 Check: 0.0 Back: 593.271
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 25081951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.261 Prop: 26033.926 PropClause: 25335.121 Set: 4822.26 Check: 0.0 Back: 594.929
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 25150691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 26100.149 PropClause: 25399.413 Set: 4834.293 Check: 0.0 Back: 596.592
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 25219681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 26167.429 PropClause: 25464.755 Set: 4846.552 Check: 0.0 Back: 598.26
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 25288420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 26235.613 PropClause: 25531.016 Set: 4858.74 Check: 0.0 Back: 599.922
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 25357408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.282 Prop: 26299.803 PropClause: 25593.274 Set: 4870.899 Check: 0.0 Back: 601.577
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 25425388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.288 Prop: 26366.287 PropClause: 25657.868 Set: 4882.865 Check: 0.0 Back: 603.23
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 25494375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.295 Prop: 26433.242 PropClause: 25722.897 Set: 4895.182 Check: 0.0 Back: 604.865
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 25563363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 26500.521 PropClause: 25788.253 Set: 4907.387 Check: 0.0 Back: 606.543
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 25632353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 26568.704 PropClause: 25854.515 Set: 4919.626 Check: 0.0 Back: 608.21
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 25701092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.311 Prop: 26639.205 PropClause: 25923.107 Set: 4931.869 Check: 0.0 Back: 609.884
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 25770080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.317 Prop: 26707.44 PropClause: 25989.42 Set: 4944.148 Check: 0.0 Back: 611.532
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 25838060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 26772.008 PropClause: 26052.086 Set: 4956.142 Check: 0.0 Back: 613.205
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 25907047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 26840.887 PropClause: 26119.017 Set: 4968.559 Check: 0.0 Back: 614.85
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 25976035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 26911.527 PropClause: 26187.711 Set: 4981.051 Check: 0.0 Back: 616.538
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 26045025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 26975.134 PropClause: 26249.304 Set: 4994.298 Check: 0.0 Back: 618.225
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 26113764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.351 Prop: 27039.938 PropClause: 26312.17 Set: 5006.45 Check: 0.0 Back: 619.929
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 26182752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.356 Prop: 27105.279 PropClause: 26375.582 Set: 5018.658 Check: 0.0 Back: 621.585
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 26250732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.363 Prop: 27172.336 PropClause: 26440.746 Set: 5030.675 Check: 0.0 Back: 623.24
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 26319719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.368 Prop: 27237.283 PropClause: 26503.762 Set: 5042.921 Check: 0.0 Back: 624.883
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 26388707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.373 Prop: 27301.762 PropClause: 26566.324 Set: 5055.043 Check: 0.0 Back: 626.553
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 26457697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 27365.609 PropClause: 26628.254 Set: 5067.102 Check: 0.0 Back: 628.208
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 26526436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.386 Prop: 27430.405 PropClause: 26691.141 Set: 5079.214 Check: 0.0 Back: 629.87
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 26595424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 27492.06 PropClause: 26750.887 Set: 5091.269 Check: 0.0 Back: 631.538
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 26663404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.4 Prop: 27555.863 PropClause: 26812.729 Set: 5103.124 Check: 0.0 Back: 633.194
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 26732391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 27621.822 PropClause: 26876.768 Set: 5115.426 Check: 0.0 Back: 634.818
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 26801379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.413 Prop: 27683.833 PropClause: 26936.858 Set: 5127.566 Check: 0.0 Back: 636.632
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 26870369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.419 Prop: 27748.695 PropClause: 26999.805 Set: 5139.643 Check: 0.0 Back: 638.291
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 26939108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.424 Prop: 27814.349 PropClause: 27063.54 Set: 5151.811 Check: 0.0 Back: 639.949
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 27008096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.43 Prop: 27877.291 PropClause: 27124.574 Set: 5163.93 Check: 0.0 Back: 641.621
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 27076076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.437 Prop: 27942.677 PropClause: 27188.073 Set: 5175.75 Check: 0.0 Back: 643.304
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 27145063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.443 Prop: 28009.191 PropClause: 27252.691 Set: 5187.798 Check: 0.0 Back: 644.929
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 27214051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 28072.59 PropClause: 27314.174 Set: 5219.197 Check: 0.0 Back: 646.595
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 27283041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 28138.597 PropClause: 27378.274 Set: 5231.366 Check: 0.0 Back: 648.257
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 27351780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.462 Prop: 28202.254 PropClause: 27440.026 Set: 5243.402 Check: 0.0 Back: 649.938
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 27420768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.467 Prop: 28266.939 PropClause: 27502.803 Set: 5255.43 Check: 0.0 Back: 651.595
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 27488748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.473 Prop: 28334.181 PropClause: 27568.165 Set: 5267.396 Check: 0.0 Back: 653.251
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 27557735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.479 Prop: 28396.762 PropClause: 27628.835 Set: 5279.753 Check: 0.0 Back: 654.874
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 27626723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.484 Prop: 28465.656 PropClause: 27695.804 Set: 5292.078 Check: 0.0 Back: 656.538
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 27695713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 28532.903 PropClause: 27761.149 Set: 5304.346 Check: 0.0 Back: 658.195
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 27764452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.499 Prop: 28611.877 PropClause: 27838.207 Set: 5316.729 Check: 0.0 Back: 659.871
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 27833440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 28678.232 PropClause: 27902.651 Set: 5328.922 Check: 0.0 Back: 661.737
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 27901420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.512 Prop: 28745.655 PropClause: 27968.196 Set: 5363.377 Check: 0.0 Back: 663.401
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 27970407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.518 Prop: 28809.326 PropClause: 28029.952 Set: 5375.667 Check: 0.0 Back: 665.014
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 28039395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 28877.266 PropClause: 28095.968 Set: 5387.958 Check: 0.0 Back: 666.667
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 28108385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.529 Prop: 28944.587 PropClause: 28161.367 Set: 5400.215 Check: 0.0 Back: 668.342
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 28177124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 29010.256 PropClause: 28225.137 Set: 5412.265 Check: 0.0 Back: 670.005
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 28246112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 29075.027 PropClause: 28288.003 Set: 5424.45 Check: 0.0 Back: 671.653
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 28314092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 29138.291 PropClause: 28349.388 Set: 5436.37 Check: 0.0 Back: 673.307
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 28383079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.553 Prop: 29204.618 PropClause: 28413.821 Set: 5448.585 Check: 0.0 Back: 674.931
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 28452067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 29271.132 PropClause: 28478.42 Set: 5460.81 Check: 0.0 Back: 676.578
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 28521057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 29338.762 PropClause: 28544.139 Set: 5473.094 Check: 0.0 Back: 678.228
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 28589796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 29406.276 PropClause: 28609.758 Set: 5485.378 Check: 0.0 Back: 679.893
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 28658784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 29473.606 PropClause: 28675.182 Set: 5497.587 Check: 0.0 Back: 681.533
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 28726764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 29537.236 PropClause: 28736.933 Set: 5509.599 Check: 0.0 Back: 683.197
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 28795751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 29602.284 PropClause: 28800.068 Set: 5521.829 Check: 0.0 Back: 684.83
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 28864739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.598 Prop: 29669.393 PropClause: 28865.262 Set: 5534.121 Check: 0.0 Back: 686.502
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 28933729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.604 Prop: 29732.072 PropClause: 28926.023 Set: 5546.292 Check: 0.0 Back: 688.16
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 29002468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.611 Prop: 29797.564 PropClause: 28989.614 Set: 5558.434 Check: 0.0 Back: 689.825
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 29071456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.616 Prop: 29863.056 PropClause: 29053.189 Set: 5570.63 Check: 0.0 Back: 691.463
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 29139436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.622 Prop: 29929.461 PropClause: 29117.679 Set: 5582.662 Check: 0.0 Back: 693.118
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 29208423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.629 Prop: 29995.416 PropClause: 29181.728 Set: 5594.992 Check: 0.0 Back: 694.752
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 29277411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 30061.071 PropClause: 29245.467 Set: 5607.278 Check: 0.0 Back: 696.405
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 29346401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.64 Prop: 30126.889 PropClause: 29309.375 Set: 5619.438 Check: 0.0 Back: 698.066
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 29415140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 30194.094 PropClause: 29374.68 Set: 5631.683 Check: 0.0 Back: 699.729
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 29484128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 30257.622 PropClause: 29436.29 Set: 5644.195 Check: 0.0 Back: 701.368
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 29552108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.661 Prop: 30327.485 PropClause: 29504.243 Set: 5656.286 Check: 0.0 Back: 703.026
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 29621095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.666 Prop: 30393.896 PropClause: 29568.741 Set: 5668.599 Check: 0.0 Back: 704.661
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 29690083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 30459.71 PropClause: 29632.645 Set: 5680.841 Check: 0.0 Back: 706.326
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 29759073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 30527.903 PropClause: 29698.926 Set: 5693.187 Check: 0.0 Back: 707.984
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 29827812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 30595.768 PropClause: 29764.881 Set: 5705.485 Check: 0.0 Back: 709.647
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 29896800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.698 Prop: 30657.863 PropClause: 29825.059 Set: 5717.668 Check: 0.0 Back: 711.308
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 29964780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 30724.004 PropClause: 29889.314 Set: 5729.641 Check: 0.0 Back: 712.975
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 30033767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.709 Prop: 30789.662 PropClause: 29953.063 Set: 5741.921 Check: 0.0 Back: 714.626
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 30102755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.714 Prop: 30852.922 PropClause: 30014.407 Set: 5753.975 Check: 0.0 Back: 716.299
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 30170736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.72 Prop: 30916.124 PropClause: 30075.712 Set: 5765.851 Check: 0.0 Back: 717.961
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 30239723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.725 Prop: 30979.105 PropClause: 30136.793 Set: 5777.94 Check: 0.0 Back: 719.593
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 30308711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 31041.856 PropClause: 30197.628 Set: 5789.998 Check: 0.0 Back: 721.206
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 30377700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.735 Prop: 31105.136 PropClause: 30259.001 Set: 5802.234 Check: 0.0 Back: 722.861
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 30446687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.743 Prop: 31165.291 PropClause: 30317.248 Set: 5814.151 Check: 0.0 Back: 724.51
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 30515427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.748 Prop: 31230.482 PropClause: 30380.543 Set: 5826.293 Check: 0.0 Back: 726.164
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 30583408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.753 Prop: 31294.437 PropClause: 30442.629 Set: 5838.086 Check: 0.0 Back: 727.836
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 30652395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.761 Prop: 31355.024 PropClause: 30501.31 Set: 5850.23 Check: 0.0 Back: 729.468
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 30721383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.766 Prop: 31420.499 PropClause: 30564.883 Set: 5862.388 Check: 0.0 Back: 731.106
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 30790372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.771 Prop: 31485.593 PropClause: 30628.047 Set: 5874.551 Check: 0.0 Back: 732.759
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 30859359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.777 Prop: 31550.679 PropClause: 30691.221 Set: 5886.747 Check: 0.0 Back: 734.417
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 30928099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.782 Prop: 31613.82 PropClause: 30752.473 Set: 5898.718 Check: 0.0 Back: 736.087
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 30997089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.788 Prop: 31676.37 PropClause: 30813.118 Set: 5910.804 Check: 0.0 Back: 737.744
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 31065828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.793 Prop: 31743.385 PropClause: 30878.23 Set: 5922.992 Check: 0.0 Back: 739.4
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 31134816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.798 Prop: 31810.576 PropClause: 30943.517 Set: 5935.247 Check: 0.0 Back: 741.066
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 31202796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.803 Prop: 31876.148 PropClause: 31007.21 Set: 5947.191 Check: 0.0 Back: 742.724
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 31271783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.809 Prop: 31939.815 PropClause: 31068.967 Set: 5959.487 Check: 0.0 Back: 744.347
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 31340771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 32006.9 PropClause: 31134.119 Set: 5971.682 Check: 0.0 Back: 746.008
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 31409761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 32073.245 PropClause: 31198.553 Set: 5984.051 Check: 0.0 Back: 747.686
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 31478500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.829 Prop: 32138.817 PropClause: 31262.221 Set: 5996.332 Check: 0.0 Back: 749.353
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 31547488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.835 Prop: 32204.873 PropClause: 31326.369 Set: 6008.56 Check: 0.0 Back: 750.994
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 31615468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.84 Prop: 32270.016 PropClause: 31389.624 Set: 6020.508 Check: 0.0 Back: 752.658
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 31684455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.847 Prop: 32334.452 PropClause: 31452.15 Set: 6032.684 Check: 0.0 Back: 754.29
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 31753443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.853 Prop: 32401.366 PropClause: 31517.156 Set: 6044.974 Check: 0.0 Back: 755.95
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 31822433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 32467.017 PropClause: 31580.894 Set: 6057.276 Check: 0.0 Back: 757.607
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 31891172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.865 Prop: 32531.355 PropClause: 31643.306 Set: 6069.433 Check: 0.0 Back: 759.278
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 31960160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.87 Prop: 32597.756 PropClause: 31707.775 Set: 6081.588 Check: 0.0 Back: 760.921
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 32028140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 32661.905 PropClause: 31770.041 Set: 6093.467 Check: 0.0 Back: 762.591
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 32097127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 32727.684 PropClause: 31833.91 Set: 6105.768 Check: 0.0 Back: 764.226
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 32166115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.887 Prop: 32793.649 PropClause: 31897.96 Set: 6118.13 Check: 0.0 Back: 765.893
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 32235105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.894 Prop: 32858.052 PropClause: 31960.449 Set: 6150.194 Check: 0.0 Back: 767.555
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 32303844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 32925.297 PropClause: 32025.796 Set: 6162.467 Check: 0.0 Back: 769.229
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 32372832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 32990.111 PropClause: 32088.709 Set: 6174.7 Check: 0.0 Back: 770.894
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 32440812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 33052.945 PropClause: 32149.671 Set: 6186.586 Check: 0.0 Back: 772.556
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 32509799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.916 Prop: 33119.012 PropClause: 32213.83 Set: 6198.874 Check: 0.0 Back: 774.19
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 32578787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.921 Prop: 33186.293 PropClause: 32279.198 Set: 6211.194 Check: 0.0 Back: 775.849
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 32647777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.927 Prop: 33248.859 PropClause: 32339.84 Set: 6223.337 Check: 0.0 Back: 777.502
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 32716516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.932 Prop: 33316.793 PropClause: 32405.863 Set: 6235.659 Check: 0.0 Back: 779.161
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 32785504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 33382.803 PropClause: 32469.961 Set: 6248.051 Check: 0.0 Back: 780.813
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 32853484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 33445.66 PropClause: 32530.938 Set: 6259.964 Check: 0.0 Back: 782.467
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 32922471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.951 Prop: 33510.113 PropClause: 32593.476 Set: 6305.364 Check: 0.0 Back: 784.101
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 32991459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.956 Prop: 33576.043 PropClause: 32657.496 Set: 6317.704 Check: 0.0 Back: 785.757
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 33060449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.962 Prop: 33642.533 PropClause: 32722.072 Set: 6330.1 Check: 0.0 Back: 787.422
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 33129188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.967 Prop: 33708.183 PropClause: 32785.821 Set: 6342.32 Check: 0.0 Back: 789.082
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 33198176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.972 Prop: 33771.747 PropClause: 32847.482 Set: 6354.449 Check: 0.0 Back: 790.727
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 33266156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 33834.058 PropClause: 32907.914 Set: 6366.381 Check: 0.0 Back: 792.384
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 33335143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.983 Prop: 33897.676 PropClause: 32969.636 Set: 6378.528 Check: 0.0 Back: 794.0
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 33404131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 33961.229 PropClause: 33031.275 Set: 6390.795 Check: 0.0 Back: 795.657
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 33473121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.993 Prop: 34027.052 PropClause: 33095.196 Set: 6402.997 Check: 0.0 Back: 797.306
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 33541860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.999 Prop: 34090.46 PropClause: 33156.707 Set: 6414.961 Check: 0.0 Back: 798.974
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 33610848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.004 Prop: 34152.329 PropClause: 33216.662 Set: 6427.262 Check: 0.0 Back: 800.623
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 33678828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 34215.536 PropClause: 33277.988 Set: 6439.214 Check: 0.0 Back: 802.316
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 33747815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.014 Prop: 34278.452 PropClause: 33339.004 Set: 6451.43 Check: 0.0 Back: 803.937
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 33816803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.022 Prop: 34340.369 PropClause: 33399.01 Set: 6476.399 Check: 0.0 Back: 805.603
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 33885793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 34404.798 PropClause: 33461.52 Set: 6488.681 Check: 0.0 Back: 807.251
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 33954532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.034 Prop: 34469.558 PropClause: 33524.385 Set: 6500.756 Check: 0.0 Back: 808.932
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 34023520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 34531.465 PropClause: 33584.383 Set: 6512.966 Check: 0.0 Back: 810.567
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 34091500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.043 Prop: 34595.105 PropClause: 33646.147 Set: 6524.809 Check: 0.0 Back: 812.209
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 34160487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.048 Prop: 34658.179 PropClause: 33707.306 Set: 6537.002 Check: 0.0 Back: 813.834
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 34229475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.054 Prop: 34722.321 PropClause: 33769.516 Set: 6549.239 Check: 0.0 Back: 815.487
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 34298465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.059 Prop: 34785.61 PropClause: 33830.892 Set: 6561.456 Check: 0.0 Back: 817.143
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 34367204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.066 Prop: 34848.257 PropClause: 33891.648 Set: 6573.605 Check: 0.0 Back: 818.792
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 34436192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.071 Prop: 34913.028 PropClause: 33954.518 Set: 6585.739 Check: 0.0 Back: 820.442
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 34504172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.076 Prop: 34976.916 PropClause: 34016.531 Set: 6597.625 Check: 0.0 Back: 822.088
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 34573159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.082 Prop: 35041.453 PropClause: 34079.159 Set: 6609.856 Check: 0.0 Back: 823.722
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 34642147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.088 Prop: 35107.991 PropClause: 34143.767 Set: 6622.272 Check: 0.0 Back: 825.385
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 34711137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 35171.846 PropClause: 34205.684 Set: 6634.333 Check: 0.0 Back: 827.046
INFO - Atoms: 68990/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 34779876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.099 Prop: 35236.123 PropClause: 34268.061 Set: 6646.519 Check: 0.0 Back: 828.707
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 34848864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.105 Prop: 35301.683 PropClause: 34331.713 Set: 6658.888 Check: 0.0 Back: 830.353
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 34916844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.11 Prop: 35368.08 PropClause: 34396.227 Set: 6670.921 Check: 0.0 Back: 832.039
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 34985831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.115 Prop: 35430.731 PropClause: 34456.966 Set: 6683.269 Check: 0.0 Back: 833.673
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 35054819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.121 Prop: 35496.361 PropClause: 34520.679 Set: 6695.669 Check: 0.0 Back: 835.341
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 35122800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.127 Prop: 35561.102 PropClause: 34583.536 Set: 6707.875 Check: 0.0 Back: 837.012
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 35191787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.132 Prop: 35624.342 PropClause: 34644.869 Set: 6720.227 Check: 0.0 Back: 838.651
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 35260775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.139 Prop: 35692.718 PropClause: 34711.318 Set: 6732.568 Check: 0.0 Back: 840.309
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 35329764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.144 Prop: 35760.076 PropClause: 34776.768 Set: 6744.965 Check: 0.0 Back: 841.989
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 35398751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.151 Prop: 35826.495 PropClause: 34841.246 Set: 6757.438 Check: 0.0 Back: 843.639
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 35467491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.156 Prop: 35891.221 PropClause: 34904.049 Set: 6769.582 Check: 0.0 Back: 845.307
INFO - Atoms: 68740/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 35535472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.164 Prop: 35954.159 PropClause: 34965.099 Set: 6781.555 Check: 0.0 Back: 846.959
INFO - Atoms: 67981/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 35604459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.17 Prop: 36018.136 PropClause: 35027.158 Set: 6794.008 Check: 0.0 Back: 848.607
INFO - Atoms: 68987/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 35673447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.176 Prop: 36081.904 PropClause: 35089.011 Set: 6806.177 Check: 0.0 Back: 850.29
INFO - Atoms: 68988/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 35742436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.181 Prop: 36146.529 PropClause: 35151.727 Set: 6818.352 Check: 0.0 Back: 851.947
INFO - Atoms: 68989/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 35811304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.186 Prop: 36213.618 PropClause: 35216.877 Set: 6830.705 Check: 0.0 Back: 853.614
INFO - Atoms: 68868/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 35880043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.192 Prop: 36277.802 PropClause: 35279.156 Set: 6842.807 Check: 0.0 Back: 855.274
INFO - Atoms: 68739/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 35948913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.198 Prop: 36340.906 PropClause: 35340.355 Set: 6855.101 Check: 0.0 Back: 856.924
INFO - Atoms: 68870/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 36017531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.204 Prop: 36405.429 PropClause: 35402.977 Set: 6867.232 Check: 0.0 Back: 858.576
INFO - Atoms: 68618/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 36086277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.21 Prop: 36470.559 PropClause: 35466.203 Set: 6879.523 Check: 0.0 Back: 860.225
INFO - Atoms: 68746/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 36154257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.215 Prop: 36536.565 PropClause: 35530.324 Set: 6891.707 Check: 0.0 Back: 861.879
INFO - Atoms: 67980/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 36222754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.219 Prop: 36602.114 PropClause: 35593.962 Set: 6904.035 Check: 0.0 Back: 863.518
INFO - Atoms: 68497/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 36291250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.225 Prop: 36666.539 PropClause: 35656.486 Set: 6916.092 Check: 0.0 Back: 865.161
INFO - Atoms: 68496/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 36359748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.231 Prop: 36728.397 PropClause: 35716.45 Set: 6928.24 Check: 0.0 Back: 866.799
INFO - Atoms: 68498/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 36427990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.237 Prop: 36793.132 PropClause: 35779.284 Set: 6940.305 Check: 0.0 Back: 868.448
INFO - Atoms: 68242/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 36496231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.258 Prop: 36857.85 PropClause: 35842.111 Set: 6952.436 Check: 0.0 Back: 870.075
INFO - Atoms: 68241/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 76804 Tprops: 20627 Decides: 85639 RSplits: 0
INFO - Times: Expl: 385.167 Prop: 93455.284 PropClause: 29.335 Set: 15465.02 Check: 347.343 Back: 407.416
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 871408 eq 45963053 cc 156739673 setRep 103257065
INFO - Merges: 664684, cc:1243842
INFO - BVTimes: BB 255894419 BB_DPLL 84605050927 Graph 2111286
INFO - BitBlastingClauses: 716478 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 36564468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.264 Prop: 36926.756 PropClause: 35909.129 Set: 6964.045 Check: 0.0 Back: 871.713
INFO - Atoms: 68237/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 36632445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.269 Prop: 36995.346 PropClause: 35975.84 Set: 6975.681 Check: 0.0 Back: 873.377
INFO - Atoms: 67977/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 36699648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.275 Prop: 37061.047 PropClause: 36039.681 Set: 6987.018 Check: 0.0 Back: 875.039
INFO - Atoms: 67203/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 36767729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.41 Prop: 37128.556 PropClause: 36105.289 Set: 6998.584 Check: 0.0 Back: 876.671
INFO - Atoms: 68081/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 36867162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.459 Prop: 37223.889 PropClause: 36197.855 Set: 7016.517 Check: 0.0 Back: 878.338
INFO - Atoms: 99433/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 36966595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.471 Prop: 37339.395 PropClause: 36310.605 Set: 7034.287 Check: 0.0 Back: 880.69
INFO - Atoms: 99433/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 37066287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.52 Prop: 37458.771 PropClause: 36427.2 Set: 7052.24 Check: 0.0 Back: 883.04
INFO - Atoms: 99692/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 37165715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.534 Prop: 37571.663 PropClause: 36537.341 Set: 7069.811 Check: 0.0 Back: 885.365
INFO - Atoms: 99428/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 37265277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.545 Prop: 37686.309 PropClause: 36649.233 Set: 7087.369 Check: 0.0 Back: 887.697
INFO - Atoms: 99562/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 37333239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.556 Prop: 37778.296 PropClause: 36739.346 Set: 7098.769 Check: 0.0 Back: 890.039
INFO - Atoms: 67962/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 37400707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.595 Prop: 37841.34 PropClause: 36800.499 Set: 7110.168 Check: 0.0 Back: 891.693
INFO - Atoms: 67468/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 37468686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.607 Prop: 37906.209 PropClause: 36863.469 Set: 7121.706 Check: 0.0 Back: 893.351
INFO - Atoms: 67979/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 37536154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.619 Prop: 37971.018 PropClause: 36926.397 Set: 7133.106 Check: 0.0 Back: 894.995
INFO - Atoms: 67468/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 37603616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.63 Prop: 38036.358 PropClause: 36989.856 Set: 7144.678 Check: 0.0 Back: 896.636
INFO - Atoms: 67462/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 37638555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.664 Prop: 38078.739 PropClause: 37031.245 Set: 7154.486 Check: 0.0 Back: 898.278
INFO - Atoms: 34939/100096 Clauses: 773 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1014 Props: 38135243 Tprops: 0 Decides: 692 RSplits: 0
INFO - Times: Expl: 1503.853 Prop: 38376.711 PropClause: 37314.406 Set: 7170.283 Check: 0.028 Back: 909.761
INFO - Atoms: 33157/100096 Clauses: 1272 Axioms: 331250
INFO - Restart
INFO - Confl: 1514 Props: 40085292 Tprops: 0 Decides: 5664 RSplits: 0
INFO - Times: Expl: 3308.441 Prop: 39971.087 PropClause: 38850.697 Set: 7217.099 Check: 0.159 Back: 955.291
INFO - Atoms: 33157/100096 Clauses: 1772 Axioms: 331250
INFO - Restart
INFO - Confl: 2514 Props: 45885785 Tprops: 0 Decides: 20094 RSplits: 0
INFO - Times: Expl: 6182.401 Prop: 45442.818 PropClause: 44150.357 Set: 7355.954 Check: 0.543 Back: 1091.628
INFO - Atoms: 33157/100096 Clauses: 2772 Axioms: 331250
INFO - Restart
INFO - Confl: 3014 Props: 47534012 Tprops: 0 Decides: 24164 RSplits: 0
INFO - Times: Expl: 6842.476 Prop: 46674.022 PropClause: 45333.219 Set: 7395.168 Check: 0.652 Back: 1130.207
INFO - Atoms: 33675/100096 Clauses: 3272 Axioms: 331250
INFO - Confl: 3476 Props: 48420379 Tprops: 0 Decides: 25688 RSplits: 0
INFO - Times: Expl: 7179.614 Prop: 47211.645 PropClause: 45845.215 Set: 7416.216 Check: 0.695 Back: 1150.792
INFO - Atoms: 34725/100096 Clauses: 3734 Axioms: 331250
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 575 Props: 94579 Tprops: 22981 Decides: 86380 RSplits: 0
INFO - Times: Expl: 410.867 Prop: 113422.371 PropClause: 34.629 Set: 16668.824 Check: 351.01 Back: 443.372
INFO - Atoms: 1158/1158 Clauses: 575 Axioms: 1158
INFO - CCTimes: iE 887748 eq 51339879 cc 162109138 setRep 105205166
INFO - Merges: 678146, cc:1306725
INFO - BVTimes: BB 255894419 BB_DPLL 104180643941 Graph 2128438
INFO - BitBlastingClauses: 728830 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat