detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) unsat unknown 4.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) unsat unknown 0.414s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 5.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 2.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl704.smt2 (content) unsat unknown 0.390s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 3.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl703.smt2 (content) unsat unknown 0.238s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unknown 6.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unknown 6.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) unsat unknown 0.379s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 8.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 2.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) unsat unknown 0.389s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unknown 5.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unknown 5.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) unsat unknown 0.560s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 6.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 9.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 9.7s