detailed results (13300 total)

prover file res expected time
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414559/iso_icl002.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414558/iso_icl001.smt2 (content) unsat unsat 0.131s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414558/iso_icl001.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414557/iso_brn_sk055.smt2 (content) sat sat 0.471s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414557/iso_brn_sk055.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414556/iso_brn_sk054.smt2 (content) unsat unsat 0.633s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414556/iso_brn_sk054.smt2 (content) unsat unsat 0.075s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414555/iso_brn_sk053.smt2 (content) sat sat 0.358s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414555/iso_brn_sk053.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414554/iso_brn_sk052.smt2 (content) sat sat 0.686s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414554/iso_brn_sk052.smt2 (content) sat sat 0.109s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414553/iso_brn_sk051.smt2 (content) sat sat 0.393s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414553/iso_brn_sk051.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414552/iso_brn_sk050.smt2 (content) sat sat 0.222s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414552/iso_brn_sk050.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414551/iso_brn_sk049.smt2 (content) sat sat 0.248s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414551/iso_brn_sk049.smt2 (content) sat sat 0.049s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414550/iso_brn_sk048.smt2 (content) sat sat 0.391s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414550/iso_brn_sk048.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414549/iso_brn_sk047.smt2 (content) unsat unsat 0.530s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414549/iso_brn_sk047.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414548/iso_brn_sk046.smt2 (content) sat sat 0.329s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414548/iso_brn_sk046.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414547/iso_brn_sk045.smt2 (content) sat sat 0.855s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414547/iso_brn_sk045.smt2 (content) sat sat 0.068s