Status | Difficulty | Category | Output | Time/ms | Correct? | |

QF_IDL/diamonds/diamonds.10.10.i.a.u.smt | unsat | 0 | crafted | unsat | 67912 | Yes |

QF_IDL/diamonds/diamonds.10.2.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.10.3.i.a.u.smt | unsat | 0 | crafted | unsat | 10659 | Yes |

QF_IDL/diamonds/diamonds.10.5.i.a.u.smt | unsat | 0 | crafted | unsat | 19022 | Yes |

QF_IDL/diamonds/diamonds.11.10.i.a.u.smt | unsat | 0 | crafted | unsat | 109132 | Yes |

QF_IDL/diamonds/diamonds.11.2.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.11.3.i.a.u.smt | unsat | 0 | crafted | unsat | 15605 | Yes |

QF_IDL/diamonds/diamonds.11.5.i.a.u.smt | unsat | 0 | crafted | unsat | 29556 | Yes |

QF_IDL/diamonds/diamonds.12.10.i.a.u.smt | unsat | 0 | crafted | unsat | 245336 | Yes |

QF_IDL/diamonds/diamonds.12.2.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.12.3.i.a.u.smt | unsat | 0 | crafted | unsat | 30885 | Yes |

QF_IDL/diamonds/diamonds.12.5.i.a.u.smt | unsat | 0 | crafted | unsat | 62738 | Yes |

QF_IDL/diamonds/diamonds.13.10.i.a.u.smt | unsat | 0 | crafted | unsat | 447267 | Yes |

QF_IDL/diamonds/diamonds.13.2.i.a.u.smt | unsat | 1 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.13.3.i.a.u.smt | unsat | 0 | crafted | unsat | 49972 | Yes |

QF_IDL/diamonds/diamonds.13.5.i.a.u.smt | unsat | 0 | crafted | unsat | 113488 | Yes |

QF_IDL/diamonds/diamonds.14.10.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.14.2.i.a.u.smt | unsat | 1 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.14.3.i.a.u.smt | unsat | 0 | crafted | unsat | 108467 | Yes |

QF_IDL/diamonds/diamonds.14.5.i.a.u.smt | unsat | 0 | crafted | unsat | 303760 | Yes |

QF_IDL/diamonds/diamonds.15.10.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.15.2.i.a.u.smt | unsat | 1 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.15.3.i.a.u.smt | unsat | 0 | crafted | unsat | 234296 | Yes |

QF_IDL/diamonds/diamonds.15.5.i.a.u.smt | unsat | 0 | crafted | unsat | 570783 | Yes |

QF_IDL/diamonds/diamonds.16.10.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.16.2.i.a.u.smt | unsat | 0 | crafted | unsat | 443264 | Yes |

QF_IDL/diamonds/diamonds.16.3.i.a.u.smt | unsat | 0 | crafted | unsat | 821547 | Yes |

QF_IDL/diamonds/diamonds.16.5.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.17.10.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.17.2.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.17.3.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.17.5.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.18.10.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.18.2.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.18.3.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

QF_IDL/diamonds/diamonds.18.5.i.a.u.smt | unsat | 0 | crafted | timeout | infty | Unknown |

Total: | 36 | |||||

Correct: | 18 | |||||

Incorrect: | 0 |