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

InstanceResultTime
stmt21_181_218UNSAT2.32
stmt53_208_245UNSAT2.41
stmt21_70_369UNSAT3.22
stmt31_276_328UNSAT3.27
stmt29_226_376UNSAT3.3
stmt21_84_364UNSAT3.34
stmt21_71_413UNSAT3.35
stmt21_178_258UNSAT3.43
stmt19_3_401UNSAT3.43
stmt19_90_408UNSAT3.46
stmt21_71_354UNSAT3.62
stmt21_181_369UNSAT3.73
stmt31_22_328UNSAT3.92
stmt21_143_403UNSAT3.96
stmt53_296_346UNSAT4.05
stmt22_320_370SAT4.11
stmt19_352_359UNSAT4.17
stmt22_311_370UNSAT4.27
stmt41_286_385UNSAT4.42
stmt47_290_340UNSAT4.58
stmt21_354_403SAT5.1
stmt19_313_412UNSAT5.12
stmt22_6_414UNSAT5.29
stmt19_137_408UNSAT5.67
stmt27_16_224UNSAT6.2
stmt39_285_335UNSAT8.18
stmt47_340_389UNSAT8.46
stmt44_40_387UNSAT13.17
stmt29_275_376UNSAT18.26
stmt21_310_360UNSAT25.29
stmt32_329_378UNSAT28.82
stmt46_111_238UNSAT50.79
stmt46_289_388UNSAT93.29
stmt19_133_217UNSAT114.35
stmt41_336_385UNSAT238.65
stmt52_295_394UNSAT388.94
stmt41_160_235UNSAT416.8
stmt19_83_412UNSAT539.73
stmt31_190_227FAIL900.01
stmt27_149_224FAIL900.01
stmt19_302_352FAIL900.01
stmt19_368_417FAIL900.02
stmt21_319_418FAIL900.02
stmt85_300_399FAIL900.04
stmt50_343_392FAIL900.06
stmt19_66_214FAIL900.08