detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410446/gensys_icl1274.smt2 (content) unsat unsat 1.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410446/gensys_icl1274.smt2 (content) unsat unsat 0.245s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410445/gensys_icl1273.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410445/gensys_icl1273.smt2 (content) unsat unsat 0.171s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410444/gensys_icl1272.smt2 (content) unsat unsat 1.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410444/gensys_icl1272.smt2 (content) unsat unsat 0.192s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410443/gensys_icl1271.smt2 (content) unsat unsat 0.589s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410443/gensys_icl1271.smt2 (content) unsat unsat 0.159s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410442/gensys_icl1270.smt2 (content) unsat unsat 0.970s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410442/gensys_icl1270.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410441/gensys_icl127.smt2 (content) unsat unsat 5.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410441/gensys_icl127.smt2 (content) unsat unsat 0.446s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410440/gensys_icl1269.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410440/gensys_icl1269.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410439/gensys_icl1268.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410439/gensys_icl1268.smt2 (content) unsat unsat 0.176s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410438/gensys_icl1267.smt2 (content) unsat unsat 0.838s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410438/gensys_icl1267.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410437/gensys_icl1266.smt2 (content) unsat unsat 3.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410437/gensys_icl1266.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410436/gensys_icl1265.smt2 (content) unsat unsat 0.936s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410436/gensys_icl1265.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410435/gensys_icl1264.smt2 (content) unsat unsat 0.570s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410435/gensys_icl1264.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410434/gensys_icl1263.smt2 (content) unsat unsat 4.5s