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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 117409629
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 38014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 53.989 PropClause: 47.625 Set: 58.798 Check: 0.0 Back: 0.0
INFO - Atoms: 38014/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 76028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.631 Prop: 98.849 PropClause: 91.093 Set: 65.884 Check: 0.0 Back: 0.887
INFO - Atoms: 38014/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 113535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.673 Prop: 141.756 PropClause: 132.413 Set: 72.868 Check: 0.0 Back: 1.776
INFO - Atoms: 37507/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 151042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.717 Prop: 183.154 PropClause: 172.437 Set: 83.894 Check: 0.0 Back: 2.627
INFO - Atoms: 37507/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 188543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 217.381 PropClause: 205.605 Set: 90.945 Check: 0.0 Back: 3.51
INFO - Atoms: 37501/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 226045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.815 Prop: 254.013 PropClause: 241.183 Set: 98.026 Check: 0.0 Back: 4.364
INFO - Atoms: 37502/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 263289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.894 Prop: 287.808 PropClause: 273.95 Set: 105.03 Check: 0.0 Back: 5.403
INFO - Atoms: 37244/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 300535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.964 Prop: 325.124 PropClause: 310.235 Set: 112.066 Check: 0.0 Back: 6.43
INFO - Atoms: 37246/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 337523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.023 Prop: 360.591 PropClause: 344.662 Set: 119.073 Check: 0.0 Back: 7.466
INFO - Atoms: 36988/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 374251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.072 Prop: 395.868 PropClause: 378.917 Set: 126.002 Check: 0.0 Back: 8.524
INFO - Atoms: 36728/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 410721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.113 Prop: 429.445 PropClause: 411.476 Set: 133.251 Check: 0.0 Back: 9.587
INFO - Atoms: 36470/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 446931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.161 Prop: 470.97 PropClause: 451.998 Set: 143.945 Check: 0.0 Back: 10.605
INFO - Atoms: 36210/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 482883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.25 Prop: 503.979 PropClause: 484.013 Set: 154.304 Check: 0.0 Back: 11.624
INFO - Atoms: 35952/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 518575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.293 Prop: 537.793 PropClause: 516.842 Set: 160.988 Check: 0.0 Back: 12.64
INFO - Atoms: 35692/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 554009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.335 Prop: 568.224 PropClause: 546.29 Set: 167.464 Check: 0.0 Back: 13.652
INFO - Atoms: 35434/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 589183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.377 Prop: 602.644 PropClause: 579.735 Set: 174.02 Check: 0.0 Back: 14.625
INFO - Atoms: 35174/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 624099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 633.701 PropClause: 609.831 Set: 180.388 Check: 0.0 Back: 15.629
INFO - Atoms: 34916/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 658755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.46 Prop: 664.178 PropClause: 639.349 Set: 186.785 Check: 0.0 Back: 16.601
INFO - Atoms: 34656/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 693153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.497 Prop: 694.789 PropClause: 669.008 Set: 193.124 Check: 0.0 Back: 17.555
INFO - Atoms: 34398/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 727291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.545 Prop: 726.15 PropClause: 699.422 Set: 199.519 Check: 0.0 Back: 18.508
INFO - Atoms: 34138/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 761171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.595 Prop: 753.989 PropClause: 726.321 Set: 205.752 Check: 0.0 Back: 19.468
INFO - Atoms: 33880/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 794791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.659 Prop: 781.927 PropClause: 753.327 Set: 211.824 Check: 0.0 Back: 20.383
INFO - Atoms: 33620/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 828153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.698 Prop: 808.263 PropClause: 778.744 Set: 217.877 Check: 0.0 Back: 21.292
INFO - Atoms: 33362/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 861255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.739 Prop: 838.152 PropClause: 807.718 Set: 223.941 Check: 0.0 Back: 22.181
INFO - Atoms: 33102/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 894099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 863.115 PropClause: 831.773 Set: 229.878 Check: 0.0 Back: 23.081
INFO - Atoms: 32844/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 926683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.821 Prop: 891.954 PropClause: 859.711 Set: 235.86 Check: 0.0 Back: 23.962
INFO - Atoms: 32584/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 959009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.866 Prop: 919.167 PropClause: 886.03 Set: 244.265 Check: 0.0 Back: 24.832
INFO - Atoms: 32326/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 991075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 947.709 PropClause: 913.686 Set: 253.381 Check: 0.0 Back: 25.696
INFO - Atoms: 32066/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1022883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.977 Prop: 974.69 PropClause: 939.781 Set: 262.445 Check: 0.0 Back: 26.552
INFO - Atoms: 31808/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1054431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.02 Prop: 1001.989 PropClause: 966.199 Set: 271.383 Check: 0.0 Back: 27.376
INFO - Atoms: 31548/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1085721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.059 Prop: 1027.123 PropClause: 990.468 Set: 280.184 Check: 0.0 Back: 28.218
INFO - Atoms: 31290/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1116751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.126 Prop: 1052.648 PropClause: 1015.135 Set: 288.894 Check: 0.0 Back: 29.044
INFO - Atoms: 31030/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1147523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.172 Prop: 1078.853 PropClause: 1040.411 Set: 297.545 Check: 0.0 Back: 29.876
INFO - Atoms: 30772/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1178035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.216 Prop: 1103.602 PropClause: 1064.314 Set: 303.043 Check: 0.0 Back: 30.682
INFO - Atoms: 30512/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1208289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.257 Prop: 1126.282 PropClause: 1086.163 Set: 308.443 Check: 0.0 Back: 31.482
INFO - Atoms: 30254/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1238283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 1148.637 PropClause: 1107.683 Set: 313.863 Check: 0.0 Back: 32.258
INFO - Atoms: 29994/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1268019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.335 Prop: 1170.684 PropClause: 1128.899 Set: 319.239 Check: 0.0 Back: 33.049
INFO - Atoms: 29736/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1297495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.377 Prop: 1192.753 PropClause: 1150.154 Set: 324.556 Check: 0.0 Back: 33.828
INFO - Atoms: 29476/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1326713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 1213.409 PropClause: 1170.001 Set: 329.771 Check: 0.0 Back: 34.585
INFO - Atoms: 29218/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1355671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.462 Prop: 1236.455 PropClause: 1192.234 Set: 335.002 Check: 0.0 Back: 35.335
INFO - Atoms: 28958/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1384371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 1257.964 PropClause: 1212.942 Set: 340.112 Check: 0.0 Back: 36.096
INFO - Atoms: 28700/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1412811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 1280.193 PropClause: 1234.385 Set: 345.204 Check: 0.0 Back: 36.854
INFO - Atoms: 28440/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1440993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.595 Prop: 1302.337 PropClause: 1255.748 Set: 350.291 Check: 0.0 Back: 37.614
INFO - Atoms: 28182/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1468915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.631 Prop: 1325.306 PropClause: 1277.941 Set: 355.349 Check: 0.0 Back: 38.351
INFO - Atoms: 27922/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1496579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.672 Prop: 1344.268 PropClause: 1296.137 Set: 360.24 Check: 0.0 Back: 39.066
INFO - Atoms: 27664/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1523983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.711 Prop: 1362.908 PropClause: 1314.019 Set: 365.063 Check: 0.0 Back: 39.75
INFO - Atoms: 27404/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1551129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.753 Prop: 1380.552 PropClause: 1330.911 Set: 369.848 Check: 0.0 Back: 40.439
INFO - Atoms: 27146/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1578015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 1397.867 PropClause: 1347.482 Set: 374.58 Check: 0.0 Back: 41.126
INFO - Atoms: 26886/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1604643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 1416.839 PropClause: 1365.719 Set: 379.237 Check: 0.0 Back: 41.826
INFO - Atoms: 26628/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1631011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.869 Prop: 1437.166 PropClause: 1385.302 Set: 383.893 Check: 0.0 Back: 42.488
INFO - Atoms: 26368/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1657121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.01 Prop: 1454.31 PropClause: 1401.714 Set: 388.452 Check: 0.0 Back: 43.155
INFO - Atoms: 26110/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1682970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.073 Prop: 1471.134 PropClause: 1417.825 Set: 392.981 Check: 0.0 Back: 43.852
INFO - Atoms: 25849/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1710093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.206 Prop: 1488.377 PropClause: 1434.328 Set: 397.872 Check: 0.0 Back: 44.502
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1737216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 1505.519 PropClause: 1450.732 Set: 402.726 Check: 0.0 Back: 45.182
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1763819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 1522.417 PropClause: 1466.897 Set: 407.516 Check: 0.0 Back: 45.867
INFO - Atoms: 26603/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1790681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.287 Prop: 1540.236 PropClause: 1483.976 Set: 412.361 Check: 0.0 Back: 46.521
INFO - Atoms: 26862/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1817546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.305 Prop: 1558.109 PropClause: 1501.108 Set: 417.231 Check: 0.0 Back: 47.193
INFO - Atoms: 26865/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1844667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.32 Prop: 1576.284 PropClause: 1518.532 Set: 422.106 Check: 0.0 Back: 47.862
INFO - Atoms: 27121/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1872050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.336 Prop: 1596.474 PropClause: 1537.969 Set: 427.115 Check: 0.0 Back: 48.551
INFO - Atoms: 27383/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1898673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.382 Prop: 1615.004 PropClause: 1555.765 Set: 431.837 Check: 0.0 Back: 49.231
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1926301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 1633.548 PropClause: 1573.552 Set: 436.806 Check: 0.0 Back: 49.907
INFO - Atoms: 27628/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1953681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.46 Prop: 1652.17 PropClause: 1591.415 Set: 441.708 Check: 0.0 Back: 50.591
INFO - Atoms: 27380/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1980304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.476 Prop: 1673.613 PropClause: 1612.115 Set: 446.489 Check: 0.0 Back: 51.288
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2007933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.496 Prop: 1692.344 PropClause: 1630.078 Set: 451.457 Check: 0.0 Back: 51.949
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2035563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.512 Prop: 1711.179 PropClause: 1648.142 Set: 456.456 Check: 0.0 Back: 52.663
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2062185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.527 Prop: 1730.281 PropClause: 1666.506 Set: 462.443 Check: 0.0 Back: 53.353
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2089814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.541 Prop: 1748.911 PropClause: 1684.373 Set: 468.325 Check: 0.0 Back: 54.038
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2117444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 1770.85 PropClause: 1705.548 Set: 475.438 Check: 0.0 Back: 54.738
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2145076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.574 Prop: 1791.168 PropClause: 1725.102 Set: 482.589 Check: 0.0 Back: 55.449
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2172705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.588 Prop: 1813.096 PropClause: 1746.264 Set: 489.762 Check: 0.0 Back: 56.154
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2200087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 1834.229 PropClause: 1766.639 Set: 496.827 Check: 0.0 Back: 56.872
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2226709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.621 Prop: 1856.075 PropClause: 1787.744 Set: 503.857 Check: 0.0 Back: 57.572
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2254338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 1877.734 PropClause: 1808.639 Set: 511.005 Check: 0.0 Back: 58.269
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2281968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 1898.565 PropClause: 1828.704 Set: 518.173 Check: 0.0 Back: 58.985
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2309600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 1918.121 PropClause: 1847.499 Set: 525.271 Check: 0.0 Back: 59.692
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2337229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 1938.513 PropClause: 1867.129 Set: 532.386 Check: 0.0 Back: 60.393
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2364611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 1957.819 PropClause: 1885.679 Set: 539.368 Check: 0.0 Back: 61.104
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2391233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 1977.364 PropClause: 1904.492 Set: 546.111 Check: 0.0 Back: 61.794
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2418862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 1997.205 PropClause: 1923.572 Set: 553.281 Check: 0.0 Back: 62.473
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2446492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.739 Prop: 2017.21 PropClause: 1942.813 Set: 560.404 Check: 0.0 Back: 63.173
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2474124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 2036.832 PropClause: 1961.673 Set: 567.532 Check: 0.0 Back: 63.888
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2501753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.77 Prop: 2059.417 PropClause: 1983.489 Set: 574.889 Check: 0.0 Back: 64.59
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2529135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 2079.228 PropClause: 2002.538 Set: 588.935 Check: 0.0 Back: 65.311
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2556766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 2097.411 PropClause: 2019.96 Set: 593.921 Check: 0.0 Back: 65.995
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2584147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.815 Prop: 2117.086 PropClause: 2038.876 Set: 598.924 Check: 0.0 Back: 66.715
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2611777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 2135.27 PropClause: 2056.299 Set: 603.947 Check: 0.0 Back: 67.412
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2639409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 2153.425 PropClause: 2073.697 Set: 608.959 Check: 0.0 Back: 68.113
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2667038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.862 Prop: 2171.934 PropClause: 2091.446 Set: 613.948 Check: 0.0 Back: 68.802
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2694420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.878 Prop: 2192.243 PropClause: 2110.989 Set: 619.009 Check: 0.0 Back: 69.502
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2722051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 2212.505 PropClause: 2130.486 Set: 624.125 Check: 0.0 Back: 70.191
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2749432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 2233.687 PropClause: 2150.91 Set: 629.24 Check: 0.0 Back: 70.934
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2777062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.927 Prop: 2253.036 PropClause: 2169.494 Set: 634.338 Check: 0.0 Back: 71.63
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2803685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.942 Prop: 2272.12 PropClause: 2187.843 Set: 639.159 Check: 0.0 Back: 72.329
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2831314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.958 Prop: 2291.424 PropClause: 2206.377 Set: 644.293 Check: 0.0 Back: 72.995
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2858944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 2310.83 PropClause: 2225.021 Set: 649.428 Check: 0.0 Back: 73.694
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2885566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 2329.864 PropClause: 2243.322 Set: 654.219 Check: 0.0 Back: 74.393
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2913195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 2349.169 PropClause: 2261.85 Set: 659.323 Check: 0.0 Back: 75.062
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2940825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 2371.61 PropClause: 2283.519 Set: 664.451 Check: 0.0 Back: 75.776
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2968457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 2391.074 PropClause: 2302.225 Set: 669.554 Check: 0.0 Back: 76.48
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2996086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.052 Prop: 2411.307 PropClause: 2321.695 Set: 674.707 Check: 0.0 Back: 77.189
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3023468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 2431.243 PropClause: 2340.874 Set: 679.806 Check: 0.0 Back: 77.895
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3050090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 2450.427 PropClause: 2359.323 Set: 684.628 Check: 0.0 Back: 78.604
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3077719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.101 Prop: 2469.223 PropClause: 2377.354 Set: 689.675 Check: 0.0 Back: 79.274
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3105349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 2488.981 PropClause: 2396.349 Set: 694.807 Check: 0.0 Back: 79.97
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 3132981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.131 Prop: 2507.936 PropClause: 2414.54 Set: 699.875 Check: 0.0 Back: 80.671
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 3160610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 2528.461 PropClause: 2434.304 Set: 704.994 Check: 0.0 Back: 81.363
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 3187992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 2548.234 PropClause: 2453.321 Set: 710.004 Check: 0.0 Back: 82.066
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 3214614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 2568.371 PropClause: 2472.723 Set: 714.913 Check: 0.0 Back: 82.755
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 3242243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.186 Prop: 2587.432 PropClause: 2491.017 Set: 720.068 Check: 0.0 Back: 83.428
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 3269873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 2607.189 PropClause: 2510.004 Set: 725.251 Check: 0.0 Back: 84.154
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 3297505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 2626.407 PropClause: 2528.457 Set: 730.381 Check: 0.0 Back: 84.864
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 3325134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 2645.979 PropClause: 2547.263 Set: 735.511 Check: 0.0 Back: 85.571
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 3352516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 2664.414 PropClause: 2564.943 Set: 740.49 Check: 0.0 Back: 86.291
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 3379138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.264 Prop: 2684.499 PropClause: 2584.296 Set: 745.319 Check: 0.0 Back: 86.978
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 3406767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.28 Prop: 2705.924 PropClause: 2604.961 Set: 750.462 Check: 0.0 Back: 87.668
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 3434397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 2724.451 PropClause: 2622.715 Set: 755.525 Check: 0.0 Back: 88.388
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 3462029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 2742.795 PropClause: 2640.302 Set: 760.565 Check: 0.0 Back: 89.092
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3489658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 2761.711 PropClause: 2658.457 Set: 765.631 Check: 0.0 Back: 89.808
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3517040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 2780.798 PropClause: 2676.787 Set: 770.64 Check: 0.0 Back: 90.513
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3543662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.424 Prop: 2799.236 PropClause: 2694.494 Set: 775.47 Check: 0.0 Back: 91.202
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3571291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 2818.137 PropClause: 2712.63 Set: 780.583 Check: 0.0 Back: 91.866
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3598921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 2839.814 PropClause: 2733.543 Set: 785.781 Check: 0.0 Back: 92.574
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3626553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 2858.789 PropClause: 2751.755 Set: 790.895 Check: 0.0 Back: 93.311
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 3654182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 2877.814 PropClause: 2770.018 Set: 795.95 Check: 0.0 Back: 94.012
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 3681564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.501 Prop: 2896.073 PropClause: 2787.521 Set: 800.92 Check: 0.0 Back: 94.718
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 3708186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 2914.475 PropClause: 2805.188 Set: 805.778 Check: 0.0 Back: 95.409
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3735815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 2933.524 PropClause: 2823.469 Set: 810.942 Check: 0.0 Back: 96.078
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3763445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 2952.774 PropClause: 2841.928 Set: 816.04 Check: 0.0 Back: 96.801
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 3791077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 2971.563 PropClause: 2859.956 Set: 821.076 Check: 0.0 Back: 97.51
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 3818706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 2994.469 PropClause: 2882.099 Set: 826.294 Check: 0.0 Back: 98.211
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 3846088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.641 Prop: 3013.289 PropClause: 2900.162 Set: 831.274 Check: 0.0 Back: 98.944
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 3872710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.65 Prop: 3031.848 PropClause: 2917.987 Set: 836.071 Check: 0.0 Back: 99.649
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 3900339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 3052.464 PropClause: 2937.84 Set: 841.21 Check: 0.0 Back: 100.327
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 3927969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 3076.191 PropClause: 2960.799 Set: 846.439 Check: 0.0 Back: 101.038
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 3955601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 3112.127 PropClause: 2995.965 Set: 851.671 Check: 0.0 Back: 101.764
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3983230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 3142.885 PropClause: 3025.958 Set: 856.857 Check: 0.0 Back: 104.093
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 4010612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 3165.698 PropClause: 3048.012 Set: 861.917 Check: 0.0 Back: 104.831
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 4037234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 3190.281 PropClause: 3071.859 Set: 866.906 Check: 0.0 Back: 105.552
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 4064863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 3209.436 PropClause: 3090.251 Set: 872.063 Check: 0.0 Back: 106.261
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 4092493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 3227.956 PropClause: 3108.01 Set: 877.129 Check: 0.0 Back: 106.985
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 4120125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 3248.834 PropClause: 3128.127 Set: 882.205 Check: 0.0 Back: 107.704
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 4147754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.801 Prop: 3268.024 PropClause: 3146.552 Set: 887.3 Check: 0.0 Back: 108.403
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 4175136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 3286.27 PropClause: 3164.049 Set: 892.256 Check: 0.0 Back: 109.113
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 4201758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 3304.387 PropClause: 3181.437 Set: 897.016 Check: 0.0 Back: 109.814
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 4229387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.814 Prop: 3322.774 PropClause: 3199.06 Set: 902.118 Check: 0.0 Back: 110.487
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 4257017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.819 Prop: 3344.453 PropClause: 3219.975 Set: 907.31 Check: 0.0 Back: 111.204
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 4284649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 3365.416 PropClause: 3240.175 Set: 912.429 Check: 0.0 Back: 111.93
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 4312278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 3384.093 PropClause: 3258.09 Set: 917.521 Check: 0.0 Back: 112.629
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 4339660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 3402.584 PropClause: 3275.826 Set: 922.542 Check: 0.0 Back: 113.335
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 4366282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 3420.347 PropClause: 3292.855 Set: 927.377 Check: 0.0 Back: 114.038
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 4393911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 3438.542 PropClause: 3310.289 Set: 932.447 Check: 0.0 Back: 114.715
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 4421541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 3456.911 PropClause: 3327.896 Set: 937.509 Check: 0.0 Back: 115.425
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 4449173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 3475.475 PropClause: 3345.701 Set: 942.552 Check: 0.0 Back: 116.135
INFO - Atoms: 27632/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 4476802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 3494.167 PropClause: 3363.634 Set: 947.629 Check: 0.0 Back: 116.836
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 4504184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 3513.661 PropClause: 3382.372 Set: 952.712 Check: 0.0 Back: 117.548
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 4531815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.864 Prop: 3533.236 PropClause: 3401.178 Set: 959.054 Check: 0.0 Back: 118.252
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 4559196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 3555.216 PropClause: 3422.398 Set: 966.753 Check: 0.0 Back: 118.984
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 4586826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.873 Prop: 3576.622 PropClause: 3443.039 Set: 974.156 Check: 0.0 Back: 119.696
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 4614460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.878 Prop: 3598.205 PropClause: 3463.858 Set: 981.596 Check: 0.0 Back: 120.419
INFO - Atoms: 27634/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4642089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 3619.408 PropClause: 3484.299 Set: 988.785 Check: 0.0 Back: 121.139
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4669471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 3640.324 PropClause: 3504.457 Set: 995.866 Check: 0.0 Back: 121.855
INFO - Atoms: 27382/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 4697102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.892 Prop: 3661.6 PropClause: 3524.969 Set: 1003.136 Check: 0.0 Back: 122.585
INFO - Atoms: 27631/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 4724483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 3682.965 PropClause: 3545.577 Set: 1010.251 Check: 0.0 Back: 123.31
INFO - Atoms: 27381/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 4752113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 3705.621 PropClause: 3567.453 Set: 1017.89 Check: 0.0 Back: 124.035
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 4778736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 3731.807 PropClause: 3592.905 Set: 1024.805 Check: 0.0 Back: 124.769
INFO - Atoms: 26623/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 4806365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 3755.177 PropClause: 3615.51 Set: 1038.687 Check: 0.0 Back: 125.457
INFO - Atoms: 27629/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 4833995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 3779.631 PropClause: 3639.195 Set: 1043.909 Check: 0.0 Back: 126.194
INFO - Atoms: 27630/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 4860617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 3800.459 PropClause: 3659.283 Set: 1048.834 Check: 0.0 Back: 126.923
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 4888127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 3825.476 PropClause: 3683.541 Set: 1054.072 Check: 0.0 Back: 127.611
INFO - Atoms: 27510/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 4915637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 3844.396 PropClause: 3701.702 Set: 1059.168 Check: 0.0 Back: 128.345
INFO - Atoms: 27510/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 4943149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 3863.966 PropClause: 3720.514 Set: 1064.269 Check: 0.0 Back: 129.047
INFO - Atoms: 27512/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 4970537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 3882.76 PropClause: 3738.553 Set: 1069.3 Check: 0.0 Back: 129.761
INFO - Atoms: 27388/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 4997797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 3903.188 PropClause: 3758.221 Set: 1074.34 Check: 0.0 Back: 130.46
INFO - Atoms: 27260/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 5024419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 3925.189 PropClause: 3779.479 Set: 1079.327 Check: 0.0 Back: 131.168
INFO - Atoms: 26622/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 5051558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.947 Prop: 3944.072 PropClause: 3797.616 Set: 1084.382 Check: 0.0 Back: 131.86
INFO - Atoms: 27139/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 5078696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.951 Prop: 3962.947 PropClause: 3815.743 Set: 1089.381 Check: 0.0 Back: 132.558
INFO - Atoms: 27138/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 5105836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.955 Prop: 3989.154 PropClause: 3841.202 Set: 1094.488 Check: 0.0 Back: 133.266
INFO - Atoms: 27140/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 5132719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 4007.162 PropClause: 3858.477 Set: 1099.348 Check: 0.0 Back: 133.992
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 5159602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.982 Prop: 4024.046 PropClause: 3874.629 Set: 1104.13 Check: 0.0 Back: 134.675
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 5186485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 4041.589 PropClause: 3891.437 Set: 1109.037 Check: 0.0 Back: 135.358
INFO - Atoms: 26883/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 5213088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 4059.226 PropClause: 3908.35 Set: 1113.814 Check: 0.0 Back: 136.031
INFO - Atoms: 26603/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 5239940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 4076.113 PropClause: 3924.502 Set: 1118.66 Check: 0.0 Back: 136.703
INFO - Atoms: 26852/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 5266542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 4093.021 PropClause: 3940.674 Set: 1123.467 Check: 0.0 Back: 137.386
INFO - Atoms: 26602/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 5293395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 4109.727 PropClause: 3956.642 Set: 1128.354 Check: 0.0 Back: 138.069
INFO - Atoms: 26853/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 5319503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 4126.854 PropClause: 3973.055 Set: 1133.078 Check: 0.0 Back: 138.752
INFO - Atoms: 26108/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 5345871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 4143.212 PropClause: 3988.683 Set: 1137.758 Check: 0.0 Back: 139.417
INFO - Atoms: 26368/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 5371980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 4160.335 PropClause: 4005.09 Set: 1142.372 Check: 0.0 Back: 140.099
INFO - Atoms: 26109/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 5397828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.048 Prop: 4176.769 PropClause: 4020.813 Set: 1146.927 Check: 0.0 Back: 140.76
INFO - Atoms: 25848/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 5423915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 4199.299 PropClause: 4042.602 Set: 1156.582 Check: 0.0 Back: 141.435
INFO - Atoms: 26087/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 5450260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 4215.423 PropClause: 4057.999 Set: 1160.974 Check: 0.0 Back: 142.087
INFO - Atoms: 26345/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 5476866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 4231.565 PropClause: 4073.392 Set: 1165.577 Check: 0.0 Back: 142.744
INFO - Atoms: 26606/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 5503730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 4248.203 PropClause: 4089.288 Set: 1170.065 Check: 0.0 Back: 143.426
INFO - Atoms: 26864/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 5530853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.318 Prop: 4265.344 PropClause: 4105.68 Set: 1174.738 Check: 0.0 Back: 144.106
INFO - Atoms: 27123/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 5558236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.328 Prop: 4287.984 PropClause: 4127.565 Set: 1179.64 Check: 0.0 Back: 144.782
INFO - Atoms: 27383/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 5585877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 4308.752 PropClause: 4147.568 Set: 1184.345 Check: 0.0 Back: 145.496
INFO - Atoms: 27641/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 5613778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.346 Prop: 4326.431 PropClause: 4164.475 Set: 1189.17 Check: 0.0 Back: 146.19
INFO - Atoms: 27901/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 5641937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 4344.689 PropClause: 4181.954 Set: 1194.007 Check: 0.0 Back: 146.897
INFO - Atoms: 28159/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 5670356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 4363.807 PropClause: 4200.285 Set: 1198.789 Check: 0.0 Back: 147.606
INFO - Atoms: 28419/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 5699033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 4382.247 PropClause: 4217.933 Set: 1203.718 Check: 0.0 Back: 148.348
INFO - Atoms: 28677/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 5727970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 4401.188 PropClause: 4236.074 Set: 1208.728 Check: 0.0 Back: 149.085
INFO - Atoms: 28937/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 5757165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 4420.812 PropClause: 4254.882 Set: 1213.781 Check: 0.0 Back: 149.841
INFO - Atoms: 29195/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 5786620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 4440.441 PropClause: 4273.691 Set: 1218.867 Check: 0.0 Back: 150.596
INFO - Atoms: 29455/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 5816333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.409 Prop: 4461.521 PropClause: 4293.947 Set: 1223.924 Check: 0.0 Back: 151.35
INFO - Atoms: 29713/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 5846306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 4482.374 PropClause: 4313.967 Set: 1229.091 Check: 0.0 Back: 152.115
INFO - Atoms: 29973/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 5876537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 4504.078 PropClause: 4334.831 Set: 1234.202 Check: 0.0 Back: 152.887
INFO - Atoms: 30231/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 5907028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 4526.925 PropClause: 4356.841 Set: 1239.532 Check: 0.0 Back: 153.659
INFO - Atoms: 30491/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 5937777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 4552.315 PropClause: 4381.382 Set: 1245.07 Check: 0.0 Back: 154.448
INFO - Atoms: 30749/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 5968786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 4574.045 PropClause: 4402.259 Set: 1250.457 Check: 0.0 Back: 155.241
INFO - Atoms: 31009/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 6000053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 4597.269 PropClause: 4424.618 Set: 1255.745 Check: 0.0 Back: 156.046
INFO - Atoms: 31267/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 6031580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 4620.912 PropClause: 4447.399 Set: 1261.243 Check: 0.0 Back: 156.864
INFO - Atoms: 31527/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 6063365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 4646.785 PropClause: 4472.396 Set: 1266.892 Check: 0.0 Back: 157.701
INFO - Atoms: 31785/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 6095410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.491 Prop: 4671.296 PropClause: 4496.025 Set: 1272.515 Check: 0.0 Back: 158.54
INFO - Atoms: 32045/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 6127713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 4696.048 PropClause: 4519.889 Set: 1278.11 Check: 0.0 Back: 159.404
INFO - Atoms: 32303/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 6160276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 4720.352 PropClause: 4543.292 Set: 1283.779 Check: 0.0 Back: 160.262
INFO - Atoms: 32563/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 6193097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 4750.483 PropClause: 4572.519 Set: 1289.522 Check: 0.0 Back: 161.121
INFO - Atoms: 32821/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 6226178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 4778.285 PropClause: 4599.405 Set: 1295.334 Check: 0.0 Back: 162.009
INFO - Atoms: 33081/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 6259517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 4804.765 PropClause: 4624.969 Set: 1301.211 Check: 0.0 Back: 162.891
INFO - Atoms: 33339/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 6293116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 4831.322 PropClause: 4650.6 Set: 1307.104 Check: 0.0 Back: 163.771
INFO - Atoms: 33599/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 6326973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 4860.148 PropClause: 4678.495 Set: 1312.897 Check: 0.0 Back: 164.661
INFO - Atoms: 33857/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 6361090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 4887.928 PropClause: 4705.332 Set: 1318.961 Check: 0.0 Back: 165.57
INFO - Atoms: 34117/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 6395465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 4917.147 PropClause: 4733.602 Set: 1325.074 Check: 0.0 Back: 166.498
INFO - Atoms: 34375/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 6430100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 4945.827 PropClause: 4761.329 Set: 1331.064 Check: 0.0 Back: 167.425
INFO - Atoms: 34635/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 6464993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.596 Prop: 4975.249 PropClause: 4789.789 Set: 1337.25 Check: 0.0 Back: 168.355
INFO - Atoms: 34893/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 6500146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.606 Prop: 5004.401 PropClause: 4817.968 Set: 1343.507 Check: 0.0 Back: 169.295
INFO - Atoms: 35153/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 6535557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 5035.072 PropClause: 4847.662 Set: 1349.599 Check: 0.0 Back: 170.235
INFO - Atoms: 35411/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 6571228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.625 Prop: 5065.616 PropClause: 4877.227 Set: 1355.769 Check: 0.0 Back: 171.195
INFO - Atoms: 35671/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 6607157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 5098.034 PropClause: 4908.651 Set: 1363.104 Check: 0.0 Back: 172.156
INFO - Atoms: 35929/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 6643346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 5132.196 PropClause: 4941.819 Set: 1369.817 Check: 0.0 Back: 173.131
INFO - Atoms: 36189/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 6679793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 5166.399 PropClause: 4975.019 Set: 1376.099 Check: 0.0 Back: 174.127
INFO - Atoms: 36447/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 6716500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.667 Prop: 5200.368 PropClause: 5007.977 Set: 1382.525 Check: 0.0 Back: 175.123
INFO - Atoms: 36707/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 6753464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.676 Prop: 5235.953 PropClause: 5042.544 Set: 1388.96 Check: 0.0 Back: 176.118
INFO - Atoms: 36964/38016 Clauses: 293 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 731 Props: 9433868 Tprops: 0 Decides: 13797 RSplits: 0
INFO - Times: Expl: 737.934 Prop: 7224.496 PropClause: 6950.608 Set: 1456.606 Check: 0.322 Back: 241.174
INFO - Atoms: 12597/38016 Clauses: 792 Axioms: 125810
INFO - Confl: 1005 Props: 9742280 Tprops: 0 Decides: 15306 RSplits: 0
INFO - Times: Expl: 811.757 Prop: 7346.089 PropClause: 7062.988 Set: 1463.948 Check: 0.357 Back: 248.313
INFO - Atoms: 13117/38016 Clauses: 1066 Axioms: 125810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 234 Props: 12942 Tprops: 2926 Decides: 12811 RSplits: 0
INFO - Times: Expl: 80.842 Prop: 16446.663 PropClause: 4.579 Set: 1030.93 Check: 86.582 Back: 39.131
INFO - Atoms: 343/438 Clauses: 234 Axioms: 438
INFO - CCTimes: iE 137019 eq 9355638 cc 19409190 setRep 10593704
INFO - Merges: 94725, cc:140176
INFO - BVTimes: BB 117395141 BB_DPLL 14931104707 Graph 36984183
INFO - BitBlastingClauses: 193554 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat