Instances of family terminator solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt22_6_72UNSAT0.55
stmt27_16_97UNSAT0.73
stmt41_37_108UNSAT0.94
stmt52_55_117UNSAT1.36
stmt21_84_215UNSAT1.56
stmt21_181_218UNSAT2.21
stmt39_107_197UNSAT2.33
stmt22_73_182UNSAT2.73
stmt19_3_214UNSAT3.28
stmt19_217_309UNSAT3.82
stmt19_90_266UNSAT4.46
stmt21_354_403SAT4.85
stmt19_217_302UNSAT19.09
stmt27_16_149UNSAT21.78
stmt22_92_263SAT29.75
stmt21_5_134SAT29.78
stmt19_67_318SAT30
stmt19_83_142SAT32.04
stmt46_111_238SAT32.5
stmt21_138_304SAT33.38
stmt19_66_214SAT37.14
stmt50_205_293SAT43.13
stmt41_160_235UNSAT121.84
stmt27_16_224UNSAT589.53
stmt21_71_413FAIL599.71
stmt19_133_217FAIL599.71
stmt44_41_288FAIL599.71
stmt52_244_394FAIL599.71
stmt21_71_354FAIL599.71
stmt21_84_364FAIL599.71
stmt21_178_258FAIL599.71
stmt19_137_408FAIL599.71
stmt21_319_418FAIL599.71
stmt19_177_309FAIL599.71
stmt44_40_387FAIL599.71
stmt29_226_376FAIL599.71
stmt31_190_227FAIL599.71
stmt31_22_328FAIL599.71
stmt21_262_319FAIL599.72
stmt21_79_304FAIL599.72
stmt19_180_352FAIL599.72
stmt19_352_359FAIL599.72
stmt21_143_403FAIL599.72
stmt22_311_370FAIL599.72
stmt19_3_401FAIL599.81
stmt22_73_311FAIL599.81
stmt19_90_408FAIL599.81
stmt21_70_369FAIL599.81
stmt19_83_412FAIL599.81
stmt22_6_414FAIL599.81