| Benchmark | Answer | Time | Correct? |
|---|
| misc/list2.smt |
unknown |
0.0 |
yes |
| misc/list4.smt |
unknown |
0.1 |
yes |
| misc/list6.smt |
unknown |
0.0 |
yes |
| misc/set14.smt |
unknown |
0.1 |
yes |
| misc/set16.smt |
unknown |
0.9 |
yes |
| misc/set19.smt |
unknown |
0.0 |
yes |
| misc/set9.smt |
unknown |
0.1 |
yes |
| nasa/fol_simplify/gauss_init_0030.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0055.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0070.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0078.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0089.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0129.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0146.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0147.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0175.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0193.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0206.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/gauss_init_0314.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/quaternion_ds1_init_0040.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/quaternion_ds1_inuse_0009.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/quaternion_ds1_inuse_0011.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/quaternion_ds1_symm_0400.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/thruster_init_0052.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/thruster_init_0063.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify/thruster_init_0069.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/cl5_nebula_init_0085.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/gauss_init_0090.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/gauss_init_0163.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/gauss_init_0283.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/quaternion_ds1_init_0138.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/quaternion_ds1_symm_0007.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/thruster_init_0069.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/thruster_init_0089.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/thruster_init_0144.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_arithmetics/thruster_inuse_0081.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/cl5_nebula_init_0063.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/cl5_nebula_init_0067.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/cl5_nebula_init_0069.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/cl5_nebula_init_0080.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0037.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0055.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0067.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0079.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0123.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0141.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/gauss_init_0264.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/quaternion_ds1_init_0010.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/quaternion_ds1_init_0051.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/quaternion_ds1_init_0057.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/quaternion_ds1_init_0058.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array/thruster_symm_0190.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/cl5_nebula_init_0305.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0163.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0237.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0263.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0324.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0574.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0654.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0737.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_0847.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_1078.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/gauss_init_1137.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/quaternion_ds1_init_0050.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/quaternion_ds1_init_0296.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/quaternion_ds1_init_0334.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/thruster_init_1102.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/thruster_init_1164.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/thruster_init_1271.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_array_only/thruster_inuse_2391.fof.smt |
unknown |
14.6 |
yes |
| nasa/fol_simplify_structure_forall/cl5_nebula_init_0055.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/cl5_nebula_norm_0059.fof.smt |
unknown |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/gauss_init_0455.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/gauss_init_0578.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/gauss_init_1252.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/quaternion_ds1_init_0173.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/quaternion_ds1_init_0178.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/quaternion_ds1_init_0277.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/quaternion_ds1_init_0292.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/quaternion_ds1_inuse_0417.fof.smt |
unknown |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/thruster_init_0088.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/thruster_init_0106.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/thruster_init_0125.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/thruster_init_0880.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_forall/thruster_init_0926.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/cl5_nebula_init_0031.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/cl5_nebula_init_0042.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/cl5_nebula_init_0111.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/cl5_nebula_norm_0010.fof.smt |
unknown |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/gauss_init_0081.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/gauss_init_0094.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/gauss_init_0114.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/gauss_init_0216.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/gauss_init_0274.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/quaternion_ds1_init_0072.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/quaternion_ds1_inuse_0034.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0107.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0117.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0124.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0161.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0164.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_init_0195.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_inuse_0082.fof.smt |
unsat |
0.0 |
yes |
| nasa/fol_simplify_structure_prop/thruster_inuse_0084.fof.smt |
unsat |
0.0 |
yes |
| nasa/vc_normalize_subst/cl5_nebula_init_0008.fof.smt |
unsat |
0.0 |
yes |
| nasa/vc_normalize_subst/cl5_nebula_init_0030.fof.smt |
unsat |
0.0 |
yes |
| nasa/vc_normalize_subst/gauss_init_0082.fof.smt |
unsat |
0.0 |
yes |