detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl755.smt2 (content) unsat unknown 5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl755.smt2 (content) unsat unknown 0.340s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl754.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl754.smt2 (content) unsat unknown 7.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl754.smt2 (content) unsat unknown 7.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl754.smt2 (content) unsat unknown 0.411s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) unsat unknown 0.651s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl752.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl752.smt2 (content) unsat unknown 2.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl752.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl752.smt2 (content) unsat unknown 0.276s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl751.smt2 (content) unsat unknown 0.585s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl751.smt2 (content) unsat unknown 0.279s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl751.smt2 (content) unsat unknown 0.283s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl751.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl750.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl750.smt2 (content) unsat unknown 4.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl750.smt2 (content) unsat unknown 4.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl750.smt2 (content) unsat unknown 0.191s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unknown 0.454s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unknown 0.816s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl749.smt2 (content) unsat unknown 0.826s