detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk017.smt2 (content) sat unknown 0.092s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk016.smt2 (content) sat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk016.smt2 (content) sat unknown 0.654s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk016.smt2 (content) sat unknown 0.635s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk016.smt2 (content) sat unknown 0.100s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk015.smt2 (content) sat unknown 3.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk015.smt2 (content) sat unknown 0.540s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk015.smt2 (content) sat unknown 0.517s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk015.smt2 (content) sat unknown 0.086s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk014.smt2 (content) sat unknown 2.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk014.smt2 (content) sat unknown 0.461s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk014.smt2 (content) sat unknown 0.445s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk014.smt2 (content) sat unknown 0.088s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk013.smt2 (content) sat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk013.smt2 (content) sat unknown 0.576s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk013.smt2 (content) sat unknown 0.573s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk013.smt2 (content) sat unknown 0.081s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk012.smt2 (content) sat unknown 0.715s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk012.smt2 (content) sat unknown 0.354s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk012.smt2 (content) sat unknown 0.372s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk012.smt2 (content) sat unknown 0.084s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk011.smt2 (content) sat unknown 0.546s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk011.smt2 (content) sat unknown 0.408s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk011.smt2 (content) sat unknown 0.416s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen_sk011.smt2 (content) sat unknown 0.105s