detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) unknown unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) unsat unknown 0.324s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) unknown unknown 10.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) unknown unknown 10.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 5.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 5.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 0.191s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) unsat unknown 0.777s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) unknown unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) unknown unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) unsat unknown 0.681s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) unsat unknown 0.956s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl799.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl799.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl799.smt2 (content) unsat unknown 1.0s