detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd002.smt2 (content) timeout unsat 12.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd002.smt2 (content) unsat unsat 6.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd001.smt2 (content) timeout unsat 14.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/dead_dnd001.smt2 (content) unsat unsat 9.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl999.smt2 (content) unsat unsat 0.204s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl999.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl998.smt2 (content) unsat unsat 0.385s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl998.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl997.smt2 (content) unsat unsat 0.334s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl997.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl996.smt2 (content) unsat unsat 0.348s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl996.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl995.smt2 (content) unsat unsat 0.468s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl995.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl994.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl994.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl993.smt2 (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl993.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl992.smt2 (content) unsat unsat 0.117s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl992.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl991.smt2 (content) unsat unsat 0.739s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl991.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl990.smt2 (content) unsat unsat 0.421s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl990.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl989.smt2 (content) unsat unsat 0.312s