Sota solver results for family terminator
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
stmt19_133_217depqbf-v2UNSAT2.61
stmt19_137_408cadetUNSAT0.11
stmt19_177_309cadetUNSAT0.09
stmt19_180_352cadetUNSAT0.11
stmt19_217_302cadetUNSAT0.09
stmt19_217_309cadetUNSAT0.09
stmt19_352_359cadetUNSAT0.11
stmt19_3_214cadetUNSAT0.06
stmt19_3_401cadetUNSAT0.12
stmt19_66_214cadetUNSAT0.05
stmt19_67_318cadetUNSAT0.09
stmt19_83_142cadetUNSAT0.05
stmt19_83_412cadetUNSAT0.12
stmt19_90_266cadetUNSAT0.07
stmt19_90_408cadetUNSAT0.11
stmt21_138_304cadetUNSAT0.09
stmt21_143_403cadetUNSAT0.11
stmt21_178_258cadetUNSAT0.08
stmt21_181_218qstsUNSAT0.03
stmt21_262_319cadetUNSAT0.1
stmt21_319_418cadetSAT472.5
stmt21_354_403xb-bid-qstsSAT4.85
stmt21_5_134cadetUNSAT0.04
stmt21_70_369cadetUNSAT0.1
stmt21_71_354cadetUNSAT0.11
stmt21_71_413cadetUNSAT0.12
stmt21_79_304depqbf-v1UNSAT0.08
stmt21_84_215cadetUNSAT0.06
stmt21_84_364cadetUNSAT0.11
stmt22_311_370depqbf-v1UNSAT0.21
stmt22_6_414cadetUNSAT0.11
stmt22_6_72cadetUNSAT0.03
stmt22_73_182cadetUNSAT0.05
stmt22_73_311depqbf-v1UNSAT0.09
stmt22_92_263cadetUNSAT0.07
stmt27_16_149cadetUNSAT0.04
stmt27_16_224cadetUNSAT0.06
stmt27_16_97cadetUNSAT0.04
stmt29_226_376cadetUNSAT0.11
stmt31_190_227qstsUNSAT0.03
stmt31_22_328cadetUNSAT0.1
stmt39_107_197cadetUNSAT0.05
stmt41_160_235qstsUNSAT0.04
stmt41_37_108cadetUNSAT0.04
stmt44_40_387cadetUNSAT0.11
stmt44_41_288cadetUNSAT0.09
stmt46_111_238cadetUNSAT0.06
stmt50_205_293cadetUNSAT0.09
stmt52_244_394cadetUNSAT0.11
stmt52_55_117cadetUNSAT0.04