maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

solver / tests / satlib / BMS /
at main 500 files
zenmaya Add satlib tests
53a008e7
BMS_k3_n100_m429_0.cnf
BMS_k3_n100_m429_1.cnf
BMS_k3_n100_m429_10.cnf
BMS_k3_n100_m429_100.cnf
BMS_k3_n100_m429_101.cnf
BMS_k3_n100_m429_102.cnf
BMS_k3_n100_m429_103.cnf
BMS_k3_n100_m429_104.cnf
BMS_k3_n100_m429_105.cnf
BMS_k3_n100_m429_106.cnf
BMS_k3_n100_m429_107.cnf
BMS_k3_n100_m429_108.cnf
BMS_k3_n100_m429_109.cnf
BMS_k3_n100_m429_11.cnf
BMS_k3_n100_m429_110.cnf
BMS_k3_n100_m429_111.cnf
BMS_k3_n100_m429_112.cnf
BMS_k3_n100_m429_113.cnf
BMS_k3_n100_m429_114.cnf
BMS_k3_n100_m429_115.cnf
BMS_k3_n100_m429_116.cnf
BMS_k3_n100_m429_117.cnf
BMS_k3_n100_m429_118.cnf
BMS_k3_n100_m429_119.cnf
BMS_k3_n100_m429_12.cnf
BMS_k3_n100_m429_120.cnf
BMS_k3_n100_m429_121.cnf
BMS_k3_n100_m429_122.cnf
BMS_k3_n100_m429_123.cnf
BMS_k3_n100_m429_124.cnf
BMS_k3_n100_m429_125.cnf
BMS_k3_n100_m429_126.cnf
BMS_k3_n100_m429_127.cnf
BMS_k3_n100_m429_128.cnf
BMS_k3_n100_m429_129.cnf
BMS_k3_n100_m429_13.cnf
BMS_k3_n100_m429_130.cnf
BMS_k3_n100_m429_131.cnf
BMS_k3_n100_m429_132.cnf
BMS_k3_n100_m429_133.cnf
BMS_k3_n100_m429_134.cnf
BMS_k3_n100_m429_135.cnf
BMS_k3_n100_m429_136.cnf
BMS_k3_n100_m429_137.cnf
BMS_k3_n100_m429_138.cnf
BMS_k3_n100_m429_139.cnf
BMS_k3_n100_m429_14.cnf
BMS_k3_n100_m429_140.cnf
BMS_k3_n100_m429_141.cnf
BMS_k3_n100_m429_142.cnf
BMS_k3_n100_m429_143.cnf
BMS_k3_n100_m429_144.cnf
BMS_k3_n100_m429_145.cnf
BMS_k3_n100_m429_146.cnf
BMS_k3_n100_m429_147.cnf
BMS_k3_n100_m429_148.cnf
BMS_k3_n100_m429_149.cnf
BMS_k3_n100_m429_15.cnf
BMS_k3_n100_m429_150.cnf
BMS_k3_n100_m429_151.cnf
BMS_k3_n100_m429_152.cnf
BMS_k3_n100_m429_153.cnf
BMS_k3_n100_m429_154.cnf
BMS_k3_n100_m429_155.cnf
BMS_k3_n100_m429_156.cnf
BMS_k3_n100_m429_157.cnf
BMS_k3_n100_m429_158.cnf
BMS_k3_n100_m429_159.cnf
BMS_k3_n100_m429_16.cnf
BMS_k3_n100_m429_160.cnf
BMS_k3_n100_m429_161.cnf
BMS_k3_n100_m429_162.cnf
BMS_k3_n100_m429_163.cnf
BMS_k3_n100_m429_164.cnf
BMS_k3_n100_m429_165.cnf
BMS_k3_n100_m429_166.cnf
BMS_k3_n100_m429_167.cnf
BMS_k3_n100_m429_168.cnf
BMS_k3_n100_m429_169.cnf
BMS_k3_n100_m429_17.cnf
BMS_k3_n100_m429_170.cnf
BMS_k3_n100_m429_171.cnf
BMS_k3_n100_m429_172.cnf
BMS_k3_n100_m429_173.cnf
BMS_k3_n100_m429_174.cnf
BMS_k3_n100_m429_175.cnf
BMS_k3_n100_m429_176.cnf
BMS_k3_n100_m429_177.cnf
BMS_k3_n100_m429_178.cnf
BMS_k3_n100_m429_179.cnf
BMS_k3_n100_m429_18.cnf
BMS_k3_n100_m429_180.cnf
BMS_k3_n100_m429_181.cnf
BMS_k3_n100_m429_182.cnf
BMS_k3_n100_m429_183.cnf
BMS_k3_n100_m429_184.cnf
BMS_k3_n100_m429_185.cnf
BMS_k3_n100_m429_186.cnf
BMS_k3_n100_m429_187.cnf
BMS_k3_n100_m429_188.cnf
BMS_k3_n100_m429_189.cnf
BMS_k3_n100_m429_19.cnf
BMS_k3_n100_m429_190.cnf
BMS_k3_n100_m429_191.cnf
BMS_k3_n100_m429_192.cnf
BMS_k3_n100_m429_193.cnf
BMS_k3_n100_m429_194.cnf
BMS_k3_n100_m429_195.cnf
BMS_k3_n100_m429_196.cnf
BMS_k3_n100_m429_197.cnf
BMS_k3_n100_m429_198.cnf
BMS_k3_n100_m429_199.cnf
BMS_k3_n100_m429_2.cnf
BMS_k3_n100_m429_20.cnf
BMS_k3_n100_m429_200.cnf
BMS_k3_n100_m429_201.cnf
BMS_k3_n100_m429_202.cnf
BMS_k3_n100_m429_203.cnf
BMS_k3_n100_m429_204.cnf
BMS_k3_n100_m429_205.cnf
BMS_k3_n100_m429_206.cnf
BMS_k3_n100_m429_207.cnf
BMS_k3_n100_m429_208.cnf
BMS_k3_n100_m429_209.cnf
BMS_k3_n100_m429_21.cnf
BMS_k3_n100_m429_210.cnf
BMS_k3_n100_m429_211.cnf
BMS_k3_n100_m429_212.cnf
BMS_k3_n100_m429_213.cnf
BMS_k3_n100_m429_214.cnf
BMS_k3_n100_m429_215.cnf
BMS_k3_n100_m429_216.cnf
BMS_k3_n100_m429_217.cnf
BMS_k3_n100_m429_218.cnf
BMS_k3_n100_m429_219.cnf
BMS_k3_n100_m429_22.cnf
BMS_k3_n100_m429_220.cnf
BMS_k3_n100_m429_221.cnf
BMS_k3_n100_m429_222.cnf
BMS_k3_n100_m429_223.cnf
BMS_k3_n100_m429_224.cnf
BMS_k3_n100_m429_225.cnf
BMS_k3_n100_m429_226.cnf
BMS_k3_n100_m429_227.cnf
BMS_k3_n100_m429_228.cnf
BMS_k3_n100_m429_229.cnf
BMS_k3_n100_m429_23.cnf
BMS_k3_n100_m429_230.cnf
BMS_k3_n100_m429_231.cnf
BMS_k3_n100_m429_232.cnf
BMS_k3_n100_m429_233.cnf
BMS_k3_n100_m429_234.cnf
BMS_k3_n100_m429_235.cnf
BMS_k3_n100_m429_236.cnf
BMS_k3_n100_m429_237.cnf
BMS_k3_n100_m429_238.cnf
BMS_k3_n100_m429_239.cnf
BMS_k3_n100_m429_24.cnf
BMS_k3_n100_m429_240.cnf
BMS_k3_n100_m429_241.cnf
BMS_k3_n100_m429_242.cnf
BMS_k3_n100_m429_243.cnf
BMS_k3_n100_m429_244.cnf
BMS_k3_n100_m429_245.cnf
BMS_k3_n100_m429_246.cnf
BMS_k3_n100_m429_247.cnf
BMS_k3_n100_m429_248.cnf
BMS_k3_n100_m429_249.cnf
BMS_k3_n100_m429_25.cnf
BMS_k3_n100_m429_250.cnf
BMS_k3_n100_m429_251.cnf
BMS_k3_n100_m429_252.cnf
BMS_k3_n100_m429_253.cnf
BMS_k3_n100_m429_254.cnf
BMS_k3_n100_m429_255.cnf
BMS_k3_n100_m429_256.cnf
BMS_k3_n100_m429_257.cnf
BMS_k3_n100_m429_258.cnf
BMS_k3_n100_m429_259.cnf
BMS_k3_n100_m429_26.cnf
BMS_k3_n100_m429_260.cnf
BMS_k3_n100_m429_261.cnf
BMS_k3_n100_m429_262.cnf
BMS_k3_n100_m429_263.cnf
BMS_k3_n100_m429_264.cnf
BMS_k3_n100_m429_265.cnf
BMS_k3_n100_m429_266.cnf
BMS_k3_n100_m429_267.cnf
BMS_k3_n100_m429_268.cnf
BMS_k3_n100_m429_269.cnf
BMS_k3_n100_m429_27.cnf
BMS_k3_n100_m429_270.cnf
BMS_k3_n100_m429_271.cnf
BMS_k3_n100_m429_272.cnf
BMS_k3_n100_m429_273.cnf
BMS_k3_n100_m429_274.cnf
BMS_k3_n100_m429_275.cnf
BMS_k3_n100_m429_276.cnf
BMS_k3_n100_m429_277.cnf
BMS_k3_n100_m429_278.cnf
BMS_k3_n100_m429_279.cnf
BMS_k3_n100_m429_28.cnf
BMS_k3_n100_m429_280.cnf
BMS_k3_n100_m429_281.cnf
BMS_k3_n100_m429_282.cnf
BMS_k3_n100_m429_283.cnf
BMS_k3_n100_m429_284.cnf
BMS_k3_n100_m429_285.cnf
BMS_k3_n100_m429_286.cnf
BMS_k3_n100_m429_287.cnf
BMS_k3_n100_m429_288.cnf
BMS_k3_n100_m429_289.cnf
BMS_k3_n100_m429_29.cnf
BMS_k3_n100_m429_290.cnf
BMS_k3_n100_m429_291.cnf
BMS_k3_n100_m429_292.cnf
BMS_k3_n100_m429_293.cnf
BMS_k3_n100_m429_294.cnf
BMS_k3_n100_m429_295.cnf
BMS_k3_n100_m429_296.cnf
BMS_k3_n100_m429_297.cnf
BMS_k3_n100_m429_298.cnf
BMS_k3_n100_m429_299.cnf
BMS_k3_n100_m429_3.cnf
BMS_k3_n100_m429_30.cnf
BMS_k3_n100_m429_300.cnf
BMS_k3_n100_m429_301.cnf
BMS_k3_n100_m429_302.cnf
BMS_k3_n100_m429_303.cnf
BMS_k3_n100_m429_304.cnf
BMS_k3_n100_m429_305.cnf
BMS_k3_n100_m429_306.cnf
BMS_k3_n100_m429_307.cnf
BMS_k3_n100_m429_308.cnf
BMS_k3_n100_m429_309.cnf
BMS_k3_n100_m429_31.cnf
BMS_k3_n100_m429_310.cnf
BMS_k3_n100_m429_311.cnf
BMS_k3_n100_m429_312.cnf
BMS_k3_n100_m429_313.cnf
BMS_k3_n100_m429_314.cnf
BMS_k3_n100_m429_315.cnf
BMS_k3_n100_m429_316.cnf
BMS_k3_n100_m429_317.cnf
BMS_k3_n100_m429_318.cnf
BMS_k3_n100_m429_319.cnf
BMS_k3_n100_m429_32.cnf
BMS_k3_n100_m429_320.cnf
BMS_k3_n100_m429_321.cnf
BMS_k3_n100_m429_322.cnf
BMS_k3_n100_m429_323.cnf
BMS_k3_n100_m429_324.cnf
BMS_k3_n100_m429_325.cnf
BMS_k3_n100_m429_326.cnf
BMS_k3_n100_m429_327.cnf
BMS_k3_n100_m429_328.cnf
BMS_k3_n100_m429_329.cnf
BMS_k3_n100_m429_33.cnf
BMS_k3_n100_m429_330.cnf
BMS_k3_n100_m429_331.cnf
BMS_k3_n100_m429_332.cnf
BMS_k3_n100_m429_333.cnf
BMS_k3_n100_m429_334.cnf
BMS_k3_n100_m429_335.cnf
BMS_k3_n100_m429_336.cnf
BMS_k3_n100_m429_337.cnf
BMS_k3_n100_m429_338.cnf
BMS_k3_n100_m429_339.cnf
BMS_k3_n100_m429_34.cnf
BMS_k3_n100_m429_340.cnf
BMS_k3_n100_m429_341.cnf
BMS_k3_n100_m429_342.cnf
BMS_k3_n100_m429_343.cnf
BMS_k3_n100_m429_344.cnf
BMS_k3_n100_m429_345.cnf
BMS_k3_n100_m429_346.cnf
BMS_k3_n100_m429_347.cnf
BMS_k3_n100_m429_348.cnf
BMS_k3_n100_m429_349.cnf
BMS_k3_n100_m429_35.cnf
BMS_k3_n100_m429_350.cnf
BMS_k3_n100_m429_351.cnf
BMS_k3_n100_m429_352.cnf
BMS_k3_n100_m429_353.cnf
BMS_k3_n100_m429_354.cnf
BMS_k3_n100_m429_355.cnf
BMS_k3_n100_m429_356.cnf
BMS_k3_n100_m429_357.cnf
BMS_k3_n100_m429_358.cnf
BMS_k3_n100_m429_359.cnf
BMS_k3_n100_m429_36.cnf
BMS_k3_n100_m429_360.cnf
BMS_k3_n100_m429_361.cnf
BMS_k3_n100_m429_362.cnf
BMS_k3_n100_m429_363.cnf
BMS_k3_n100_m429_364.cnf
BMS_k3_n100_m429_365.cnf
BMS_k3_n100_m429_366.cnf
BMS_k3_n100_m429_367.cnf
BMS_k3_n100_m429_368.cnf
BMS_k3_n100_m429_369.cnf
BMS_k3_n100_m429_37.cnf
BMS_k3_n100_m429_370.cnf
BMS_k3_n100_m429_371.cnf
BMS_k3_n100_m429_372.cnf
BMS_k3_n100_m429_373.cnf
BMS_k3_n100_m429_374.cnf
BMS_k3_n100_m429_375.cnf
BMS_k3_n100_m429_376.cnf
BMS_k3_n100_m429_377.cnf
BMS_k3_n100_m429_378.cnf
BMS_k3_n100_m429_379.cnf
BMS_k3_n100_m429_38.cnf
BMS_k3_n100_m429_380.cnf
BMS_k3_n100_m429_381.cnf
BMS_k3_n100_m429_382.cnf
BMS_k3_n100_m429_383.cnf
BMS_k3_n100_m429_384.cnf
BMS_k3_n100_m429_385.cnf
BMS_k3_n100_m429_386.cnf
BMS_k3_n100_m429_387.cnf
BMS_k3_n100_m429_388.cnf
BMS_k3_n100_m429_389.cnf
BMS_k3_n100_m429_39.cnf
BMS_k3_n100_m429_390.cnf
BMS_k3_n100_m429_391.cnf
BMS_k3_n100_m429_392.cnf
BMS_k3_n100_m429_393.cnf
BMS_k3_n100_m429_394.cnf
BMS_k3_n100_m429_395.cnf
BMS_k3_n100_m429_396.cnf
BMS_k3_n100_m429_397.cnf
BMS_k3_n100_m429_398.cnf
BMS_k3_n100_m429_399.cnf
BMS_k3_n100_m429_4.cnf
BMS_k3_n100_m429_40.cnf
BMS_k3_n100_m429_400.cnf
BMS_k3_n100_m429_401.cnf
BMS_k3_n100_m429_402.cnf
BMS_k3_n100_m429_403.cnf
BMS_k3_n100_m429_404.cnf
BMS_k3_n100_m429_405.cnf
BMS_k3_n100_m429_406.cnf
BMS_k3_n100_m429_407.cnf
BMS_k3_n100_m429_408.cnf
BMS_k3_n100_m429_409.cnf
BMS_k3_n100_m429_41.cnf
BMS_k3_n100_m429_410.cnf
BMS_k3_n100_m429_411.cnf
BMS_k3_n100_m429_412.cnf
BMS_k3_n100_m429_413.cnf
BMS_k3_n100_m429_414.cnf
BMS_k3_n100_m429_415.cnf
BMS_k3_n100_m429_416.cnf
BMS_k3_n100_m429_417.cnf
BMS_k3_n100_m429_418.cnf
BMS_k3_n100_m429_419.cnf
BMS_k3_n100_m429_42.cnf
BMS_k3_n100_m429_420.cnf
BMS_k3_n100_m429_421.cnf
BMS_k3_n100_m429_422.cnf
BMS_k3_n100_m429_423.cnf
BMS_k3_n100_m429_424.cnf
BMS_k3_n100_m429_425.cnf
BMS_k3_n100_m429_426.cnf
BMS_k3_n100_m429_427.cnf
BMS_k3_n100_m429_428.cnf
BMS_k3_n100_m429_429.cnf
BMS_k3_n100_m429_43.cnf
BMS_k3_n100_m429_430.cnf
BMS_k3_n100_m429_431.cnf
BMS_k3_n100_m429_432.cnf
BMS_k3_n100_m429_433.cnf
BMS_k3_n100_m429_434.cnf
BMS_k3_n100_m429_435.cnf
BMS_k3_n100_m429_436.cnf
BMS_k3_n100_m429_437.cnf
BMS_k3_n100_m429_438.cnf
BMS_k3_n100_m429_439.cnf
BMS_k3_n100_m429_44.cnf
BMS_k3_n100_m429_440.cnf
BMS_k3_n100_m429_441.cnf
BMS_k3_n100_m429_442.cnf
BMS_k3_n100_m429_443.cnf
BMS_k3_n100_m429_444.cnf
BMS_k3_n100_m429_445.cnf
BMS_k3_n100_m429_446.cnf
BMS_k3_n100_m429_447.cnf
BMS_k3_n100_m429_448.cnf
BMS_k3_n100_m429_449.cnf
BMS_k3_n100_m429_45.cnf
BMS_k3_n100_m429_450.cnf
BMS_k3_n100_m429_451.cnf
BMS_k3_n100_m429_452.cnf
BMS_k3_n100_m429_453.cnf
BMS_k3_n100_m429_454.cnf
BMS_k3_n100_m429_455.cnf
BMS_k3_n100_m429_456.cnf
BMS_k3_n100_m429_457.cnf
BMS_k3_n100_m429_458.cnf
BMS_k3_n100_m429_459.cnf
BMS_k3_n100_m429_46.cnf
BMS_k3_n100_m429_460.cnf
BMS_k3_n100_m429_461.cnf
BMS_k3_n100_m429_462.cnf
BMS_k3_n100_m429_463.cnf
BMS_k3_n100_m429_464.cnf
BMS_k3_n100_m429_465.cnf
BMS_k3_n100_m429_466.cnf
BMS_k3_n100_m429_467.cnf
BMS_k3_n100_m429_468.cnf
BMS_k3_n100_m429_469.cnf
BMS_k3_n100_m429_47.cnf
BMS_k3_n100_m429_470.cnf
BMS_k3_n100_m429_471.cnf
BMS_k3_n100_m429_472.cnf
BMS_k3_n100_m429_473.cnf
BMS_k3_n100_m429_474.cnf
BMS_k3_n100_m429_475.cnf
BMS_k3_n100_m429_476.cnf
BMS_k3_n100_m429_477.cnf
BMS_k3_n100_m429_478.cnf
BMS_k3_n100_m429_479.cnf
BMS_k3_n100_m429_48.cnf
BMS_k3_n100_m429_480.cnf
BMS_k3_n100_m429_481.cnf
BMS_k3_n100_m429_482.cnf
BMS_k3_n100_m429_483.cnf
BMS_k3_n100_m429_484.cnf
BMS_k3_n100_m429_485.cnf
BMS_k3_n100_m429_486.cnf
BMS_k3_n100_m429_487.cnf
BMS_k3_n100_m429_488.cnf
BMS_k3_n100_m429_489.cnf
BMS_k3_n100_m429_49.cnf
BMS_k3_n100_m429_490.cnf
BMS_k3_n100_m429_491.cnf
BMS_k3_n100_m429_492.cnf
BMS_k3_n100_m429_493.cnf
BMS_k3_n100_m429_494.cnf
BMS_k3_n100_m429_495.cnf
BMS_k3_n100_m429_496.cnf
BMS_k3_n100_m429_497.cnf
BMS_k3_n100_m429_498.cnf
BMS_k3_n100_m429_499.cnf
BMS_k3_n100_m429_5.cnf
BMS_k3_n100_m429_50.cnf
BMS_k3_n100_m429_51.cnf
BMS_k3_n100_m429_52.cnf
BMS_k3_n100_m429_53.cnf
BMS_k3_n100_m429_54.cnf
BMS_k3_n100_m429_55.cnf
BMS_k3_n100_m429_56.cnf
BMS_k3_n100_m429_57.cnf
BMS_k3_n100_m429_58.cnf
BMS_k3_n100_m429_59.cnf
BMS_k3_n100_m429_6.cnf
BMS_k3_n100_m429_60.cnf
BMS_k3_n100_m429_61.cnf
BMS_k3_n100_m429_62.cnf
BMS_k3_n100_m429_63.cnf
BMS_k3_n100_m429_64.cnf
BMS_k3_n100_m429_65.cnf
BMS_k3_n100_m429_66.cnf
BMS_k3_n100_m429_67.cnf
BMS_k3_n100_m429_68.cnf
BMS_k3_n100_m429_69.cnf
BMS_k3_n100_m429_7.cnf
BMS_k3_n100_m429_70.cnf
BMS_k3_n100_m429_71.cnf
BMS_k3_n100_m429_72.cnf
BMS_k3_n100_m429_73.cnf
BMS_k3_n100_m429_74.cnf
BMS_k3_n100_m429_75.cnf
BMS_k3_n100_m429_76.cnf
BMS_k3_n100_m429_77.cnf
BMS_k3_n100_m429_78.cnf
BMS_k3_n100_m429_79.cnf
BMS_k3_n100_m429_8.cnf
BMS_k3_n100_m429_80.cnf
BMS_k3_n100_m429_81.cnf
BMS_k3_n100_m429_82.cnf
BMS_k3_n100_m429_83.cnf
BMS_k3_n100_m429_84.cnf
BMS_k3_n100_m429_85.cnf
BMS_k3_n100_m429_86.cnf
BMS_k3_n100_m429_87.cnf
BMS_k3_n100_m429_88.cnf
BMS_k3_n100_m429_89.cnf
BMS_k3_n100_m429_9.cnf
BMS_k3_n100_m429_90.cnf
BMS_k3_n100_m429_91.cnf
BMS_k3_n100_m429_92.cnf
BMS_k3_n100_m429_93.cnf
BMS_k3_n100_m429_94.cnf
BMS_k3_n100_m429_95.cnf
BMS_k3_n100_m429_96.cnf
BMS_k3_n100_m429_97.cnf
BMS_k3_n100_m429_98.cnf
BMS_k3_n100_m429_99.cnf