Instances of family terminator solved by iprover-QBF
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt21_71_413FAIL262.04
stmt19_83_412FAIL267.45
stmt19_90_408FAIL270.75
stmt21_143_403FAIL276.93
stmt19_137_408FAIL280.34
stmt31_22_328FAIL297.33
stmt19_180_352FAIL303.43
stmt19_67_318FAIL313.23
stmt22_73_311FAIL315.53
stmt22_311_370FAIL317.54
stmt21_79_304FAIL323.84
stmt21_138_304FAIL325.75
stmt19_352_359FAIL327.44
stmt19_177_309FAIL336.53
stmt19_217_309FAIL344.93
stmt21_319_418FAIL366.45
stmt21_354_403FAIL388.84
stmt21_181_218FAIL599.12
stmt19_133_217FAIL599.12
stmt46_111_238FAIL599.21
stmt21_71_354FAIL599.22
stmt19_66_214FAIL599.22
stmt50_205_293FAIL599.22
stmt27_16_149FAIL599.22
stmt21_84_364FAIL599.22
stmt21_5_134FAIL599.22
stmt27_16_97FAIL599.22
stmt52_244_394FAIL599.22
stmt52_55_117FAIL599.22
stmt44_41_288FAIL599.22
stmt22_73_182FAIL599.22
stmt29_226_376FAIL599.22
stmt41_37_108FAIL599.22
stmt21_84_215FAIL599.22
stmt27_16_224FAIL599.22
stmt39_107_197FAIL599.22
stmt19_3_214FAIL599.22
stmt21_70_369FAIL599.22
stmt22_92_263FAIL599.22
stmt22_6_72FAIL599.22
stmt19_3_401FAIL599.22
stmt41_160_235FAIL599.22
stmt21_262_319FAIL599.22
stmt19_217_302FAIL599.22
stmt22_6_414FAIL599.22
stmt19_90_266FAIL599.22
stmt31_190_227FAIL599.22
stmt44_40_387FAIL599.22
stmt19_83_142FAIL599.22
stmt21_178_258FAIL599.32