detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 4.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1046.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.960s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.472s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.479s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1045.smt2 (content) unsat unknown 0.053s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unknown 0.721s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unknown 0.307s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unknown 0.305s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1044.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1043.smt2 (content) unsat unknown 0.697s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1043.smt2 (content) unsat unknown 0.458s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1043.smt2 (content) unsat unknown 0.448s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1043.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1042.smt2 (content) unsat unknown 0.795s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1042.smt2 (content) unsat unknown 0.303s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1042.smt2 (content) unsat unknown 0.298s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1042.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1041.smt2 (content) unsat unknown 0.542s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1041.smt2 (content) unsat unknown 0.258s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1041.smt2 (content) unsat unknown 0.260s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1041.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1040.smt2 (content) unsat unknown 0.826s