detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn010.smt2 (content) sat sat 3.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn010.smt2 (content) sat sat 0.338s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn009.smt2 (content) sat sat 3.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn009.smt2 (content) sat sat 0.317s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn008.smt2 (content) sat sat 3.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn008.smt2 (content) sat sat 0.228s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn007.smt2 (content) sat sat 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn007.smt2 (content) sat sat 0.338s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn006.smt2 (content) sat sat 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn006.smt2 (content) sat sat 0.196s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn005.smt2 (content) sat sat 3.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn005.smt2 (content) sat sat 0.250s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn004.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn004.smt2 (content) sat sat 0.307s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat sat 2.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/gensys_brn003.smt2 (content) sat sat 0.278s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unsat 0.686s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk013.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unsat 0.746s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk012.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unsat 0.656s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk011.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unsat 0.287s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk010.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_icl_sk009.smt2 (content) unsat unsat 0.701s