detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl249.smt2 (content) unsat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unknown 5.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unknown 5.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) unsat unknown 0.081s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 0.637s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 0.432s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 0.447s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl247.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl246.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 1.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl245.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.707s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.287s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.282s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl244.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 0.943s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 0.964s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl243.smt2 (content) unsat unknown 0.033s