detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410346/gensys_icl1183.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410346/gensys_icl1183.smt2 (content) unsat unsat 0.112s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410345/gensys_icl1182.smt2 (content) unsat unsat 5.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410345/gensys_icl1182.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410344/gensys_icl1181.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410344/gensys_icl1181.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410343/gensys_icl1180.smt2 (content) unsat unsat 7.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410343/gensys_icl1180.smt2 (content) unsat unsat 0.146s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410342/gensys_icl118.smt2 (content) unsat unsat 2.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410342/gensys_icl118.smt2 (content) unsat unsat 0.229s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410341/gensys_icl1179.smt2 (content) unsat unsat 2.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410341/gensys_icl1179.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410340/gensys_icl1178.smt2 (content) unsat unsat 4.0s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410340/gensys_icl1178.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410339/gensys_icl1177.smt2 (content) unsat unsat 2.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410339/gensys_icl1177.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410338/gensys_icl1176.smt2 (content) unsat unsat 4.4s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410338/gensys_icl1176.smt2 (content) unsat unsat 0.150s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410337/gensys_icl1175.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410337/gensys_icl1175.smt2 (content) unsat unsat 0.096s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410336/gensys_icl1174.smt2 (content) unsat unsat 0.544s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410336/gensys_icl1174.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410335/gensys_icl1173.smt2 (content) unsat unsat 0.325s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410335/gensys_icl1173.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410334/gensys_icl1172.smt2 (content) unsat unsat 0.523s