1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#!/usr/bin/perl
use strict;
use warnings;
use Cwd;
my $filename = shift(@ARGV);
my $dbm_store = (Cwd::getcwd() . "/" . "dbm_store.leveldb");
my $dump_file = "$filename-dump";
if (-e $dbm_store)
{
die "DBM store '$dbm_store' exists.";
}
if (-e $dump_file)
{
die "Dump file $dump_file exists.";
}
exec(
"./dbm_fc_solver",
"-o", $dump_file,
"--dbm-store-path", $dbm_store,
# "--dbm-store-path", (Cwd::getcwd() . "/" . "dbm_store.bdb"),
"--pre-cache-max-count", 10_000_000,
"--caches-delta", 20_000_000,
# Very important to only have one thread because we nullified the locking
# checks (using an #ifdef).
"--num-threads", 1,
$filename
);
|
