detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-032.cnf (content) unsat unsat 0.131s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-032.cnf (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-031.cnf (content) unsat unsat 0.100s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-031.cnf (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-030.cnf (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-030.cnf (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-03.cnf (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-03.cnf (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-029.cnf (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-029.cnf (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-028.cnf (content) unsat unsat 0.171s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-028.cnf (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-027.cnf (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-027.cnf (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-026.cnf (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-026.cnf (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-025.cnf (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-025.cnf (content) unsat unsat 0.061s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-024.cnf (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-024.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-023.cnf (content) unsat unsat 0.119s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-023.cnf (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-022.cnf (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-022.cnf (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.320s