Status Difficulty Category Output Time/ms Correct?
QF_IDL/cellar/CELAR6_SUB0.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR6_SUB1.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR6_SUB2.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR6_SUB3.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR6_SUB4.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR7_SUB1.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR7_SUB2.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR7_SUB3.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/CELAR7_SUB4.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/scen06.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/scen07.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/scen08.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/scen09.smt unsat 0 industrial timeout infty Unknown
QF_IDL/cellar/scen10.smt unsat 0 industrial timeout infty Unknown
Total: 14
Correct: 0
Incorrect: 0