detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410284/gensys_icl1127.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410283/gensys_icl1126.smt2 (content) unsat unsat 0.412s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410283/gensys_icl1126.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410282/gensys_icl1125.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410282/gensys_icl1125.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410281/gensys_icl1124.smt2 (content) unsat unsat 2.9s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410281/gensys_icl1124.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410280/gensys_icl1123.smt2 (content) unsat unsat 3.7s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410280/gensys_icl1123.smt2 (content) unsat unsat 0.344s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410279/gensys_icl1122.smt2 (content) unsat unsat 3.8s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410279/gensys_icl1122.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410278/gensys_icl1121.smt2 (content) unsat unsat 2.1s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410278/gensys_icl1121.smt2 (content) unsat unsat 0.633s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410277/gensys_icl1120.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410277/gensys_icl1120.smt2 (content) unsat unsat 0.267s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410276/gensys_icl112.smt2 (content) unsat unsat 3.5s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410276/gensys_icl112.smt2 (content) unsat unsat 0.592s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410275/gensys_icl1119.smt2 (content) unsat unsat 3.2s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410275/gensys_icl1119.smt2 (content) unsat unsat 0.545s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410274/gensys_icl1118.smt2 (content) unsat unsat 0.537s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410274/gensys_icl1118.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410273/gensys_icl1117.smt2 (content) unsat unsat 0.412s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410273/gensys_icl1117.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410272/gensys_icl1116.smt2 (content) unsat unsat 0.577s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410272/gensys_icl1116.smt2 (content) unsat unsat 0.130s