detailed results (3039 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl002.smt2 (content) unsat unsat 0.266s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl001.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk016.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk015.smt2 (content) unsat unsat 0.213s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk014.smt2 (content) unsat unsat 0.433s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_sk011.smt2 (content) unsat unsat 0.465s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unsat 0.523s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unsat 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unsat 0.767s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn011.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk010.smt2 (content) unsat unsat 9.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk006.smt2 (content) unsat unsat 8.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk003.smt2 (content) unsat unsat 8.1s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_icl_sk002.smt2 (content) unsat unsat 9.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd_sk002.smt2 (content) unsat unsat 9.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl999.smt2 (content) unsat unsat 0.204s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl998.smt2 (content) unsat unsat 0.385s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl997.smt2 (content) unsat unsat 0.334s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl996.smt2 (content) unsat unsat 0.348s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl995.smt2 (content) unsat unsat 0.468s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl994.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl993.smt2 (content) unsat unsat 0.113s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl992.smt2 (content) unsat unsat 0.117s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl991.smt2 (content) unsat unsat 0.739s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl990.smt2 (content) unsat unsat 0.421s