/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/pspace/ndist.a.28982.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1059843608
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1978405 Tprops: 0 Decides: 2192801 RSplits: 0
INFO - Times: Expl: 2144.466 Prop: 3695.067 PropClause: 2827.965 Set: 102.072 Check: 51.631 Back: 100.063
INFO - Atoms: 6/231860 Clauses: 502 Axioms: 1217229
INFO - Restart
INFO - Confl: 1000 Props: 4090216 Tprops: 0 Decides: 4029514 RSplits: 0
INFO - Times: Expl: 5355.926 Prop: 7314.655 PropClause: 5704.474 Set: 194.022 Check: 94.601 Back: 193.563
INFO - Atoms: 6/231860 Clauses: 1002 Axioms: 1217229
INFO - Restart
INFO - Confl: 2000 Props: 10343933 Tprops: 0 Decides: 7498875 RSplits: 0
INFO - Times: Expl: 14855.127 Prop: 17383.606 PropClause: 14328.029 Set: 419.677 Check: 176.433 Back: 425.125
INFO - Atoms: 6/231860 Clauses: 2002 Axioms: 1217229
INFO - Restart
INFO - Confl: 2500 Props: 13791048 Tprops: 0 Decides: 9091804 RSplits: 0
INFO - Times: Expl: 19008.943 Prop: 23354.454 PropClause: 19624.197 Set: 537.386 Check: 214.737 Back: 545.714
INFO - Atoms: 6/231860 Clauses: 2502 Axioms: 1217229
INFO - Restart
INFO - Confl: 3000 Props: 18341075 Tprops: 0 Decides: 10926771 RSplits: 0
INFO - Times: Expl: 23806.209 Prop: 31012.604 PropClause: 26483.99 Set: 686.205 Check: 258.731 Back: 698.467
INFO - Atoms: 6/231860 Clauses: 3002 Axioms: 1217229
INFO - Restart
INFO - Confl: 4000 Props: 26236459 Tprops: 0 Decides: 14189937 RSplits: 0
INFO - Times: Expl: 33061.745 Prop: 45616.755 PropClause: 39557.642 Set: 956.774 Check: 338.88 Back: 975.321
INFO - Atoms: 6/231860 Clauses: 4002 Axioms: 1217229
INFO - Restart
INFO - Confl: 6000 Props: 26971007 Tprops: 0 Decides: 14194385 RSplits: 0
INFO - Times: Expl: 47570.242 Prop: 46441.687 PropClause: 40359.876 Set: 974.433 Check: 339.001 Back: 992.776
INFO - Atoms: 6/231860 Clauses: 6002 Axioms: 1217229
INFO - Restart
INFO - Confl: 6500 Props: 28370936 Tprops: 0 Decides: 14258412 RSplits: 0
INFO - Times: Expl: 50639.78 Prop: 48329.182 PropClause: 42180.559 Set: 1009.47 Check: 340.488 Back: 1026.658
INFO - Atoms: 6/231860 Clauses: 6502 Axioms: 1217229
INFO - Restart
INFO - Confl: 7000 Props: 29755353 Tprops: 0 Decides: 14321408 RSplits: 0
INFO - Times: Expl: 53736.034 Prop: 50330.096 PropClause: 44111.762 Set: 1044.998 Check: 342.042 Back: 1060.566
INFO - Atoms: 6/231860 Clauses: 7002 Axioms: 1217229
INFO - Restart
INFO - Confl: 8000 Props: 31253385 Tprops: 0 Decides: 14383899 RSplits: 0
INFO - Times: Expl: 58953.362 Prop: 52286.16 PropClause: 45998.365 Set: 1082.397 Check: 343.55 Back: 1097.217
INFO - Atoms: 6/231860 Clauses: 8002 Axioms: 1217229
INFO - Restart
INFO - Confl: 8500 Props: 32208259 Tprops: 0 Decides: 14435076 RSplits: 0
INFO - Times: Expl: 61487.707 Prop: 53556.741 PropClause: 47218.572 Set: 1106.597 Check: 344.811 Back: 1120.162
INFO - Atoms: 6/231860 Clauses: 8502 Axioms: 1217229
INFO - Restart
INFO - Confl: 9000 Props: 33377700 Tprops: 0 Decides: 14485084 RSplits: 0
INFO - Times: Expl: 64043.298 Prop: 55125.475 PropClause: 48733.455 Set: 1135.55 Check: 345.98 Back: 1148.27
INFO - Atoms: 6/231860 Clauses: 9002 Axioms: 1217229
INFO - Restart
INFO - Confl: 10000 Props: 34813892 Tprops: 0 Decides: 14542896 RSplits: 0
INFO - Times: Expl: 68916.945 Prop: 57091.183 PropClause: 50632.676 Set: 1171.498 Check: 347.383 Back: 1182.699
INFO - Atoms: 6/231860 Clauses: 10002 Axioms: 1217229
INFO - Restart
INFO - Confl: 12000 Props: 36725200 Tprops: 0 Decides: 14599548 RSplits: 0
INFO - Times: Expl: 78239.227 Prop: 59234.829 PropClause: 52699.41 Set: 1217.885 Check: 348.731 Back: 1227.831
INFO - Atoms: 6/231860 Clauses: 12002 Axioms: 1217229
INFO - Restart
INFO - Confl: 16000 Props: 40645669 Tprops: 0 Decides: 14654121 RSplits: 0
INFO - Times: Expl: 98058.267 Prop: 62824.382 PropClause: 56159.033 Set: 1311.226 Check: 350.082 Back: 1318.398
INFO - Atoms: 6/231860 Clauses: 16002 Axioms: 1217229
INFO - Restart
INFO - Confl: 16500 Props: 41778679 Tprops: 0 Decides: 14695997 RSplits: 0
INFO - Times: Expl: 100311.961 Prop: 64323.419 PropClause: 57607.977 Set: 1339.215 Check: 351.091 Back: 1345.338
INFO - Atoms: 6/231860 Clauses: 16502 Axioms: 1217229
INFO - Restart
INFO - Confl: 17000 Props: 42869281 Tprops: 0 Decides: 14735504 RSplits: 0
INFO - Times: Expl: 102383.045 Prop: 65749.661 PropClause: 58985.901 Set: 1366.21 Check: 352.069 Back: 1371.555
INFO - Atoms: 6/231860 Clauses: 17002 Axioms: 1217229
INFO - Restart
INFO - Confl: 18000 Props: 44073024 Tprops: 0 Decides: 14774423 RSplits: 0
INFO - Times: Expl: 106135.074 Prop: 67268.197 PropClause: 60452.556 Set: 1396.076 Check: 353.036 Back: 1400.411
INFO - Atoms: 6/231860 Clauses: 18002 Axioms: 1217229
INFO - Restart
INFO - Confl: 18500 Props: 44306739 Tprops: 0 Decides: 14785706 RSplits: 0
INFO - Times: Expl: 107715.519 Prop: 67525.335 PropClause: 60697.299 Set: 1401.822 Check: 353.329 Back: 1405.896
INFO - Atoms: 6/231860 Clauses: 18502 Axioms: 1217229
INFO - Restart
INFO - Confl: 19000 Props: 45338240 Tprops: 0 Decides: 14820513 RSplits: 0
INFO - Times: Expl: 110105.574 Prop: 69063.98 PropClause: 62184.242 Set: 1428.372 Check: 354.259 Back: 1431.903
INFO - Atoms: 6/231860 Clauses: 19002 Axioms: 1217229
INFO - Restart
INFO - Confl: 20000 Props: 46484030 Tprops: 0 Decides: 14854626 RSplits: 0
INFO - Times: Expl: 113268.674 Prop: 70510.844 PropClause: 63584.205 Set: 1456.747 Check: 355.104 Back: 1458.954
INFO - Atoms: 6/231860 Clauses: 20002 Axioms: 1217229
INFO - Restart
INFO - Confl: 22000 Props: 48328038 Tprops: 0 Decides: 14909680 RSplits: 0
INFO - Times: Expl: 119725.523 Prop: 72439.03 PropClause: 65438.028 Set: 1501.556 Check: 356.417 Back: 1502.231
INFO - Atoms: 6/231860 Clauses: 22002 Axioms: 1217229
INFO - Restart
INFO - Confl: 22500 Props: 49432491 Tprops: 0 Decides: 14951238 RSplits: 0
INFO - Times: Expl: 121541.782 Prop: 73887.046 PropClause: 66836.699 Set: 1529.172 Check: 357.44 Back: 1528.923
INFO - Atoms: 6/231860 Clauses: 22502 Axioms: 1217229
INFO - Restart
INFO - Confl: 23000 Props: 50344866 Tprops: 0 Decides: 14976630 RSplits: 0
INFO - Times: Expl: 123054.044 Prop: 75121.337 PropClause: 68034.258 Set: 1552.013 Check: 358.05 Back: 1550.636
INFO - Atoms: 6/231860 Clauses: 23002 Axioms: 1217229
INFO - Restart
INFO - Confl: 24000 Props: 51156144 Tprops: 0 Decides: 14994771 RSplits: 0
INFO - Times: Expl: 128859.447 Prop: 76040.546 PropClause: 68922.891 Set: 1571.889 Check: 358.508 Back: 1569.623
INFO - Atoms: 6/231860 Clauses: 24002 Axioms: 1217229
INFO - Restart
INFO - Confl: 24500 Props: 52026862 Tprops: 0 Decides: 15016724 RSplits: 0
INFO - Times: Expl: 129949.908 Prop: 77148.269 PropClause: 69997.985 Set: 1593.088 Check: 359.032 Back: 1589.923
INFO - Atoms: 6/231860 Clauses: 24502 Axioms: 1217229
INFO - Restart
INFO - Confl: 25000 Props: 52622800 Tprops: 0 Decides: 15040052 RSplits: 0
INFO - Times: Expl: 131010.167 Prop: 77871.993 PropClause: 70695.352 Set: 1607.936 Check: 359.597 Back: 1604.001
INFO - Atoms: 6/231860 Clauses: 25002 Axioms: 1217229
INFO - Restart
INFO - Confl: 26000 Props: 53552664 Tprops: 0 Decides: 15054716 RSplits: 0
INFO - Times: Expl: 132818.691 Prop: 78953.584 PropClause: 71746.261 Set: 1630.326 Check: 359.954 Back: 1625.55
INFO - Atoms: 6/231860 Clauses: 26002 Axioms: 1217229
INFO - Restart
INFO - Confl: 28000 Props: 54957837 Tprops: 0 Decides: 15066862 RSplits: 0
INFO - Times: Expl: 136932.143 Prop: 80149.276 PropClause: 72900.679 Set: 1663.346 Check: 360.299 Back: 1657.562
INFO - Atoms: 6/231860 Clauses: 28002 Axioms: 1217229
INFO - Restart
INFO - Confl: 32000 Props: 58493168 Tprops: 0 Decides: 15085400 RSplits: 0
INFO - Times: Expl: 147714.758 Prop: 82737.902 PropClause: 75390.778 Set: 1746.095 Check: 360.813 Back: 1737.614
INFO - Atoms: 6/231860 Clauses: 32002 Axioms: 1217229
INFO - Restart
INFO - Confl: 40000 Props: 68659651 Tprops: 0 Decides: 15124344 RSplits: 0
INFO - Times: Expl: 179842.223 Prop: 89610.231 PropClause: 81983.168 Set: 1984.021 Check: 361.838 Back: 1968.181
INFO - Atoms: 6/231860 Clauses: 36444 Axioms: 1217229
INFO - Restart
INFO - Confl: 40500 Props: 69087456 Tprops: 0 Decides: 15152700 RSplits: 0
INFO - Times: Expl: 180517.248 Prop: 90157.133 PropClause: 82502.868 Set: 1995.198 Check: 362.531 Back: 1978.945
INFO - Atoms: 6/231860 Clauses: 36768 Axioms: 1217229
INFO - Restart
INFO - Confl: 41000 Props: 69503267 Tprops: 0 Decides: 15178110 RSplits: 0
INFO - Times: Expl: 181034.36 Prop: 90608.638 PropClause: 82931.791 Set: 2005.565 Check: 363.12 Back: 1988.887
INFO - Atoms: 6/231860 Clauses: 36214 Axioms: 1217229
INFO - Restart
INFO - Confl: 42000 Props: 70035969 Tprops: 0 Decides: 15203529 RSplits: 0
INFO - Times: Expl: 181941.694 Prop: 91087.546 PropClause: 83385.015 Set: 2018.65 Check: 363.712 Back: 2001.493
INFO - Atoms: 6/231860 Clauses: 36022 Axioms: 1217229
INFO - Restart
INFO - Confl: 42500 Props: 70424149 Tprops: 0 Decides: 15227114 RSplits: 0
INFO - Times: Expl: 182389.499 Prop: 91487.786 PropClause: 83764.551 Set: 2028.261 Check: 364.25 Back: 2010.74
INFO - Atoms: 6/231860 Clauses: 36352 Axioms: 1217229
INFO - Restart
INFO - Confl: 43000 Props: 70802993 Tprops: 0 Decides: 15249831 RSplits: 0
INFO - Times: Expl: 182843.609 Prop: 91917.037 PropClause: 84173.05 Set: 2037.777 Check: 364.77 Back: 2019.764
INFO - Atoms: 6/231860 Clauses: 36348 Axioms: 1217229
INFO - Restart
INFO - Confl: 44000 Props: 71298621 Tprops: 0 Decides: 15272603 RSplits: 0
INFO - Times: Expl: 183636.931 Prop: 92356.166 PropClause: 84588.799 Set: 2050.052 Check: 365.294 Back: 2031.477
INFO - Atoms: 6/231860 Clauses: 36005 Axioms: 1217229
INFO - Restart
INFO - Confl: 46000 Props: 72279024 Tprops: 0 Decides: 15295551 RSplits: 0
INFO - Times: Expl: 185423.035 Prop: 92922.487 PropClause: 85119.271 Set: 2073.37 Check: 365.831 Back: 2054.221
INFO - Atoms: 6/231860 Clauses: 36984 Axioms: 1217229
INFO - Restart
INFO - Confl: 46500 Props: 72593780 Tprops: 0 Decides: 15314172 RSplits: 0
INFO - Times: Expl: 185807.555 Prop: 93249.787 PropClause: 85429.625 Set: 2081.317 Check: 366.265 Back: 2061.819
INFO - Atoms: 6/231860 Clauses: 37316 Axioms: 1217229
INFO - Restart
INFO - Confl: 47000 Props: 72898796 Tprops: 0 Decides: 15331633 RSplits: 0
INFO - Times: Expl: 186183.558 Prop: 93571.994 PropClause: 85735.74 Set: 2089.002 Check: 366.671 Back: 2069.169
INFO - Atoms: 6/231860 Clauses: 36972 Axioms: 1217229
INFO - Restart
INFO - Confl: 48000 Props: 73320178 Tprops: 0 Decides: 15349101 RSplits: 0
INFO - Times: Expl: 186871.413 Prop: 93898.094 PropClause: 86043.224 Set: 2099.265 Check: 367.074 Back: 2079.063
INFO - Atoms: 6/231860 Clauses: 37625 Axioms: 1217229
INFO - Restart
INFO - Confl: 48500 Props: 73597032 Tprops: 0 Decides: 15364734 RSplits: 0
INFO - Times: Expl: 187224.821 Prop: 94167.225 PropClause: 86298.193 Set: 2106.105 Check: 367.43 Back: 2085.632
INFO - Atoms: 6/231860 Clauses: 37958 Axioms: 1217229
INFO - Restart
INFO - Confl: 49000 Props: 73864560 Tprops: 0 Decides: 15379485 RSplits: 0
INFO - Times: Expl: 187557.902 Prop: 94434.802 PropClause: 86552.134 Set: 2112.777 Check: 367.769 Back: 2091.961
INFO - Atoms: 6/231860 Clauses: 38281 Axioms: 1217229
INFO - Restart
INFO - Confl: 50000 Props: 74248865 Tprops: 0 Decides: 15394305 RSplits: 0
INFO - Times: Expl: 188173.824 Prop: 94724.325 PropClause: 86825.219 Set: 2122.026 Check: 368.108 Back: 2100.886
INFO - Atoms: 6/231860 Clauses: 38942 Axioms: 1217229
INFO - Restart
INFO - Confl: 52000 Props: 75117937 Tprops: 0 Decides: 15409301 RSplits: 0
INFO - Times: Expl: 189480.165 Prop: 95092.616 PropClause: 87165.185 Set: 2142.143 Check: 368.461 Back: 2120.68
INFO - Atoms: 6/231860 Clauses: 35884 Axioms: 1217229
INFO - Restart
INFO - Confl: 56000 Props: 77952447 Tprops: 0 Decides: 15424631 RSplits: 0
INFO - Times: Expl: 192957.552 Prop: 95988.158 PropClause: 87983.058 Set: 2207.136 Check: 368.846 Back: 2184.489
INFO - Atoms: 6/231860 Clauses: 36800 Axioms: 1217229
INFO - Restart
INFO - Confl: 56500 Props: 78081475 Tprops: 0 Decides: 15430638 RSplits: 0
INFO - Times: Expl: 193178.125 Prop: 96064.106 PropClause: 88053.73 Set: 2210.256 Check: 368.987 Back: 2187.513
INFO - Atoms: 6/231860 Clauses: 37125 Axioms: 1217229
INFO - Restart
INFO - Confl: 57000 Props: 78200097 Tprops: 0 Decides: 15434818 RSplits: 0
INFO - Times: Expl: 193386.854 Prop: 96125.703 PropClause: 88111.134 Set: 2213.069 Check: 369.084 Back: 2190.298
INFO - Atoms: 6/231860 Clauses: 36765 Axioms: 1217229
INFO - Restart
INFO - Confl: 58000 Props: 78435554 Tprops: 0 Decides: 15439006 RSplits: 0
INFO - Times: Expl: 193787.969 Prop: 96204.167 PropClause: 88182.51 Set: 2218.446 Check: 369.181 Back: 2195.656
INFO - Atoms: 6/231860 Clauses: 35752 Axioms: 1217229
INFO - Restart
INFO - Confl: 58500 Props: 78527033 Tprops: 0 Decides: 15441370 RSplits: 0
INFO - Times: Expl: 193969.442 Prop: 96247.023 PropClause: 88222.245 Set: 2220.562 Check: 369.235 Back: 2197.818
INFO - Atoms: 6/231860 Clauses: 36076 Axioms: 1217229
INFO - Restart
INFO - Confl: 59000 Props: 78609112 Tprops: 0 Decides: 15442907 RSplits: 0
INFO - Times: Expl: 194152.043 Prop: 96292.045 PropClause: 88264.451 Set: 2222.55 Check: 369.273 Back: 2199.726
INFO - Atoms: 6/231860 Clauses: 36070 Axioms: 1217229
INFO - Restart
INFO - Confl: 60000 Props: 79361381 Tprops: 0 Decides: 15946155 RSplits: 0
INFO - Times: Expl: 199307.72 Prop: 97508.63 PropClause: 89274.315 Set: 2251.393 Check: 381.084 Back: 2229.176
INFO - Atoms: 6/231860 Clauses: 36064 Axioms: 1217229
INFO - Restart
INFO - Confl: 62000 Props: 87563571 Tprops: 0 Decides: 20311133 RSplits: 0
INFO - Times: Expl: 215035.507 Prop: 112329.017 PropClause: 102238.169 Set: 2544.772 Check: 485.155 Back: 2527.348
INFO - Atoms: 6/231860 Clauses: 37241 Axioms: 1217229
INFO - Restart
INFO - Confl: 62500 Props: 88149310 Tprops: 0 Decides: 20319075 RSplits: 0
INFO - Times: Expl: 215834.698 Prop: 112901.243 PropClause: 102791.515 Set: 2558.95 Check: 485.354 Back: 2540.792
INFO - Atoms: 6/231860 Clauses: 37567 Axioms: 1217229
INFO - Restart
INFO - Confl: 63000 Props: 88323120 Tprops: 0 Decides: 20326744 RSplits: 0
INFO - Times: Expl: 216352.05 Prop: 113070.107 PropClause: 102952.191 Set: 2563.257 Check: 485.543 Back: 2544.935
INFO - Atoms: 6/231860 Clauses: 37775 Axioms: 1217229
INFO - Restart
INFO - Confl: 64000 Props: 92678935 Tprops: 0 Decides: 22670303 RSplits: 0
INFO - Times: Expl: 227165.55 Prop: 121028.044 PropClause: 109909.5 Set: 2719.433 Check: 541.666 Back: 2704.175
INFO - Atoms: 6/231860 Clauses: 38424 Axioms: 1217229
INFO - Restart
INFO - Confl: 64500 Props: 93079734 Tprops: 0 Decides: 22674612 RSplits: 0
INFO - Times: Expl: 228959.55 Prop: 121549.266 PropClause: 110418.56 Set: 2728.973 Check: 541.773 Back: 2713.554
INFO - Atoms: 6/231860 Clauses: 38751 Axioms: 1217229
INFO - Restart
INFO - Confl: 65000 Props: 93607866 Tprops: 0 Decides: 22682724 RSplits: 0
INFO - Times: Expl: 231491.0 Prop: 122154.732 PropClause: 111006.576 Set: 2741.76 Check: 541.972 Back: 2726.615
INFO - Atoms: 6/231860 Clauses: 39078 Axioms: 1217229
INFO - Restart
INFO - Confl: 66000 Props: 94242972 Tprops: 0 Decides: 22690333 RSplits: 0
INFO - Times: Expl: 236600.02 Prop: 122915.908 PropClause: 111745.619 Set: 2757.584 Check: 542.165 Back: 2742.436
INFO - Atoms: 6/231860 Clauses: 39730 Axioms: 1217229
INFO - Restart
INFO - Confl: 68000 Props: 95654470 Tprops: 0 Decides: 22698177 RSplits: 0
INFO - Times: Expl: 245678.08 Prop: 124427.841 PropClause: 113216.521 Set: 2791.72 Check: 542.372 Back: 2776.061
INFO - Atoms: 6/231860 Clauses: 41192 Axioms: 1217229
INFO - Restart
INFO - Confl: 72000 Props: 98618189 Tprops: 0 Decides: 22720055 RSplits: 0
INFO - Times: Expl: 262818.895 Prop: 126615.927 PropClause: 115316.296 Set: 2861.911 Check: 542.965 Back: 2844.424
INFO - Atoms: 6/231860 Clauses: 43884 Axioms: 1217229
INFO - Restart
INFO - Confl: 80000 Props: 109782411 Tprops: 0 Decides: 22759449 RSplits: 0
INFO - Times: Expl: 296870.591 Prop: 134234.928 PropClause: 122632.779 Set: 3123.59 Check: 543.979 Back: 3097.191
INFO - Atoms: 6/231860 Clauses: 49794 Axioms: 1217229
INFO - Restart
INFO - Confl: 96000 Props: 162653764 Tprops: 0 Decides: 48064492 RSplits: 0
INFO - Times: Expl: 454131.446 Prop: 220811.418 PropClause: 197999.74 Set: 4950.633 Check: 1148.341 Back: 4944.839
INFO - Atoms: 6/231860 Clauses: 60924 Axioms: 1217229
INFO - Restart
INFO - Confl: 96500 Props: 163022906 Tprops: 0 Decides: 48065980 RSplits: 0
INFO - Times: Expl: 456518.097 Prop: 221298.646 PropClause: 198476.41 Set: 4959.513 Check: 1148.382 Back: 4953.533
INFO - Atoms: 6/231860 Clauses: 61146 Axioms: 1217229
INFO - Restart
INFO - Confl: 97000 Props: 163683067 Tprops: 0 Decides: 48068243 RSplits: 0
INFO - Times: Expl: 459032.726 Prop: 222125.957 PropClause: 199285.444 Set: 4975.528 Check: 1148.442 Back: 4969.398
INFO - Atoms: 6/231860 Clauses: 60923 Axioms: 1217229
INFO - Restart
INFO - Confl: 98000 Props: 164639133 Tprops: 0 Decides: 48077204 RSplits: 0
INFO - Times: Expl: 464543.702 Prop: 223285.455 PropClause: 200414.365 Set: 4999.132 Check: 1148.676 Back: 4992.679
INFO - Atoms: 6/231860 Clauses: 57462 Axioms: 1217229
INFO - Restart
INFO - Confl: 98500 Props: 165631113 Tprops: 0 Decides: 48081648 RSplits: 0
INFO - Times: Expl: 467136.371 Prop: 224532.219 PropClause: 201632.374 Set: 5023.653 Check: 1148.791 Back: 5017.265
INFO - Atoms: 6/231860 Clauses: 57595 Axioms: 1217229
INFO - Restart
INFO - Confl: 99000 Props: 166677099 Tprops: 0 Decides: 48087319 RSplits: 0
INFO - Times: Expl: 469534.662 Prop: 225737.653 PropClause: 202808.388 Set: 5048.775 Check: 1148.928 Back: 5042.294
INFO - Atoms: 6/231860 Clauses: 55740 Axioms: 1217229
INFO - Restart
INFO - Confl: 100000 Props: 167704907 Tprops: 0 Decides: 48093260 RSplits: 0
INFO - Times: Expl: 474223.612 Prop: 226839.866 PropClause: 203881.512 Set: 5073.28 Check: 1149.079 Back: 5066.604
INFO - Atoms: 6/231860 Clauses: 56490 Axioms: 1217229
INFO - Restart
INFO - Confl: 102000 Props: 168781508 Tprops: 0 Decides: 48098761 RSplits: 0
INFO - Times: Expl: 482906.693 Prop: 227794.237 PropClause: 204805.805 Set: 5098.67 Check: 1149.221 Back: 5091.459
INFO - Atoms: 6/231860 Clauses: 57827 Axioms: 1217229
INFO - Restart
INFO - Confl: 102500 Props: 169340028 Tprops: 0 Decides: 48103862 RSplits: 0
INFO - Times: Expl: 484891.063 Prop: 228432.809 PropClause: 205426.76 Set: 5112.488 Check: 1149.345 Back: 5104.883
INFO - Atoms: 6/231860 Clauses: 58152 Axioms: 1217229
INFO - Restart
INFO - Confl: 103000 Props: 169881310 Tprops: 0 Decides: 48107336 RSplits: 0
INFO - Times: Expl: 486863.953 Prop: 229007.204 PropClause: 205985.806 Set: 5125.441 Check: 1149.431 Back: 5117.66
INFO - Atoms: 6/231860 Clauses: 58417 Axioms: 1217229
INFO - Restart
INFO - Confl: 104000 Props: 170786832 Tprops: 0 Decides: 48112035 RSplits: 0
INFO - Times: Expl: 490549.061 Prop: 229931.055 PropClause: 206884.802 Set: 5146.842 Check: 1149.547 Back: 5139.066
INFO - Atoms: 6/231860 Clauses: 59080 Axioms: 1217229
INFO - Restart
INFO - Confl: 104500 Props: 171299388 Tprops: 0 Decides: 48114990 RSplits: 0
INFO - Times: Expl: 492391.923 Prop: 230423.971 PropClause: 207363.502 Set: 5158.922 Check: 1149.621 Back: 5151.042
INFO - Atoms: 6/231860 Clauses: 59414 Axioms: 1217229
INFO - Restart
INFO - Confl: 105000 Props: 171662645 Tprops: 0 Decides: 48116056 RSplits: 0
INFO - Times: Expl: 494302.208 Prop: 230689.107 PropClause: 207619.076 Set: 5167.353 Check: 1149.648 Back: 5159.166
INFO - Atoms: 6/231860 Clauses: 59746 Axioms: 1217229
INFO - Restart
INFO - Confl: 106000 Props: 172996628 Tprops: 0 Decides: 48123982 RSplits: 0
INFO - Times: Expl: 497786.588 Prop: 231701.94 PropClause: 208594.251 Set: 5198.581 Check: 1149.853 Back: 5189.625
INFO - Atoms: 6/231860 Clauses: 60591 Axioms: 1217229
INFO - Restart
INFO - Confl: 108000 Props: 179849944 Tprops: 0 Decides: 51933951 RSplits: 0
INFO - Times: Expl: 518015.093 Prop: 243846.417 PropClause: 219024.145 Set: 5446.755 Check: 1240.682 Back: 5442.889
INFO - Atoms: 6/231860 Clauses: 61908 Axioms: 1217229