detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410696/gensys_icl368.smt2 (content) unsat unsat 7.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410696/gensys_icl368.smt2 (content) unsat unsat 0.410s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410695/gensys_icl367.smt2 (content) unsat unsat 7.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410695/gensys_icl367.smt2 (content) unsat unsat 0.592s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410694/gensys_icl366.smt2 (content) unsat unsat 8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410694/gensys_icl366.smt2 (content) unsat unsat 0.777s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410693/gensys_icl365.smt2 (content) unsat unsat 9.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410693/gensys_icl365.smt2 (content) unsat unsat 0.448s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410692/gensys_icl364.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410692/gensys_icl364.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410691/gensys_icl363.smt2 (content) unsat unsat 3.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410691/gensys_icl363.smt2 (content) unsat unsat 0.228s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410690/gensys_icl362.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410690/gensys_icl362.smt2 (content) unsat unsat 0.452s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410689/gensys_icl361.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410689/gensys_icl361.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410688/gensys_icl360.smt2 (content) unsat unsat 3.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410688/gensys_icl360.smt2 (content) unsat unsat 0.169s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410687/gensys_icl359.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410687/gensys_icl359.smt2 (content) unsat unsat 0.319s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410686/gensys_icl358.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410686/gensys_icl358.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410685/gensys_icl357.smt2 (content) unsat unsat 2.6s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410685/gensys_icl357.smt2 (content) unsat unsat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410684/gensys_icl356.smt2 (content) unsat unsat 1.8s