| Benchmark | Answer | Time | Correct? |
|---|
| Burns/burns0.smt |
unsat |
0.0 |
yes |
| Burns/burns13.smt |
unsat |
0.0 |
yes |
| Burns/burns2.smt |
unsat |
0.0 |
yes |
| Burns/burns4.smt |
unsat |
0.0 |
yes |
| Burns/burns5.smt |
unsat |
0.0 |
yes |
| Burns/burns7.smt |
unsat |
0.0 |
yes |
| RicartAgrawala/ricart-agrawala0.smt |
unsat |
0.0 |
yes |
| RicartAgrawala/ricart-agrawala10.smt |
unsat |
0.0 |
yes |
| RicartAgrawala/ricart-agrawala6.smt |
unsat |
0.1 |
yes |
| RicartAgrawala/ricart-agrawala9.smt |
unsat |
0.0 |
yes |
| check/bignum_quant.smt |
unsat |
0.0 |
yes |
| misc/arr1.smt |
unsat |
0.0 |
yes |
| misc/list1.smt |
unsat |
0.0 |
yes |
| misc/list3.smt |
unsat |
0.0 |
yes |
| misc/list4.smt |
unknown |
0.0 |
yes |
| misc/set14.smt |
timeout |
1209.0 |
yes |
| misc/set2.smt |
timeout |
1207.6 |
yes |
| misc/set4.smt |
unsat |
0.0 |
yes |
| misc/set5.smt |
unsat |
0.0 |
yes |
| misc/set7.smt |
unsat |
0.0 |
yes |
| misc/set8.smt |
unsat |
0.0 |
yes |
| misc/set9.smt |
timeout |
1207.9 |
yes |
| piVC/piVC_0df790.smt |
unsat |
0.0 |
yes |
| piVC/piVC_13de35.smt |
unsat |
0.0 |
yes |
| piVC/piVC_14672f.smt |
unsat |
0.0 |
yes |
| piVC/piVC_2186b5.smt |
unsat |
0.4 |
yes |
| piVC/piVC_3937a0.smt |
unsat |
0.0 |
yes |
| piVC/piVC_577945.smt |
unsat |
0.0 |
yes |
| piVC/piVC_600bf6.smt |
unsat |
0.0 |
yes |
| piVC/piVC_6c37d0.smt |
unsat |
0.0 |
yes |
| piVC/piVC_7f6962.smt |
unsat |
0.0 |
yes |
| piVC/piVC_8894c1.smt |
unsat |
0.0 |
yes |
| piVC/piVC_8bed95.smt |
unsat |
0.0 |
yes |
| piVC/piVC_982830.sat.smt |
unknown |
0.1 |
yes |
| piVC/piVC_982830.smt |
unsat |
0.0 |
yes |
| piVC/piVC_b124d6.smt |
unsat |
0.0 |
yes |
| piVC/piVC_cfcef5.smt |
unsat |
0.0 |
yes |
| piVC/piVC_deabd0.smt |
unsat |
0.0 |
yes |
| piVC/piVC_f8964d.smt |
unsat |
0.0 |
yes |
| simplify/javafe.CopyLoaded.1.smt |
unsat |
6.3 |
yes |
| simplify/javafe.CopyLoaded.2.smt |
unsat |
0.4 |
yes |
| simplify/javafe.ast.ASTNode.26.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.ArrayInit.36.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.BinaryExpr.48.smt |
unsat |
0.8 |
yes |
| simplify/javafe.ast.BinaryExpr.49.smt |
unsat |
6.3 |
yes |
| simplify/javafe.ast.BranchStmt.54.smt |
unsat |
0.0 |
yes |
| simplify/javafe.ast.CatchClauseVec.69.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.CompilationUnit.85.smt |
unsat |
0.7 |
yes |
| simplify/javafe.ast.DelegatingPrettyPrint.128.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.DelegatingPrettyPrint.129.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.FormalParaDecl.163.smt |
unsat |
0.2 |
yes |
| simplify/javafe.ast.InterfaceDecl.207.smt |
unsat |
0.8 |
yes |
| simplify/javafe.ast.InterfaceDecl.210.smt |
unsat |
2.5 |
yes |
| simplify/javafe.ast.LexicalPragmaVec.216.smt |
unsat |
0.7 |
yes |
| simplify/javafe.ast.LexicalPragmaVec.225.smt |
unsat |
0.0 |
yes |
| simplify/javafe.ast.LocalVarDecl.232.smt |
unsat |
0.9 |
yes |
| simplify/javafe.ast.PrettyPrint.282.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.RoutineDecl.298.smt |
unsat |
0.0 |
yes |
| simplify/javafe.ast.SimpleName.309.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.SingleTypeImportDecl.314.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.StmtVec.327.smt |
unsat |
0.1 |
yes |
| simplify/javafe.ast.StmtVec.328.smt |
unsat |
2.0 |
yes |
| simplify/javafe.ast.StmtVec.335.smt |
unsat |
61.1 |
yes |
| simplify/javafe.ast.ThrowStmt.355.smt |
unsat |
0.6 |
yes |
| simplify/javafe.ast.TypeDeclVec.392.smt |
unsat |
0.2 |
yes |
| simplify/javafe.ast.TypeDeclVec.393.smt |
unsat |
1.3 |
yes |
| simplify/javafe.ast.TypeModifierPragmaVec.403.smt |
unsat |
0.2 |
yes |
| simplify/javafe.ast.VarInitVec.433.smt |
unsat |
1.9 |
yes |
| simplify/javafe.ast.VarInitVec.436.smt |
unsat |
2.5 |
yes |
| simplify/javafe.filespace.ClassPath.453.smt |
unsat |
0.8 |
yes |
| simplify/javafe.filespace.Resolve.487.smt |
unsat |
0.5 |
yes |
| simplify/javafe.filespace.StringUtil.500.smt |
unsat |
0.0 |
yes |
| simplify/javafe.filespace.Tree.510.smt |
unsat |
1.5 |
yes |
| simplify/javafe.filespace.UnionTree.521.smt |
unsat |
1.1 |
yes |
| simplify/javafe.filespace.ZipTree.526.smt |
unsat |
1.3 |
yes |
| simplify/javafe.genericfile.NormalGenericFile.528.smt |
unsat |
0.0 |
yes |
| simplify/javafe.genericfile.NormalGenericFile.530.smt |
unsat |
0.6 |
yes |
| simplify/javafe.genericfile.ZipGenericFile.541.smt |
unsat |
0.3 |
yes |
| simplify/javafe.parser.ParseType.561.smt |
unsat |
0.5 |
yes |
| simplify/javafe.parser.ParseType.565.smt |
unsat |
0.1 |
yes |
| simplify/javafe.parser.test.TestParse.581.smt |
unsat |
0.1 |
yes |
| simplify/javafe.reader.ASTClassFileParser.589.smt |
unsat |
2.7 |
yes |
| simplify/javafe.reader.BinReader.595.smt |
unsat |
0.3 |
yes |
| simplify/javafe.reader.StandardTypeReader.617.smt |
unsat |
0.4 |
yes |
| simplify/javafe.reader.StandardTypeReader.625.smt |
unsat |
0.0 |
yes |
| simplify/javafe.reader.StandardTypeReader.629.smt |
unsat |
0.1 |
yes |
| simplify/javafe.tc.Env.644.smt |
unsat |
0.5 |
yes |
| simplify/javafe.tc.Env.645.smt |
unsat |
0.1 |
yes |
| simplify/javafe.tc.OutsideEnv.700.smt |
unsat |
0.2 |
yes |
| simplify/javafe.tc.Types.747.smt |
unsat |
0.1 |
yes |
| simplify/javafe.tc.Types.749.smt |
unsat |
0.1 |
yes |
| simplify/javafe.tc.Types.751.smt |
unsat |
0.1 |
yes |
| simplify/javafe.tc.Types.753.smt |
unsat |
0.1 |
yes |
| simplify/javafe.test.Print.761.smt |
unsat |
0.0 |
yes |
| simplify/javafe.test.Print.762.smt |
unsat |
0.1 |
yes |
| simplify/javafe.util.ErrorSet.781.smt |
unsat |
0.0 |
yes |
| simplify/javafe.util.FileCorrelatedReader.783.smt |
unsat |
0.0 |
yes |
| simplify/javafe.util.FileCorrelatedReader.788.smt |
unsat |
0.1 |
yes |
| simplify/javafe.util.LocationManagerCorrelatedReader.798.smt |
unsat |
0.2 |
yes |
| simplify/javafe.util.LocationManagerCorrelatedReader.801.smt |
unsat |
0.1 |
yes |
| simplify/tohtml.Java2Html.833.smt |
unsat |
1.9 |
yes |