detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unknown 0.916s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unknown 0.928s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl361.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unknown 5.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unknown 2.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unknown 2.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl360.smt2 (content) unsat unknown 0.135s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unknown 5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unknown 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl359.smt2 (content) unsat unknown 0.264s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unknown 1.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl358.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unknown 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl357.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl356.smt2 (content) unsat unknown 0.140s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl355.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl355.smt2 (content) unsat unknown 1.7s