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

InstanceResultTime
stmt31_22_23UNSAT0.68
stmt41_36_37UNSAT0.87
stmt44_40_41UNSAT0.98
stmt52_54_55UNSAT1.08
stmt21_4_5UNSAT1.31
stmt21_71_70UNSAT1.36
stmt22_6_80UNSAT1.44
stmt19_2_83UNSAT1.52
stmt39_34_107UNSAT1.69
stmt19_3_83UNSAT1.86
stmt19_67_83UNSAT1.94
stmt19_3_78UNSAT1.96
stmt19_66_90UNSAT2.01
stmt21_79_91UNSAT2.02
stmt19_83_90UNSAT2.02
stmt85_64_122UNSAT2.46
stmt19_90_133UNSAT3.1
stmt44_40_162UNSAT3.56
stmt19_2_180UNSAT3.91
stmt19_3_177UNSAT4.88
stmt21_70_258UNSAT9.79
stmt22_179_182UNSAT9.82
stmt22_92_259UNSAT10.95
stmt29_21_275UNSAT11.03
stmt21_71_304UNSAT11.13
stmt31_100_276UNSAT12.09
stmt19_3_309UNSAT12.41
stmt21_127_258UNSAT12.71
stmt19_83_302UNSAT12.91
stmt19_142_261UNSAT12.99
stmt21_143_258UNSAT12.99
stmt19_133_257UNSAT14.03
stmt52_117_295UNSAT14.28
stmt21_79_314UNSAT15.15
stmt19_217_250UNSAT15.15
stmt19_125_302UNSAT15.15
stmt32_153_277UNSAT15.44
stmt19_137_313UNSAT15.83
stmt46_163_289UNSAT16.14
stmt32_228_277UNSAT16.69
stmt50_167_293UNSAT16.88
stmt41_235_286UNSAT19.19
stmt19_177_302UNSAT20.06
stmt47_239_290UNSAT20.49
stmt19_66_318UNSAT21.51
stmt19_214_309UNSAT23.2
stmt19_261_266UNSAT25.84
stmt21_252_310UNSAT31.82
stmt21_267_310UNSAT38.05
stmt19_313_318UNSAT68.52
stmt21_134_418FAIL1200.08
stmt53_208_245FAIL1200.08
stmt52_295_394FAIL1200.08
stmt27_149_224FAIL1200.09
stmt19_313_412FAIL1200.09
stmt41_336_385FAIL1200.09
stmt21_310_360FAIL1200.09