check
Status Difficulty Category Output Time/ms Correct?
QF_IDL/check/bignum_idl1.smt unsat 0 check unsat 513 Yes
QF_IDL/check/bignum_idl2.smt unsat 0 check unsat 535 Yes
QF_IDL/check/int_incompleteness1.smt unsat 0 check unsat 647 Yes
Total: 3
Correct: 3
Incorrect: 0