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