Instances of family terminator solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
stmt21_84_215UNSAT1.77
stmt21_181_218UNSAT2.4
stmt53_208_245UNSAT2.46
stmt31_22_328UNSAT3.94
stmt21_70_369UNSAT4.02
stmt19_180_352UNSAT4.16
stmt21_71_354UNSAT4.23
stmt22_320_370SAT4.27
stmt19_3_401UNSAT4.5
stmt21_84_364UNSAT4.66
stmt21_71_413UNSAT4.84
stmt21_143_403UNSAT4.92
stmt19_90_408UNSAT5.24
stmt21_354_403SAT5.29
stmt19_302_352SAT5.4
stmt46_111_238UNSAT5.42
stmt22_311_370UNSAT5.43
stmt22_6_414UNSAT5.5
stmt19_368_417SAT5.77
stmt19_137_408UNSAT5.81
stmt19_352_359UNSAT6.02
stmt19_133_217UNSAT6.09
stmt85_300_399SAT6.28
stmt27_16_224UNSAT6.44
stmt19_66_214UNSAT6.57
stmt21_178_258UNSAT7.7
stmt27_149_224UNSAT9.71
stmt31_190_227UNSAT12.08
stmt31_276_328FAIL51
stmt53_296_346FAIL51.83
stmt47_290_340FAIL51.87
stmt41_286_385FAIL57.16
stmt47_340_389FAIL59.72
stmt44_40_387FAIL59.75
stmt52_295_394FAIL67.56
stmt46_289_388FAIL69.76
stmt41_336_385FAIL72.32
stmt29_275_376FAIL74.52
stmt50_343_392FAIL83.48