Status Difficulty Category Output Time/ms Correct?
QF_LIA/wisa/wisa1.smt sat 1 industrial sat 29035 Yes
QF_LIA/wisa/wisa2.smt unsat 1 industrial unsat 284115 Yes
QF_LIA/wisa/wisa3.smt sat 0 industrial sat 225052 Yes
QF_LIA/wisa/wisa4.smt sat 0 industrial sat 361795 Yes
QF_LIA/wisa/wisa5.smt unsat 1 industrial timeout infty Unknown
Total: 5
Correct: 4
Incorrect: 0