detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409921/gensys_brn876.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409921/gensys_brn876.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2 (content) unsat unsat 0.160s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409919/gensys_brn874.smt2 (content) sat sat 0.399s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409919/gensys_brn874.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409918/gensys_brn873.smt2 (content) sat sat 0.244s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409918/gensys_brn873.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409917/gensys_brn872.smt2 (content) sat sat 0.352s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409917/gensys_brn872.smt2 (content) sat sat 0.068s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409916/gensys_brn871.smt2 (content) sat sat 0.328s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409916/gensys_brn871.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409915/gensys_brn870.smt2 (content) sat sat 0.291s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409915/gensys_brn870.smt2 (content) sat sat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409913/gensys_brn868.smt2 (content) unsat unsat 0.496s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409913/gensys_brn868.smt2 (content) unsat unsat 0.343s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409912/gensys_brn867.smt2 (content) sat sat 0.235s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409912/gensys_brn867.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409911/gensys_brn866.smt2 (content) sat sat 0.284s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409911/gensys_brn866.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409910/gensys_brn865.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409910/gensys_brn865.smt2 (content) sat sat 0.114s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409909/gensys_brn864.smt2 (content) sat sat 0.225s