detailed results (4253 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) unsat unknown 0.314s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) unsat unknown 0.068s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1148.smt2 (content) unsat unknown 0.087s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1104.smt2 (content) unsat unknown 0.282s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1103.smt2 (content) unsat unknown 0.409s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1098.smt2 (content) unsat unknown 0.460s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1087.smt2 (content) unsat unknown 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1085.smt2 (content) unsat unknown 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1083.smt2 (content) unsat unknown 0.030s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1074.smt2 (content) unsat unknown 0.489s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1073.smt2 (content) unsat unknown 0.459s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1071.smt2 (content) unsat unknown 0.503s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1061.smt2 (content) unsat unknown 0.037s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1057.smt2 (content) unsat unknown 0.140s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unknown 0.394s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unknown 0.456s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 0.124s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1041.smt2 (content) unsat unknown 0.589s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1038.smt2 (content) unsat unknown 0.033s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1034.smt2 (content) unsat unknown 0.195s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1030.smt2 (content) unsat unknown 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1025.smt2 (content) unsat unknown 0.700s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1024.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn1000.smt2 (content) unsat unknown 0.079s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) unsat unknown 0.484s