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

InstanceResultTime
stmt21_181_218UNSAT2.28
stmt53_208_245UNSAT2.41
stmt19_66_214UNSAT3.33
stmt22_320_370SAT4.18
stmt21_354_403SAT5.07
stmt27_16_224UNSAT6.97
stmt22_6_414UNSAT7.18
stmt19_352_359UNSAT8.89
stmt19_137_408UNSAT9.13
stmt19_90_408UNSAT11.67
stmt21_84_364UNSAT12.3
stmt22_311_370UNSAT14.66
stmt39_285_335UNSAT15.29
stmt19_133_217UNSAT17.66
stmt21_178_258UNSAT23.11
stmt29_226_376UNSAT28
stmt21_143_403UNSAT34.81
stmt41_286_385UNSAT34.84
stmt41_160_235UNSAT35.66
stmt31_22_328UNSAT45.18
stmt19_313_412UNSAT45.37
stmt47_340_389UNSAT46.51
stmt21_310_360UNSAT75.83
stmt46_111_238UNSAT101.23
stmt47_290_340UNSAT142.26
stmt53_296_346UNSAT146.8
stmt19_3_401UNSAT219.87
stmt31_276_328UNSAT503.79
stmt21_71_354UNSAT547.67
stmt27_149_224UNSAT548.78
stmt41_336_385UNSAT641.69
stmt21_181_369UNSAT646.93
stmt46_289_388UNSAT717.86
stmt21_70_369UNSAT846.31
stmt50_343_392FAIL900
stmt29_275_376FAIL900.01
stmt21_319_418FAIL900.01
stmt19_368_417FAIL900.03
stmt21_71_413FAIL900.03
stmt19_302_352FAIL900.04
stmt32_329_378FAIL900.06
stmt85_300_399FAIL900.06
stmt31_190_227FAIL900.06
stmt44_40_387FAIL900.06
stmt52_295_394FAIL900.07
stmt19_83_412FAIL900.08