detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl002.smt2 (content) unsat unknown 0.180s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl001.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl001.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl001.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl001.smt2 (content) unsat unknown 0.788s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk017.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk017.smt2 (content) unsat unknown 6.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk017.smt2 (content) unsat unknown 6.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk017.smt2 (content) unsat unknown 0.078s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 2.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 0.181s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk016.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 0.169s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 0.168s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk015.smt2 (content) sat unknown 0.077s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 0.202s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk014.smt2 (content) sat unknown 0.031s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 0.241s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk013.smt2 (content) sat unknown 0.042s