detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1090.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn109.smt2 (content) unsat unknown 0.136s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1089.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1088.smt2 (content) sat unknown 0.012s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1087.smt2 (content) sat unknown 0.067s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1086.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1085.smt2 (content) sat unknown 0.063s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1084.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1083.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1082.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1081.smt2 (content) sat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1080.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn108.smt2 (content) sat unknown 0.120s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unknown 0.111s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unknown 0.108s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat unknown 0.091s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat unknown 0.068s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unknown 0.121s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat unknown 0.098s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat unknown 0.058s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat unknown 0.126s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unknown 0.177s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat unknown 0.110s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unknown 0.159s