detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl605.smt2 (content) unsat unknown 5.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl605.smt2 (content) unsat unknown 0.442s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) unsat unknown 4.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) unsat unknown 4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl604.smt2 (content) unsat unknown 0.299s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) unsat unknown 2.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) unsat unknown 2.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl603.smt2 (content) unsat unknown 0.269s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) unsat unknown 2.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl602.smt2 (content) unsat unknown 0.273s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) unsat unknown 4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl601.smt2 (content) unsat unknown 0.379s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unknown 8.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl600.smt2 (content) unsat unknown 0.357s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl599.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl599.smt2 (content) unsat unknown 0.728s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl599.smt2 (content) unsat unknown 0.772s