detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413759/iso_icl821.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413758/iso_icl820.smt2 (content) unsat unsat 0.207s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413758/iso_icl820.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413757/iso_icl819.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413757/iso_icl819.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413756/iso_icl818.smt2 (content) unsat unsat 0.391s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413756/iso_icl818.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413755/iso_icl817.smt2 (content) unsat unsat 0.229s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413755/iso_icl817.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413754/iso_icl816.smt2 (content) unsat unsat 0.264s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413754/iso_icl816.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413753/iso_icl815.smt2 (content) unsat unsat 0.316s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413753/iso_icl815.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413752/iso_icl814.smt2 (content) unsat unsat 0.160s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413752/iso_icl814.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413751/iso_icl813.smt2 (content) unsat unsat 0.360s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413751/iso_icl813.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413750/iso_icl812.smt2 (content) unsat unsat 0.216s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413750/iso_icl812.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413749/iso_icl811.smt2 (content) unsat unsat 0.227s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413749/iso_icl811.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413748/iso_icl810.smt2 (content) unsat unsat 0.239s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413748/iso_icl810.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413747/iso_icl809.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413747/iso_icl809.smt2 (content) unsat unsat 0.030s