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

InstanceResultTime
stmt21_181_218UNSAT2.31
stmt53_208_245UNSAT2.45
stmt21_70_369UNSAT3.19
stmt31_276_328UNSAT3.33
stmt21_178_258UNSAT3.33
stmt21_71_413UNSAT3.34
stmt21_84_364UNSAT3.37
stmt29_226_376UNSAT3.37
stmt19_3_401UNSAT3.4
stmt19_90_408UNSAT3.47
stmt21_71_354UNSAT3.67
stmt21_181_369UNSAT3.71
stmt21_143_403UNSAT3.81
stmt31_22_328UNSAT3.89
stmt53_296_346UNSAT4.1
stmt22_320_370SAT4.17
stmt19_352_359UNSAT4.2
stmt22_311_370UNSAT4.24
stmt47_290_340UNSAT4.56
stmt41_286_385UNSAT4.61
stmt21_354_403SAT5.09
stmt19_313_412UNSAT5.14
stmt22_6_414UNSAT5.52
stmt19_137_408UNSAT5.67
stmt27_16_224UNSAT6.36
stmt39_285_335UNSAT8.13
stmt47_340_389UNSAT8.46
stmt44_40_387UNSAT13.29
stmt29_275_376UNSAT18.62
stmt21_310_360UNSAT25.49
stmt32_329_378UNSAT29.26
stmt46_111_238UNSAT50.73
stmt46_289_388UNSAT104.57
stmt19_133_217UNSAT112.54
stmt41_336_385UNSAT239.37
stmt41_160_235UNSAT334.4
stmt52_295_394UNSAT435.23
stmt19_83_412UNSAT547.51
stmt19_66_214FAIL900.02
stmt19_302_352FAIL900.02
stmt85_300_399FAIL900.04
stmt50_343_392FAIL900.07
stmt31_190_227FAIL900.07
stmt19_368_417FAIL900.07
stmt21_319_418FAIL900.08
stmt27_149_224FAIL900.1