Instances of family terminator solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
stmt41_36_37UNSAT1.5
stmt19_3_78UNSAT1.52
stmt44_40_41UNSAT1.52
stmt19_2_83UNSAT1.54
stmt22_6_72UNSAT1.56
stmt21_71_70UNSAT1.56
stmt31_22_23UNSAT1.57
stmt22_6_80UNSAT1.64
stmt22_73_80UNSAT1.67
stmt19_67_83UNSAT1.67
stmt22_73_92UNSAT1.68
stmt85_64_65UNSAT1.69
stmt19_3_83UNSAT1.69
stmt19_83_90UNSAT1.75
stmt52_54_55UNSAT1.79
stmt19_66_90UNSAT1.81
stmt19_78_83UNSAT1.85
stmt22_72_80UNSAT1.86
stmt21_70_84UNSAT1.9
stmt27_16_97UNSAT1.9
stmt21_79_91UNSAT1.96
stmt22_6_128UNSAT2.06
stmt19_2_137UNSAT2.06
stmt22_73_128UNSAT2.12
stmt21_5_134UNSAT2.12
stmt39_34_107UNSAT2.15
stmt44_40_110UNSAT2.16
stmt19_90_125UNSAT2.16
stmt28_19_98UNSAT2.16
stmt21_4_134UNSAT2.21
stmt19_66_142UNSAT2.22
stmt50_50_115UNSAT2.24
stmt21_5_138UNSAT2.25
stmt46_43_111UNSAT2.26
stmt41_37_108UNSAT2.3
stmt19_66_133UNSAT2.3
stmt19_78_125UNSAT2.32
stmt21_71_134UNSAT2.38
stmt85_64_122UNSAT2.41
stmt21_71_143UNSAT2.45
stmt21_84_138UNSAT2.46
stmt52_55_117UNSAT2.47
stmt22_80_144UNSAT2.57
stmt19_67_137UNSAT2.58
stmt21_70_127UNSAT2.61
stmt21_84_127UNSAT2.62
stmt21_79_134UNSAT2.66
stmt21_84_134UNSAT2.68
stmt22_80_139UNSAT2.69
stmt21_4_5UNSAT2.74
stmt21_70_138UNSAT2.74
stmt27_16_149UNSAT2.76
stmt19_2_180UNSAT2.78
stmt41_36_160UNSAT2.85
stmt32_24_191UNSAT2.86
stmt41_36_198UNSAT2.88
stmt27_17_149UNSAT2.9
stmt44_40_162UNSAT2.93
stmt19_266_352UNSAT2.95
stmt21_4_178UNSAT2.98
stmt19_217_368UNSAT3.02
stmt21_215_403UNSAT3.02
stmt21_258_304UNSAT3.04
stmt19_302_318UNSAT3.04
stmt22_305_311UNSAT3.05
stmt21_262_319UNSAT3.05
stmt21_319_403UNSAT3.06
stmt46_238_388UNSAT3.07
stmt22_268_404UNSAT3.07
stmt21_252_319UNSAT3.07
stmt46_201_388UNSAT3.08
stmt22_268_320UNSAT3.09
stmt21_178_403UNSAT3.11
stmt19_250_359UNSAT3.11
stmt21_304_418UNSAT3.11
stmt39_234_384UNSAT3.11
stmt21_215_413UNSAT3.12
stmt22_263_355UNSAT3.12
stmt19_250_412UNSAT3.14
stmt21_314_354UNSAT3.14
stmt22_263_370UNSAT3.14
stmt21_215_409UNSAT3.14
stmt21_178_409UNSAT3.14
stmt50_242_343UNSAT3.15
stmt19_217_401UNSAT3.16
stmt19_180_401UNSAT3.16
stmt21_258_360UNSAT3.16
stmt21_267_304UNSAT3.16
stmt22_263_404UNSAT3.17
stmt22_259_404UNSAT3.17
stmt47_239_340UNSAT3.18
stmt19_217_417UNSAT3.18
stmt21_304_364UNSAT3.19
stmt22_263_315UNSAT3.2
stmt21_364_418UNSAT3.21
stmt50_205_392UNSAT3.21
stmt21_304_369UNSAT3.22
stmt19_214_368UNSAT3.22
stmt19_250_368UNSAT3.23
stmt21_319_354UNSAT3.23
stmt21_252_354UNSAT3.24
stmt21_310_354UNSAT3.24
stmt21_252_304UNSAT3.24
stmt21_262_418UNSAT3.24
stmt21_262_310UNSAT3.25
stmt19_313_318UNSAT3.25
stmt21_262_413UNSAT3.25
stmt22_259_370UNSAT3.26
stmt22_315_404UNSAT3.26
stmt19_266_313UNSAT3.27
stmt19_266_359UNSAT3.27
stmt19_302_313UNSAT3.28
stmt22_263_305UNSAT3.28
stmt21_403_418UNSAT3.29
stmt21_360_418UNSAT3.29
stmt21_258_364UNSAT3.29
stmt21_215_418UNSAT3.3
stmt22_182_419UNSAT3.3
stmt19_352_359UNSAT3.3
stmt21_360_369UNSAT3.31
stmt21_360_409UNSAT3.31
stmt21_252_310UNSAT3.31
stmt21_354_369UNSAT3.32
stmt21_364_369UNSAT3.32
stmt22_315_361UNSAT3.32
stmt21_360_403UNSAT3.33
stmt21_304_360UNSAT3.33
stmt21_314_409UNSAT3.34
stmt22_311_370UNSAT3.34
stmt52_54_169UNSAT3.35
stmt19_368_408UNSAT3.35
stmt21_127_143UNSAT3.35
stmt21_364_409UNSAT3.35
stmt22_259_419UNSAT3.36
stmt22_263_361UNSAT3.36
stmt19_257_313UNSAT3.36
stmt22_361_414UNSAT3.37
stmt19_313_412UNSAT3.37
stmt21_218_413UNSAT3.37
stmt19_309_363UNSAT3.38
stmt19_177_412UNSAT3.38
stmt19_257_412UNSAT3.38
stmt21_314_364UNSAT3.38
stmt19_309_408UNSAT3.39
stmt29_226_376UNSAT3.39
stmt22_259_311UNSAT3.41
stmt19_266_408UNSAT3.42
stmt19_90_133UNSAT3.42
stmt21_178_418UNSAT3.43
stmt21_319_409UNSAT3.44
stmt19_352_363UNSAT3.44
stmt19_313_368UNSAT3.44
stmt21_310_403UNSAT3.45
stmt21_304_409UNSAT3.45
stmt21_403_413UNSAT3.46
stmt19_309_417UNSAT3.47
stmt19_266_417UNSAT3.47
stmt21_310_314UNSAT3.48
stmt19_250_401UNSAT3.49
stmt21_409_413UNSAT3.5
stmt19_266_368UNSAT3.51
stmt22_263_365UNSAT3.51
stmt21_262_409UNSAT3.51
stmt22_268_414UNSAT3.52
stmt22_365_414UNSAT3.52
stmt21_360_364UNSAT3.52
stmt19_309_412UNSAT3.52
stmt19_83_142UNSAT3.52
stmt19_302_412UNSAT3.53
stmt22_320_361UNSAT3.53
stmt19_318_412UNSAT3.53
stmt19_266_363UNSAT3.54
stmt19_412_417UNSAT3.54
stmt22_135_144UNSAT3.56
stmt22_92_139UNSAT3.56
stmt21_354_413UNSAT3.56
stmt19_90_142UNSAT3.56
stmt19_368_412UNSAT3.58
stmt19_408_417UNSAT3.6
stmt21_252_364UNSAT3.6
stmt21_314_418UNSAT3.62
stmt19_125_133UNSAT3.64
stmt22_139_144UNSAT3.74
stmt21_134_138UNSAT3.84
stmt29_99_151UNSAT3.89
stmt47_44_202UNSAT3.96
stmt19_125_137UNSAT3.96
stmt39_35_159UNSAT4
stmt22_73_179UNSAT4.05
stmt19_250_408UNSAT4.16
stmt19_3_177UNSAT4.16
stmt27_16_224UNSAT4.19
stmt22_259_410UNSAT4.22
stmt50_51_167UNSAT4.22
stmt21_143_181UNSAT4.25
stmt21_127_178UNSAT4.38
stmt19_137_177UNSAT4.38
stmt21_70_178UNSAT4.41
stmt50_50_205UNSAT4.44
stmt22_144_179UNSAT4.46
stmt53_118_170UNSAT4.46
stmt22_6_219UNSAT4.48
stmt41_37_198UNSAT4.54
stmt41_108_160UNSAT4.54
stmt19_90_177UNSAT4.59
stmt27_17_187UNSAT4.6
stmt19_3_214UNSAT4.6
stmt22_92_216UNSAT4.61
stmt47_45_164UNSAT4.63
stmt19_66_180UNSAT4.65
stmt22_85_179UNSAT4.67
stmt21_5_181UNSAT4.67
stmt21_91_181UNSAT4.67
stmt22_139_182UNSAT4.67
stmt41_36_235UNSAT4.68
stmt22_85_182UNSAT4.72
stmt22_179_182UNSAT4.74
stmt21_127_181UNSAT4.75
stmt19_133_180UNSAT4.8
stmt22_80_182UNSAT4.83
stmt39_159_197UNSAT4.85
stmt47_44_239UNSAT4.87
stmt21_134_178UNSAT4.89
stmt19_67_214UNSAT4.89
stmt27_97_187UNSAT4.9
stmt47_164_202UNSAT4.9
stmt52_55_207UNSAT4.9
stmt22_73_182UNSAT4.91
stmt21_79_178UNSAT4.96
stmt19_2_214UNSAT4.98
stmt41_37_235UNSAT5
stmt26_15_223UNSAT5.03
stmt19_142_217UNSAT5.08
stmt52_54_244UNSAT5.14
stmt21_84_215UNSAT5.18
stmt19_133_214UNSAT5.18
stmt39_107_197UNSAT5.21
stmt28_98_225UNSAT5.29
stmt44_110_200UNSAT5.29
stmt21_143_215UNSAT5.32
stmt22_182_216UNSAT5.36
stmt19_133_217UNSAT5.39
stmt21_5_218UNSAT5.39
stmt52_117_207UNSAT5.46
stmt46_111_163UNSAT5.46
stmt22_80_216UNSAT5.48
stmt19_214_217UNSAT5.49
stmt50_167_205UNSAT5.5
stmt19_90_217UNSAT5.52
stmt19_66_214UNSAT5.53
stmt22_139_219UNSAT5.54
stmt22_73_219UNSAT5.54
stmt46_43_201UNSAT5.55
stmt46_111_238UNSAT5.59
stmt21_181_218UNSAT5.62
stmt19_177_214UNSAT5.62
stmt31_190_227UNSAT5.65
stmt21_127_218UNSAT5.67
stmt19_125_261UNSAT5.71
stmt19_66_261UNSAT5.71
stmt19_78_217UNSAT5.72
stmt21_178_218UNSAT5.72
stmt19_2_261UNSAT5.74
stmt22_139_263UNSAT5.75
stmt41_108_235UNSAT5.76
stmt22_85_263UNSAT5.78
stmt22_182_263UNSAT5.78
stmt46_201_238UNSAT5.8
stmt50_115_242UNSAT5.81
stmt19_177_261UNSAT5.81
stmt41_160_235UNSAT5.88
stmt21_218_262UNSAT5.88
stmt19_214_261UNSAT5.89
stmt19_133_261UNSAT5.89
stmt19_3_261UNSAT5.92
stmt19_125_214UNSAT5.94
stmt27_149_187UNSAT5.97
stmt19_83_217UNSAT5.99
stmt22_92_263UNSAT6.03
stmt19_66_250UNSAT6.06
stmt19_177_250UNSAT6.13
stmt21_127_252UNSAT6.14
stmt21_79_262UNSAT6.15
stmt19_133_250UNSAT6.15
stmt44_162_237UNSAT6.16
stmt22_182_253UNSAT6.18
stmt44_41_237UNSAT6.19
stmt21_215_252UNSAT6.2
stmt21_138_252UNSAT6.22
stmt19_2_250UNSAT6.25
stmt19_83_250UNSAT6.26
stmt19_142_250UNSAT6.29
stmt19_66_217UNSAT6.31
stmt19_217_250UNSAT6.32
stmt21_138_215UNSAT6.32
stmt53_57_245UNSAT6.33
stmt22_80_253UNSAT6.34
stmt41_198_235UNSAT6.36
stmt22_73_263UNSAT6.37
stmt21_71_252UNSAT6.38
stmt19_2_257UNSAT6.4
stmt19_90_250UNSAT6.42
stmt21_70_267UNSAT6.49
stmt21_70_258UNSAT6.49
stmt52_169_244UNSAT6.54
stmt22_80_259UNSAT6.55
stmt19_142_261UNSAT6.56
stmt21_178_258UNSAT6.56
stmt21_218_258UNSAT6.57
stmt53_208_245UNSAT6.57
stmt22_73_268UNSAT6.58
stmt85_64_248UNSAT6.6
stmt21_84_258UNSAT6.65
stmt22_219_268UNSAT6.66
stmt19_214_257UNSAT6.67
stmt19_142_266UNSAT6.68
stmt21_127_267UNSAT6.69
stmt21_181_258UNSAT6.69
stmt19_133_257UNSAT6.71
stmt19_90_266UNSAT6.74
stmt19_83_266UNSAT6.74
stmt21_252_267UNSAT6.76
stmt21_138_267UNSAT6.77
stmt27_149_224UNSAT6.78
stmt19_3_257UNSAT6.79
stmt21_215_267UNSAT6.81
stmt19_133_266UNSAT6.81
stmt19_261_266UNSAT6.84
stmt22_182_268UNSAT6.85
stmt21_178_267UNSAT6.89
stmt19_67_257UNSAT6.96
stmt21_127_258UNSAT6.98
stmt21_138_258UNSAT7.01
stmt21_143_258UNSAT7.04
stmt22_80_268UNSAT7.14
stmt22_92_259UNSAT7.19
stmt41_160_286UNSAT7.26
stmt39_107_285UNSAT7.49
stmt41_37_286UNSAT7.56
stmt31_190_276UNSAT7.64
stmt32_24_277UNSAT7.87
stmt50_51_293UNSAT7.91
stmt50_167_293UNSAT7.92
stmt32_228_277UNSAT7.92
stmt52_244_295UNSAT7.96
stmt32_153_277UNSAT8.01
stmt19_257_266UNSAT8.02
stmt52_117_295UNSAT8.08
stmt31_100_276UNSAT8.08
stmt50_205_293UNSAT8.13
stmt22_139_320UNSAT8.38
stmt19_67_318UNSAT8.39
stmt22_259_263UNSAT8.42
stmt22_92_320UNSAT8.43
stmt19_217_318UNSAT8.43
stmt22_85_320UNSAT8.58
stmt21_252_262UNSAT8.59
stmt19_142_318UNSAT8.64
stmt22_182_320UNSAT8.66
stmt21_70_310UNSAT8.87
stmt21_71_304UNSAT8.89
stmt22_253_259UNSAT8.89
stmt29_21_275UNSAT8.91
stmt50_50_293UNSAT8.97
stmt39_34_285UNSAT9.05
stmt41_235_286UNSAT9.06
stmt41_198_286UNSAT9.07
stmt21_4_310UNSAT9.15
stmt47_202_290UNSAT9.17
stmt19_142_302UNSAT9.21
stmt19_66_318UNSAT9.22
stmt19_3_309UNSAT9.22
stmt19_78_318UNSAT9.25
stmt21_91_304UNSAT9.32
stmt22_135_320UNSAT9.33
stmt19_177_318UNSAT9.33
stmt21_127_319UNSAT9.35
stmt19_83_302UNSAT9.36
stmt22_182_305UNSAT9.37
stmt47_112_290UNSAT9.4
stmt47_239_290UNSAT9.45
stmt44_41_288UNSAT9.45
stmt19_214_302UNSAT9.46
stmt46_163_289UNSAT9.47
stmt21_4_304UNSAT9.47
stmt19_214_318UNSAT9.47
stmt21_138_304UNSAT9.49
stmt46_42_289UNSAT9.5
stmt21_5_304UNSAT9.52
stmt21_70_304UNSAT9.52
stmt21_79_304UNSAT9.53
stmt19_217_302UNSAT9.54
stmt19_142_309UNSAT9.55
stmt19_177_302UNSAT9.56
stmt21_134_304UNSAT9.63
stmt19_125_302UNSAT9.7
stmt19_90_309UNSAT9.73
stmt21_84_310UNSAT9.75
stmt19_217_309UNSAT9.89
stmt21_127_310UNSAT9.92
stmt19_214_309UNSAT9.94
stmt21_71_314UNSAT9.95
stmt19_180_309UNSAT9.95
stmt22_135_311UNSAT10.06
stmt19_3_313UNSAT10.1
stmt22_92_315UNSAT10.13
stmt22_85_315UNSAT10.15
stmt19_177_309UNSAT10.16
stmt19_78_309UNSAT10.18
stmt21_143_314UNSAT10.21
stmt21_79_314UNSAT10.26
stmt22_135_315UNSAT10.27
stmt19_125_313UNSAT10.28
stmt19_180_313UNSAT10.3
stmt19_214_313UNSAT10.33
stmt19_2_313UNSAT10.35
stmt19_177_313UNSAT10.37
stmt21_70_314UNSAT10.39
stmt21_218_314UNSAT10.47
stmt19_137_313UNSAT10.5
stmt21_138_310UNSAT10.52
stmt31_22_328UNSAT10.86
stmt21_4_354UNSAT11.25
stmt21_5_354UNSAT11.25
stmt21_252_314UNSAT11.27
stmt19_257_318UNSAT11.28
stmt21_70_354UNSAT11.29
stmt39_107_335UNSAT11.41
stmt52_54_345UNSAT12.41
stmt53_57_346UNSAT12.42
stmt39_234_335UNSAT12.46
stmt41_198_336UNSAT12.53
stmt39_159_335UNSAT12.62
stmt29_21_327UNSAT12.74
stmt21_267_310UNSAT12.89
stmt31_152_328UNSAT13.25
stmt32_191_329UNSAT13.35
stmt29_226_327UNSAT13.38
stmt22_73_311UNSAT13.66
stmt31_100_328UNSAT13.73
stmt50_51_392UNSAT15.21
stmt39_35_335UNSAT15.27
stmt22_144_370UNSAT15.76
stmt19_137_368UNSAT16.06
stmt44_200_338UNSAT16.28
stmt44_162_338UNSAT16.48
stmt44_110_338UNSAT16.57
stmt19_180_352UNSAT19.36
stmt19_177_352UNSAT19.52
stmt19_217_352UNSAT19.79
stmt21_215_354UNSAT19.9
stmt22_85_355UNSAT20.72
stmt19_137_352UNSAT20.75
stmt19_78_352UNSAT20.82
stmt21_127_354UNSAT20.83
stmt21_134_354UNSAT20.85
stmt41_36_336UNSAT21.45
stmt22_144_355UNSAT21.81
stmt19_90_352UNSAT21.87
stmt21_181_364UNSAT22.83
stmt21_218_364UNSAT22.91
stmt19_66_359UNSAT22.99
stmt21_5_360UNSAT23.06
stmt19_125_363UNSAT23.07
stmt19_177_363UNSAT23.1
stmt21_134_364UNSAT23.1
stmt19_78_363UNSAT23.11
stmt47_44_340UNSAT23.13
stmt46_43_339UNSAT23.24
stmt19_137_363UNSAT23.25
stmt50_167_343UNSAT23.27
stmt21_4_364UNSAT23.29
stmt52_169_394UNSAT23.3
stmt19_214_363UNSAT23.31
stmt52_244_394UNSAT23.39
stmt52_207_345UNSAT23.42
stmt21_5_364UNSAT23.44
stmt19_66_363UNSAT23.49
stmt53_118_346UNSAT23.66
stmt19_3_401UNSAT23.79
stmt50_50_392UNSAT23.79
stmt19_66_401UNSAT23.97
stmt19_2_401UNSAT24.01
stmt21_4_409UNSAT24.27
stmt19_67_363UNSAT24.27
stmt19_133_368UNSAT24.28
stmt19_177_368UNSAT24.34
stmt19_3_408UNSAT24.34
stmt22_80_370UNSAT24.41
stmt21_84_364UNSAT24.5
stmt21_127_369UNSAT24.55
stmt22_80_404UNSAT24.67
stmt21_71_354UNSAT24.69
stmt50_115_392UNSAT24.69
stmt21_70_369UNSAT24.74
stmt21_127_409UNSAT24.74
stmt22_85_410UNSAT24.77
stmt19_180_408UNSAT24.81
stmt19_66_408UNSAT24.91
stmt21_71_360UNSAT25.06
stmt19_78_417UNSAT25.39
stmt19_137_417UNSAT25.39
stmt21_127_418UNSAT25.41
stmt22_311_320UNSAT25.42
stmt19_142_412UNSAT25.49
stmt21_91_413UNSAT25.52
stmt22_144_419UNSAT25.53
stmt21_134_418UNSAT25.53
stmt22_73_419UNSAT25.54
stmt19_83_417UNSAT25.54
stmt19_66_417UNSAT25.55
stmt21_71_413UNSAT25.55
stmt19_90_417UNSAT25.63
stmt21_252_418UNSAT25.81
stmt21_91_369UNSAT25.92
stmt32_153_378UNSAT25.94
stmt19_352_417UNSAT26.03
stmt21_181_369UNSAT26.05
stmt21_84_369UNSAT26.15
stmt19_67_368UNSAT26.23
stmt19_137_408UNSAT26.71
stmt41_198_385UNSAT26.78
stmt39_34_384UNSAT26.86
stmt32_101_378UNSAT27
stmt32_191_378UNSAT27.02
stmt31_23_377UNSAT27.37
stmt39_35_384UNSAT27.82
stmt44_40_387UNSAT27.93
stmt21_218_360UNSAT28.19
stmt19_177_359UNSAT28.22
stmt21_181_360UNSAT28.46
stmt19_214_359UNSAT28.56
stmt22_80_361UNSAT29.18
stmt21_127_360UNSAT29.29
stmt19_133_359UNSAT29.36
stmt21_71_409UNSAT29.37
stmt22_92_404UNSAT29.51
stmt19_137_359UNSAT29.57
stmt22_73_404UNSAT29.71
stmt19_83_359UNSAT29.72
stmt22_259_355UNSAT29.77
stmt19_90_363UNSAT30.97
stmt19_142_363UNSAT31.35
stmt22_92_361UNSAT32.17
stmt39_107_384UNSAT32.21
stmt39_159_384UNSAT32.23
stmt22_144_361UNSAT32.67
stmt22_80_414UNSAT33.63
stmt19_66_412UNSAT33.76
stmt19_83_412UNSAT33.76
stmt44_162_387UNSAT34.49
stmt21_127_413UNSAT34.82
stmt32_24_378UNSAT34.85
stmt21_134_413UNSAT35.11
stmt19_90_408UNSAT35.16
stmt21_138_413UNSAT35.16
stmt21_181_413UNSAT35.19
stmt19_217_408UNSAT35.92
stmt19_133_408UNSAT36.04
stmt21_143_409UNSAT36.04
stmt47_112_389UNSAT36.34
stmt19_78_408UNSAT36.66
stmt21_319_364UNSAT36.87
stmt21_84_403UNSAT37.47
stmt22_135_404UNSAT37.57
stmt22_139_404UNSAT37.85
stmt85_122_399UNSAT38.07
stmt21_143_403UNSAT40.38
stmt19_368_401UNSAT42.68
stmt44_41_387UNSAT44.55
stmt22_365_404UNSAT47.71
stmt22_6_414UNSAT49.28
stmt21_5_413UNSAT49.42
stmt19_352_408UNSAT57.45
stmt21_403_409UNSAT59.31
stmt21_4_360UNSAT109.03
stmt21_310_360UNSAT174.62
stmt47_290_340FAIL484.89
stmt46_289_388FAIL485.89
stmt41_286_385FAIL486.23
stmt19_302_352FAIL507.56
stmt39_285_335FAIL513.57
stmt31_276_328FAIL513.65
stmt29_275_376FAIL513.74
stmt53_296_346FAIL513.76
stmt47_340_389FAIL513.9
stmt52_295_394FAIL513.97
stmt22_320_370FAIL514.01
stmt32_329_378FAIL514.03
stmt85_300_399FAIL514.12
stmt50_343_392FAIL514.16
stmt21_319_418FAIL514.16
stmt21_354_403FAIL514.17
stmt41_336_385FAIL514.19
stmt19_368_417FAIL514.22