detailed results (1611 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-044.cnf (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf (content) unsat unsat 0.258s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf (content) unsat unsat 0.145s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-038.cnf (content) unsat unsat 0.220s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-037.cnf (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-036.cnf (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-035.cnf (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-034.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-033.cnf (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-032.cnf (content) unsat unsat 0.131s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-031.cnf (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-030.cnf (content) unsat unsat 0.197s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-03.cnf (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-029.cnf (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-028.cnf (content) unsat unsat 0.171s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-027.cnf (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-026.cnf (content) unsat unsat 0.094s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-025.cnf (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-024.cnf (content) unsat unsat 0.118s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-023.cnf (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-022.cnf (content) unsat unsat 0.111s