detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn001.smt2 (content) sat unknown 0.012s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unknown 9.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unknown 9.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk013.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) unknown unknown 10.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) unknown unknown 10.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk012.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unknown 6.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unknown 5.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk011.smt2 (content) unsat unknown 0.153s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unknown 3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unknown 0.076s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk009.smt2 (content) unsat unknown 0.219s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unknown 8.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unknown 8.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk008.smt2 (content) unsat unknown 0.108s