detailed results (2841 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk002.smt2 (content) sat unknown 0.249s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn_sk001.smt2 (content) sat unknown 0.183s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn002.smt2 (content) sat unknown 8.4s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/gensys_brn001.smt2 (content) sat unknown 0.845s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn998.smt2 (content) sat unknown 0.117s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn997.smt2 (content) sat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn995.smt2 (content) sat unknown 0.100s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn994.smt2 (content) sat unknown 0.164s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn993.smt2 (content) sat unknown 0.150s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn991.smt2 (content) sat unknown 0.132s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn990.smt2 (content) sat unknown 0.135s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn989.smt2 (content) sat unknown 0.118s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn986.smt2 (content) sat unknown 0.091s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn982.smt2 (content) sat unknown 0.127s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn981.smt2 (content) sat unknown 0.092s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn980.smt2 (content) sat unknown 0.119s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn979.smt2 (content) sat unknown 0.108s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn978.smt2 (content) sat unknown 0.073s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn977.smt2 (content) sat unknown 0.069s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn974.smt2 (content) sat unknown 0.053s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn973.smt2 (content) sat unknown 0.067s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn970.smt2 (content) sat unknown 0.074s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn969.smt2 (content) sat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn968.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn966.smt2 (content) sat unknown 0.049s