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
35
36
37
38
39
40
41
42
43
44
45
|
#set term epslatex color rounded size 4.9,2.2
#set term postscript size 8,4
set term png rounded size 800,600
set pointsize 1
set tics scale 2
#set ytics 4e+8
#set output "only-vs-congl.eps"
set xlabel "No. solved instances from SAT Comp'09"
set ylabel "Time (s)"
#unset key
set xtics 20
#set key inside b
#set logscale x
#set xtics (10,40,160,640,2560,5000)
set style line 1 lt 1 lw 1 pt 4 ps 0.3 linecolor rgbcolor "red"
set style line 2 lt 2 lw 1 pt 8 ps 0.3 linecolor rgbcolor "orange"
set style line 3 lt 3 lw 1 pt 12 ps 0.3 linecolor rgbcolor "blue"
##########################################
#set key lmargin
set key left top
#set output "CryptoMiniSat2.5.0_vs_CryptoMiniSat2.6.0.png"
#plot "./solveTimes56Graph" w lp title "CryptoMiniSat 2.5.0 (SAT Race version)" ls 1, "solveTimes82-learntminimGraph" w lp title "CryptoMiniSat 2.6.0" ls 2
#set output "Ligeling_vs_CryptoMiniSat2.6.1.png"
#plot [80:] "./solveTimes97Graph" w lp title "CryptoMiniSat 2.6.1", "./solveTimesLingelingGraph" w lp title "Lingeling"
#set output "CryptoMiniSat2.7.1-compare.png"
#plot [80:] "./solveTimesMiniSatGraph" w lp title "MiniSat 2.2", "./solveTimesLingelingGraph" w lp title "lingeling", "./solveTimesPrecoSat465Graph" w lp title "PrecoSat465", "./solveTimes97Graph" w lp title "CryptoMiniSat2.7.1"
#set output "With-without-tans-strong-minim.png"
#plot [80:] "./solveTimes97Graph" w lp title "With transitive strong minimisation", "./solveTimes97-nolfminimGraph" w lp title "Without transitive strong minimisation"
set output "CryptoMiniSat3Beta-compare.eps"
plot [80:] "./solveTimesMiniSatGraph" w lp title "MiniSat 2.2", "./solveTimesLingelingGraph" w lp title "lingeling", "./solveTimesPrecoSat465Graph" w lp title "PrecoSat465", "./solveTimes129Graph" w lp title "CryptoMiniSat3Beta"
#set term png rounded size 700,400
set term postscript eps color lw 1.5 "Helvetica" 29 size 7,3
set output "CryptoMiniSat-Competition.eps"
plot [80:] "./solveTimesMiniSatGraph" w lp title "MiniSat 2.2", "./solveTimesLingelingGraph" w lp title "lingeling", "./solveTimesPrecoSat465Graph" w lp title "PrecoSat465", "./solveTimes129Graph" w lp title "CryptoMiniSat SAT Comp'11"
|
