detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412371/iso_brn716.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412371/iso_brn716.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412370/iso_brn715.smt2 (content) sat sat 0.075s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412370/iso_brn715.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412369/iso_brn714.smt2 (content) sat sat 0.080s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412369/iso_brn714.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412368/iso_brn713.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412368/iso_brn713.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412367/iso_brn712.smt2 (content) sat sat 0.100s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412367/iso_brn712.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.253s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412365/iso_brn710.smt2 (content) sat sat 0.092s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412365/iso_brn710.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412364/iso_brn709.smt2 (content) sat sat 0.202s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412364/iso_brn709.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412363/iso_brn708.smt2 (content) sat sat 0.111s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412363/iso_brn708.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412362/iso_brn707.smt2 (content) sat sat 0.137s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412362/iso_brn707.smt2 (content) sat sat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412361/iso_brn706.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412361/iso_brn706.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412360/iso_brn705.smt2 (content) sat sat 0.172s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412360/iso_brn705.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.093s