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

InstanceResultTime
stmt22_6_72FAIL0.62
stmt27_16_97FAIL0.77
stmt41_37_108FAIL0.97
stmt52_55_117FAIL1.38
stmt21_84_215FAIL1.7
stmt21_181_218FAIL2.24
stmt39_107_197FAIL2.34
stmt21_354_403SAT4.88
stmt19_217_309UNSAT5.65
stmt19_83_412FAIL173.43
stmt41_160_235FAIL222.84
stmt44_40_387FAIL259.34
stmt21_178_258FAIL266.74
stmt22_6_414FAIL284.33
stmt52_244_394FAIL306.04
stmt19_217_302FAIL313.13
stmt22_73_311FAIL556.13
stmt21_84_364FAIL564.13
stmt22_92_263FAIL577.65
stmt19_352_359FAIL579.85
stmt22_311_370FAIL585.73
stmt19_180_352FAIL590.53
stmt21_262_319FAIL591.54
stmt44_41_288FAIL593.94
stmt21_319_418FAIL594.33
stmt21_70_369FAIL596.03
stmt31_22_328FAIL599.12
stmt22_73_182FAIL599.12
stmt21_5_134FAIL599.12
stmt21_71_354FAIL599.13
stmt19_83_142FAIL599.22
stmt31_190_227FAIL599.22
stmt19_90_266FAIL599.22
stmt29_226_376FAIL599.22
stmt19_66_214FAIL599.22
stmt19_3_401FAIL599.22
stmt19_177_309FAIL599.22
stmt27_16_224FAIL599.22
stmt50_205_293FAIL599.22
stmt21_71_413FAIL599.22
stmt21_143_403FAIL599.23
stmt27_16_149FAIL599.23
stmt19_133_217FAIL599.23
stmt21_138_304FAIL599.23
stmt46_111_238FAIL599.23
stmt19_137_408FAIL599.23
stmt19_3_214FAIL599.23
stmt19_90_408FAIL599.23
stmt21_79_304FAIL599.23
stmt19_67_318FAIL599.32