detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412074/iso_brn419.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412069/iso_brn414.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412066/iso_brn411.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412064/iso_brn409.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.093s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.178s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.168s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.170s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.126s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.104s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.131s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.202s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.166s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412006/iso_brn351.smt2 (content) unsat unsat 0.118s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412001/iso_brn346.smt2 (content) unsat unsat 0.174s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412000/iso_brn345.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411999/iso_brn344.smt2 (content) unsat unsat 0.172s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411996/iso_brn341.smt2 (content) unsat unsat 0.182s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411988/iso_brn333.smt2 (content) unsat unsat 0.117s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411986/iso_brn331.smt2 (content) unsat unsat 0.119s