detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412996/iso_icl122.smt2 (content) unsat unsat 0.152s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412996/iso_icl122.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412995/iso_icl1219.smt2 (content) unsat unsat 0.113s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412995/iso_icl1219.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412994/iso_icl1218.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412994/iso_icl1218.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412993/iso_icl1217.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412993/iso_icl1217.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412992/iso_icl1216.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412992/iso_icl1216.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412991/iso_icl1215.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412991/iso_icl1215.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412990/iso_icl1214.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412990/iso_icl1214.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412989/iso_icl1213.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412989/iso_icl1213.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412988/iso_icl1212.smt2 (content) unsat unsat 0.083s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412988/iso_icl1212.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412987/iso_icl1211.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412987/iso_icl1211.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412986/iso_icl1210.smt2 (content) unsat unsat 0.127s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412986/iso_icl1210.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412985/iso_icl121.smt2 (content) unsat unsat 0.164s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412985/iso_icl121.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412984/iso_icl1209.smt2 (content) unsat unsat 0.088s