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

InstanceResultTime
stmt21_181_218UNSAT2.07
stmt46_111_238UNSAT3.34
stmt21_71_354UNSAT4.04
stmt21_70_369UNSAT4.17
stmt21_181_369UNSAT4.27
stmt21_143_403UNSAT4.82
stmt19_66_214UNSAT4.86
stmt19_302_352SAT4.96
stmt22_320_370SAT5.15
stmt21_178_258UNSAT5.78
stmt85_300_399SAT6.27
stmt53_208_245UNSAT6.37
stmt19_133_217UNSAT6.39
stmt41_160_235UNSAT6.82
stmt19_3_401UNSAT7.74
stmt21_71_413UNSAT7.8
stmt21_84_364UNSAT8.38
stmt31_22_328UNSAT8.48
stmt19_137_408UNSAT9.41
stmt27_149_224UNSAT10.54
stmt19_83_412UNSAT10.89
stmt31_190_227UNSAT10.91
stmt29_226_376UNSAT11.09
stmt22_311_370UNSAT11.25
stmt27_16_224UNSAT12.22
stmt19_352_359UNSAT12.88
stmt19_90_408UNSAT13.52
stmt19_368_417SAT13.68
stmt21_319_418SAT17.16
stmt22_6_414UNSAT17.21
stmt21_354_403SAT19.65
stmt44_40_387UNSAT22.63
stmt46_289_388UNSAT93.84
stmt53_296_346UNSAT154.63
stmt19_313_412UNSAT245.58
stmt47_340_389UNSAT315
stmt41_286_385UNSAT370.58
stmt52_295_394UNSAT472.13
stmt50_343_392UNSAT722.55
stmt31_276_328FAIL900.01
stmt29_275_376FAIL900.01
stmt21_310_360FAIL900.02
stmt41_336_385FAIL900.02
stmt47_290_340FAIL900.04
stmt32_329_378FAIL900.04
stmt39_285_335FAIL900.05