detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.200s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 0.298s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409867/gensys_brn822.smt2 (content) sat sat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 0.520s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.185s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409865/gensys_brn820.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.273s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409863/gensys_brn818.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409862/gensys_brn817.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.280s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409861/gensys_brn816.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409860/gensys_brn815.smt2 (content) sat sat 0.194s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409860/gensys_brn815.smt2 (content) sat sat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409859/gensys_brn814.smt2 (content) sat sat 0.118s