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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 784756575
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2544813 Tprops: 0 Decides: 3031653 RSplits: 0
INFO - Times: Expl: 2178.334 Prop: 4642.731 PropClause: 3443.391 Set: 127.589 Check: 68.949 Back: 130.979
INFO - Atoms: 6/239844 Clauses: 502 Axioms: 1259145
INFO - Restart
INFO - Confl: 1000 Props: 5895005 Tprops: 0 Decides: 5734125 RSplits: 0
INFO - Times: Expl: 4880.475 Prop: 10461.162 PropClause: 8132.731 Set: 265.638 Check: 130.74 Back: 275.023
INFO - Atoms: 6/239844 Clauses: 1002 Axioms: 1259145
INFO - Restart
INFO - Confl: 2000 Props: 13482791 Tprops: 0 Decides: 10973121 RSplits: 0
INFO - Times: Expl: 11073.224 Prop: 23634.095 PropClause: 19065.224 Set: 558.434 Check: 251.676 Back: 582.444
INFO - Atoms: 6/239844 Clauses: 2002 Axioms: 1259145
INFO - Restart
INFO - Confl: 2500 Props: 15601215 Tprops: 0 Decides: 12448117 RSplits: 0
INFO - Times: Expl: 16066.995 Prop: 27597.572 PropClause: 22412.975 Set: 641.051 Check: 286.178 Back: 667.561
INFO - Atoms: 6/239844 Clauses: 2502 Axioms: 1259145
INFO - Restart
INFO - Confl: 3000 Props: 18745317 Tprops: 0 Decides: 13990617 RSplits: 0
INFO - Times: Expl: 21288.614 Prop: 32995.716 PropClause: 27161.063 Set: 749.193 Check: 322.107 Back: 778.198
INFO - Atoms: 6/239844 Clauses: 3002 Axioms: 1259145
INFO - Restart
INFO - Confl: 4000 Props: 20148156 Tprops: 0 Decides: 13993644 RSplits: 0
INFO - Times: Expl: 29075.341 Prop: 34863.478 PropClause: 28992.118 Set: 783.569 Check: 322.181 Back: 810.298
INFO - Atoms: 44/239844 Clauses: 4002 Axioms: 1259145
INFO - Restart
INFO - Confl: 6000 Props: 21435249 Tprops: 0 Decides: 14003357 RSplits: 0
INFO - Times: Expl: 43790.746 Prop: 36330.542 PropClause: 30422.063 Set: 814.371 Check: 322.414 Back: 840.111
INFO - Atoms: 44/239844 Clauses: 6002 Axioms: 1259145
INFO - Restart
INFO - Confl: 6500 Props: 23524762 Tprops: 0 Decides: 14035136 RSplits: 0
INFO - Times: Expl: 48413.204 Prop: 39262.556 PropClause: 33285.961 Set: 865.744 Check: 323.16 Back: 889.173
INFO - Atoms: 44/239844 Clauses: 6502 Axioms: 1259145
INFO - Restart
INFO - Confl: 7000 Props: 25339181 Tprops: 0 Decides: 14053037 RSplits: 0
INFO - Times: Expl: 52712.127 Prop: 41643.45 PropClause: 35612.995 Set: 909.302 Check: 323.574 Back: 930.824
INFO - Atoms: 44/239844 Clauses: 7002 Axioms: 1259145
INFO - Restart
INFO - Confl: 8000 Props: 27404088 Tprops: 0 Decides: 14070822 RSplits: 0
INFO - Times: Expl: 60378.613 Prop: 44391.118 PropClause: 38300.234 Set: 959.244 Check: 323.988 Back: 978.735
INFO - Atoms: 44/239844 Clauses: 8002 Axioms: 1259145
INFO - Restart
INFO - Confl: 8500 Props: 29316162 Tprops: 0 Decides: 14086788 RSplits: 0
INFO - Times: Expl: 64498.629 Prop: 46976.362 PropClause: 40830.238 Set: 1005.453 Check: 324.367 Back: 1023.004
INFO - Atoms: 44/239844 Clauses: 8502 Axioms: 1259145
INFO - Restart
INFO - Confl: 9000 Props: 31212288 Tprops: 0 Decides: 14101930 RSplits: 0
INFO - Times: Expl: 68634.838 Prop: 49586.154 PropClause: 43385.271 Set: 1051.274 Check: 324.719 Back: 1066.928
INFO - Atoms: 44/239844 Clauses: 9002 Axioms: 1259145
INFO - Restart
INFO - Confl: 10000 Props: 33222632 Tprops: 0 Decides: 14117099 RSplits: 0
INFO - Times: Expl: 76109.966 Prop: 52263.757 PropClause: 46005.417 Set: 1099.659 Check: 325.075 Back: 1113.201
INFO - Atoms: 44/239844 Clauses: 10002 Axioms: 1259145
INFO - Restart
INFO - Confl: 12000 Props: 35707214 Tprops: 0 Decides: 14132291 RSplits: 0
INFO - Times: Expl: 90315.918 Prop: 55252.313 PropClause: 48924.22 Set: 1159.08 Check: 325.433 Back: 1170.354
INFO - Atoms: 44/239844 Clauses: 12002 Axioms: 1259145
INFO - Restart
INFO - Confl: 16000 Props: 40100048 Tprops: 0 Decides: 14140062 RSplits: 0
INFO - Times: Expl: 120788.3 Prop: 59537.963 PropClause: 53095.642 Set: 1261.906 Check: 325.632 Back: 1269.781
INFO - Atoms: 44/239844 Clauses: 16002 Axioms: 1259145
INFO - Restart
INFO - Confl: 16500 Props: 41735735 Tprops: 0 Decides: 14143105 RSplits: 0
INFO - Times: Expl: 124286.564 Prop: 61796.782 PropClause: 55312.379 Set: 1301.164 Check: 325.705 Back: 1307.371
INFO - Atoms: 44/239844 Clauses: 16502 Axioms: 1259145
INFO - Restart
INFO - Confl: 17000 Props: 43361488 Tprops: 0 Decides: 14144873 RSplits: 0
INFO - Times: Expl: 127803.671 Prop: 63910.252 PropClause: 57384.445 Set: 1340.059 Check: 325.749 Back: 1344.741
INFO - Atoms: 44/239844 Clauses: 17002 Axioms: 1259145
INFO - Restart
INFO - Confl: 18000 Props: 45107470 Tprops: 0 Decides: 14147146 RSplits: 0
INFO - Times: Expl: 134355.363 Prop: 66225.667 PropClause: 59655.212 Set: 1381.888 Check: 325.805 Back: 1384.723
INFO - Atoms: 44/239844 Clauses: 18002 Axioms: 1259145
INFO - Restart
INFO - Confl: 18500 Props: 45682890 Tprops: 0 Decides: 14162215 RSplits: 0
INFO - Times: Expl: 148234.159 Prop: 66958.845 PropClause: 60366.183 Set: 1395.969 Check: 326.155 Back: 1398.242
INFO - Atoms: 44/239844 Clauses: 18502 Axioms: 1259145
INFO - Restart
INFO - Confl: 19000 Props: 47267266 Tprops: 0 Decides: 14163337 RSplits: 0
INFO - Times: Expl: 151582.958 Prop: 68871.889 PropClause: 62239.63 Set: 1433.538 Check: 326.183 Back: 1434.252
INFO - Atoms: 44/239844 Clauses: 19002 Axioms: 1259145
INFO - Restart
INFO - Confl: 20000 Props: 49188820 Tprops: 0 Decides: 14196399 RSplits: 0
INFO - Times: Expl: 158351.11 Prop: 71348.644 PropClause: 64652.642 Set: 1480.261 Check: 326.954 Back: 1478.978
INFO - Atoms: 44/239844 Clauses: 20002 Axioms: 1259145
INFO - Restart
INFO - Confl: 22000 Props: 51196922 Tprops: 0 Decides: 14294787 RSplits: 0
INFO - Times: Expl: 171484.187 Prop: 73724.348 PropClause: 66928.026 Set: 1530.349 Check: 329.242 Back: 1526.693
INFO - Atoms: 44/239844 Clauses: 22002 Axioms: 1259145
INFO - Restart
INFO - Confl: 22500 Props: 52603792 Tprops: 0 Decides: 14389149 RSplits: 0
INFO - Times: Expl: 174876.105 Prop: 75503.931 PropClause: 68625.907 Set: 1565.794 Check: 331.404 Back: 1560.501
INFO - Atoms: 44/239844 Clauses: 22502 Axioms: 1259145
INFO - Restart
INFO - Confl: 23000 Props: 53987503 Tprops: 0 Decides: 14483296 RSplits: 0
INFO - Times: Expl: 178280.157 Prop: 77407.209 PropClause: 70446.271 Set: 1601.571 Check: 333.586 Back: 1594.187
INFO - Atoms: 44/239844 Clauses: 23002 Axioms: 1259145
INFO - Restart
INFO - Confl: 24000 Props: 55489332 Tprops: 0 Decides: 14577887 RSplits: 0
INFO - Times: Expl: 184762.453 Prop: 79267.676 PropClause: 72221.183 Set: 1639.735 Check: 335.798 Back: 1630.555
INFO - Atoms: 44/239844 Clauses: 24002 Axioms: 1259145
INFO - Restart
INFO - Confl: 24500 Props: 56849418 Tprops: 0 Decides: 14670677 RSplits: 0
INFO - Times: Expl: 188083.593 Prop: 80950.533 PropClause: 73824.624 Set: 1674.07 Check: 337.919 Back: 1663.336
INFO - Atoms: 44/239844 Clauses: 24502 Axioms: 1259145
INFO - Restart
INFO - Confl: 25000 Props: 58198567 Tprops: 0 Decides: 14762654 RSplits: 0
INFO - Times: Expl: 191375.394 Prop: 82763.484 PropClause: 75557.297 Set: 1708.782 Check: 340.087 Back: 1696.064
INFO - Atoms: 44/239844 Clauses: 25002 Axioms: 1259145
INFO - Restart
INFO - Confl: 26000 Props: 59669858 Tprops: 0 Decides: 14854602 RSplits: 0
INFO - Times: Expl: 197491.889 Prop: 84522.531 PropClause: 77234.756 Set: 1745.634 Check: 342.182 Back: 1731.33
INFO - Atoms: 44/239844 Clauses: 26002 Axioms: 1259145
INFO - Restart
INFO - Confl: 28000 Props: 61636270 Tprops: 0 Decides: 14946698 RSplits: 0
INFO - Times: Expl: 209708.471 Prop: 86672.772 PropClause: 79289.84 Set: 1794.144 Check: 344.319 Back: 1777.76
INFO - Atoms: 44/239844 Clauses: 28002 Axioms: 1259145
INFO - Restart
INFO - Confl: 32000 Props: 65584181 Tprops: 0 Decides: 15039097 RSplits: 0
INFO - Times: Expl: 234607.677 Prop: 90342.992 PropClause: 82814.919 Set: 1888.581 Check: 346.459 Back: 1868.631
INFO - Atoms: 44/239844 Clauses: 32002 Axioms: 1259145
INFO - Restart
INFO - Confl: 40000 Props: 77446351 Tprops: 0 Decides: 15132184 RSplits: 0
INFO - Times: Expl: 292075.071 Prop: 99755.245 PropClause: 91880.542 Set: 2167.466 Check: 348.667 Back: 2136.367
INFO - Atoms: 44/239844 Clauses: 36661 Axioms: 1259145
INFO - Restart
INFO - Confl: 40500 Props: 78510896 Tprops: 0 Decides: 15203456 RSplits: 0
INFO - Times: Expl: 294930.804 Prop: 101188.229 PropClause: 93250.363 Set: 2194.746 Check: 350.324 Back: 2162.353
INFO - Atoms: 44/239844 Clauses: 36994 Axioms: 1259145
INFO - Restart
INFO - Confl: 41000 Props: 79560738 Tprops: 0 Decides: 15274054 RSplits: 0
INFO - Times: Expl: 297684.595 Prop: 102588.804 PropClause: 94588.62 Set: 2221.698 Check: 352.007 Back: 2187.869
INFO - Atoms: 44/239844 Clauses: 35937 Axioms: 1259145
INFO - Restart
INFO - Confl: 42000 Props: 80727471 Tprops: 0 Decides: 15344661 RSplits: 0
INFO - Times: Expl: 302310.349 Prop: 104027.118 PropClause: 95962.056 Set: 2251.113 Check: 353.624 Back: 2215.976
INFO - Atoms: 44/239844 Clauses: 36048 Axioms: 1259145
INFO - Restart
INFO - Confl: 42500 Props: 81749680 Tprops: 0 Decides: 15413434 RSplits: 0
INFO - Times: Expl: 304803.621 Prop: 105366.0 PropClause: 97239.643 Set: 2277.242 Check: 355.257 Back: 2240.853
INFO - Atoms: 44/239844 Clauses: 36380 Axioms: 1259145
INFO - Restart
INFO - Confl: 43000 Props: 82762562 Tprops: 0 Decides: 15481339 RSplits: 0
INFO - Times: Expl: 307184.419 Prop: 106695.415 PropClause: 98509.405 Set: 2303.35 Check: 356.829 Back: 2265.598
INFO - Atoms: 44/239844 Clauses: 36369 Axioms: 1259145
INFO - Restart
INFO - Confl: 44000 Props: 83892228 Tprops: 0 Decides: 15549299 RSplits: 0
INFO - Times: Expl: 311579.842 Prop: 108037.986 PropClause: 99789.734 Set: 2331.654 Check: 358.413 Back: 2292.762
INFO - Atoms: 44/239844 Clauses: 36005 Axioms: 1259145
INFO - Restart
INFO - Confl: 46000 Props: 85506663 Tprops: 0 Decides: 15617435 RSplits: 0
INFO - Times: Expl: 320535.084 Prop: 109766.797 PropClause: 101442.944 Set: 2371.463 Check: 359.986 Back: 2330.913
INFO - Atoms: 44/239844 Clauses: 36982 Axioms: 1259145
INFO - Restart
INFO - Confl: 46500 Props: 86454959 Tprops: 0 Decides: 15681245 RSplits: 0
INFO - Times: Expl: 322605.073 Prop: 110967.911 PropClause: 102588.815 Set: 2395.628 Check: 361.5 Back: 2353.977
INFO - Atoms: 44/239844 Clauses: 37309 Axioms: 1259145
INFO - Restart
INFO - Confl: 47000 Props: 87394056 Tprops: 0 Decides: 15743897 RSplits: 0
INFO - Times: Expl: 324627.901 Prop: 112124.822 PropClause: 103690.672 Set: 2419.533 Check: 362.954 Back: 2376.858
INFO - Atoms: 44/239844 Clauses: 36958 Axioms: 1259145
INFO - Restart
INFO - Confl: 48000 Props: 88449525 Tprops: 0 Decides: 15806557 RSplits: 0
INFO - Times: Expl: 328413.253 Prop: 113371.3 PropClause: 104879.554 Set: 2446.186 Check: 364.437 Back: 2402.204
INFO - Atoms: 44/239844 Clauses: 37621 Axioms: 1259145
INFO - Restart
INFO - Confl: 48500 Props: 89360469 Tprops: 0 Decides: 15867382 RSplits: 0
INFO - Times: Expl: 330389.438 Prop: 114463.668 PropClause: 105919.699 Set: 2468.992 Check: 365.813 Back: 2424.029
INFO - Atoms: 44/239844 Clauses: 37953 Axioms: 1259145
INFO - Restart
INFO - Confl: 49000 Props: 90262086 Tprops: 0 Decides: 15927325 RSplits: 0
INFO - Times: Expl: 332185.186 Prop: 115617.062 PropClause: 107020.607 Set: 2491.91 Check: 367.227 Back: 2445.917
INFO - Atoms: 44/239844 Clauses: 38281 Axioms: 1259145
INFO - Restart
INFO - Confl: 50000 Props: 91280480 Tprops: 0 Decides: 15987337 RSplits: 0
INFO - Times: Expl: 335662.983 Prop: 116848.424 PropClause: 108195.003 Set: 2517.645 Check: 368.597 Back: 2470.462
INFO - Atoms: 44/239844 Clauses: 38946 Axioms: 1259145
INFO - Restart
INFO - Confl: 52000 Props: 92783635 Tprops: 0 Decides: 16047525 RSplits: 0
INFO - Times: Expl: 342985.901 Prop: 118304.359 PropClause: 109582.645 Set: 2554.731 Check: 370.014 Back: 2505.781
INFO - Atoms: 44/239844 Clauses: 35903 Axioms: 1259145
INFO - Restart
INFO - Confl: 56000 Props: 96252219 Tprops: 0 Decides: 16108047 RSplits: 0
INFO - Times: Expl: 359138.205 Prop: 121109.981 PropClause: 112270.574 Set: 2637.186 Check: 371.396 Back: 2584.903
INFO - Atoms: 44/239844 Clauses: 36705 Axioms: 1259145
INFO - Restart
INFO - Confl: 56500 Props: 97015334 Tprops: 0 Decides: 16159246 RSplits: 0
INFO - Times: Expl: 360506.567 Prop: 122040.544 PropClause: 113156.897 Set: 2656.538 Check: 372.597 Back: 2603.451
INFO - Atoms: 44/239844 Clauses: 37039 Axioms: 1259145
INFO - Restart
INFO - Confl: 57000 Props: 97768047 Tprops: 0 Decides: 16208618 RSplits: 0
INFO - Times: Expl: 361676.562 Prop: 122945.089 PropClause: 114018.541 Set: 2675.513 Check: 373.723 Back: 2621.671
INFO - Atoms: 44/239844 Clauses: 36813 Axioms: 1259145
INFO - Restart
INFO - Confl: 58000 Props: 98637589 Tprops: 0 Decides: 16257998 RSplits: 0
INFO - Times: Expl: 363837.228 Prop: 123924.332 PropClause: 114951.513 Set: 2697.36 Check: 374.89 Back: 2642.59
INFO - Atoms: 44/239844 Clauses: 35815 Axioms: 1259145
INFO - Restart
INFO - Confl: 58500 Props: 99363154 Tprops: 0 Decides: 16305554 RSplits: 0
INFO - Times: Expl: 364894.105 Prop: 124808.68 PropClause: 115794.289 Set: 2715.79 Check: 375.977 Back: 2660.214
INFO - Atoms: 44/239844 Clauses: 36146 Axioms: 1259145
INFO - Restart
INFO - Confl: 59000 Props: 100079320 Tprops: 0 Decides: 16352283 RSplits: 0
INFO - Times: Expl: 365931.77 Prop: 125708.591 PropClause: 116653.409 Set: 2734.113 Check: 377.08 Back: 2677.561
INFO - Atoms: 44/239844 Clauses: 36166 Axioms: 1259145
INFO - Restart
INFO - Confl: 60000 Props: 100911846 Tprops: 0 Decides: 16399018 RSplits: 0
INFO - Times: Expl: 367947.568 Prop: 126616.261 PropClause: 117517.478 Set: 2754.789 Check: 378.175 Back: 2697.39
INFO - Atoms: 44/239844 Clauses: 35835 Axioms: 1259145
INFO - Restart
INFO - Confl: 62000 Props: 102229129 Tprops: 0 Decides: 16445922 RSplits: 0
INFO - Times: Expl: 372278.987 Prop: 127743.049 PropClause: 118588.186 Set: 2786.869 Check: 379.252 Back: 2728.224
INFO - Atoms: 44/239844 Clauses: 36823 Axioms: 1259145
INFO - Restart
INFO - Confl: 62500 Props: 102880305 Tprops: 0 Decides: 16488508 RSplits: 0
INFO - Times: Expl: 373137.096 Prop: 128488.782 PropClause: 119297.202 Set: 2803.285 Check: 380.257 Back: 2743.92
INFO - Atoms: 44/239844 Clauses: 37151 Axioms: 1259145
INFO - Restart
INFO - Confl: 63000 Props: 103522264 Tprops: 0 Decides: 16529936 RSplits: 0
INFO - Times: Expl: 373949.523 Prop: 129215.986 PropClause: 119988.755 Set: 2819.354 Check: 381.199 Back: 2759.366
INFO - Atoms: 44/239844 Clauses: 36809 Axioms: 1259145
INFO - Restart
INFO - Confl: 64000 Props: 104280598 Tprops: 0 Decides: 16571372 RSplits: 0
INFO - Times: Expl: 375448.925 Prop: 129984.44 PropClause: 120718.439 Set: 2838.102 Check: 382.173 Back: 2777.448
INFO - Atoms: 44/239844 Clauses: 37470 Axioms: 1259145
INFO - Restart
INFO - Confl: 64500 Props: 104894427 Tprops: 0 Decides: 16610979 RSplits: 0
INFO - Times: Expl: 376434.238 Prop: 130752.06 PropClause: 121450.949 Set: 2853.716 Check: 383.078 Back: 2792.337
INFO - Atoms: 44/239844 Clauses: 37802 Axioms: 1259145
INFO - Restart
INFO - Confl: 65000 Props: 105498849 Tprops: 0 Decides: 16649759 RSplits: 0
INFO - Times: Expl: 384514.212 Prop: 131502.003 PropClause: 122166.619 Set: 2869.22 Check: 384.09 Back: 2807.036
INFO - Atoms: 44/239844 Clauses: 38135 Axioms: 1259145
INFO - Restart
INFO - Confl: 66000 Props: 106220102 Tprops: 0 Decides: 16688547 RSplits: 0
INFO - Times: Expl: 386079.45 Prop: 132266.054 PropClause: 122893.576 Set: 2887.646 Check: 384.984 Back: 2824.41
INFO - Atoms: 44/239844 Clauses: 38799 Axioms: 1259145
INFO - Restart
INFO - Confl: 68000 Props: 107426096 Tprops: 0 Decides: 16727505 RSplits: 0
INFO - Times: Expl: 389313.321 Prop: 133173.863 PropClause: 123751.515 Set: 2917.324 Check: 386.006 Back: 2852.773
INFO - Atoms: 44/239844 Clauses: 38774 Axioms: 1259145
INFO - Restart
INFO - Confl: 72000 Props: 110597553 Tprops: 0 Decides: 16766809 RSplits: 0
INFO - Times: Expl: 398126.523 Prop: 135007.836 PropClause: 125485.692 Set: 2992.566 Check: 386.913 Back: 2924.834
INFO - Atoms: 44/239844 Clauses: 41439 Axioms: 1259145
INFO - Restart
INFO - Confl: 80000 Props: 121699705 Tprops: 0 Decides: 16806772 RSplits: 0
INFO - Times: Expl: 426445.286 Prop: 140294.603 PropClause: 130472.616 Set: 3252.296 Check: 387.916 Back: 3173.467
INFO - Atoms: 44/239844 Clauses: 36762 Axioms: 1259145
INFO - Restart
INFO - Confl: 96000 Props: 162356480 Tprops: 0 Decides: 22781609 RSplits: 0
INFO - Times: Expl: 510801.058 Prop: 185010.633 PropClause: 171799.727 Set: 4335.503 Check: 528.584 Back: 4240.134
INFO - Atoms: 44/239844 Clauses: 45040 Axioms: 1259145
INFO - Restart
INFO - Confl: 96500 Props: 162771749 Tprops: 0 Decides: 22994632 RSplits: 0
INFO - Times: Expl: 513252.453 Prop: 185964.165 PropClause: 172654.892 Set: 4350.066 Check: 533.71 Back: 4255.05
INFO - Atoms: 44/239844 Clauses: 45373 Axioms: 1259145
INFO - Restart
INFO - Confl: 97000 Props: 163667908 Tprops: 0 Decides: 23137291 RSplits: 0
INFO - Times: Expl: 514405.988 Prop: 187318.256 PropClause: 173928.387 Set: 4374.565 Check: 537.132 Back: 4278.754
INFO - Atoms: 44/239844 Clauses: 45665 Axioms: 1259145
INFO - Restart
INFO - Confl: 98000 Props: 167592291 Tprops: 0 Decides: 25033940 RSplits: 0
INFO - Times: Expl: 533570.796 Prop: 194917.982 PropClause: 180699.085 Set: 4509.219 Check: 581.65 Back: 4416.889
INFO - Atoms: 44/239844 Clauses: 46310 Axioms: 1259145
INFO - Restart
INFO - Confl: 98500 Props: 170346372 Tprops: 0 Decides: 26376439 RSplits: 0
INFO - Times: Expl: 538005.657 Prop: 200330.62 PropClause: 185525.684 Set: 4603.831 Check: 613.228 Back: 4513.893
INFO - Atoms: 44/239844 Clauses: 46644 Axioms: 1259145
INFO - Restart
INFO - Confl: 99000 Props: 172959946 Tprops: 0 Decides: 27555072 RSplits: 0
INFO - Times: Expl: 542121.452 Prop: 209492.55 PropClause: 190135.372 Set: 4691.953 Check: 641.162 Back: 4603.85
INFO - Atoms: 44/239844 Clauses: 46977 Axioms: 1259145
INFO - Restart
INFO - Confl: 100000 Props: 176291574 Tprops: 0 Decides: 29246242 RSplits: 0
INFO - Times: Expl: 548625.367 Prop: 216319.282 PropClause: 196213.786 Set: 4807.78 Check: 681.217 Back: 4723.005
INFO - Atoms: 44/239844 Clauses: 47631 Axioms: 1259145
INFO - Restart
INFO - Confl: 102000 Props: 182836400 Tprops: 0 Decides: 32387859 RSplits: 0
INFO - Times: Expl: 570353.563 Prop: 229157.997 PropClause: 207678.792 Set: 5030.122 Check: 754.862 Back: 4951.867
INFO - Atoms: 44/239844 Clauses: 48961 Axioms: 1259145
INFO - Restart
INFO - Confl: 102500 Props: 184890445 Tprops: 0 Decides: 33366960 RSplits: 0
INFO - Times: Expl: 574503.796 Prop: 233228.988 PropClause: 211318.609 Set: 5100.317 Check: 777.939 Back: 5024.025
INFO - Atoms: 44/239844 Clauses: 49294 Axioms: 1259145
INFO - Restart
INFO - Confl: 103000 Props: 186446604 Tprops: 0 Decides: 34048317 RSplits: 0
INFO - Times: Expl: 582475.273 Prop: 236062.682 PropClause: 213854.862 Set: 5151.96 Check: 793.857 Back: 5077.024
INFO - Atoms: 44/239844 Clauses: 49622 Axioms: 1259145