detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unknown 8.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) unsat unknown 0.231s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unknown 6.7s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unknown 0.144s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) unsat unknown 0.198s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unknown 9.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unknown 0.117s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) unsat unknown 3.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unknown 5.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unknown 0.155s