detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl807.smt2 (content) unsat unknown 7.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl807.smt2 (content) unsat unknown 0.495s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl806.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl806.smt2 (content) unsat unknown 8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl806.smt2 (content) unsat unknown 0.544s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) timeout unknown 10.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) unknown unknown 11.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl805.smt2 (content) unsat unknown 0.647s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl804.smt2 (content) unsat unknown 0.978s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 5.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 4.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl803.smt2 (content) unsat unknown 0.240s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl802.smt2 (content) unsat unknown 0.942s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) timeout unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) timeout unknown 11.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl801.smt2 (content) unsat unknown 0.990s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl800.smt2 (content) unsat unknown 0.979s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl799.smt2 (content) unsat unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl799.smt2 (content) unsat unknown 2.6s