detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412946/iso_icl1174.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412946/iso_icl1174.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412945/iso_icl1173.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412945/iso_icl1173.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412944/iso_icl1172.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412944/iso_icl1172.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412943/iso_icl1171.smt2 (content) unsat unsat 0.090s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412943/iso_icl1171.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412942/iso_icl1170.smt2 (content) unsat unsat 0.118s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412942/iso_icl1170.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412941/iso_icl117.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412941/iso_icl117.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412940/iso_icl1169.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412940/iso_icl1169.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412939/iso_icl1168.smt2 (content) unsat unsat 0.096s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412939/iso_icl1168.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412938/iso_icl1167.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412938/iso_icl1167.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.201s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.086s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/412934/iso_icl1163.smt2 (content) unsat unsat 0.080s