Instances of family terminator solved by quantor3.0
QBFEVAL'08

InstanceResultTime
stmt21_4_5UNSAT2.28
stmt44_40_41UNSAT11.32
stmt31_22_23UNSAT25.23
stmt19_257_266FAIL33.7
stmt32_24_277FAIL34.83
stmt29_21_275FAIL35.42
stmt31_100_276FAIL35.63
stmt41_37_286FAIL35.89
stmt21_4_354FAIL35.95
stmt21_4_360FAIL36.12
stmt21_5_354FAIL36.16
stmt32_153_277FAIL36.16
stmt29_226_327FAIL36.2
stmt21_71_354FAIL36.22
stmt31_190_276FAIL36.31
stmt39_34_285FAIL36.33
stmt39_107_285FAIL36.36
stmt44_40_387FAIL36.43
stmt50_50_392FAIL36.54
stmt32_228_277FAIL36.58
stmt22_73_419FAIL37
stmt39_107_384FAIL37.03
stmt22_144_370FAIL37.15
stmt19_83_417FAIL37.18
stmt19_66_417FAIL37.21
stmt41_198_286FAIL37.23
stmt19_78_417FAIL37.25
stmt19_177_352FAIL37.26
stmt19_90_417FAIL37.27
stmt19_180_352FAIL37.27
stmt41_36_235FAIL37.29
stmt50_115_392FAIL37.35
stmt39_159_384FAIL37.38
stmt19_177_359FAIL37.4
stmt19_90_408FAIL37.43
stmt32_101_378FAIL37.45
stmt19_177_368FAIL37.45
stmt21_84_403FAIL37.55
stmt19_217_352FAIL37.55
stmt19_214_359FAIL37.56
stmt21_181_360FAIL37.57
stmt19_66_401FAIL37.57
stmt21_181_369FAIL37.57
stmt44_162_387FAIL37.57
stmt21_218_360FAIL37.59
stmt21_215_354FAIL37.6
stmt41_198_385FAIL37.61
stmt19_66_408FAIL37.62
stmt22_92_404FAIL37.62
stmt21_143_409FAIL37.62
stmt46_201_388FAIL37.63
stmt22_85_410FAIL37.66
stmt19_78_408FAIL37.66
stmt32_153_378FAIL37.68
stmt41_235_286FAIL37.7
stmt22_80_216FAIL37.73
stmt19_217_368FAIL37.74
stmt29_226_376FAIL37.77
stmt22_80_404FAIL37.81
stmt32_191_378FAIL37.83
stmt47_44_239FAIL37.84
stmt50_205_392FAIL37.89
stmt19_214_368FAIL37.9
stmt21_5_364FAIL37.9
stmt21_127_409FAIL37.96
stmt22_139_404FAIL37.96
stmt21_4_364FAIL37.97
stmt19_137_408FAIL38.01
stmt22_182_419FAIL38.03
stmt21_178_418FAIL38.03
stmt46_238_388FAIL38.04
stmt19_67_363FAIL38.05
stmt52_117_295FAIL38.08
stmt52_169_394FAIL38.09
stmt85_122_399FAIL38.09
stmt19_133_408FAIL38.09
stmt19_180_401FAIL38.13
stmt22_135_404FAIL38.2
stmt19_66_363FAIL38.34
stmt21_319_418FAIL38.35
stmt19_90_363FAIL38.35
stmt50_50_293FAIL38.36
stmt19_266_417FAIL38.41
stmt21_143_403FAIL38.41
stmt19_78_363FAIL38.41
stmt46_42_289FAIL38.55
stmt21_84_364FAIL38.65
stmt19_266_352FAIL38.68
stmt21_5_413FAIL38.69
stmt21_134_364FAIL38.69
stmt21_71_413FAIL38.7
stmt19_309_417FAIL38.74
stmt21_178_403FAIL38.81
stmt22_259_419FAIL38.82
stmt44_41_288FAIL38.83
stmt19_125_363FAIL38.85
stmt50_51_293FAIL38.87
stmt19_142_363FAIL38.87
stmt19_137_363FAIL38.88
stmt22_80_414FAIL38.98
stmt21_91_413FAIL39.04
stmt19_66_412FAIL39.07
stmt19_83_412FAIL39.08
stmt21_319_354FAIL39.11
stmt47_112_290FAIL39.16
stmt22_315_404FAIL39.25
stmt22_6_414FAIL39.25
stmt85_300_399FAIL39.25
stmt21_319_403FAIL39.29
stmt21_304_409FAIL39.29
stmt21_304_369FAIL39.31
stmt47_239_290FAIL39.31
stmt19_309_408FAIL39.33
stmt21_310_403FAIL39.33
stmt21_360_418FAIL39.34
stmt41_336_385FAIL39.36
stmt47_340_389FAIL39.46
stmt21_127_413FAIL39.49
stmt21_134_413FAIL39.49
stmt21_360_369FAIL39.49
stmt21_319_409FAIL39.51
stmt19_142_412FAIL39.53
stmt21_314_409FAIL39.56
stmt21_138_413FAIL39.59
stmt22_253_259FAIL39.61
stmt50_343_392FAIL39.77
stmt22_259_263FAIL39.77
stmt41_160_286FAIL39.79
stmt19_177_412FAIL39.94
stmt21_181_413FAIL39.95
stmt19_368_417FAIL39.95
stmt19_408_417FAIL39.98
stmt47_202_290FAIL40.01
stmt19_2_257FAIL40.04
stmt50_205_293FAIL40.11
stmt19_2_250FAIL40.12
stmt21_258_364FAIL40.2
stmt19_2_261FAIL40.21
stmt21_360_409FAIL40.23
stmt46_163_289FAIL40.24
stmt21_215_413FAIL40.32
stmt52_244_295FAIL40.32
stmt21_218_413FAIL40.35
stmt19_352_408FAIL40.35
stmt22_73_263FAIL40.35
stmt21_364_409FAIL40.35
stmt21_252_364FAIL40.41
stmt19_67_257FAIL40.42
stmt19_3_261FAIL40.45
stmt21_354_369FAIL40.46
stmt19_3_257FAIL40.55
stmt21_71_252FAIL40.55
stmt41_36_37UNSAT40.55
stmt21_360_403FAIL40.56
stmt22_80_259FAIL40.66
stmt19_83_250FAIL40.66
stmt21_354_403FAIL40.67
stmt19_368_408FAIL40.69
stmt22_80_253FAIL40.7
stmt19_66_261FAIL40.72
stmt19_309_363FAIL40.74
stmt19_66_250FAIL40.76
stmt21_79_262FAIL40.78
stmt22_365_404FAIL40.83
stmt19_90_250FAIL40.83
stmt52_54_244FAIL40.83
stmt19_368_401FAIL40.85
stmt22_92_263FAIL40.89
stmt22_85_263FAIL40.89
stmt21_403_409FAIL40.99
stmt19_250_412FAIL41.04
stmt19_257_412FAIL41.05
stmt21_143_258FAIL41.11
stmt22_135_315FAIL41.18
stmt19_142_261FAIL41.29
stmt21_138_252FAIL41.39
stmt19_125_261FAIL41.39
stmt21_127_252FAIL41.41
stmt22_139_263FAIL41.47
stmt19_133_250FAIL41.5
stmt19_133_261FAIL41.6
stmt21_304_364FAIL41.69
stmt19_302_412FAIL41.72
stmt19_309_412FAIL41.83
stmt22_182_263FAIL41.9
stmt19_177_261FAIL41.92
stmt21_360_364FAIL41.92
stmt19_67_318FAIL42
stmt19_217_250FAIL42.31
stmt21_215_252FAIL42.31
stmt21_218_262FAIL42.37
stmt19_214_261FAIL42.38
stmt21_218_364FAIL42.5
stmt19_177_363FAIL42.56
stmt21_267_310FAIL42.58
stmt19_266_313FAIL42.6
stmt21_181_364FAIL42.6
stmt19_214_363FAIL42.61
stmt19_266_363FAIL42.85
stmt22_263_365FAIL43.03
stmt21_319_364FAIL43.04
stmt19_142_318FAIL43.04
stmt21_258_304FAIL43.1
stmt21_354_413FAIL43.13
stmt22_263_305FAIL43.14
stmt21_252_304FAIL43.14
stmt21_262_310FAIL43.15
stmt22_263_315FAIL43.15
stmt19_257_313FAIL43.17
stmt19_352_363FAIL43.24
stmt21_252_310FAIL43.3
stmt31_152_328FAIL43.31
stmt21_403_413FAIL43.32
stmt22_361_414FAIL43.37
stmt53_57_346FAIL43.38
stmt21_409_413FAIL43.39
stmt22_259_311FAIL43.58
stmt22_268_414FAIL43.61
stmt21_5_360FAIL43.67
stmt21_71_360FAIL43.68
stmt19_318_412FAIL43.72
stmt21_314_364FAIL43.81
stmt19_67_368FAIL43.81
stmt39_34_384FAIL43.83
stmt21_262_413FAIL43.92
stmt22_85_355FAIL43.92
stmt21_310_314FAIL43.93
stmt19_66_359FAIL43.96
stmt22_80_361FAIL43.97
stmt22_92_361FAIL44
stmt21_70_354FAIL44.03
stmt19_90_352FAIL44.03
stmt32_191_329FAIL44.07
stmt53_118_346FAIL44.12
stmt44_162_338FAIL44.16
stmt32_24_378FAIL44.17
stmt19_83_359FAIL44.18
stmt19_217_318FAIL44.26
stmt19_214_318FAIL44.26
stmt39_35_384FAIL44.34
stmt19_78_352FAIL44.37
stmt21_134_354FAIL44.44
stmt19_133_359FAIL44.45
stmt44_41_387FAIL44.45
stmt22_92_259FAIL44.46
stmt19_137_359FAIL44.5
stmt21_84_258FAIL44.55
stmt21_70_258FAIL44.56
stmt21_127_354FAIL44.57
stmt19_137_352FAIL44.6
stmt31_23_377FAIL44.63
stmt19_313_412FAIL44.64
stmt22_144_355FAIL44.65
stmt22_144_361FAIL44.67
stmt21_70_369FAIL44.72
stmt21_91_369FAIL44.77
stmt22_80_370FAIL45.07
stmt85_64_248FAIL45.09
stmt21_84_369FAIL45.09
stmt21_127_360FAIL45.1
stmt21_127_258FAIL45.11
stmt21_138_258FAIL45.16
stmt19_133_368FAIL45.18
stmt19_133_257FAIL45.19
stmt19_3_401FAIL45.19
stmt19_137_368FAIL45.22
stmt21_252_319FAIL45.32
stmt21_71_409FAIL45.33
stmt22_365_414FAIL45.52
stmt21_127_369FAIL45.53
stmt50_51_392FAIL45.54
stmt22_73_404FAIL45.62
stmt47_112_389FAIL45.74
stmt21_178_258FAIL45.82
stmt21_181_258FAIL45.87
stmt19_2_401FAIL45.87
stmt21_4_409FAIL46.06
stmt19_313_318FAIL46.07
stmt19_368_412FAIL46.13
stmt19_142_250FAIL46.17
stmt39_234_384FAIL46.24
stmt19_137_417FAIL46.37
stmt19_3_408FAIL46.39
stmt21_127_418FAIL46.39
stmt22_144_419FAIL46.4
stmt21_134_418FAIL46.4
stmt21_218_258FAIL46.43
stmt19_302_318FAIL46.44
stmt19_214_257FAIL46.51
stmt19_250_368FAIL46.73
stmt22_263_370FAIL47.07
stmt52_244_394FAIL47.2
stmt21_178_409FAIL47.2
stmt19_180_408FAIL47.23
stmt19_214_217FAIL47.31
stmt19_177_250FAIL47.32
stmt41_36_198FAIL47.37
stmt22_182_253FAIL47.42
stmt21_215_418FAIL47.48
stmt19_217_401FAIL47.51
stmt31_22_328FAIL47.58
stmt19_217_408FAIL47.6
stmt21_215_403FAIL47.62
stmt19_217_417FAIL47.7
stmt21_215_409FAIL47.81
stmt21_4_310FAIL47.88
stmt21_252_262FAIL48.12
stmt21_310_354FAIL48.15
stmt21_4_304FAIL48.15
stmt19_2_313FAIL48.17
stmt21_314_354FAIL48.2
stmt19_133_214FAIL48.2
stmt19_3_309FAIL48.28
stmt22_73_311FAIL48.38
stmt19_313_368FAIL48.5
stmt21_252_418FAIL48.53
stmt21_138_215FAIL48.55
stmt21_304_360FAIL48.57
stmt22_139_219FAIL48.58
stmt19_3_313FAIL48.6
stmt21_5_304FAIL48.73
stmt22_73_268FAIL48.84
stmt47_44_340FAIL48.92
stmt21_262_418FAIL48.93
stmt21_71_304FAIL48.97
stmt19_78_309FAIL49.01
stmt31_100_328FAIL49.06
stmt21_70_310FAIL49.08
stmt21_84_310FAIL49.1
stmt52_54_345FAIL49.14
stmt39_285_335FAIL49.15
stmt21_71_314FAIL49.18
stmt31_276_328FAIL49.21
stmt21_70_304FAIL49.22
stmt21_91_304FAIL49.23
stmt21_70_314FAIL49.25
stmt39_159_197FAIL49.26
stmt22_92_315FAIL49.27
stmt21_79_314FAIL49.28
stmt47_290_340FAIL49.3
stmt19_83_302FAIL49.34
stmt21_79_304FAIL49.36
stmt19_90_309FAIL49.36
stmt21_258_360FAIL49.38
stmt22_85_315FAIL49.39
stmt21_304_418FAIL49.41
stmt21_314_418FAIL49.42
stmt21_252_354FAIL49.44
stmt19_250_359FAIL49.45
stmt22_85_320FAIL49.46
stmt21_364_369FAIL49.46
stmt21_138_304FAIL49.47
stmt50_167_293FAIL49.48
stmt46_43_339FAIL49.48
stmt21_134_304FAIL49.49
stmt22_263_361FAIL49.51
stmt22_259_355FAIL49.52
stmt22_263_355FAIL49.54
stmt19_266_359FAIL49.56
stmt19_142_302FAIL49.57
stmt19_66_318FAIL49.58
stmt41_36_336FAIL49.58
stmt29_21_327FAIL49.61
stmt22_92_320FAIL49.62
stmt19_352_359FAIL49.63
stmt19_125_302FAIL49.63
stmt22_259_370FAIL49.67
stmt19_137_313FAIL49.68
stmt19_125_313FAIL49.69
stmt21_143_314FAIL49.7
stmt21_364_418FAIL49.75
stmt22_135_311FAIL49.78
stmt21_127_310FAIL49.8
stmt19_266_368FAIL49.82
stmt19_78_318FAIL49.91
stmt19_257_318FAIL49.91
stmt22_6_219FAIL49.92
stmt52_55_207FAIL49.93
stmt50_50_205FAIL49.95
stmt21_138_310FAIL49.97
stmt39_35_335FAIL49.98
stmt19_142_309FAIL50
stmt44_110_338FAIL50.14
stmt19_2_214FAIL50.35
stmt22_268_320FAIL50.38
stmt53_296_346FAIL50.42
stmt44_110_200FAIL50.42
stmt21_403_418FAIL50.47
stmt22_144_179FAIL50.5
stmt19_177_309FAIL50.58
stmt19_352_417FAIL50.58
stmt19_180_309FAIL50.62
stmt22_311_320FAIL50.78
stmt39_107_335FAIL50.82
stmt19_180_313FAIL50.96
stmt19_177_313FAIL51.02
stmt21_70_178FAIL51.04
stmt19_90_177FAIL51.06
stmt22_182_305FAIL51.09
stmt19_412_417FAIL51.12
stmt19_177_302FAIL51.15
stmt19_214_302FAIL51.22
stmt22_135_320FAIL51.23
stmt22_139_320FAIL51.24
stmt19_66_180FAIL51.25
stmt21_127_319FAIL51.25
stmt29_275_376FAIL51.28
stmt19_217_309FAIL51.4
stmt21_91_181FAIL51.4
stmt19_214_309FAIL51.4
stmt22_85_182FAIL51.42
stmt21_79_178FAIL51.43
stmt19_214_313FAIL51.54
stmt22_182_320FAIL51.54
stmt50_167_343FAIL51.54
stmt19_217_302FAIL51.57
stmt22_80_182FAIL51.61
stmt39_159_335FAIL51.62
stmt44_200_338FAIL51.65
stmt22_315_361FAIL51.66
stmt19_177_318FAIL51.68
stmt22_85_179FAIL51.69
stmt19_302_352FAIL51.7
stmt21_310_360FAIL51.71
stmt19_66_217FAIL51.78
stmt22_320_361FAIL51.88
stmt21_218_314FAIL51.91
stmt52_207_345FAIL52.01
stmt41_286_385FAIL52.02
stmt47_239_340FAIL52.11
stmt22_259_410FAIL52.17
stmt21_262_409FAIL52.17
stmt19_250_401FAIL52.22
stmt22_263_404FAIL52.23
stmt22_259_404FAIL52.27
stmt52_117_207FAIL52.29
stmt47_164_202FAIL52.31
stmt22_311_370FAIL52.38
stmt22_320_370FAIL52.46
stmt19_266_408FAIL52.46
stmt22_268_404FAIL52.49
stmt46_289_388FAIL52.62
stmt50_242_343FAIL52.65
stmt19_66_214FAIL52.66
stmt19_66_90FAIL52.7
stmt39_234_335FAIL52.73
stmt21_267_304FAIL52.8
stmt21_143_181FAIL52.8
stmt41_198_336FAIL52.82
stmt21_252_314FAIL52.85
stmt19_250_408FAIL52.96
stmt22_139_182FAIL53.17
stmt21_134_178FAIL53.32
stmt52_295_394FAIL53.35
stmt19_133_180FAIL53.46
stmt53_57_245FAIL53.5
stmt19_137_177FAIL53.51
stmt19_125_214FAIL53.92
stmt21_127_218FAIL54.1
stmt22_305_311FAIL54.24
stmt19_302_313FAIL54.28
stmt32_329_378FAIL54.6
stmt50_115_242FAIL54.62
stmt50_167_205FAIL54.78
stmt21_262_319FAIL54.92
stmt19_67_214FAIL55.03
stmt46_43_201FAIL55.05
stmt41_198_235FAIL55.07
stmt22_73_219FAIL55.25
stmt46_201_238FAIL55.42
stmt39_107_197FAIL55.51
stmt27_16_224FAIL55.52
stmt22_179_182FAIL55.67
stmt41_37_198FAIL55.69
stmt21_5_218FAIL55.71
stmt19_83_266FAIL55.82
stmt22_80_268FAIL55.84
stmt21_70_267FAIL55.92
stmt19_3_214FAIL56.02
stmt19_90_266FAIL56.32
stmt85_64_65FAIL56.43
stmt21_178_218FAIL56.58
stmt21_181_218FAIL56.62
stmt19_177_214FAIL56.71
stmt21_84_215FAIL56.79
stmt21_138_267FAIL57.22
stmt19_133_266FAIL57.24
stmt19_78_217FAIL57.29
stmt21_127_267FAIL57.34
stmt52_169_244FAIL57.38
stmt26_15_223FAIL57.46
stmt28_19_98FAIL57.67
stmt19_142_266FAIL57.94
stmt19_133_217FAIL57.98
stmt22_92_216FAIL58.07
stmt22_73_92FAIL58.09
stmt21_143_215FAIL58.29
stmt22_182_268FAIL58.52
stmt19_83_217FAIL58.54
stmt21_178_267FAIL58.57
stmt19_90_217FAIL58.64
stmt19_142_217FAIL58.64
stmt53_208_245FAIL59.1
stmt27_97_187FAIL59.32
stmt22_219_268FAIL59.33
stmt21_215_267FAIL59.49
stmt41_37_235FAIL59.63
stmt22_72_80FAIL59.88
stmt44_41_237FAIL60.03
stmt27_149_224FAIL60.24
stmt28_98_225FAIL60.37
stmt41_108_235FAIL60.83
stmt47_44_202FAIL61.01
stmt27_149_187FAIL61.19
stmt21_252_267FAIL62.52
stmt46_111_238FAIL62.74
stmt19_261_266FAIL62.74
stmt22_182_216FAIL63.21
stmt31_190_227FAIL63.48
stmt52_55_117FAIL64.95
stmt52_54_55FAIL65.28
stmt41_160_235FAIL65.75
stmt19_3_78UNSAT65.84
stmt44_162_237FAIL66.28
stmt22_6_128FAIL66.62
stmt19_2_137FAIL67.48
stmt21_4_134FAIL67.52
stmt22_73_128FAIL67.66
stmt21_5_138FAIL67.69
stmt19_125_133FAIL68.56
stmt19_125_137FAIL68.86
stmt22_80_144FAIL69.3
stmt19_66_142FAIL69.37
stmt19_67_83UNSAT70.26
stmt19_90_142FAIL70.56
stmt19_90_125FAIL71.75
stmt21_5_134FAIL72.16
stmt22_135_144FAIL72.22
stmt85_64_122FAIL72.43
stmt41_37_108FAIL72.55
stmt21_79_134FAIL73.1
stmt21_70_138FAIL73.12
stmt19_66_133FAIL73.18
stmt22_80_139FAIL73.65
stmt21_84_138FAIL73.77
stmt21_71_134FAIL73.89
stmt46_43_111FAIL73.91
stmt19_67_137FAIL73.95
stmt19_78_125FAIL74.51
stmt21_84_134FAIL74.52
stmt21_70_127FAIL74.62
stmt19_90_133FAIL74.65
stmt27_16_149FAIL74.92
stmt22_92_139FAIL75.41
stmt21_84_127FAIL75.64
stmt19_83_142FAIL76.67
stmt50_50_115FAIL77.06
stmt21_134_138FAIL77.41
stmt22_6_80UNSAT77.55
stmt21_127_143FAIL77.7
stmt19_78_83FAIL78.45
stmt27_17_149FAIL82.71
stmt53_118_170FAIL83.57
stmt27_16_97FAIL85.23
stmt41_36_160FAIL85.33
stmt27_17_187FAIL87.88
stmt39_35_159FAIL87.88
stmt21_71_143FAIL87.9
stmt41_108_160FAIL88.44
stmt47_45_164FAIL88.97
stmt29_99_151FAIL89.85
stmt44_40_162FAIL89.91
stmt46_111_163FAIL90.63
stmt22_139_144FAIL91.86
stmt52_54_169FAIL93.11
stmt50_51_167FAIL93.35
stmt19_2_83UNSAT94.71
stmt22_73_80FAIL96.18
stmt39_34_107FAIL98.28
stmt44_40_110FAIL99.54
stmt19_2_180FAIL102.08
stmt21_70_84FAIL102.22
stmt22_73_179FAIL106.36
stmt22_73_182FAIL106.45
stmt21_71_70UNSAT106.59
stmt19_3_83UNSAT108.25
stmt21_5_181FAIL123.17
stmt19_3_177FAIL124.92
stmt21_4_178FAIL125.83
stmt19_83_90UNSAT128.1
stmt21_79_91UNSAT129.07
stmt32_24_191FAIL133.12
stmt21_127_178FAIL135.14
stmt21_127_181FAIL136.07
stmt22_6_72FAIL153.23