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

InstanceResultTime
stmt19_66_214UNSAT0
stmt21_181_369UNSAT0
stmt31_22_328UNSAT0.36
stmt21_71_354UNSAT0.47
stmt21_84_364UNSAT0.52
stmt21_70_369UNSAT0.52
stmt44_40_387UNSAT0.53
stmt29_226_376UNSAT0.6
stmt31_276_328UNSAT0.62
stmt21_143_403UNSAT0.62
stmt21_71_413UNSAT0.63
stmt19_90_408UNSAT0.64
stmt22_6_414UNSAT0.65
stmt19_352_359UNSAT0.68
stmt39_285_335UNSAT0.68
stmt22_311_370UNSAT0.78
stmt53_296_346UNSAT0.9
stmt19_137_408UNSAT0.96
stmt46_289_388UNSAT1.06
stmt19_83_412UNSAT1.1
stmt19_3_401UNSAT1.25
stmt47_290_340UNSAT1.37
stmt19_313_412UNSAT1.58
stmt19_133_217UNSAT1.6
stmt21_310_360UNSAT1.67
stmt52_295_394UNSAT1.88
stmt29_275_376UNSAT1.92
stmt46_111_238UNSAT3.59
stmt32_329_378UNSAT3.87
stmt47_340_389UNSAT3.91
stmt41_160_235UNSAT4.5
stmt41_336_385UNSAT6.49
stmt27_149_224UNSAT28.01
stmt21_178_258UNSAT69.82
stmt50_343_392UNSAT184.16
stmt41_286_385UNSAT208.47
stmt53_208_245UNSAT257.99
stmt85_300_399FAIL900.02
stmt21_354_403FAIL900.02
stmt27_16_224FAIL900.04
stmt19_368_417FAIL900.06
stmt22_320_370FAIL900.08
stmt31_190_227FAIL900.09
stmt21_319_418FAIL900.1
stmt21_181_218FAIL900.1
stmt19_302_352FAIL900.1