detailed results (7772 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk015.smt2 (content) unsat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk014.smt2 (content) unsat unknown 0.145s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk014.smt2 (content) unsat unknown 0.145s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk011.smt2 (content) unsat unknown 0.135s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk011.smt2 (content) unsat unknown 0.130s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unknown 0.188s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unknown 0.183s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unknown 0.291s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unknown 0.290s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unknown 0.442s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unknown 0.429s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn011.smt2 (content) unsat unknown 0.422s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn011.smt2 (content) unsat unknown 0.419s
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
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
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
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
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) unsat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk007.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unknown 4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unknown 4s