detailed results (2853 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn224.smt2 (content) sat sat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn222.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn221.smt2 (content) sat sat 0.078s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn220.smt2 (content) sat sat 0.105s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn218.smt2 (content) sat sat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn216.smt2 (content) sat sat 0.170s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn215.smt2 (content) sat sat 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn214.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn210.smt2 (content) sat sat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn209.smt2 (content) sat sat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn207.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn206.smt2 (content) sat sat 0.334s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn205.smt2 (content) sat sat 0.116s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn201.smt2 (content) sat sat 0.146s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn200.smt2 (content) sat sat 0.170s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn199.smt2 (content) sat sat 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn198.smt2 (content) sat sat 0.161s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn197.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn196.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn193.smt2 (content) sat sat 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn192.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn189.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn187.smt2 (content) sat sat 0.178s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn184.smt2 (content) sat sat 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn183.smt2 (content) sat sat 0.082s