detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 2.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.910s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.899s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl217.smt2 (content) unsat unknown 0.064s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.364s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.184s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.185s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl216.smt2 (content) unsat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.533s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.530s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl215.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.398s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.401s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl214.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 1.6s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.414s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.411s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl213.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.324s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.145s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl212.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl211.smt2 (content) unsat unknown 1.9s