detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl083.smt2 (content) unsat unknown 0.220s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl082.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl082.smt2 (content) unsat unknown 6.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl082.smt2 (content) unsat unknown 0.420s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl081.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl081.smt2 (content) unsat unknown 4.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl081.smt2 (content) unsat unknown 0.457s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl080.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl080.smt2 (content) unsat unknown 2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl080.smt2 (content) unsat unknown 0.340s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl079.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl079.smt2 (content) unsat unknown 3.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl079.smt2 (content) unsat unknown 0.424s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl078.smt2 (content) unsat unknown 7.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl078.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl078.smt2 (content) unsat unknown 0.416s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl077.smt2 (content) timeout unknown 23.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl077.smt2 (content) unsat unknown 7.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl077.smt2 (content) unsat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl076.smt2 (content) timeout unknown 10.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl076.smt2 (content) unsat unknown 6.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl076.smt2 (content) unsat unknown 0.803s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl075.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl075.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl075.smt2 (content) unsat unknown 0.162s