detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn051.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 0.192s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 0.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn050.smt2 (content) sat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.856s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.181s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn049.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) sat unknown 0.339s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) sat unknown 0.333s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn048.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn047.smt2 (content) unsat unknown 2.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn047.smt2 (content) unsat unknown 0.415s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn047.smt2 (content) unsat unknown 0.417s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn047.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.840s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.283s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.280s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn046.smt2 (content) sat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 4.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 0.324s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 0.317s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn045.smt2 (content) sat unknown 0.044s