5 int main(int argc, char **argv) {
7 printf("You should specify file names ...");
11 for (int i = 1; i < argc; i++) {
12 CSolver *solver = CSolver::deserialize(argv[i]);
13 CSolver *copy = solver->clone();
14 CSolver *copy2 = solver->clone();
15 CSolver *copy3 = solver->clone();
16 CSolver *copy4 = solver->clone();
17 int value = copy->solve();
19 printf("Copy %s is SAT\n", argv[i]);
21 printf("Copy %s is UNSAT\n", argv[i]);
23 value = copy2->solve();
25 printf("Copy2 %s is SAT\n", argv[i]);
27 printf("Copy2 %s is UNSAT\n", argv[i]);
29 value = copy3->solve();
31 printf("Copy3 %s is SAT\n", argv[i]);
33 printf("Copy3 %s is UNSAT\n", argv[i]);
35 value = copy4->solve();
37 printf("Copy4 %s is SAT\n", argv[i]);
39 printf("Copy4 %s is UNSAT\n", argv[i]);
41 value = solver->solve();
43 printf("Original %s is SAT\n", argv[i]);
45 printf("Original %s is UNSAT\n", argv[i]);