detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413009/iso_icl1231.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413008/iso_icl1230.smt2 (content) unsat unsat 0.093s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413008/iso_icl1230.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413007/iso_icl123.smt2 (content) unsat unsat 0.182s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413007/iso_icl123.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413006/iso_icl1229.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413006/iso_icl1229.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413005/iso_icl1228.smt2 (content) unsat unsat 0.051s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413005/iso_icl1228.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413004/iso_icl1227.smt2 (content) unsat unsat 0.146s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413004/iso_icl1227.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413003/iso_icl1226.smt2 (content) unsat unsat 0.107s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413003/iso_icl1226.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413002/iso_icl1225.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413002/iso_icl1225.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413001/iso_icl1224.smt2 (content) unsat unsat 0.073s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413001/iso_icl1224.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413000/iso_icl1223.smt2 (content) unsat unsat 0.145s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413000/iso_icl1223.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412999/iso_icl1222.smt2 (content) unsat unsat 0.206s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412999/iso_icl1222.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412998/iso_icl1221.smt2 (content) unsat unsat 0.162s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412998/iso_icl1221.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412997/iso_icl1220.smt2 (content) unsat unsat 0.178s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412997/iso_icl1220.smt2 (content) unsat unsat 0.030s