detailed results (2999 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn173.smt2 (content) sat sat 0.139s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn166.smt2 (content) sat sat 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn165.smt2 (content) sat sat 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn164.smt2 (content) sat sat 0.137s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn163.smt2 (content) sat sat 0.328s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn162.smt2 (content) sat sat 0.163s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn161.smt2 (content) sat sat 0.137s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn160.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn159.smt2 (content) sat sat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn152.smt2 (content) sat sat 0.283s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn151.smt2 (content) sat sat 0.097s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn150.smt2 (content) sat sat 0.118s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn143.smt2 (content) sat sat 0.178s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn137.smt2 (content) sat sat 0.176s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn135.smt2 (content) sat sat 0.495s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn134.smt2 (content) sat sat 0.305s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn133.smt2 (content) sat sat 0.214s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1326.smt2 (content) sat sat 0.091s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1325.smt2 (content) sat sat 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1321.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1320.smt2 (content) sat sat 0.104s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn132.smt2 (content) sat sat 0.319s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1319.smt2 (content) sat sat 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1317.smt2 (content) sat sat 0.111s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1316.smt2 (content) sat sat 0.111s