detailed results (2853 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn181.smt2 (content) sat sat 0.081s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn180.smt2 (content) sat sat 0.162s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn178.smt2 (content) sat sat 0.124s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn177.smt2 (content) sat sat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn176.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn175.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn174.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat sat 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn166.smt2 (content) sat sat 0.367s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn165.smt2 (content) sat sat 0.165s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn164.smt2 (content) sat sat 0.140s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn163.smt2 (content) sat sat 0.320s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn162.smt2 (content) sat sat 0.944s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn161.smt2 (content) sat sat 0.275s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn160.smt2 (content) sat sat 0.393s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn159.smt2 (content) sat sat 0.150s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn152.smt2 (content) sat sat 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn151.smt2 (content) sat sat 0.085s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn150.smt2 (content) sat sat 0.103s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn143.smt2 (content) sat sat 0.210s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn137.smt2 (content) sat sat 0.134s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn135.smt2 (content) sat sat 0.260s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn134.smt2 (content) sat sat 0.321s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn133.smt2 (content) sat sat 0.526s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1326.smt2 (content) sat sat 0.182s