Instances of family terminator solved by rareqs
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt19_66_214UNSAT0.27
stmt19_180_352UNSAT0.69
stmt22_311_370UNSAT0.84
stmt19_137_408UNSAT1.16
stmt19_352_359UNSAT2.84
stmt19_90_408UNSAT3.44
stmt21_71_354UNSAT7.44
stmt19_133_217UNSAT25.13
stmt46_111_238UNSAT46.44
stmt31_22_328UNSAT46.9
stmt27_149_224UNSAT52.89
stmt21_84_364UNSAT70.75
stmt21_178_258UNSAT71.39
stmt21_84_215UNSAT97.34
stmt47_290_340UNSAT151.29
stmt27_16_224UNSAT164.84
stmt21_143_403UNSAT218.1
stmt21_71_413UNSAT272.84
stmt41_336_385UNSAT296.52
stmt47_340_389UNSAT316.33
stmt53_208_245UNSAT354.7
stmt31_190_227UNSAT758.56
stmt22_320_370FAIL900
stmt21_70_369FAIL900
stmt19_3_401FAIL900
stmt52_295_394FAIL900
stmt19_302_352FAIL900
stmt44_40_387FAIL900
stmt41_286_385FAIL900
stmt19_368_417FAIL900
stmt31_276_328FAIL900
stmt29_275_376FAIL900
stmt21_181_218FAIL900
stmt46_289_388FAIL900
stmt50_343_392FAIL900
stmt22_6_414FAIL900
stmt21_354_403FAIL900
stmt53_296_346FAIL900
stmt85_300_399FAIL900