Instances of family terminator solved by <a href='solver_detail.php?solver=71'>ssolveB</a> <br> QBFEVAL'08

Instances of family terminator solved by ssolveB
QBFEVAL'08

Instance	Result	Time
stmt31_22_23	UNSAT	48.99
stmt41_36_37	UNSAT	50.57
stmt44_40_41	UNSAT	162.07
stmt52_54_55	UNSAT	183.92
stmt19_137_408	FAIL	600
stmt52_54_169	FAIL	600
stmt27_17_149	FAIL	600
stmt22_144_179	FAIL	600
stmt21_127_267	FAIL	600
stmt19_78_363	FAIL	600
stmt41_160_286	FAIL	600
stmt21_84_215	FAIL	600
stmt29_99_151	FAIL	600
stmt21_127_418	FAIL	600
stmt21_4_360	FAIL	600
stmt27_17_187	FAIL	600
stmt19_66_408	FAIL	600
stmt19_83_412	FAIL	600
stmt19_133_180	FAIL	600
stmt21_403_413	FAIL	600
stmt22_320_361	FAIL	600
stmt22_144_361	FAIL	600
stmt22_311_370	FAIL	600
stmt21_70_84	FAIL	600
stmt22_263_365	FAIL	600
stmt19_214_313	FAIL	600
stmt27_16_149	FAIL	600
stmt52_169_394	FAIL	600
stmt52_54_244	FAIL	600
stmt19_2_257	FAIL	600
stmt21_134_418	FAIL	600
stmt19_142_250	FAIL	600
stmt22_80_139	FAIL	600
stmt22_73_179	FAIL	600
stmt39_34_384	FAIL	600
stmt41_198_385	FAIL	600
stmt21_218_258	FAIL	600
stmt21_218_262	FAIL	600
stmt21_181_413	FAIL	600
stmt21_215_267	FAIL	600
stmt22_92_216	FAIL	600
stmt21_70_267	FAIL	600
stmt39_107_335	FAIL	600
stmt19_90_250	FAIL	600
stmt22_80_414	FAIL	600
stmt19_368_408	FAIL	600
stmt21_84_138	FAIL	600
stmt21_262_413	FAIL	600
stmt21_304_418	FAIL	600
stmt46_43_111	FAIL	600
stmt21_127_143	FAIL	600
stmt44_200_338	FAIL	600
stmt47_45_164	FAIL	600
stmt19_67_214	FAIL	600
stmt39_34_107	FAIL	600
stmt19_217_250	FAIL	600
stmt19_217_417	FAIL	600
stmt22_92_139	FAIL	600
stmt21_314_418	FAIL	600
stmt21_364_409	FAIL	600
stmt19_142_412	FAIL	600
stmt21_310_360	FAIL	600
stmt22_135_315	FAIL	600
stmt19_125_214	FAIL	600
stmt21_178_403	FAIL	600
stmt21_178_258	FAIL	600
stmt19_313_412	FAIL	600
stmt19_78_318	FAIL	600
stmt46_201_388	FAIL	600
stmt21_71_143	FAIL	600
stmt21_252_314	FAIL	600
stmt22_259_263	FAIL	600
stmt21_70_127	FAIL	600
stmt22_268_404	FAIL	600
stmt19_67_363	FAIL	600
stmt19_180_309	FAIL	600
stmt19_177_352	FAIL	600
stmt22_73_80	FAIL	600
stmt19_177_318	FAIL	600
stmt47_44_340	FAIL	600
stmt21_181_364	FAIL	600
stmt19_83_359	FAIL	600
stmt21_319_403	FAIL	600
stmt31_276_328	FAIL	600
stmt50_167_205	FAIL	600
stmt19_137_363	FAIL	600
stmt19_257_318	FAIL	600
stmt19_133_214	FAIL	600
stmt21_218_364	FAIL	600
stmt21_91_304	FAIL	600
stmt19_90_266	FAIL	600
stmt19_3_83	FAIL	600
stmt21_403_418	FAIL	600
stmt21_127_218	FAIL	600
stmt31_152_328	FAIL	600
stmt21_5_413	FAIL	600
stmt21_5_134	FAIL	600
stmt21_134_364	FAIL	600
stmt21_4_364	FAIL	600
stmt22_182_320	FAIL	600
stmt41_336_385	FAIL	600
stmt21_79_178	FAIL	600
stmt19_125_313	FAIL	600
stmt19_217_318	FAIL	600
stmt41_37_235	FAIL	600
stmt21_304_409	FAIL	600
stmt22_182_263	FAIL	600
stmt19_250_359	FAIL	600
stmt22_305_311	FAIL	600
stmt52_117_295	FAIL	600
stmt52_55_207	FAIL	600
stmt52_244_394	FAIL	600
stmt41_37_198	FAIL	600
stmt85_122_399	FAIL	600
stmt21_252_354	FAIL	600
stmt21_5_138	FAIL	600
stmt19_2_261	FAIL	600
stmt21_360_403	FAIL	600
stmt19_309_408	FAIL	600
stmt50_51_167	FAIL	600
stmt39_234_335	FAIL	600
stmt21_262_409	FAIL	600
stmt22_263_315	FAIL	600
stmt22_315_361	FAIL	600
stmt22_259_311	FAIL	600
stmt22_139_144	FAIL	600
stmt22_85_315	FAIL	600
stmt46_43_201	FAIL	600
stmt21_5_360	FAIL	600
stmt19_90_417	FAIL	600
stmt22_182_419	FAIL	600
stmt44_40_110	FAIL	600
stmt19_142_318	FAIL	600
stmt19_3_309	FAIL	600
stmt19_133_359	FAIL	600
stmt27_149_224	FAIL	600
stmt19_2_250	FAIL	600
stmt22_182_268	FAIL	600
stmt19_266_359	FAIL	600
stmt21_70_354	FAIL	600
stmt19_133_408	FAIL	600
stmt39_107_197	FAIL	600
stmt19_217_408	FAIL	600
stmt22_80_182	FAIL	600
stmt22_92_259	FAIL	600
stmt47_340_389	FAIL	600
stmt50_343_392	FAIL	600
stmt22_6_128	FAIL	600
stmt19_142_261	FAIL	600
stmt19_137_352	FAIL	600
stmt21_314_364	FAIL	600
stmt19_3_214	FAIL	600
stmt22_139_182	FAIL	600
stmt21_70_178	FAIL	600
stmt21_267_304	FAIL	600
stmt19_90_177	FAIL	600
stmt19_352_363	FAIL	600
stmt31_190_227	FAIL	600
stmt41_235_286	FAIL	600
stmt22_80_268	FAIL	600
stmt21_215_413	FAIL	600
stmt22_144_370	FAIL	600
stmt39_35_159	FAIL	600
stmt21_71_70	FAIL	600
stmt21_178_218	FAIL	600
stmt46_201_238	FAIL	600
stmt19_125_137	FAIL	600
stmt21_5_364	FAIL	600
stmt50_50_205	FAIL	600
stmt50_50_392	FAIL	600
stmt21_314_409	FAIL	600
stmt19_78_352	FAIL	600
stmt19_3_313	FAIL	600
stmt21_258_304	FAIL	600
stmt31_22_328	FAIL	600
stmt22_139_404	FAIL	600
stmt19_66_261	FAIL	600
stmt19_368_401	FAIL	600
stmt19_83_266	FAIL	600
stmt27_16_97	FAIL	600
stmt21_181_258	FAIL	600
stmt21_218_413	FAIL	600
stmt21_409_413	FAIL	600
stmt19_313_368	FAIL	600
stmt44_40_387	FAIL	600
stmt21_70_304	FAIL	600
stmt21_4_354	FAIL	600
stmt32_24_277	FAIL	600
stmt19_66_133	FAIL	600
stmt53_118_170	FAIL	600
stmt19_67_83	FAIL	600
stmt19_2_313	FAIL	600
stmt22_263_361	FAIL	600
stmt21_252_304	FAIL	600
stmt44_40_162	FAIL	600
stmt19_177_214	FAIL	600
stmt53_57_346	FAIL	600
stmt19_2_137	FAIL	600
stmt21_4_310	FAIL	600
stmt29_21_327	FAIL	600
stmt19_67_257	FAIL	600
stmt39_107_384	FAIL	600
stmt19_309_412	FAIL	600
stmt19_313_318	FAIL	600
stmt22_73_92	FAIL	600
stmt19_133_250	FAIL	600
stmt19_90_309	FAIL	600
stmt19_3_401	FAIL	600
stmt21_262_319	FAIL	600
stmt19_214_318	FAIL	600
stmt21_127_181	FAIL	600
stmt22_92_263	FAIL	600
stmt19_318_412	FAIL	600
stmt22_182_216	FAIL	600
stmt19_177_261	FAIL	600
stmt21_215_409	FAIL	600
stmt19_83_250	FAIL	600
stmt19_90_133	FAIL	600
stmt19_2_401	FAIL	600
stmt19_352_359	FAIL	600
stmt19_83_302	FAIL	600
stmt19_133_261	FAIL	600
stmt22_182_305	FAIL	600
stmt21_91_181	FAIL	600
stmt22_92_404	FAIL	600
stmt21_5_218	FAIL	600
stmt21_310_403	FAIL	600
stmt29_21_275	FAIL	600
stmt85_64_65	FAIL	600
stmt22_85_410	FAIL	600
stmt19_83_217	FAIL	600
stmt41_36_198	FAIL	600
stmt47_239_340	FAIL	600
stmt21_79_134	FAIL	600
stmt22_219_268	FAIL	600
stmt19_66_142	FAIL	600
stmt19_214_261	FAIL	600
stmt29_226_376	FAIL	600
stmt19_125_302	FAIL	600
stmt22_263_305	FAIL	600
stmt21_127_413	FAIL	600
stmt22_73_419	FAIL	600
stmt21_127_258	FAIL	600
stmt19_90_142	FAIL	600
stmt41_36_160	FAIL	600
stmt44_110_200	FAIL	600
stmt21_310_314	FAIL	600
stmt46_43_339	FAIL	600
stmt19_142_217	FAIL	600
stmt41_198_235	FAIL	600
stmt41_36_336	FAIL	600
stmt50_50_293	FAIL	600
stmt85_64_122	FAIL	600
stmt22_92_315	FAIL	600
stmt41_198_286	FAIL	600
stmt21_360_418	FAIL	600
stmt19_90_125	FAIL	600
stmt22_139_263	FAIL	600
stmt52_55_117	FAIL	600
stmt22_72_80	FAIL	600
stmt21_354_369	FAIL	600
stmt21_360_409	FAIL	600
stmt21_252_310	FAIL	600
stmt39_35_384	FAIL	600
stmt21_138_304	FAIL	600
stmt21_143_314	FAIL	600
stmt19_257_266	FAIL	600
stmt19_66_359	FAIL	600
stmt19_250_368	FAIL	600
stmt39_35_335	FAIL	600
stmt19_133_266	FAIL	600
stmt22_6_80	FAIL	600
stmt19_66_217	FAIL	600
stmt22_144_355	FAIL	600
stmt32_153_277	FAIL	600
stmt19_137_177	FAIL	600
stmt19_67_368	FAIL	600
stmt21_252_319	FAIL	600
stmt19_66_180	FAIL	600
stmt21_403_409	FAIL	600
stmt41_108_160	FAIL	600
stmt53_296_346	FAIL	600
stmt21_262_418	FAIL	600
stmt21_134_178	FAIL	600
stmt21_79_304	FAIL	600
stmt19_66_401	FAIL	600
stmt21_267_310	FAIL	600
stmt21_84_310	FAIL	600
stmt21_70_138	FAIL	600
stmt52_244_295	FAIL	600
stmt19_214_302	FAIL	600
stmt22_6_414	FAIL	600
stmt21_84_127	FAIL	600
stmt22_92_320	FAIL	600
stmt21_127_360	FAIL	600
stmt21_178_409	FAIL	600
stmt21_70_258	FAIL	600
stmt47_112_290	FAIL	600
stmt21_143_409	FAIL	600
stmt21_84_403	FAIL	600
stmt46_111_238	FAIL	600
stmt19_3_408	FAIL	600
stmt47_290_340	FAIL	600
stmt21_127_319	FAIL	600
stmt19_2_214	FAIL	600
stmt21_91_369	FAIL	600
stmt53_118_346	FAIL	600
stmt50_167_343	FAIL	600
stmt21_71_304	FAIL	600
stmt21_252_364	FAIL	600
stmt21_218_314	FAIL	600
stmt41_37_286	FAIL	600
stmt19_137_417	FAIL	600
stmt39_234_384	FAIL	600
stmt21_79_314	FAIL	600
stmt19_142_266	FAIL	600
stmt21_138_258	FAIL	600
stmt44_162_237	FAIL	600
stmt19_177_250	FAIL	600
stmt21_71_409	FAIL	600
stmt21_143_181	FAIL	600
stmt19_266_313	FAIL	600
stmt21_143_215	FAIL	600
stmt50_51_293	FAIL	600
stmt21_84_364	FAIL	600
stmt50_205_392	FAIL	600
stmt22_263_370	FAIL	600
stmt21_71_134	FAIL	600
stmt19_309_363	FAIL	600
stmt21_258_360	FAIL	600
stmt19_125_363	FAIL	600
stmt19_214_217	FAIL	600
stmt19_214_363	FAIL	600
stmt21_178_267	FAIL	600
stmt19_133_368	FAIL	600
stmt19_368_412	FAIL	600
stmt32_101_378	FAIL	600
stmt19_302_318	FAIL	600
stmt50_115_392	FAIL	600
stmt19_3_261	FAIL	600
stmt21_5_354	FAIL	600
stmt19_266_417	FAIL	600
stmt19_257_313	FAIL	600
stmt32_228_277	FAIL	600
stmt19_214_359	FAIL	600
stmt21_70_310	FAIL	600
stmt47_202_290	FAIL	600
stmt44_162_338	FAIL	600
stmt41_198_336	FAIL	600
stmt21_127_354	FAIL	600
stmt21_127_178	FAIL	600
stmt19_177_313	FAIL	600
stmt41_160_235	FAIL	600
stmt52_295_394	FAIL	600
stmt22_263_404	FAIL	600
stmt19_142_309	FAIL	600
stmt21_354_403	FAIL	600
stmt22_135_311	FAIL	600
stmt21_181_369	FAIL	600
stmt22_73_268	FAIL	600
stmt22_80_404	FAIL	600
stmt22_73_128	FAIL	600
stmt21_258_364	FAIL	600
stmt21_252_267	FAIL	600
stmt31_23_377	FAIL	600
stmt19_66_363	FAIL	600
stmt19_78_125	FAIL	600
stmt21_4_134	FAIL	600
stmt21_71_252	FAIL	600
stmt19_352_408	FAIL	600
stmt27_16_224	FAIL	600
stmt19_177_368	FAIL	600
stmt19_2_180	FAIL	600
stmt19_177_412	FAIL	600
stmt21_304_364	FAIL	600
stmt19_368_417	FAIL	600
stmt19_78_83	FAIL	600
stmt19_250_412	FAIL	600
stmt22_135_404	FAIL	600
stmt21_4_5	FAIL	600
stmt19_3_257	FAIL	600
stmt21_134_413	FAIL	600
stmt31_100_328	FAIL	600
stmt22_311_320	FAIL	600
stmt50_115_242	FAIL	600
stmt22_259_419	FAIL	600
stmt21_4_178	FAIL	600
stmt28_98_225	FAIL	600
stmt41_286_385	FAIL	600
stmt47_239_290	FAIL	600
stmt21_70_314	FAIL	600
stmt19_302_313	FAIL	600
stmt21_304_360	FAIL	600
stmt22_135_144	FAIL	600
stmt21_134_138	FAIL	600
stmt21_215_418	FAIL	600
stmt46_163_289	FAIL	600
stmt22_361_414	FAIL	600
stmt22_73_311	FAIL	600
stmt22_268_414	FAIL	600
stmt21_364_418	FAIL	600
stmt19_217_368	FAIL	600
stmt22_6_72	FAIL	600
stmt21_360_369	FAIL	600
stmt19_250_401	FAIL	600
stmt21_79_262	FAIL	600
stmt21_218_360	FAIL	600
stmt22_365_414	FAIL	600
stmt22_80_216	FAIL	600
stmt19_266_408	FAIL	600
stmt19_78_408	FAIL	600
stmt21_143_258	FAIL	600
stmt19_177_309	FAIL	600
stmt21_181_218	FAIL	600
stmt19_257_412	FAIL	600
stmt21_252_418	FAIL	600
stmt28_19_98	FAIL	600
stmt19_66_417	FAIL	600
stmt19_3_177	FAIL	600
stmt19_214_309	FAIL	600
stmt21_138_267	FAIL	600
stmt32_191_329	FAIL	600
stmt21_252_262	FAIL	600
stmt22_259_404	FAIL	600
stmt19_412_417	FAIL	600
stmt19_217_309	FAIL	600
stmt19_66_412	FAIL	600
stmt22_73_263	FAIL	600
stmt19_137_368	FAIL	600
stmt44_41_237	FAIL	600
stmt19_214_257	FAIL	600
stmt21_181_360	FAIL	600
stmt21_5_304	FAIL	600
stmt19_83_90	FAIL	600
stmt19_2_83	FAIL	600
stmt46_238_388	FAIL	600
stmt22_6_219	FAIL	600
stmt22_80_253	FAIL	600
stmt19_90_217	FAIL	600
stmt21_138_252	FAIL	600
stmt22_139_320	FAIL	600
stmt19_177_302	FAIL	600
stmt46_289_388	FAIL	600
stmt21_215_354	FAIL	600
stmt21_79_91	FAIL	600
stmt32_191_378	FAIL	600
stmt19_66_250	FAIL	600
stmt22_268_320	FAIL	600
stmt19_66_318	FAIL	600
stmt22_263_355	FAIL	600
stmt19_90_408	FAIL	600
stmt22_259_370	FAIL	600
stmt22_85_182	FAIL	600
stmt22_92_361	FAIL	600
stmt53_208_245	FAIL	600
stmt41_37_108	FAIL	600
stmt27_97_187	FAIL	600
stmt19_90_363	FAIL	600
stmt21_143_403	FAIL	600
stmt19_217_352	FAIL	600
stmt22_73_182	FAIL	600
stmt41_108_235	FAIL	600
stmt47_44_202	FAIL	600
stmt32_24_378	FAIL	600
stmt19_137_313	FAIL	600
stmt21_138_215	FAIL	600
stmt21_354_413	FAIL	600
stmt22_80_144	FAIL	600
stmt22_179_182	FAIL	600
stmt22_80_361	FAIL	600
stmt21_4_304	FAIL	600
stmt52_117_207	FAIL	600
stmt21_84_258	FAIL	600
stmt39_159_197	FAIL	600
stmt19_3_78	FAIL	600
stmt19_180_313	FAIL	600
stmt22_259_410	FAIL	600
stmt22_139_219	FAIL	600
stmt50_242_343	FAIL	600
stmt21_360_364	FAIL	600
stmt21_215_403	FAIL	600
stmt39_285_335	FAIL	600
stmt44_41_288	FAIL	600
stmt21_310_354	FAIL	600
stmt22_182_253	FAIL	600
stmt50_50_115	FAIL	600
stmt19_78_217	FAIL	600
stmt22_85_320	FAIL	600
stmt21_314_354	FAIL	600
stmt22_80_259	FAIL	600
stmt19_125_261	FAIL	600
stmt39_159_335	FAIL	600
stmt85_300_399	FAIL	600
stmt19_142_302	FAIL	600
stmt21_134_354	FAIL	600
stmt19_78_309	FAIL	600
stmt22_80_370	FAIL	600
stmt29_275_376	FAIL	600
stmt19_180_352	FAIL	600
stmt19_217_302	FAIL	600
stmt19_67_318	FAIL	600
stmt85_64_248	FAIL	600
stmt22_85_355	FAIL	600
stmt21_4_409	FAIL	600
stmt22_73_404	FAIL	600
stmt19_266_363	FAIL	600
stmt22_73_219	FAIL	600
stmt19_90_352	FAIL	600
stmt21_70_369	FAIL	600
stmt44_41_387	FAIL	600
stmt21_127_252	FAIL	600
stmt22_259_355	FAIL	600
stmt21_91_413	FAIL	600
stmt21_364_369	FAIL	600
stmt22_320_370	FAIL	600
stmt21_84_134	FAIL	600
stmt19_408_417	FAIL	600
stmt21_262_310	FAIL	600
stmt22_85_179	FAIL	600
stmt44_162_387	FAIL	600
stmt39_159_384	FAIL	600
stmt19_180_401	FAIL	600
stmt21_127_369	FAIL	600
stmt19_83_142	FAIL	600
stmt21_178_418	FAIL	600
stmt19_133_257	FAIL	600
stmt19_177_359	FAIL	600
stmt19_217_401	FAIL	600
stmt19_266_352	FAIL	600
stmt19_250_408	FAIL	600
stmt19_142_363	FAIL	600
stmt31_100_276	FAIL	600
stmt21_127_409	FAIL	600
stmt47_164_202	FAIL	600
stmt52_54_345	FAIL	600
stmt22_144_419	FAIL	600
stmt50_205_293	FAIL	600
stmt19_83_417	FAIL	600
stmt19_266_368	FAIL	600
stmt19_352_417	FAIL	600
stmt21_319_364	FAIL	600
stmt19_137_359	FAIL	600
stmt22_365_404	FAIL	600
stmt21_127_310	FAIL	600
stmt19_66_214	FAIL	600
stmt50_167_293	FAIL	600
stmt21_84_369	FAIL	600
stmt32_24_191	FAIL	600
stmt27_149_187	FAIL	600
stmt21_319_409	FAIL	600
stmt22_85_263	FAIL	600
stmt21_304_369	FAIL	600
stmt46_111_163	FAIL	600
stmt31_190_276	FAIL	600
stmt47_44_239	FAIL	600
stmt21_71_360	FAIL	600
stmt21_138_310	FAIL	600
stmt46_42_289	FAIL	600
stmt39_34_285	FAIL	600
stmt50_51_392	FAIL	600
stmt19_133_217	FAIL	600
stmt52_169_244	FAIL	600
stmt21_319_418	FAIL	600
stmt32_329_378	FAIL	600
stmt39_107_285	FAIL	600
stmt21_71_413	FAIL	600
stmt19_302_412	FAIL	600
stmt22_315_404	FAIL	600
stmt47_112_389	FAIL	600
stmt21_134_304	FAIL	600
stmt41_36_235	FAIL	600
stmt53_57_245	FAIL	600
stmt22_253_259	FAIL	600
stmt19_177_363	FAIL	600
stmt19_302_352	FAIL	600
stmt19_180_408	FAIL	600
stmt22_135_320	FAIL	600
stmt26_15_223	FAIL	600
stmt19_66_90	FAIL	600
stmt21_5_181	FAIL	600
stmt52_207_345	FAIL	600
stmt21_319_354	FAIL	600
stmt19_125_133	FAIL	600
stmt19_78_417	FAIL	600
stmt19_309_417	FAIL	600
stmt19_261_266	FAIL	600
stmt21_138_413	FAIL	600
stmt44_110_338	FAIL	600
stmt32_153_378	FAIL	600
stmt21_215_252	FAIL	600
stmt19_214_368	FAIL	600
stmt19_67_137	FAIL	600
stmt21_71_354	FAIL	600
stmt21_71_314	FAIL	600
stmt29_226_327	FAIL	600

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family terminator solved by ssolveB
QBFEVAL'08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family terminator solved by ssolveB QBFEVAL'08

Instances of family terminator solved by ssolveB
QBFEVAL'08