detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411921/iso_brn266.smt2 (content) unsat unsat 0.077s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411921/iso_brn266.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411920/iso_brn265.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411920/iso_brn265.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411919/iso_brn264.smt2 (content) sat sat 0.069s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411919/iso_brn264.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411918/iso_brn263.smt2 (content) sat sat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411918/iso_brn263.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411917/iso_brn262.smt2 (content) sat sat 0.067s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411917/iso_brn262.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411916/iso_brn261.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411916/iso_brn261.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411915/iso_brn260.smt2 (content) sat sat 0.097s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411915/iso_brn260.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411914/iso_brn259.smt2 (content) sat sat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411914/iso_brn259.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411913/iso_brn258.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411913/iso_brn258.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411912/iso_brn257.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411912/iso_brn257.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411911/iso_brn256.smt2 (content) sat sat 0.126s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411911/iso_brn256.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411910/iso_brn255.smt2 (content) sat sat 0.084s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411910/iso_brn255.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411909/iso_brn254.smt2 (content) sat sat 0.079s