Instances of family terminator solved by Rareqs_2018
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
stmt19_66_214UNSAT0
stmt22_311_370UNSAT0.81
stmt19_137_408UNSAT1.12
stmt19_352_359UNSAT2.74
stmt19_90_408UNSAT3.41
stmt21_71_354UNSAT7.5
stmt19_133_217UNSAT25.19
stmt31_22_328UNSAT46.25
stmt46_111_238UNSAT46.42
stmt27_149_224UNSAT54.35
stmt19_83_412UNSAT59.2
stmt21_84_364UNSAT70.77
stmt21_178_258UNSAT75.4
stmt41_160_235UNSAT104.58
stmt47_290_340UNSAT160.84
stmt27_16_224UNSAT175.44
stmt21_143_403UNSAT243.49
stmt21_71_413UNSAT271.48
stmt41_336_385UNSAT314.64
stmt47_340_389UNSAT319.55
stmt53_208_245UNSAT356.09
stmt31_190_227UNSAT758.94
stmt50_343_392FAIL900.01
stmt44_40_387FAIL900.01
stmt29_226_376FAIL900.01
stmt52_295_394FAIL900.01
stmt39_285_335FAIL900.01
stmt22_6_414FAIL900.01
stmt46_289_388FAIL900.01
stmt21_70_369FAIL900.02
stmt21_181_218FAIL900.02
stmt29_275_376FAIL900.02
stmt21_354_403FAIL900.04
stmt21_319_418FAIL900.04
stmt85_300_399FAIL900.04
stmt19_3_401FAIL900.05
stmt19_313_412FAIL900.05
stmt21_310_360FAIL900.06
stmt19_302_352FAIL900.06
stmt21_181_369FAIL900.07
stmt32_329_378FAIL900.08
stmt22_320_370FAIL900.08
stmt19_368_417FAIL900.09
stmt31_276_328FAIL900.1
stmt53_296_346FAIL900.1
stmt41_286_385FAIL900.1