detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410396/gensys_icl1229.smt2 (content) unsat unsat 0.315s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410396/gensys_icl1229.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410395/gensys_icl1228.smt2 (content) unsat unsat 0.368s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410395/gensys_icl1228.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410394/gensys_icl1227.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410394/gensys_icl1227.smt2 (content) unsat unsat 0.356s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410393/gensys_icl1226.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410393/gensys_icl1226.smt2 (content) unsat unsat 0.301s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410392/gensys_icl1225.smt2 (content) unsat unsat 3s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410392/gensys_icl1225.smt2 (content) unsat unsat 0.258s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410391/gensys_icl1224.smt2 (content) unsat unsat 7.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410391/gensys_icl1224.smt2 (content) unsat unsat 0.111s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410390/gensys_icl1223.smt2 (content) unsat unsat 6.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410390/gensys_icl1223.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410389/gensys_icl1222.smt2 (content) unsat unsat 4.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410389/gensys_icl1222.smt2 (content) unsat unsat 0.441s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410388/gensys_icl1221.smt2 (content) unsat unsat 5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410388/gensys_icl1221.smt2 (content) unsat unsat 0.347s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410387/gensys_icl1220.smt2 (content) unsat unsat 5.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410387/gensys_icl1220.smt2 (content) unsat unsat 0.569s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410386/gensys_icl122.smt2 (content) timeout unsat 11s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410386/gensys_icl122.smt2 (content) unsat unsat 0.821s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410385/gensys_icl1219.smt2 (content) unsat unsat 5.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410385/gensys_icl1219.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410384/gensys_icl1218.smt2 (content) unsat unsat 5.2s