detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl033.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.183s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.133s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.134s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl032.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.115s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.081s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl031.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.492s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.405s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.402s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl030.smt2 (content) unsat unknown 0.055s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 0.638s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 0.647s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl029.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.444s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.260s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl028.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 0.668s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 0.667s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl027.smt2 (content) unsat unknown 0.069s