Instances of family terminator solved by Nenofex
QBFEVAL'08

InstanceResultTime
stmt21_70_369FAIL92.05
stmt19_133_180FAIL98.15
stmt19_137_177FAIL101.2
stmt19_67_363FAIL102.57
stmt46_43_339FAIL102.74
stmt22_80_370FAIL103.47
stmt21_71_354FAIL103.93
stmt21_5_354FAIL104.07
stmt21_138_215FAIL104.48
stmt19_90_309FAIL104.58
stmt22_92_320FAIL105.36
stmt21_127_181FAIL105.59
stmt21_5_364FAIL107.38
stmt21_134_178FAIL108.06
stmt22_139_182FAIL110.12
stmt19_90_352FAIL110.58
stmt22_92_139FAIL110.61
stmt21_127_178FAIL110.85
stmt19_66_417FAIL111.72
stmt19_133_217FAIL112
stmt21_178_267FAIL112.79
stmt19_90_363FAIL112.94
stmt22_73_179FAIL113.24
stmt22_182_268FAIL114.09
stmt22_73_219FAIL114.39
stmt19_125_214FAIL114.68
stmt19_313_368FAIL115.37
stmt21_127_319FAIL115.42
stmt19_67_368FAIL117.5
stmt21_5_360FAIL118.1
stmt39_107_335FAIL118.29
stmt31_190_276FAIL120.85
stmt22_73_182FAIL120.98
stmt21_127_369FAIL121.14
stmt19_142_318FAIL121.28
stmt19_90_133FAIL121.46
stmt19_83_302FAIL121.5
stmt22_144_361FAIL121.56
stmt32_101_378FAIL121.86
stmt22_139_320FAIL122.06
stmt19_133_214FAIL122.2
stmt19_133_368FAIL122.33
stmt21_143_314FAIL122.81
stmt22_139_144FAIL123.31
stmt21_91_369FAIL123.42
stmt32_329_378FAIL123.48
stmt21_304_409FAIL124.25
stmt19_125_137FAIL124.61
stmt22_92_315FAIL124.72
stmt21_127_218FAIL125.04
stmt44_41_387FAIL125.15
stmt19_142_302FAIL125.25
stmt19_125_133FAIL126.06
stmt27_149_224FAIL126.17
stmt21_134_138FAIL126.19
stmt22_144_370FAIL127.27
stmt21_71_360FAIL127.44
stmt21_4_360FAIL127.93
stmt21_138_304FAIL128.54
stmt19_78_417FAIL128.66
stmt21_91_304FAIL128.76
stmt21_79_304FAIL128.86
stmt21_314_409FAIL128.89
stmt22_315_404FAIL129.02
stmt85_64_122FAIL129.16
stmt21_403_409FAIL129.42
stmt19_217_302FAIL129.71
stmt19_217_309FAIL129.77
stmt21_218_314FAIL130.04
stmt21_181_369FAIL130.38
stmt46_201_388FAIL130.46
stmt21_84_215FAIL130.6
stmt21_127_143FAIL130.66
stmt32_191_329FAIL130.74
stmt21_4_354FAIL131.05
stmt21_215_267FAIL131.21
stmt19_177_359FAIL131.44
stmt44_162_387FAIL131.51
stmt22_139_219FAIL131.58
stmt19_214_313FAIL131.59
stmt22_80_361FAIL132.04
stmt21_84_127FAIL132.04
stmt32_24_378FAIL132.16
stmt22_144_355FAIL132.46
stmt19_78_363FAIL132.56
stmt85_300_399FAIL133.2
stmt19_368_412FAIL133.26
stmt28_98_225FAIL133.43
stmt19_352_363FAIL133.48
stmt21_181_364FAIL133.59
stmt21_127_258FAIL133.8
stmt22_80_216FAIL134.19
stmt19_133_257FAIL134.39
stmt19_66_214FAIL134.76
stmt44_110_338FAIL135.15
stmt21_91_181FAIL135.27
stmt44_162_338FAIL135.32
stmt21_310_403FAIL135.36
stmt21_79_314FAIL135.49
stmt19_90_217FAIL135.81
stmt21_4_409FAIL135.98
stmt21_70_314FAIL136.42
stmt19_309_408FAIL136.57
stmt21_181_218FAIL136.66
stmt21_409_413FAIL136.76
stmt21_360_409FAIL136.83
stmt19_302_412FAIL136.98
stmt21_314_418FAIL137.26
stmt21_218_364FAIL137.59
stmt19_133_359FAIL137.91
stmt19_309_412FAIL137.97
stmt19_352_408FAIL138.18
stmt21_319_418FAIL138.18
stmt21_364_409FAIL138.45
stmt31_23_377FAIL138.86
stmt19_177_352FAIL139.16
stmt19_137_363FAIL139.17
stmt19_67_214FAIL139.25
stmt21_84_310FAIL139.57
stmt19_217_417FAIL139.72
stmt19_137_313FAIL139.74
stmt22_73_404FAIL139.86
stmt22_92_361FAIL140.22
stmt39_234_335FAIL140.33
stmt21_403_413FAIL140.47
stmt52_169_394FAIL140.52
stmt22_365_414FAIL140.75
stmt19_313_412FAIL140.91
stmt19_66_359FAIL141.17
stmt22_365_404FAIL141.4
stmt22_92_404FAIL141.46
stmt21_178_218FAIL141.47
stmt19_3_408FAIL141.59
stmt21_218_360FAIL141.65
stmt19_214_363FAIL141.67
stmt19_66_363FAIL141.73
stmt19_177_363FAIL141.78
stmt22_85_320FAIL141.82
stmt21_84_364FAIL141.99
stmt21_70_354FAIL142.03
stmt19_78_352FAIL142.12
stmt32_153_277FAIL142.14
stmt21_360_364FAIL142.23
stmt41_160_286FAIL142.45
stmt22_135_144FAIL142.97
stmt21_134_354FAIL143.26
stmt19_90_177FAIL143.41
stmt19_137_359FAIL143.54
stmt19_177_368FAIL143.69
stmt21_354_403FAIL143.94
stmt22_315_361FAIL143.96
stmt31_100_328FAIL144.11
stmt22_135_315FAIL144.17
stmt22_6_414FAIL144.32
stmt19_180_309FAIL144.34
stmt19_78_309FAIL144.36
stmt21_354_413FAIL144.81
stmt19_214_309FAIL144.89
stmt21_4_364FAIL144.94
stmt19_142_309FAIL145.03
stmt27_149_187FAIL145.09
stmt19_214_359FAIL145.1
stmt29_226_376FAIL145.63
stmt21_181_413FAIL145.87
stmt41_336_385FAIL145.99
stmt19_177_309FAIL146.2
stmt19_66_217FAIL146.23
stmt19_368_401FAIL146.34
stmt19_352_359FAIL146.66
stmt22_92_216FAIL146.82
stmt21_70_304FAIL147.01
stmt22_219_268FAIL147.1
stmt21_364_418FAIL147.23
stmt22_85_315FAIL147.29
stmt50_343_392FAIL147.69
stmt19_137_417FAIL147.7
stmt41_198_235FAIL148.05
stmt19_137_352FAIL148.18
stmt21_134_364FAIL148.21
stmt22_80_182FAIL148.24
stmt19_180_352FAIL148.27
stmt22_361_414FAIL148.49
stmt31_190_227FAIL148.61
stmt39_159_384FAIL148.85
stmt21_267_310FAIL149.11
stmt19_217_368FAIL149.23
stmt19_214_302FAIL149.4
stmt41_108_235FAIL149.61
stmt41_198_286FAIL149.73
stmt31_22_328FAIL149.96
stmt21_70_310FAIL150.07
stmt19_66_180FAIL150.25
stmt19_217_352FAIL150.3
stmt21_71_304FAIL150.33
stmt19_214_318FAIL150.34
stmt47_340_389FAIL150.59
stmt50_51_392FAIL150.63
stmt21_181_360FAIL150.87
stmt21_71_413FAIL151.4
stmt21_127_360FAIL151.47
stmt19_66_401FAIL151.53
stmt19_352_417FAIL151.91
stmt21_215_354FAIL152.03
stmt19_142_363FAIL152.26
stmt21_70_178FAIL152.33
stmt21_319_403FAIL152.57
stmt19_83_359FAIL152.73
stmt22_73_311FAIL153.03
stmt22_179_182FAIL153.34
stmt19_90_408FAIL153.56
stmt21_79_178FAIL153.62
stmt21_178_403FAIL154.31
stmt19_177_214FAIL154.46
stmt21_71_409FAIL155.22
stmt19_180_401FAIL155.35
stmt19_318_412FAIL155.41
stmt26_15_223FAIL155.56
stmt21_138_413FAIL155.94
stmt22_182_216FAIL155.98
stmt19_217_318FAIL156.03
stmt39_159_335FAIL156.18
stmt32_228_277FAIL156.33
stmt85_122_399FAIL156.41
stmt41_160_235FAIL156.51
stmt53_118_346FAIL156.78
stmt31_152_328FAIL156.83
stmt41_36_336FAIL156.93
stmt21_178_409FAIL156.99
stmt19_90_417FAIL157.43
stmt22_259_263FAIL157.58
stmt19_67_318FAIL157.58
stmt19_214_217FAIL157.92
stmt47_45_164FAIL158.05
stmt19_3_401FAIL158.12
stmt19_125_302FAIL158.15
stmt52_54_345FAIL158.48
stmt21_134_413FAIL158.49
stmt22_73_419FAIL158.72
stmt32_153_378FAIL159.01
stmt21_403_418FAIL159.05
stmt19_214_368FAIL159.55
stmt19_177_261FAIL159.75
stmt21_127_413FAIL160.17
stmt19_142_412FAIL160.23
stmt19_266_313FAIL160.29
stmt19_266_363FAIL160.71
stmt19_125_313FAIL160.78
stmt19_3_214FAIL160.8
stmt19_78_408FAIL161.31
stmt19_83_217FAIL161.53
stmt21_360_418FAIL161.58
stmt19_250_368FAIL161.88
stmt19_408_417FAIL162.1
stmt19_257_318FAIL162.1
stmt19_66_408FAIL162.12
stmt21_71_314FAIL162.63
stmt19_177_412FAIL163.52
stmt21_91_413FAIL164.35
stmt29_99_151FAIL164.36
stmt19_125_363FAIL164.46
stmt21_127_354FAIL164.81
stmt21_5_413FAIL164.98
stmt19_261_266FAIL165.01
stmt50_51_167FAIL165.59
stmt21_143_403FAIL165.75
stmt22_135_404FAIL165.95
stmt22_182_263FAIL166.28
stmt21_319_364FAIL166.34
stmt22_259_370FAIL166.43
stmt22_144_179FAIL166.44
stmt50_115_392FAIL166.51
stmt21_5_304FAIL166.72
stmt22_85_355FAIL167.35
stmt19_412_417FAIL167.41
stmt22_182_320FAIL167.45
stmt19_2_401FAIL168.43
stmt19_142_217FAIL168.6
stmt19_137_368FAIL168.73
stmt21_181_258FAIL168.75
stmt19_302_318FAIL168.93
stmt41_37_286FAIL169.23
stmt22_139_404FAIL169.3
stmt21_127_418FAIL169.59
stmt21_215_413FAIL169.66
stmt22_253_259FAIL170.07
stmt21_252_319FAIL170.3
stmt19_78_318FAIL170.68
stmt50_167_343FAIL170.74
stmt21_5_218FAIL170.82
stmt39_34_285FAIL170.9
stmt22_135_320FAIL171.23
stmt21_84_369FAIL171.41
stmt19_78_217FAIL171.8
stmt21_218_262FAIL171.84
stmt29_226_327FAIL172.16
stmt21_143_409FAIL172.78
stmt47_202_290FAIL172.79
stmt22_182_253FAIL172.82
stmt19_66_412FAIL173.42
stmt19_177_318FAIL174.14
stmt19_266_352FAIL174.21
stmt47_112_290FAIL174.43
stmt50_51_293FAIL174.7
stmt50_242_343FAIL174.82
stmt21_218_413FAIL174.85
stmt19_83_90FAIL175.28
stmt19_313_318FAIL175.31
stmt39_159_197FAIL175.52
stmt22_268_320FAIL175.55
stmt22_85_179FAIL175.78
stmt50_205_392FAIL176.36
stmt19_368_417FAIL176.75
stmt21_143_215FAIL176.8
stmt22_80_404FAIL177.26
stmt22_85_182FAIL177.42
stmt21_252_310FAIL177.45
stmt32_191_378FAIL177.89
stmt19_217_401FAIL178.41
stmt22_85_410FAIL178.48
stmt46_43_201FAIL178.48
stmt21_262_319FAIL178.76
stmt22_73_80FAIL179.12
stmt19_217_408FAIL179.37
stmt19_180_313FAIL179.71
stmt21_262_310FAIL180.12
stmt21_143_181FAIL180.64
stmt19_177_250FAIL181.67
stmt19_368_408FAIL182.08
stmt22_80_414FAIL182.22
stmt21_360_403FAIL182.36
stmt21_134_418FAIL182.48
stmt21_304_369FAIL182.6
stmt41_198_336FAIL182.76
stmt22_263_370FAIL183.04
stmt22_311_320FAIL183.64
stmt19_2_313FAIL183.78
stmt22_144_419FAIL184.5
stmt19_257_313FAIL185.36
stmt22_182_305FAIL185.71
stmt44_41_237FAIL185.75
stmt22_259_311FAIL186.07
stmt22_182_419FAIL186.78
stmt21_215_418FAIL186.8
stmt21_127_409FAIL187.17
stmt19_266_368FAIL187.24
stmt46_111_238FAIL187.4
stmt22_263_305FAIL187.52
stmt21_4_304FAIL187.56
stmt19_177_302FAIL187.8
stmt19_266_359FAIL187.85
stmt19_257_266FAIL188.8
stmt19_83_142FAIL188.98
stmt21_71_70FAIL188.99
stmt21_84_403FAIL189
stmt31_276_328FAIL189.02
stmt19_180_408FAIL189.34
stmt21_215_403FAIL189.52
stmt19_90_142FAIL189.86
stmt39_107_197FAIL189.89
stmt22_311_370FAIL190.26
stmt21_252_304FAIL190.92
stmt22_263_361FAIL192.19
stmt21_319_409FAIL192.38
stmt22_80_268FAIL192.42
stmt50_167_293FAIL192.61
stmt22_73_92FAIL193.31
stmt21_310_360FAIL193.38
stmt21_258_364FAIL193.7
stmt22_268_404FAIL193.91
stmt19_214_261FAIL194.05
stmt19_67_83FAIL194.49
stmt22_263_365FAIL194.58
stmt19_266_417FAIL194.6
stmt21_258_304FAIL194.73
stmt21_258_360FAIL195.16
stmt52_55_207FAIL195.2
stmt21_252_314FAIL195.84
stmt41_37_235FAIL196.04
stmt19_137_408FAIL196.43
stmt21_252_364FAIL196.73
stmt22_263_355FAIL197.22
stmt53_57_346FAIL197.28
stmt19_3_309FAIL197.74
stmt44_162_237FAIL197.91
stmt21_360_369FAIL198.66
stmt19_90_125FAIL199.21
stmt52_207_345FAIL199.25
stmt22_259_355FAIL199.33
stmt19_133_408FAIL199.84
stmt19_66_318FAIL200.05
stmt21_252_418FAIL200.29
stmt21_252_262FAIL200.42
stmt52_244_394FAIL200.94
stmt21_178_418FAIL201.07
stmt21_178_258FAIL201.83
stmt19_302_313FAIL201.89
stmt21_319_354FAIL202.44
stmt39_285_335FAIL202.5
stmt21_4_134FAIL202.53
stmt19_177_313FAIL202.79
stmt22_268_414FAIL203.42
stmt21_252_354FAIL203.6
stmt22_263_315FAIL204.09
stmt53_118_170FAIL204.54
stmt21_252_267FAIL204.86
stmt22_73_128FAIL204.95
stmt19_83_412FAIL205.86
stmt21_364_369FAIL206.18
stmt41_108_160FAIL206.46
stmt21_310_314FAIL206.74
stmt47_239_340FAIL207.35
stmt21_215_409FAIL207.79
stmt19_257_412FAIL207.9
stmt19_250_359FAIL208.17
stmt22_80_259FAIL208.69
stmt21_354_369FAIL208.94
stmt21_71_143FAIL209.37
stmt19_83_417FAIL209.73
stmt19_3_313FAIL210.92
stmt22_305_311FAIL211.66
stmt41_198_385FAIL211.86
stmt21_127_310FAIL211.89
stmt46_238_388FAIL212.56
stmt53_57_245FAIL212.57
stmt28_19_98FAIL212.8
stmt21_138_310FAIL212.93
stmt21_267_304FAIL213.35
stmt19_90_266FAIL213.77
stmt22_259_404FAIL213.81
stmt22_259_419FAIL213.86
stmt21_5_134FAIL214.02
stmt53_296_346FAIL214.86
stmt21_262_409FAIL215.06
stmt46_163_289FAIL215.64
stmt21_304_418FAIL216.84
stmt19_266_408FAIL217.21
stmt21_5_181FAIL217.61
stmt44_200_338FAIL217.63
stmt21_84_138FAIL218.35
stmt39_107_285FAIL218.82
stmt22_263_404FAIL219.31
stmt19_3_177FAIL219.82
stmt21_79_134FAIL219.85
stmt19_250_412FAIL220
stmt22_73_268FAIL221.38
stmt41_235_286FAIL221.69
stmt22_135_311FAIL222.13
stmt21_314_354FAIL222.73
stmt19_67_137FAIL223.33
stmt29_21_275FAIL223.93
stmt22_6_128FAIL224.58
stmt27_17_187FAIL224.78
stmt44_110_200FAIL225.71
stmt19_3_261FAIL225.83
stmt21_262_413FAIL226.69
stmt19_250_408FAIL226.98
stmt19_83_266FAIL227.13
stmt21_138_258FAIL227.13
stmt21_4_310FAIL227.81
stmt47_290_340FAIL227.99
stmt21_304_364FAIL228.23
stmt21_134_304FAIL228.27
stmt22_320_370FAIL228.45
stmt22_80_139FAIL228.83
stmt41_286_385FAIL229.09
stmt19_250_401FAIL232.37
stmt21_84_258FAIL232.81
stmt50_50_392FAIL233.01
stmt19_309_363FAIL233.07
stmt21_84_134FAIL233.37
stmt22_85_263FAIL233.88
stmt85_64_248FAIL234.14
stmt39_35_335FAIL234.42
stmt21_70_267FAIL235.77
stmt39_34_384FAIL235.82
stmt31_22_23FAIL236.38
stmt21_314_364FAIL236.67
stmt44_41_288FAIL237.07
stmt21_79_262FAIL237.38
stmt21_304_360FAIL237.98
stmt29_21_327FAIL238.12
stmt52_244_295FAIL238.44
stmt29_275_376FAIL238.93
stmt47_112_389FAIL239.41
stmt22_259_410FAIL240.71
stmt47_239_290FAIL241.18
stmt19_142_250FAIL241.45
stmt47_44_239FAIL241.97
stmt46_289_388FAIL243.53
stmt22_320_361FAIL244.9
stmt19_142_266FAIL245.75
stmt21_79_91FAIL246.3
stmt27_16_149FAIL246.76
stmt19_302_352FAIL246.87
stmt39_107_384FAIL248.23
stmt21_310_354FAIL249.53
stmt39_35_384FAIL249.54
stmt21_70_127FAIL249.91
stmt47_164_202FAIL250.52
stmt21_70_138FAIL253.14
stmt19_2_137FAIL253.46
stmt21_5_138FAIL254.27
stmt50_167_205FAIL256.22
stmt19_78_125FAIL256.38
stmt52_117_295FAIL258.12
stmt19_66_133FAIL259.49
stmt19_66_250FAIL259.56
stmt52_117_207FAIL260.18
stmt32_24_277FAIL263.67
stmt50_205_293FAIL264.57
stmt19_309_417FAIL265.07
stmt52_295_394FAIL265.64
stmt85_64_65FAIL265.89
stmt27_97_187FAIL267.62
stmt19_3_83FAIL268.15
stmt19_2_250FAIL271.54
stmt22_6_219FAIL272.09
stmt39_234_384FAIL274.11
stmt22_73_263FAIL274.83
stmt21_70_84FAIL275.24
stmt19_2_257FAIL276.39
stmt19_2_214FAIL276.43
stmt19_67_257FAIL277.45
stmt41_36_235FAIL280.16
stmt19_142_261FAIL280.73
stmt19_66_261FAIL282.45
stmt21_71_134FAIL282.81
stmt21_70_258FAIL283.99
stmt31_100_276FAIL286.19
stmt19_66_142FAIL286.27
stmt19_133_266FAIL287.27
stmt41_37_198FAIL288.05
stmt27_16_97FAIL288.67
stmt52_55_117FAIL288.88
stmt50_50_293FAIL290.35
stmt53_208_245FAIL291.07
stmt19_2_261FAIL293.96
stmt22_80_144FAIL294.49
stmt21_215_252FAIL301.5
stmt19_214_257FAIL302.06
stmt21_138_252FAIL303.06
stmt52_54_169FAIL305.05
stmt47_44_340FAIL308.42
stmt21_262_418FAIL311.3
stmt46_43_111FAIL311.31
stmt21_143_258FAIL311.96
stmt21_218_258FAIL312.65
stmt46_201_238FAIL322.87
stmt22_92_259FAIL324.62
stmt21_127_252FAIL325.22
stmt27_17_149FAIL325.88
stmt19_133_250FAIL327.6
stmt19_66_90FAIL328.96
stmt44_40_387FAIL329.27
stmt19_133_261FAIL329.54
stmt22_72_80FAIL329.82
stmt19_83_250FAIL330.06
stmt21_71_252FAIL331.08
stmt52_169_244FAIL331.12
stmt19_125_261FAIL332.11
stmt19_78_83FAIL345.86
stmt22_6_80FAIL351.05
stmt22_80_253FAIL352.82
stmt22_92_263FAIL356.91
stmt50_115_242FAIL358.07
stmt21_127_267FAIL361.43
stmt39_35_159FAIL361.46
stmt46_42_289FAIL364.58
stmt19_2_83FAIL365.1
stmt44_40_162FAIL368.01
stmt39_34_107FAIL373.56
stmt22_139_263FAIL376.1
stmt32_24_191FAIL384.01
stmt19_90_250FAIL397.17
stmt27_16_224FAIL402.2
stmt19_217_250FAIL404.24
stmt21_138_267FAIL418.29
stmt41_36_37FAIL426.67
stmt46_111_163FAIL428.5
stmt21_4_5FAIL447.46
stmt19_3_257FAIL448.15
stmt47_44_202FAIL451.8
stmt21_4_178FAIL453.63
stmt41_36_160FAIL463.65
stmt19_2_180FAIL474.3
stmt50_50_205FAIL510.17
stmt19_3_78FAIL516.64
stmt41_36_198FAIL544.45
stmt44_40_110FAIL557.27
stmt41_37_108FAIL590.21
stmt22_6_72FAIL595.83
stmt52_54_244FAIL600
stmt44_40_41FAIL600
stmt52_54_55FAIL600
stmt50_50_115FAIL600