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

InstanceResultTime
stmt21_181_218UNSAT2.36
stmt53_208_245UNSAT2.4
stmt19_66_214UNSAT3.26
stmt22_320_370SAT4.2
stmt21_354_403SAT5.06
stmt27_16_224UNSAT6.9
stmt22_6_414UNSAT7.17
stmt19_352_359UNSAT8.8
stmt19_137_408UNSAT9.13
stmt19_90_408UNSAT11.61
stmt21_84_364UNSAT12.27
stmt22_311_370UNSAT14.65
stmt39_285_335UNSAT15.3
stmt19_133_217UNSAT17.65
stmt21_178_258UNSAT23.09
stmt29_226_376UNSAT28.39
stmt41_286_385UNSAT34.67
stmt21_143_403UNSAT34.8
stmt41_160_235UNSAT35.89
stmt19_313_412UNSAT45.17
stmt31_22_328UNSAT45.53
stmt47_340_389UNSAT46.54
stmt21_310_360UNSAT75.77
stmt46_111_238UNSAT101.52
stmt47_290_340UNSAT142.92
stmt53_296_346UNSAT146.99
stmt19_3_401UNSAT219.42
stmt31_276_328UNSAT495.53
stmt21_71_354UNSAT545.29
stmt27_149_224UNSAT549.91
stmt21_181_369UNSAT651.57
stmt41_336_385UNSAT657.72
stmt21_319_418FAIL900
stmt50_343_392FAIL900.01
stmt21_70_369FAIL900.01
stmt19_83_412FAIL900.01
stmt85_300_399FAIL900.01
stmt52_295_394FAIL900.02
stmt44_40_387FAIL900.02
stmt32_329_378FAIL900.03
stmt46_289_388FAIL900.03
stmt21_71_413FAIL900.04
stmt19_368_417FAIL900.04
stmt29_275_376FAIL900.05
stmt19_302_352FAIL900.06
stmt31_190_227FAIL900.07