
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 