detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1131.smt2 (content) unsat unknown 0.397s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1131.smt2 (content) unsat unknown 0.390s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1131.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1130.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1130.smt2 (content) unsat unknown 0.878s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1130.smt2 (content) unsat unknown 0.907s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1130.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl113.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl113.smt2 (content) unsat unknown 5.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl113.smt2 (content) unsat unknown 5.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl113.smt2 (content) unsat unknown 0.539s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1129.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1129.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1129.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1129.smt2 (content) unsat unknown 0.036s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1128.smt2 (content) unsat unknown 0.608s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1128.smt2 (content) unsat unknown 0.731s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1128.smt2 (content) unsat unknown 0.737s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1128.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1127.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1127.smt2 (content) unsat unknown 2.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1127.smt2 (content) unsat unknown 2.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1127.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1126.smt2 (content) unsat unknown 0.822s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1126.smt2 (content) unsat unknown 0.294s