detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1141.smt2 (content) unsat unknown 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1141.smt2 (content) unsat unknown 0.013s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unknown 0.056s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unknown 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unknown 0.050s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unknown 0.013s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unknown 0.052s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unknown 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unknown 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unknown 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1138.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unknown 0.078s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unknown 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat unknown 0.088s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat unknown 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1136.smt2 (content) sat unknown 0.057s