Instances of family terminator solved by nenofex-qbfeval10
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt19_313_318FAIL288.12
stmt21_127_258FAIL304.23
stmt19_133_257FAIL308.49
stmt53_208_245FAIL316.28
stmt19_67_83FAIL319.09
stmt50_167_293FAIL329.65
stmt31_100_276FAIL332.29
stmt41_235_286FAIL341.61
stmt21_143_258FAIL356.92
stmt19_137_313FAIL366.59
stmt22_179_182FAIL375.43
stmt19_261_266FAIL376.02
stmt21_71_304FAIL376.09
stmt32_228_277FAIL380.36
stmt21_310_360FAIL381.27
stmt29_21_275FAIL381.72
stmt52_117_295FAIL391.56
stmt41_336_385FAIL392.16
stmt85_64_122FAIL394.6
stmt44_40_41FAIL397.81
stmt27_149_224FAIL401.41
stmt47_239_290FAIL405.34
stmt46_163_289FAIL405.53
stmt19_83_90FAIL406.63
stmt19_214_309FAIL414.01
stmt22_92_259FAIL417.77
stmt19_125_302FAIL419.08
stmt19_3_309FAIL422.59
stmt19_3_177FAIL424.63
stmt44_40_162FAIL429.08
stmt32_153_277FAIL431.53
stmt19_177_302FAIL434.68
stmt52_295_394FAIL435.12
stmt19_142_261FAIL436.29
stmt21_79_314FAIL438.08
stmt21_70_258FAIL440.26
stmt41_36_37FAIL442.09
stmt19_66_318FAIL442.38
stmt19_3_78FAIL449.86
stmt19_66_90FAIL465.55
stmt21_252_310FAIL472.22
stmt19_217_250FAIL484.77
stmt21_267_310FAIL491.53
stmt31_22_23FAIL495.09
stmt21_71_70FAIL495.13
stmt21_79_91FAIL504.15
stmt19_83_302FAIL515.08
stmt19_313_412FAIL531.19
stmt39_34_107FAIL560.6
stmt19_3_83FAIL593.07
stmt52_54_55FAIL599.45
stmt21_134_418FAIL626.12
stmt19_90_133FAIL715.43
stmt19_2_180FAIL735.14
stmt22_6_80FAIL875.06
stmt21_4_5FAIL1025.24
stmt19_2_83FAIL1200.21