maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
Star
Fork 0
Watch
solver tests satlib flat
1199 files
flat100-1.cnf
flat100-10.cnf
flat100-100.cnf
flat100-11.cnf
flat100-12.cnf
flat100-13.cnf
flat100-14.cnf
flat100-15.cnf
flat100-16.cnf
flat100-17.cnf
flat100-18.cnf
flat100-19.cnf
flat100-2.cnf
flat100-20.cnf
flat100-21.cnf
flat100-22.cnf
flat100-23.cnf
flat100-24.cnf
flat100-25.cnf
flat100-26.cnf
flat100-27.cnf
flat100-28.cnf
flat100-29.cnf
flat100-3.cnf
flat100-30.cnf
flat100-31.cnf
flat100-32.cnf
flat100-33.cnf
flat100-34.cnf
flat100-35.cnf
flat100-36.cnf
flat100-37.cnf
flat100-38.cnf
flat100-39.cnf
flat100-4.cnf
flat100-40.cnf
flat100-41.cnf
flat100-42.cnf
flat100-43.cnf
flat100-44.cnf
flat100-45.cnf
flat100-46.cnf
flat100-47.cnf
flat100-48.cnf
flat100-49.cnf
flat100-5.cnf
flat100-50.cnf
flat100-51.cnf
flat100-52.cnf
flat100-53.cnf
flat100-54.cnf
flat100-55.cnf
flat100-56.cnf
flat100-57.cnf
flat100-58.cnf
flat100-59.cnf
flat100-6.cnf
flat100-60.cnf
flat100-61.cnf
flat100-62.cnf
flat100-63.cnf
flat100-64.cnf
flat100-65.cnf
flat100-66.cnf
flat100-67.cnf
flat100-68.cnf
flat100-69.cnf
flat100-7.cnf
flat100-70.cnf
flat100-71.cnf
flat100-72.cnf
flat100-73.cnf
flat100-74.cnf
flat100-75.cnf
flat100-76.cnf
flat100-77.cnf
flat100-78.cnf
flat100-79.cnf
flat100-8.cnf
flat100-80.cnf
flat100-81.cnf
flat100-82.cnf
flat100-83.cnf
flat100-84.cnf
flat100-85.cnf
flat100-86.cnf
flat100-87.cnf
flat100-88.cnf
flat100-89.cnf
flat100-9.cnf
flat100-90.cnf
flat100-91.cnf
flat100-92.cnf
flat100-93.cnf
flat100-94.cnf
flat100-95.cnf
flat100-96.cnf
flat100-97.cnf
flat100-98.cnf
flat100-99.cnf
flat30-1.cnf
flat30-10.cnf
flat30-100.cnf
flat30-11.cnf
flat30-12.cnf
flat30-13.cnf
flat30-14.cnf
flat30-15.cnf
flat30-16.cnf
flat30-17.cnf
flat30-18.cnf
flat30-19.cnf
flat30-2.cnf
flat30-20.cnf
flat30-21.cnf
flat30-22.cnf
flat30-23.cnf
flat30-24.cnf
flat30-25.cnf
flat30-26.cnf
flat30-27.cnf
flat30-28.cnf
flat30-29.cnf
flat30-3.cnf
flat30-30.cnf
flat30-31.cnf
flat30-32.cnf
flat30-33.cnf
flat30-34.cnf
flat30-35.cnf
flat30-36.cnf
flat30-37.cnf
flat30-38.cnf
flat30-39.cnf
flat30-4.cnf
flat30-40.cnf
flat30-41.cnf
flat30-42.cnf
flat30-43.cnf
flat30-44.cnf
flat30-45.cnf
flat30-46.cnf
flat30-47.cnf
flat30-48.cnf
flat30-49.cnf
flat30-5.cnf
flat30-50.cnf
flat30-51.cnf
flat30-52.cnf
flat30-53.cnf
flat30-54.cnf
flat30-55.cnf
flat30-56.cnf
flat30-57.cnf
flat30-58.cnf
flat30-59.cnf
flat30-6.cnf
flat30-60.cnf
flat30-61.cnf
flat30-62.cnf
flat30-63.cnf
flat30-64.cnf
flat30-65.cnf
flat30-66.cnf
flat30-67.cnf
flat30-68.cnf
flat30-69.cnf
flat30-7.cnf
flat30-70.cnf
flat30-71.cnf
flat30-72.cnf
flat30-73.cnf
flat30-74.cnf
flat30-75.cnf
flat30-76.cnf
flat30-77.cnf
flat30-78.cnf
flat30-79.cnf
flat30-8.cnf
flat30-80.cnf
flat30-81.cnf
flat30-82.cnf
flat30-83.cnf
flat30-84.cnf
flat30-85.cnf
flat30-86.cnf
flat30-87.cnf
flat30-88.cnf
flat30-89.cnf
flat30-9.cnf
flat30-90.cnf
flat30-91.cnf
flat30-92.cnf
flat30-93.cnf
flat30-94.cnf
flat30-95.cnf
flat30-96.cnf
flat30-97.cnf
flat30-98.cnf
flat30-99.cnf
flat50-1.cnf
flat50-10.cnf
flat50-100.cnf
flat50-1000.cnf
flat50-101.cnf
flat50-102.cnf
flat50-103.cnf
flat50-104.cnf
flat50-105.cnf
flat50-106.cnf
flat50-107.cnf
flat50-108.cnf
flat50-109.cnf
flat50-11.cnf
flat50-110.cnf
flat50-111.cnf
flat50-112.cnf
flat50-113.cnf
flat50-114.cnf
flat50-115.cnf
flat50-116.cnf
flat50-117.cnf
flat50-118.cnf
flat50-119.cnf
flat50-12.cnf
flat50-120.cnf
flat50-121.cnf
flat50-122.cnf
flat50-123.cnf
flat50-124.cnf
flat50-125.cnf
flat50-126.cnf
flat50-127.cnf
flat50-128.cnf
flat50-129.cnf
flat50-13.cnf
flat50-130.cnf
flat50-131.cnf
flat50-132.cnf
flat50-133.cnf
flat50-134.cnf
flat50-135.cnf
flat50-136.cnf
flat50-137.cnf
flat50-138.cnf
flat50-139.cnf
flat50-14.cnf
flat50-140.cnf
flat50-141.cnf
flat50-142.cnf
flat50-143.cnf
flat50-144.cnf
flat50-145.cnf
flat50-146.cnf
flat50-147.cnf
flat50-148.cnf
flat50-149.cnf
flat50-15.cnf
flat50-150.cnf
flat50-151.cnf
flat50-152.cnf
flat50-153.cnf
flat50-154.cnf
flat50-155.cnf
flat50-156.cnf
flat50-157.cnf
flat50-158.cnf
flat50-159.cnf
flat50-16.cnf
flat50-160.cnf
flat50-161.cnf
flat50-162.cnf
flat50-163.cnf
flat50-164.cnf
flat50-165.cnf
flat50-166.cnf
flat50-167.cnf
flat50-168.cnf
flat50-169.cnf
flat50-17.cnf
flat50-170.cnf
flat50-171.cnf
flat50-172.cnf
flat50-173.cnf
flat50-174.cnf
flat50-175.cnf
flat50-176.cnf
flat50-177.cnf
flat50-178.cnf
flat50-179.cnf
flat50-18.cnf
flat50-180.cnf
flat50-181.cnf
flat50-182.cnf
flat50-183.cnf
flat50-184.cnf
flat50-185.cnf
flat50-186.cnf
flat50-187.cnf
flat50-188.cnf
flat50-189.cnf
flat50-19.cnf
flat50-190.cnf
flat50-191.cnf
flat50-192.cnf
flat50-193.cnf
flat50-194.cnf
flat50-195.cnf
flat50-196.cnf
flat50-197.cnf
flat50-198.cnf
flat50-199.cnf
flat50-2.cnf
flat50-20.cnf
flat50-200.cnf
flat50-201.cnf
flat50-202.cnf
flat50-203.cnf
flat50-204.cnf
flat50-205.cnf
flat50-206.cnf
flat50-207.cnf
flat50-208.cnf
flat50-209.cnf
flat50-21.cnf
flat50-210.cnf
flat50-211.cnf
flat50-212.cnf
flat50-213.cnf
flat50-214.cnf
flat50-215.cnf
flat50-216.cnf
flat50-217.cnf
flat50-218.cnf
flat50-219.cnf
flat50-22.cnf
flat50-220.cnf
flat50-221.cnf
flat50-222.cnf
flat50-223.cnf
flat50-224.cnf
flat50-225.cnf
flat50-226.cnf
flat50-227.cnf
flat50-228.cnf
flat50-229.cnf
flat50-23.cnf
flat50-230.cnf
flat50-231.cnf
flat50-232.cnf
flat50-233.cnf
flat50-234.cnf
flat50-235.cnf
flat50-236.cnf
flat50-237.cnf
flat50-238.cnf
flat50-239.cnf
flat50-24.cnf
flat50-240.cnf
flat50-241.cnf
flat50-242.cnf
flat50-243.cnf
flat50-244.cnf
flat50-245.cnf
flat50-246.cnf
flat50-247.cnf
flat50-248.cnf
flat50-249.cnf
flat50-25.cnf
flat50-250.cnf
flat50-251.cnf
flat50-252.cnf
flat50-253.cnf
flat50-254.cnf
flat50-255.cnf
flat50-256.cnf
flat50-257.cnf
flat50-258.cnf
flat50-259.cnf
flat50-26.cnf
flat50-260.cnf
flat50-261.cnf
flat50-262.cnf
flat50-263.cnf
flat50-264.cnf
flat50-265.cnf
flat50-266.cnf
flat50-267.cnf
flat50-268.cnf
flat50-269.cnf
flat50-27.cnf
flat50-270.cnf
flat50-271.cnf
flat50-272.cnf
flat50-273.cnf
flat50-274.cnf
flat50-275.cnf
flat50-276.cnf
flat50-277.cnf
flat50-278.cnf
flat50-279.cnf
flat50-28.cnf
flat50-280.cnf
flat50-281.cnf
flat50-282.cnf
flat50-283.cnf
flat50-284.cnf
flat50-285.cnf
flat50-286.cnf
flat50-287.cnf
flat50-288.cnf
flat50-289.cnf
flat50-29.cnf
flat50-290.cnf
flat50-291.cnf
flat50-292.cnf
flat50-293.cnf
flat50-294.cnf
flat50-295.cnf
flat50-296.cnf
flat50-297.cnf
flat50-298.cnf
flat50-299.cnf
flat50-3.cnf
flat50-30.cnf
flat50-300.cnf
flat50-301.cnf
flat50-302.cnf
flat50-303.cnf
flat50-304.cnf
flat50-305.cnf
flat50-306.cnf
flat50-307.cnf
flat50-308.cnf
flat50-309.cnf
flat50-31.cnf
flat50-310.cnf
flat50-311.cnf
flat50-312.cnf
flat50-313.cnf
flat50-314.cnf
flat50-315.cnf
flat50-316.cnf
flat50-317.cnf
flat50-318.cnf
flat50-319.cnf
flat50-32.cnf
flat50-320.cnf
flat50-321.cnf
flat50-322.cnf
flat50-323.cnf
flat50-324.cnf
flat50-325.cnf
flat50-326.cnf
flat50-327.cnf
flat50-328.cnf
flat50-329.cnf
flat50-33.cnf
flat50-330.cnf
flat50-331.cnf
flat50-332.cnf
flat50-333.cnf
flat50-334.cnf
flat50-335.cnf
flat50-336.cnf
flat50-337.cnf
flat50-338.cnf
flat50-339.cnf
flat50-34.cnf
flat50-340.cnf
flat50-341.cnf
flat50-342.cnf
flat50-343.cnf
flat50-344.cnf
flat50-345.cnf
flat50-346.cnf
flat50-347.cnf
flat50-348.cnf
flat50-349.cnf
flat50-35.cnf
flat50-350.cnf
flat50-351.cnf
flat50-352.cnf
flat50-353.cnf
flat50-354.cnf
flat50-355.cnf
flat50-356.cnf
flat50-357.cnf
flat50-358.cnf
flat50-359.cnf
flat50-36.cnf
flat50-360.cnf
flat50-361.cnf
flat50-362.cnf
flat50-363.cnf
flat50-364.cnf
flat50-365.cnf
flat50-366.cnf
flat50-367.cnf
flat50-368.cnf
flat50-369.cnf
flat50-37.cnf
flat50-370.cnf
flat50-371.cnf
flat50-372.cnf
flat50-373.cnf
flat50-374.cnf
flat50-375.cnf
flat50-376.cnf
flat50-377.cnf
flat50-378.cnf
flat50-379.cnf
flat50-38.cnf
flat50-380.cnf
flat50-381.cnf
flat50-382.cnf
flat50-383.cnf
flat50-384.cnf
flat50-385.cnf
flat50-386.cnf
flat50-387.cnf
flat50-388.cnf
flat50-389.cnf
flat50-39.cnf
flat50-390.cnf
flat50-391.cnf
flat50-392.cnf
flat50-393.cnf
flat50-394.cnf
flat50-395.cnf
flat50-396.cnf
flat50-397.cnf
flat50-398.cnf
flat50-399.cnf
flat50-4.cnf
flat50-40.cnf
flat50-400.cnf
flat50-401.cnf
flat50-402.cnf
flat50-403.cnf
flat50-404.cnf
flat50-405.cnf
flat50-406.cnf
flat50-407.cnf
flat50-408.cnf
flat50-409.cnf
flat50-41.cnf
flat50-410.cnf
flat50-411.cnf
flat50-412.cnf
flat50-413.cnf
flat50-414.cnf
flat50-415.cnf
flat50-416.cnf
flat50-417.cnf
flat50-418.cnf
flat50-419.cnf
flat50-42.cnf
flat50-420.cnf
flat50-421.cnf
flat50-422.cnf
flat50-423.cnf
flat50-424.cnf
flat50-425.cnf
flat50-426.cnf
flat50-427.cnf
flat50-428.cnf
flat50-429.cnf
flat50-43.cnf
flat50-430.cnf
flat50-431.cnf
flat50-432.cnf
flat50-433.cnf
flat50-434.cnf
flat50-435.cnf
flat50-436.cnf
flat50-437.cnf
flat50-438.cnf
flat50-439.cnf
flat50-44.cnf
flat50-440.cnf
flat50-441.cnf
flat50-442.cnf
flat50-443.cnf
flat50-444.cnf
flat50-445.cnf
flat50-446.cnf
flat50-447.cnf
flat50-448.cnf
flat50-449.cnf
flat50-45.cnf
flat50-450.cnf
flat50-451.cnf
flat50-452.cnf
flat50-453.cnf
flat50-454.cnf
flat50-455.cnf
flat50-456.cnf
flat50-457.cnf
flat50-458.cnf
flat50-459.cnf
flat50-46.cnf
flat50-460.cnf
flat50-461.cnf
flat50-462.cnf
flat50-463.cnf
flat50-464.cnf
flat50-465.cnf
flat50-466.cnf
flat50-467.cnf
flat50-468.cnf
flat50-469.cnf
flat50-47.cnf
flat50-470.cnf
flat50-471.cnf
flat50-472.cnf
flat50-473.cnf
flat50-474.cnf
flat50-475.cnf
flat50-476.cnf
flat50-477.cnf
flat50-478.cnf
flat50-479.cnf
flat50-48.cnf
flat50-480.cnf
flat50-481.cnf
flat50-482.cnf
flat50-483.cnf
flat50-484.cnf
flat50-485.cnf
flat50-486.cnf
flat50-487.cnf
flat50-488.cnf
flat50-489.cnf
flat50-49.cnf
flat50-490.cnf
flat50-491.cnf
flat50-492.cnf
flat50-493.cnf
flat50-494.cnf
flat50-495.cnf
flat50-496.cnf
flat50-497.cnf
flat50-498.cnf
flat50-499.cnf
flat50-5.cnf
flat50-50.cnf
flat50-500.cnf
flat50-501.cnf
flat50-502.cnf
flat50-503.cnf
flat50-504.cnf
flat50-505.cnf
flat50-506.cnf
flat50-507.cnf
flat50-508.cnf
flat50-509.cnf
flat50-51.cnf
flat50-510.cnf
flat50-511.cnf
flat50-512.cnf
flat50-513.cnf
flat50-514.cnf
flat50-515.cnf
flat50-516.cnf
flat50-517.cnf
flat50-518.cnf
flat50-519.cnf
flat50-52.cnf
flat50-520.cnf
flat50-521.cnf
flat50-522.cnf
flat50-523.cnf
flat50-524.cnf
flat50-525.cnf
flat50-526.cnf
flat50-527.cnf
flat50-528.cnf
flat50-529.cnf
flat50-53.cnf
flat50-530.cnf
flat50-531.cnf
flat50-532.cnf
flat50-533.cnf
flat50-534.cnf
flat50-535.cnf
flat50-536.cnf
flat50-537.cnf
flat50-538.cnf
flat50-539.cnf
flat50-54.cnf
flat50-540.cnf
flat50-541.cnf
flat50-542.cnf
flat50-543.cnf
flat50-544.cnf
flat50-545.cnf
flat50-546.cnf
flat50-547.cnf
flat50-548.cnf
flat50-549.cnf
flat50-55.cnf
flat50-550.cnf
flat50-551.cnf
flat50-552.cnf
flat50-553.cnf
flat50-554.cnf
flat50-555.cnf
flat50-556.cnf
flat50-557.cnf
flat50-558.cnf
flat50-559.cnf
flat50-56.cnf
flat50-560.cnf
flat50-561.cnf
flat50-562.cnf
flat50-563.cnf
flat50-564.cnf
flat50-565.cnf
flat50-566.cnf
flat50-567.cnf
flat50-568.cnf
flat50-569.cnf
flat50-57.cnf
flat50-570.cnf
flat50-571.cnf
flat50-572.cnf
flat50-573.cnf
flat50-574.cnf
flat50-575.cnf
flat50-576.cnf
flat50-577.cnf
flat50-578.cnf
flat50-579.cnf
flat50-58.cnf
flat50-580.cnf
flat50-581.cnf
flat50-582.cnf
flat50-583.cnf
flat50-584.cnf
flat50-585.cnf
flat50-586.cnf
flat50-587.cnf
flat50-588.cnf
flat50-589.cnf
flat50-59.cnf
flat50-590.cnf
flat50-591.cnf
flat50-592.cnf
flat50-593.cnf
flat50-594.cnf
flat50-595.cnf
flat50-596.cnf
flat50-597.cnf
flat50-598.cnf
flat50-599.cnf
flat50-6.cnf
flat50-60.cnf
flat50-600.cnf
flat50-601.cnf
flat50-602.cnf
flat50-603.cnf
flat50-604.cnf
flat50-605.cnf
flat50-606.cnf
flat50-607.cnf
flat50-608.cnf
flat50-609.cnf
flat50-61.cnf
flat50-610.cnf
flat50-611.cnf
flat50-612.cnf
flat50-613.cnf
flat50-614.cnf
flat50-615.cnf
flat50-616.cnf
flat50-617.cnf
flat50-618.cnf
flat50-619.cnf
flat50-62.cnf
flat50-620.cnf
flat50-621.cnf
flat50-622.cnf
flat50-623.cnf
flat50-624.cnf
flat50-625.cnf
flat50-626.cnf
flat50-627.cnf
flat50-628.cnf
flat50-629.cnf
flat50-63.cnf
flat50-630.cnf
flat50-631.cnf
flat50-632.cnf
flat50-633.cnf
flat50-634.cnf
flat50-635.cnf
flat50-636.cnf
flat50-637.cnf
flat50-638.cnf
flat50-639.cnf
flat50-64.cnf
flat50-640.cnf
flat50-641.cnf
flat50-642.cnf
flat50-643.cnf
flat50-644.cnf
flat50-645.cnf
flat50-646.cnf
flat50-647.cnf
flat50-648.cnf
flat50-649.cnf
flat50-65.cnf
flat50-650.cnf
flat50-651.cnf
flat50-652.cnf
flat50-653.cnf
flat50-654.cnf
flat50-655.cnf
flat50-656.cnf
flat50-657.cnf
flat50-658.cnf
flat50-659.cnf
flat50-66.cnf
flat50-660.cnf
flat50-661.cnf
flat50-662.cnf
flat50-663.cnf
flat50-664.cnf
flat50-665.cnf
flat50-666.cnf
flat50-667.cnf
flat50-668.cnf
flat50-669.cnf
flat50-67.cnf
flat50-670.cnf
flat50-671.cnf
flat50-672.cnf
flat50-673.cnf
flat50-674.cnf
flat50-675.cnf
flat50-676.cnf
flat50-677.cnf
flat50-678.cnf
flat50-679.cnf
flat50-68.cnf
flat50-680.cnf
flat50-681.cnf
flat50-682.cnf
flat50-683.cnf
flat50-684.cnf
flat50-685.cnf
flat50-686.cnf
flat50-687.cnf
flat50-688.cnf
flat50-689.cnf
flat50-69.cnf
flat50-690.cnf
flat50-691.cnf
flat50-692.cnf
flat50-693.cnf
flat50-694.cnf
flat50-695.cnf
flat50-696.cnf
flat50-697.cnf
flat50-698.cnf
flat50-699.cnf
flat50-7.cnf
flat50-70.cnf
flat50-700.cnf
flat50-701.cnf
flat50-702.cnf
flat50-703.cnf
flat50-704.cnf
flat50-705.cnf
flat50-706.cnf
flat50-707.cnf
flat50-708.cnf
flat50-709.cnf
flat50-71.cnf
flat50-710.cnf
flat50-711.cnf
flat50-712.cnf
flat50-713.cnf
flat50-714.cnf
flat50-715.cnf
flat50-716.cnf
flat50-717.cnf
flat50-718.cnf
flat50-719.cnf
flat50-72.cnf
flat50-720.cnf
flat50-721.cnf
flat50-722.cnf
flat50-723.cnf
flat50-724.cnf
flat50-725.cnf
flat50-726.cnf
flat50-727.cnf
flat50-728.cnf
flat50-729.cnf
flat50-730.cnf
flat50-731.cnf
flat50-732.cnf
flat50-733.cnf
flat50-734.cnf
flat50-735.cnf
flat50-736.cnf
flat50-737.cnf
flat50-738.cnf
flat50-739.cnf
flat50-74.cnf
flat50-740.cnf
flat50-741.cnf
flat50-742.cnf
flat50-743.cnf
flat50-744.cnf
flat50-745.cnf
flat50-746.cnf
flat50-747.cnf
flat50-748.cnf
flat50-749.cnf
flat50-75.cnf
flat50-750.cnf
flat50-751.cnf
flat50-752.cnf
flat50-753.cnf
flat50-754.cnf
flat50-755.cnf
flat50-756.cnf
flat50-757.cnf
flat50-758.cnf
flat50-759.cnf
flat50-76.cnf
flat50-760.cnf
flat50-761.cnf
flat50-762.cnf
flat50-763.cnf
flat50-764.cnf
flat50-765.cnf
flat50-766.cnf
flat50-767.cnf
flat50-768.cnf
flat50-769.cnf
flat50-77.cnf
flat50-770.cnf
flat50-771.cnf
flat50-772.cnf
flat50-773.cnf
flat50-774.cnf
flat50-775.cnf
flat50-776.cnf
flat50-777.cnf
flat50-778.cnf
flat50-779.cnf
flat50-78.cnf
flat50-780.cnf
flat50-781.cnf
flat50-782.cnf
flat50-783.cnf
flat50-784.cnf
flat50-785.cnf
flat50-786.cnf
flat50-787.cnf
flat50-788.cnf
flat50-789.cnf
flat50-79.cnf
flat50-790.cnf
flat50-791.cnf
flat50-792.cnf
flat50-793.cnf
flat50-794.cnf
flat50-795.cnf
flat50-796.cnf
flat50-797.cnf
flat50-798.cnf
flat50-799.cnf
flat50-8.cnf
flat50-80.cnf
flat50-800.cnf
flat50-801.cnf
flat50-802.cnf
flat50-803.cnf
flat50-804.cnf
flat50-805.cnf
flat50-806.cnf
flat50-807.cnf
flat50-808.cnf
flat50-809.cnf
flat50-81.cnf
flat50-810.cnf
flat50-811.cnf
flat50-812.cnf
flat50-813.cnf
flat50-814.cnf
flat50-815.cnf
flat50-816.cnf
flat50-817.cnf
flat50-818.cnf
flat50-819.cnf
flat50-82.cnf
flat50-820.cnf
flat50-821.cnf
flat50-822.cnf
flat50-823.cnf
flat50-824.cnf
flat50-825.cnf
flat50-826.cnf
flat50-827.cnf
flat50-828.cnf
flat50-829.cnf
flat50-83.cnf
flat50-830.cnf
flat50-831.cnf
flat50-832.cnf
flat50-833.cnf
flat50-834.cnf
flat50-835.cnf
flat50-836.cnf
flat50-837.cnf
flat50-838.cnf
flat50-839.cnf
flat50-84.cnf
flat50-840.cnf
flat50-841.cnf
flat50-842.cnf
flat50-843.cnf
flat50-844.cnf
flat50-845.cnf
flat50-846.cnf
flat50-847.cnf
flat50-848.cnf
flat50-849.cnf
flat50-85.cnf
flat50-850.cnf
flat50-851.cnf
flat50-852.cnf
flat50-853.cnf
flat50-854.cnf
flat50-855.cnf
flat50-856.cnf
flat50-857.cnf
flat50-858.cnf
flat50-859.cnf
flat50-86.cnf
flat50-860.cnf
flat50-861.cnf
flat50-862.cnf
flat50-863.cnf
flat50-864.cnf
flat50-865.cnf
flat50-866.cnf
flat50-867.cnf
flat50-868.cnf
flat50-869.cnf
flat50-87.cnf
flat50-870.cnf
flat50-871.cnf
flat50-872.cnf
flat50-873.cnf
flat50-874.cnf
flat50-875.cnf
flat50-876.cnf
flat50-877.cnf
flat50-878.cnf
flat50-879.cnf
flat50-88.cnf
flat50-880.cnf
flat50-881.cnf
flat50-882.cnf
flat50-883.cnf
flat50-884.cnf
flat50-885.cnf
flat50-886.cnf
flat50-887.cnf
flat50-888.cnf
flat50-889.cnf
flat50-89.cnf
flat50-890.cnf
flat50-891.cnf
flat50-892.cnf
flat50-893.cnf
flat50-894.cnf
flat50-895.cnf
flat50-896.cnf
flat50-897.cnf
flat50-898.cnf
flat50-899.cnf
flat50-9.cnf
flat50-90.cnf
flat50-900.cnf
flat50-901.cnf
flat50-902.cnf
flat50-903.cnf
flat50-904.cnf
flat50-905.cnf
flat50-906.cnf
flat50-907.cnf
flat50-908.cnf
flat50-909.cnf
flat50-91.cnf
flat50-910.cnf
flat50-911.cnf
flat50-912.cnf
flat50-913.cnf
flat50-914.cnf
flat50-915.cnf
flat50-916.cnf
flat50-917.cnf
flat50-918.cnf
flat50-919.cnf
flat50-92.cnf
flat50-920.cnf
flat50-921.cnf
flat50-922.cnf
flat50-923.cnf
flat50-924.cnf
flat50-925.cnf
flat50-926.cnf
flat50-927.cnf
flat50-928.cnf
flat50-929.cnf
flat50-93.cnf
flat50-930.cnf
flat50-931.cnf
flat50-932.cnf
flat50-933.cnf
flat50-934.cnf
flat50-935.cnf
flat50-936.cnf
flat50-937.cnf
flat50-938.cnf
flat50-939.cnf
flat50-94.cnf
flat50-940.cnf
flat50-941.cnf
flat50-942.cnf
flat50-943.cnf
flat50-944.cnf
flat50-945.cnf
flat50-946.cnf
flat50-947.cnf
flat50-948.cnf
flat50-949.cnf
flat50-95.cnf
flat50-950.cnf
flat50-951.cnf
flat50-952.cnf
flat50-953.cnf
flat50-954.cnf
flat50-955.cnf
flat50-956.cnf
flat50-957.cnf
flat50-958.cnf
flat50-959.cnf
flat50-96.cnf
flat50-960.cnf
flat50-961.cnf
flat50-962.cnf
flat50-963.cnf
flat50-964.cnf
flat50-965.cnf
flat50-966.cnf
flat50-967.cnf
flat50-968.cnf
flat50-969.cnf
flat50-97.cnf
flat50-970.cnf
flat50-971.cnf
flat50-972.cnf
flat50-973.cnf
flat50-974.cnf
flat50-975.cnf
flat50-976.cnf
flat50-977.cnf
flat50-978.cnf
flat50-979.cnf
flat50-98.cnf
flat50-980.cnf
flat50-981.cnf
flat50-982.cnf
flat50-983.cnf
flat50-984.cnf
flat50-985.cnf
flat50-986.cnf
flat50-987.cnf
flat50-988.cnf
flat50-989.cnf
flat50-99.cnf
flat50-990.cnf
flat50-991.cnf
flat50-992.cnf
flat50-993.cnf
flat50-994.cnf
flat50-995.cnf
flat50-996.cnf
flat50-997.cnf
flat50-998.cnf
flat50-999.cnf